pdt_reload(+File) is det

Wrapper for consult used to ignore PLEditor-triggered consults in the console history and to start the update of the PDT-internal factbase.

 message_hook(+Term, +Level, +Lines) is det[multifile]

intercept prolog messages to collect term positions and error/warning messages in traced_messages/5

author

- trho

 errors_and_warnings(?Level, ?Line, ?Length, ?Message, ?File) is nondet

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 pdt_reload(Arg1, Arg2)

 reloaded_file(Arg1)

 wait_for_reload_finished