prolog-trace-viz 1.1.2 → 2.0.0

package/tracer.pl

@@ -3,10 +3,17 @@
 
 :- dynamic trace_event/1.
 :- dynamic trace_active/0.
+:- dynamic max_trace_depth/1.
 
 %% install_tracer/0
-%  Install the trace interception hook
+%  Install the trace interception hook with default depth
 install_tracer :-
+    install_tracer(100).
+
+%% install_tracer/1
+%  Install the trace interception hook with specified max depth
+install_tracer(MaxDepth) :-
+    asserta(max_trace_depth(MaxDepth)),
     asserta(trace_active),
     trace.
 
@@ -15,6 +22,7 @@ install_tracer :-
 remove_tracer :-
     notrace,
     retractall(trace_active),
+    retractall(max_trace_depth(_)),
     clear_trace.
 
 %% clear_trace/0
@@ -26,14 +34,47 @@ clear_trace :-
 %  Hook predicate that intercepts trace events
 user:prolog_trace_interception(Port, Frame, _Choice, continue) :-
     trace_active,
+    % Check depth limit
+    prolog_frame_attribute(Frame, level, Level),
+    max_trace_depth(MaxDepth),
+    Level =< MaxDepth,
+    % Don't trace our own operations
+    prolog_frame_attribute(Frame, goal, Goal),
+    \+ is_tracer_goal(Goal),
     !,
     catch(
         capture_trace_event(Port, Frame),
         Error,
         handle_trace_error(Error, Port, Frame)
     ).
+user:prolog_trace_interception(Port, Frame, _Choice, continue) :-
+    trace_active,
+    % Exceeded depth limit - record truncation marker once
+    prolog_frame_attribute(Frame, level, Level),
+    max_trace_depth(MaxDepth),
+    Level > MaxDepth,
+    \+ trace_event(truncated(MaxDepth)),
+    !,
+    assertz(trace_event(truncated(MaxDepth))).
 user:prolog_trace_interception(_, _, _, continue).
 
+%% is_tracer_goal(+Goal)
+%  Check if a goal is part of the tracer infrastructure
+is_tracer_goal(Goal) :-
+    functor(Goal, Functor, _),
+    tracer_predicate(Functor).
+
+tracer_predicate(trace_event).
+tracer_predicate(call_goal).
+tracer_predicate(assertz).
+tracer_predicate(retract).
+tracer_predicate(retractall).
+tracer_predicate(findall).
+tracer_predicate(format).
+tracer_predicate(write).
+tracer_predicate(open).
+tracer_predicate(close).
+
 %% handle_trace_error(+Error, +Port, +Frame)
 %  Handle errors during trace event capture
 handle_trace_error(Error, Port, Frame) :-
@@ -61,11 +102,14 @@ capture_trace_event(Port, Frame) :-
     ;   Arguments = []
     ),
     
-    % Extract clause information
-    extract_clause_info(Frame, Goal, ClauseInfo),
+    % Extract clause information with enhanced data
+    extract_clause_info_enhanced(Frame, Goal, Port, ClauseInfo),
     
-    % Record the event
-    assertz(trace_event(event(Port, Level, Goal, Arguments, ClauseInfo, Predicate))).
+    % Extract parent information
+    extract_parent_info(Frame, ParentInfo),
+    
+    % Record the event with enhanced information
+    assertz(trace_event(event(Port, Level, Goal, Arguments, ClauseInfo, Predicate, ParentInfo))).
 
 %% extract_frame_arguments(+Frame, +Arity, -Arguments)
 %  Extract actual argument values from a frame
@@ -94,6 +138,27 @@ extract_clause_info(Frame, Goal, clause(Head, Body, Line)) :-
     !.
 extract_clause_info(_, _, no_clause).
 
+%% extract_clause_info_enhanced(+Frame, +Goal, +Port, -ClauseInfo)
+%  Extract clause information - keep it simple, TypeScript will handle variable names
+extract_clause_info_enhanced(Frame, Goal, _, ClauseInfo) :-
+    extract_clause_info(Frame, Goal, ClauseInfo).
+
+%% extract_parent_info(+Frame, -ParentInfo)
+%  Extract information about the parent frame
+extract_parent_info(Frame, parent(ParentLevel, ParentGoal)) :-
+    catch(
+        (
+            prolog_frame_attribute(Frame, parent, ParentFrame),
+            ParentFrame \= 0,
+            prolog_frame_attribute(ParentFrame, level, ParentLevel),
+            prolog_frame_attribute(ParentFrame, goal, ParentGoal)
+        ),
+        _,
+        fail
+    ),
+    !.
+extract_parent_info(_, no_parent).
+
 %% export_trace_json(+File)
 %  Export all trace events as JSON
 export_trace_json(File) :-
@@ -115,16 +180,24 @@ write_events_list(_, []).
 write_events_list(Stream, [Event]) :-
     !,
     write(Stream, '  '),
-    write_json_event(Stream, Event).
+    write_json_event_or_marker(Stream, Event).
 write_events_list(Stream, [Event|Rest]) :-
     write(Stream, '  '),
-    write_json_event(Stream, Event),
+    write_json_event_or_marker(Stream, Event),
     write(Stream, ',\n'),
     write_events_list(Stream, Rest).
 
+%% write_json_event_or_marker(+Stream, +EventOrMarker)
+%  Write either a regular event or a truncation marker
+write_json_event_or_marker(Stream, truncated(MaxDepth)) :-
+    !,
+    format(Stream, '{"truncated": true, "max_depth": ~w}', [MaxDepth]).
+write_json_event_or_marker(Stream, Event) :-
+    write_json_event(Stream, Event).
+
 %% write_json_event(+Stream, +Event)
 %  Write a single event as JSON object
-write_json_event(Stream, event(Port, Level, Goal, Arguments, ClauseInfo, Predicate)) :-
+write_json_event(Stream, event(Port, Level, Goal, Arguments, ClauseInfo, Predicate, ParentInfo)) :-
     format(Stream, '{', []),
     format(Stream, '"port": "~w"', [Port]),
     format(Stream, ', "level": ~w', [Level]),
@@ -140,18 +213,56 @@ write_json_event(Stream, event(Port, Level, Goal, Arguments, ClauseInfo, Predica
     ),
     
     % Write clause info if present
-    (   ClauseInfo = clause(Head, Body, Line)
-    ->  format(Stream, ', "clause": {', []),
-        format(Stream, '"head": ', []),
-        write_json_term(Stream, Head),
-        format(Stream, ', "body": ', []),
-        write_json_term(Stream, Body),
-        format(Stream, ', "line": ~w', [Line]),
-        format(Stream, '}', [])
+    write_clause_info_json(Stream, ClauseInfo),
+    
+    % Write parent info if present
+    write_parent_info_json(Stream, ParentInfo),
+    
+    format(Stream, '}', []).
+% Backward compatibility: handle old event format without ParentInfo
+write_json_event(Stream, event(Port, Level, Goal, Arguments, ClauseInfo, Predicate)) :-
+    format(Stream, '{', []),
+    format(Stream, '"port": "~w"', [Port]),
+    format(Stream, ', "level": ~w', [Level]),
+    format(Stream, ', "goal": ', []),
+    write_json_term(Stream, Goal),
+    format(Stream, ', "predicate": "~w"', [Predicate]),
+    
+    % Write arguments if present (exit port)
+    (   Arguments \= []
+    ->  format(Stream, ', "arguments": ', []),
+        write_json_list(Stream, Arguments)
     ;   true
     ),
     
+    % Write clause info if present
+    write_clause_info_json(Stream, ClauseInfo),
+    
+    format(Stream, '}', []).
+
+%% write_clause_info_json(+Stream, +ClauseInfo)
+%  Write clause information as JSON
+write_clause_info_json(Stream, clause(Head, Body, Line)) :-
+    !,
+    format(Stream, ', "clause": {', []),
+    format(Stream, '"head": ', []),
+    write_json_term(Stream, Head),
+    format(Stream, ', "body": ', []),
+    write_json_term(Stream, Body),
+    format(Stream, ', "line": ~w', [Line]),
+    format(Stream, '}', []).
+write_clause_info_json(_, no_clause).
+
+%% write_parent_info_json(+Stream, +ParentInfo)
+%  Write parent information as JSON
+write_parent_info_json(Stream, parent(ParentLevel, ParentGoal)) :-
+    !,
+    format(Stream, ', "parent_info": {', []),
+    format(Stream, '"level": ~w', [ParentLevel]),
+    format(Stream, ', "goal": ', []),
+    write_json_term(Stream, ParentGoal),
     format(Stream, '}', []).
+write_parent_info_json(_, no_parent).
 
 %% write_json_term(+Stream, +Term)
 %  Write a Prolog term as JSON string