Name: write_lines_to_file/2
Name: write_to_file/2
Name: write_to_utf8_file/2
Name: write_to_utf8_file_or_user_output/2
Name: put_codes/2
Name: read_file_codes/2
lines_to_code_list([],[]). lines_to_code_list([Line|Lines],CodeList) :- (number(Line) -> number_codes(Line,L); atom_codes(Line,L)), append(L,[10],L1), append(L1,RL,CodeList), lines_to_code_list(Lines,RL).
Calls:
Name: RECURSIVE_CALL/2
Name: append/3
Name: atom_codes/2
Name: number_codes/2
Name: number/1
Name: ->/3
Called:
put_codes([],_). put_codes([H|T],Stream) :- put_code(Stream,H), put_codes(T,Stream).
Name: put_code/2
Name: print_junit2/3
Name: put_codes_xml/1
Name: print_machine/1
read_codes(S,Codes) :- get_code(S,Code), ( Code < 0 -> Codes = [] ; Codes = [Code|Rest], read_codes(S,Rest)).
Name: =/2
Name: </2
Name: get_code/2
read_file_codes(Filename,Codes) :- open(Filename,read,S,[encoding(utf8)]), call_cleanup(read_codes(S,Codes), close(S)).
Name: call_cleanup/2
Name: open/4
Name: parse_ltlfile2/2
Name: read_trace_file/4
write_lines_to_file(FILE,Lines) :- lines_to_code_list(Lines,CodeList), write_to_file(FILE,CodeList).
Name: lines_to_code_list/2
Name: pretty_print_coverage_information_to_file/1
Name: pretty_print_min_max_coverage_to_file/1
write_to_file(FILE,CodesList) :- open(FILE,write,S), put_codes(CodesList,S), close(S).
Name: close/1
Name: open/3
write_to_utf8_file(FILE,CodesList) :- open(FILE,write,S,[encoding(utf8)]), put_codes(CodesList,S), close(S).
write_to_utf8_file_or_user_output(user_output,CodesList) :- !, put_codes(CodesList,user_output). write_to_utf8_file_or_user_output(FILE,CodesList) :- write_to_utf8_file(FILE,CodesList).
Name: !
Name: b_write_machine_representation_to_file3/3
Name: b_write_eventb_machine_to_classicalb_to_file/1