-
Notifications
You must be signed in to change notification settings - Fork 0
/
text_trace.pl
23 lines (21 loc) · 957 Bytes
/
text_trace.pl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
% Utility for printing detailed text of trace interception
dump_frame_attribute(Frame, Key):-
(prolog_frame_attribute(Frame, Key, Value) ; Value=no),
format(' ~w: ~w: ~w~n', [Frame, Key, Value]).
% TODO: remove repetition
prolog_trace_interception(Port, Frame, Choice, continue) :-
format('~w: ~w: ~w~n', [Port, Frame, Choice]),
dump_frame_attribute(Frame, alternative),
dump_frame_attribute(Frame, has_alternatives),
dump_frame_attribute(Frame, goal),
%dump_frame_attribute(Frame, parent_goal),
dump_frame_attribute(Frame, predicate_indicator),
dump_frame_attribute(Frame, clause),
dump_frame_attribute(Frame, level),
dump_frame_attribute(Frame, parent),
dump_frame_attribute(Frame, context_module),
dump_frame_attribute(Frame, top),
dump_frame_attribute(Frame, hidden),
%dump_frame_attribute(Frame, skipped),
dump_frame_attribute(Frame, pc),
dump_frame_attribute(Frame, argument(1)).