Changeset 4559 for trunk/compiler

Timestamp:

11/01/08 18:52:43 (2 months ago)

Author:

pmoura

Message:

Updated the Logtalk built-in debugger implementation of the "display" command to include the write options quoted(false) and numbervars(false) (as in most Prolog debuggers).

Files:

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

trunk/compiler/logtalk.pl

@@ -3990 +3990 @@
 '$lgt_dbg_valid_port_option'(q, _, _) :- !.
 '$lgt_dbg_valid_port_option'(d, _, _) :- !.
+%'$lgt_dbg_valid_port_option'(w, _, _) :- !.
 '$lgt_dbg_valid_port_option'(x, _, _) :- !.
 '$lgt_dbg_valid_port_option'(h, _, _) :- !.
@@ -4086 +4087 @@
 
 '$lgt_dbg_do_port_option'(d, _, Goal, _, _, _) :-
-    write('  Current goal: '), write_term(Goal, [ignore_ops(true)]), nl,
+    write('  Current goal: '), write_term(Goal, [quoted(false), ignore_ops(true), numbervars(false)]), nl,
     fail.
+
+%'$lgt_dbg_do_port_option'(w, _, Goal, _, _, _) :-
+%   write('  Current goal: '), writeq(Goal), nl,
+%   fail.
 
 '$lgt_dbg_do_port_option'(x, _, _, _, DbgCtx, _) :-
@@ -4114 +4119 @@
     write('      q - quit (quits Logtalk)'), nl,
     write('      d - display (writes current goal without using operator notation)'), nl,
+%   write('      w - write (writes current goal quoting atoms if necessary)'), nl,
     write('      x - context (prints execution context)'), nl,
     write('      e - exception (prints exception term thrown by current goal)'), nl,