Dynamic Predicates: cur_line/1

237 Lines

37 Predicates

2 Exports

3 Imports

Imports	Exports
Name: module_info/2 Module: module_information Name: with_output_to_codes/4 Module: codesio Name: is_b_keyword/2 Module: tools_matching	Name: indent_b_file/2 Name: indent_b_file_to_codes/2

Imports

Exports

Name: module_info/2

Module: module_information

Name: with_output_to_codes/4

Module: codesio

Name: is_b_keyword/2

Module: tools_matching

Name: indent_b_file/2

Name: indent_b_file_to_codes/2

Predicates

Predicates:

indent_b_file_to_codes/2

init_env/3

is_alpha/1

is_ident_relevant_code/2

is_indent_relevant_keyword/2

process_line_after_id/5

process_line_comment/4

process_line_rest/4

process_new_line/4

process_special_token/6

register_open_special_token/4

reset_line_nr/0

special_string_encoding/3

update_indent/3

ws-->/2

at_end_of_line-->/2

at_end_of_line --> ws,!, at_end_of_line.

at_end_of_line --> "".

dec_indent/2

dec_indent(env(I,Stream,K,Opts),env(I1,Stream,K,Opts)) :- (I>0 -> I1 is I-4 ; I1=I).

Calls:

Name: =/2
Name: is/2
Name: >/2
Name: ->/3

Called:

Name: output_indent/2

Module: source_indenter

id_aux/3

id_aux([0'_|T]) --> "_",!, id_aux(T).

id_aux([X|T]) --> [X], {is_numerical(X)},!, id_aux(T).

id_aux([X|T]) --> [X], {is_alpha(X)},!, id_aux(T).

id_aux([]) --> "".

Calls:

Name: =/2
Name: RECURSIVE_CALL/3	Module: source_indenter
Name: !
Name: is_alpha/1	Module: source_indenter
Name: is_numerical/1	Module: source_indenter

Called:

Name: identifier/3

Module: source_indenter

identifier/3

identifier(ID) --> [X], {is_alpha(X)}, id_aux(T), {atom_codes(ID,[X|T])}.

Calls:

Name: =/2
Name: atom_codes/2
Name: id_aux/3	Module: source_indenter
Name: is_alpha/1	Module: source_indenter

Called:

Name: process_line_rest/4	Module: source_indenter
Name: process_line2/4	Module: source_indenter

inc_line_nr/0

inc_line_nr :- cur_line(N), !, retractall(cur_line(_)), N1 is N+1, assertz(cur_line(N1)).

inc_line_nr.

Calls:

Name: assertz/1
Name: is/2
Name: retractall/1
Name: !
Name: cur_line/1	dynamic predicate

indent_b_file/2

indent_b_file(File,OutStream) :-
indent_b_file(File,OutStream,
[] % [insert_new_lines_after_keywords, insert_new_lines_before_keywords]
).

Calls:

Name: indent_b_file/3

Module: source_indenter

Called:

Name: indent_b_file/2

Module: source_indenter

indent_b_file/3

indent_b_file(File,OutStream,Opts) :-
    open(File,read,Stream,[encoding(utf8)]),
    init_env(OutStream,Opts,Env),
    call_cleanup(process_file(Stream,Env), close(Stream)).

Calls:

Name: call_cleanup/2
Name: init_env/3	Module: source_indenter
Name: open/4

Called:

Name: indent_b_file/2

Module: source_indenter

indent_b_file_to_codes/2

indent_b_file_to_codes(File,Codes) :-
    with_output_to_codes(
    indent_b_file(File,OutStream),
    OutStream,
    Codes, []).

Calls:

Name: with_output_to_codes/4

Module: codesio

init_env/3

init_env(OutStream,Opts,env(0,OutStream,no_open_special_token,Opts)).

Called:

Name: indent_b_file/3

Module: source_indenter

is_alpha/1

is_alpha(Code) :- Code >= 65, Code =< 90. % A-Z

is_alpha(Code) :- Code >= 97, Code =< 122. % a-z

Calls:

Name: =</2
Name: >=/2

Called:

Name: identifier/3	Module: source_indenter
Name: id_aux/3	Module: source_indenter

is_ident_relevant_code/2

is_ident_relevant_code(0'{,1).

is_ident_relevant_code(0'},-1).

is_ident_relevant_code(0'(,1).

is_ident_relevant_code(0'),-1).

is_ident_relevant_code(0'[,1).

is_ident_relevant_code(0'],-1).

Called:

Name: process_line2/4	Module: source_indenter
Name: process_line_rest/4	Module: source_indenter

is_indent_relevant_keyword/2

is_indent_relevant_keyword('ANY',1).

is_indent_relevant_keyword('ASSERT',1).

is_indent_relevant_keyword('BEGIN',1).

is_indent_relevant_keyword('CASE',1).

is_indent_relevant_keyword('CHOICE',1).

is_indent_relevant_keyword('IF',1).

is_indent_relevant_keyword('LET',1).

is_indent_relevant_keyword('PRE',1).

is_indent_relevant_keyword('SELECT',1).

is_indent_relevant_keyword('VAR',1).

is_indent_relevant_keyword('WHILE',1).

is_indent_relevant_keyword('END',-1).

is_indent_relevant_keyword('BE',0).

is_indent_relevant_keyword('DO',0).

is_indent_relevant_keyword('EITHER',0).

is_indent_relevant_keyword('ELSE',0).

is_indent_relevant_keyword('ELSIF',0).

is_indent_relevant_keyword('IN',0).

is_indent_relevant_keyword('OF',0).

is_indent_relevant_keyword('OR',0).

is_indent_relevant_keyword('THEN',0).

is_indent_relevant_keyword('WHERE',0).

is_indent_relevant_keyword('WITH',0).

Called:

Name: process_line_after_id/5	Module: source_indenter
Name: process_line2/4	Module: source_indenter
Name: process_line_rest/4	Module: source_indenter
Name: process_id/3	Module: source_indenter

is_numerical/1

is_numerical(Code) :- Code >= 48, Code =< 57. % 0-9

Calls:

Name: =</2
Name: >=/2

Called:

Name: id_aux/3

Module: source_indenter

line_comment-->/2

line_comment --> "//".

new_line-->/2

new_line --> "\n". %,{inc_line_nr}.

open_special_token/5

open_special_token(comment,"/*","*/") --> "/*".

open_special_token(string,"\"","\"") --> "\""."

open_special_token(string,"'''","'''") --> "'''".

open_special_token(string,"```","```") --> "```".

open_special_token(identifier,"`","`") --> "`". % multi-line allowed??

Calls:

Name: =/2

Called:

Name: process_line_rest/4

Module: source_indenter

option_set/2

option_set(Option,env(_,_,_,Opts)) :- member(Option,Opts).

Calls:

Name: member/2

Called:

Name: process_line_after_id/5	Module: source_indenter
Name: process_line_rest/4	Module: source_indenter

output_atom/2

output_atom(env(_,Stream,_,_),C) :- format(Stream,'~w',[C]).

Calls:

Name: format/3

Called:

Name: process_line2/4	Module: source_indenter
Name: process_line_rest/4	Module: source_indenter

output_code/2

output_code(env(_,Stream,_,_),C) :- put_code(Stream,C).

Calls:

Name: put_code/2

Called:

Name: special_string_encoding/3	Module: source_indenter
Name: process_line_rest/4	Module: source_indenter
Name: process_line_comment/4	Module: source_indenter
Name: process_special_token/6	Module: source_indenter
Name: process_line2/4	Module: source_indenter

output_codes/2

output_codes(env(_,Stream,_,_),Cs) :- format(Stream,'~s',[Cs]).

Calls:

Name: format/3

Called:

Name: process_special_token/6	Module: source_indenter
Name: process_line_rest/4	Module: source_indenter
Name: special_string_encoding/3	Module: source_indenter

output_indent/1

output_indent(env(Nr,Str,K,Opts)) :- Nr>0, !, write(Str,' '), N1 is Nr-1, output_indent(env(N1,Str,K,Opts)).

output_indent(_).

Calls:

Name: RECURSIVE_CALL/1	Module: source_indenter
Name: is/2
Name: write/2
Name: !
Name: >/2

Called:

Name: process_line/4	Module: source_indenter
Name: process_line2/4	Module: source_indenter
Name: output_indent/2	Module: source_indenter

output_indent/2

output_indent(Delta,Env1) :- Delta=0,!, % things like ELSIF, ...
dec_indent(Env1,Env2),% move ELSIF one to the left
output_indent(Env2).

output_indent(_,Env) :- output_indent(Env).

Calls:

Name: output_indent/1	Module: source_indenter
Name: dec_indent/2	Module: source_indenter
Name: !
Name: =/2

Called:

Name: process_line/4	Module: source_indenter
Name: process_line2/4	Module: source_indenter
Name: output_indent/2	Module: source_indenter

output_new_line/2

output_new_line(env(E,Stream,K,Opts),env(E,Stream,K,Opts)) :- % format('//[~w]',[E]),
nl(Stream).

Calls:

Name: nl/1

Called:

Name: process_line_rest/4	Module: source_indenter
Name: process_new_line/4	Module: source_indenter
Name: process_file/2	Module: source_indenter

process_file/2

process_file(Stream,Env) :-
    read_line(Stream,Codes),
    (Codes = end_of_file -> true
    ; % format('>~s[~w]~n',[Codes,Env]),
    (process_line(Env,Env1,Codes,[]) -> true
    ; write(error),nl, Env2=Env),
    output_new_line(Env1,Env2),
    process_file(Stream,Env2)
).

Calls:

Name: RECURSIVE_CALL/2	Module: source_indenter
Name: output_new_line/2	Module: source_indenter
Name: =/2
Name: nl
Name: write/1
Name: true
Name: process_line/4	Module: source_indenter
Name: ->/3
Name: read_line/2

process_id/3

process_id(ID,env(C,S,K,Opts),env(NC,S,K,Opts)) :- is_indent_relevant_keyword(ID,Delta),!,
NC is C+4*Delta. % format('~w->~w ',[C,NC]).

process_id(ID,env(_,S,K,Opts),env(NC,S,K,Opts)) :- is_b_keyword(ID,section),!,
NC is 4. % reset to beginning of line

process_id(_ID,C,C). % :- format('?~w?',[_ID]).

Calls:

Name: is/2
Name: !
Name: is_b_keyword/2	Module: tools_matching
Name: is_indent_relevant_keyword/2	Module: source_indenter

Called:

Name: process_line2/4	Module: source_indenter
Name: process_line_rest/4	Module: source_indenter

process_line/4

process_line(env(I,Stream,Open,Opts),ResEnv) -->
    {Open = open_special_token(Kind,Close)},!, % continue processing open special token
    {(Kind = comment -> output_indent(env(I,Stream,Open,Opts)) ; true)},
    process_special_token(Kind,Close,env(I,Stream,no_open_special_token,Opts),ResEnv).

process_line(Env,ResEnv) --> process_line2(Env,ResEnv).

Calls:

Name: process_line2/4	Module: source_indenter
Name: process_special_token/6	Module: source_indenter
Name: true
Name: output_indent/1	Module: source_indenter
Name: =/2
Name: ->/3
Name: !

Called:

Name: process_file/2

Module: source_indenter

process_line2/4

process_line2(Env,ResEnv) --> ws, !, process_line2(Env,ResEnv).

process_line2(Env,ResEnv) --> identifier(ID),
    {is_b_keyword(ID,section), \+ is_indent_relevant_keyword(ID,_)},!, % No indent
    {output_atom(Env,ID),process_id(ID,Env,Env1)},
    process_line_rest(Env1,ResEnv).

process_line2(Env,ResEnv) --> identifier(ID),
    {is_indent_relevant_keyword(ID,Delta), Delta=<0},!,
    % END, decrement indent immediately; ELSIF decrement for this line only
    {process_id(ID,Env,Env1),
    output_indent(Delta,Env1),
    output_atom(Env1,ID)},
    process_line_after_id(ID,Env1,ResEnv).

process_line2(Env,ResEnv) --> [C],
    {is_ident_relevant_code(C,Delta), Delta<0},!,
    {update_indent(Env,Delta,Env1),
    output_indent(Env1), output_code(Env1,C)},
    process_line_rest(Env1,ResEnv).

process_line2(Env,ResEnv) --> {output_indent(Env)}, process_line_rest(Env,ResEnv).

Calls:

Name: process_line_rest/4	Module: source_indenter
Name: output_indent/1	Module: source_indenter
Name: output_code/2	Module: source_indenter
Name: update_indent/3	Module: source_indenter
Name: !
Name: </2
Name: is_ident_relevant_code/2	Module: source_indenter
Name: =/2
Name: process_line_after_id/5	Module: source_indenter
Name: output_atom/2	Module: source_indenter
Name: output_indent/2	Module: source_indenter
Name: process_id/3	Module: source_indenter
Name: =</2
Name: is_indent_relevant_keyword/2	Module: source_indenter
Name: identifier/3	Module: source_indenter
Name: not/1
Name: is_b_keyword/2	Module: tools_matching
Name: RECURSIVE_CALL/4	Module: source_indenter
Name: ws/2	Module: foo_error

Called:

Name: process_new_line/4	Module: source_indenter
Name: process_line/4	Module: source_indenter

process_line_after_id/5

process_line_after_id(ID,Env,Res) -->
    ({is_indent_relevant_keyword(ID,0),
    option_set(insert_new_lines_after_keywords,Env)},
    \+ at_end_of_line
    -> process_new_line(Env,Res)
    ; process_line_rest(Env,Res)
).

Calls:

Name: process_line_rest/4	Module: source_indenter
Name: process_new_line/4	Module: source_indenter
Name: =/2
Name: fail
Name: at_end_of_line/2	Module: foo_error
Name: ->/3
Name: option_set/2	Module: source_indenter
Name: is_indent_relevant_keyword/2	Module: source_indenter

Called:

Name: process_line_rest/4	Module: source_indenter
Name: process_line2/4	Module: source_indenter

process_line_comment/4

process_line_comment(Env,Env2) --> new_line,!, process_new_line(Env,Env2).

process_line_comment(Env,Env2) --> [X],!, {output_code(Env,X)}, process_line_comment(Env,Env2).

process_line_comment(Env,Env) --> "".

Calls:

Name: =/2
Name: RECURSIVE_CALL/4	Module: source_indenter
Name: output_code/2	Module: source_indenter
Name: !
Name: process_new_line/4	Module: source_indenter
Name: new_line/2	Module: foo_error

Called:

Name: process_line_rest/4

Module: source_indenter

process_line_rest/4

process_line_rest(Env,Res) --> identifier(ID),!,
    {(is_indent_relevant_keyword(ID,0),
    option_set(insert_new_lines_before_keywords,Env)
    -> output_new_line(Env,Env1),output_indent(0,Env1) ; Env1=Env),
    output_atom(Env1,ID),
    process_id(ID,Env1,Env2)
    },
    process_line_after_id(ID,Env2,Res).

process_line_rest(Env,Res) --> new_line,!, process_new_line(Env,Res).

process_line_rest(Env,Res) --> line_comment,!, {output_codes(Env,"//")}, process_line_comment(Env,Res).

process_line_rest(Env,Res) --> open_special_token(Kind,Open,Close),!,
    {output_codes(Env,Open)}, process_special_token(Kind,Close,Env,Res).

process_line_rest(In,Out) --> [C], {is_ident_relevant_code(C,Delta)},!,
    {output_code(In,C),update_indent(In,Delta,In2)}, process_line_rest(In2,Out).

process_line_rest(In,Out) --> [C], !, {output_code(In,C)}, process_line_rest(In,Out).

process_line_rest(Env,Env) --> "".

Calls:

Name: =/2
Name: RECURSIVE_CALL/4	Module: source_indenter
Name: output_code/2	Module: source_indenter
Name: !
Name: update_indent/3	Module: source_indenter
Name: is_ident_relevant_code/2	Module: source_indenter
Name: process_special_token/6	Module: source_indenter
Name: output_codes/2	Module: source_indenter
Name: open_special_token/5	Module: source_indenter
Name: process_line_comment/4	Module: source_indenter
Name: line_comment/2	Module: foo_error
Name: process_new_line/4	Module: source_indenter
Name: new_line/2	Module: foo_error
Name: process_line_after_id/5	Module: source_indenter
Name: process_id/3	Module: source_indenter
Name: output_atom/2	Module: source_indenter
Name: output_indent/2	Module: source_indenter
Name: output_new_line/2	Module: source_indenter
Name: option_set/2	Module: source_indenter
Name: is_indent_relevant_keyword/2	Module: source_indenter
Name: ->/3
Name: identifier/3	Module: source_indenter

Called:

Name: process_line2/4	Module: source_indenter
Name: process_special_token/6	Module: source_indenter
Name: process_line_after_id/5	Module: source_indenter

process_new_line/4

process_new_line(Env,Env2) --> {output_new_line(Env,Env1)}, process_line2(Env1,Env2).

Calls:

Name: process_line2/4	Module: source_indenter
Name: output_new_line/2	Module: source_indenter

Called:

Name: process_line_rest/4	Module: source_indenter
Name: process_line_comment/4	Module: source_indenter
Name: process_line_after_id/5	Module: source_indenter

process_special_token/6

process_special_token(string,Close,Env,OutEnv) --> special_string_encoding(Env),!,
process_special_token(string,Close,Env,OutEnv).

process_special_token(_Kind,Close,Env,OutEnv) --> Close,!, {output_codes(Env,Close)},
process_line_rest(Env,OutEnv).

process_special_token(Kind,Close,In,Out) --> [C], !, {output_code(In,C)}, process_special_token(Kind,Close,In,Out).

process_special_token(Kind,Close,Env,OutEnv) --> "", {register_open_special_token(Env,Kind,Close,OutEnv)}.

Calls:

Name: =/2
Name: register_open_special_token/4	Module: source_indenter
Name: RECURSIVE_CALL/6	Module: source_indenter
Name: output_code/2	Module: source_indenter
Name: !
Name: process_line_rest/4	Module: source_indenter
Name: output_codes/2	Module: source_indenter
Name: phrase/3
Name: special_string_encoding/3	Module: source_indenter

Called:

Name: process_line_rest/4	Module: source_indenter
Name: process_line/4	Module: source_indenter

register_open_special_token/4

register_open_special_token(env(C,Stream,_,Opts),Kind,CloseTag,
env(C,Stream,open_special_token(Kind,CloseTag),Opts)).

Called:

Name: process_special_token/6

Module: source_indenter

reset_line_nr/0

reset_line_nr :- retractall(cur_line(_)), assertz(cur_line(1)).

Calls:

Name: assertz/1
Name: retractall/1

special_string_encoding/3

special_string_encoding(Env) --> "\\", [X], % TODO: check exactly which encodings are processed
{output_codes(Env,"\\"),output_code(Env,X)}.

Calls:

Name: =/2
Name: output_code/2	Module: source_indenter
Name: output_codes/2	Module: source_indenter

Called:

Name: process_special_token/6

Module: source_indenter

update_indent/3

update_indent(env(I,Stream,K,Opts),Delta,env(I1,Stream,K,Opts)) :- I1 is I+4*Delta.

Calls:

Name: is/2

Called:

Name: process_line2/4	Module: source_indenter
Name: process_line_rest/4	Module: source_indenter

ws-->/2

ws --> " "; "\t".

Determinacy Checker

Determinacy Checker:

! Existence error in argument 1 of absolute_file_name/3
! file probsrc(module_information) does not exist
! goal: absolute_file_name(probsrc(module_information),_261,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/extra/source_indenter.pl')])

prob_prolog/src/extra/source_indenter.pl

Modules

Predicates of source_indenter

Module Information

Dynamic Predicates: cur_line/1

237 Lines

37 Predicates

2 Exports

3 Imports

Predicates:

Determinacy Checker: