Changeset 4560 for trunk/compiler

Timestamp:

11/01/08 20:20:46 (2 months ago)

Author:

pmoura

Message:

Added a "unify" command to the Logtalk built-in debugger.

Files:

• trunk/compiler/logtalk.pl (modified) (4 diffs)

trunk/compiler/logtalk.pl

@@ -3893 +3893 @@
     (   '$lgt_dbg_debugging_', \+ '$lgt_dbg_skipping_' ->
         (   '$lgt_dbg_port'(call, N, Goal, _, DbgCtx, CAction),
-            (   CAction == ignore ->
+            (   (CAction == ignore; CAction == unify) ->
                 true
             ;   call(CAction),
@@ -3983 +3983 @@
 '$lgt_dbg_valid_port_option'(f, rule, _) :- !.
 '$lgt_dbg_valid_port_option'(f, redo, _) :- !.
+'$lgt_dbg_valid_port_option'(u, call, _) :- !.
 '$lgt_dbg_valid_port_option'(n, _, _) :- !.
 '$lgt_dbg_valid_port_option'(!, _, _) :- !.
@@ -4023 +4024 @@
 '$lgt_dbg_do_port_option'(f, _, _, _, _, fail).
 
+'$lgt_dbg_do_port_option'(u, _, Goal, _, _, Result) :-
+    write('  |: '),
+    read(Term),
+    (   Goal = Term ->
+        Result = unify
+    ;   Result = fail
+    ).
+
 '$lgt_dbg_do_port_option'(t, _, _, _, _, _) :-
     (   '$lgt_dbg_tracing_' ->
@@ -4112 +4121 @@
     write('      i - ignore (ignores goal, assumes that it succeeded; only valid at call and redo ports)'), nl,
     write('      f - fail (forces backtracking; may also be used to convert an exception into a failure)'), nl,
+    write('      u - unify (reads and unifies a term with the current goal; only valid at the call port)'), nl,
     write('      n - nodebug (turns off debugging)'), nl,
     write('      ! - command (reads and executes a query)'), nl,