16 local head = io.open(header_file, "w");

    16 local head = io.open(header_file, "w");

    17 local scan = io.open(record_file, "w+");

    17 local scan = io.open(record_file, "w+");

    18 

    18 

    19 local function record(string)

    19 local function record(string)

    20 	scan:write(string);

    20 	scan:write(string);

    21 end

    22 end

    22 

    23 

    23 local function record_header(string)

    24 local function record_header(string)

    24 	head:write(string);

    25 	head:write(string);

    25 end

    27 end

    26 

    28 

    27 local function record_object(class, name, props)

    29 local function record_object(class, name, props)

    28 	head:write(("[%s] %s\n"):format(class, name));

    30 	head:write(("[%s] %s\n"):format(class, name));

    29 	for k,v in pairs(props) do

    31 	for k,v in pairs(props) do

    30 		head:write(("\t%s: %s\n"):format(k, v));

    32 		head:write(("\t%s: %s\n"):format(k, v));

    31 	end

    33 	end

    32 	head:write("\n");

    34 	head:write("\n");

    33 end

    36 end

    34 

    37 

    35 local function record_event(session, event)

    38 local function record_event(session, event)

    36 	record(session.scansion_id.." "..event.."\n\n");

    39 	record(session.scansion_id.." "..event.."\n\n");

    37 end

    40 end