Changeset 4427

Timestamp:

08/16/08 13:28:18 (5 months ago)

Author:

pmoura

Message:

Simplified the implementation of the Logtalk built-in debugger. Changed the implementation of the debugger abort command to use the de-facto standard Prolog built-in predicate abort/0. Corrected a bug that prevented the use of the command ignore at the redo port.

Location:

trunk

Files:

• compiler/logtalk.pl (modified) (9 diffs)
• manuals/index.html (modified) (1 diff)
• manuals/userman/index.html (modified) (1 diff)
• manuals/userman/running.html (modified) (2 diffs)
• RELEASE_NOTES.txt (modified) (1 diff)

trunk/compiler/logtalk.pl

@@ -394 +394 @@
     throw(error(existence_error(procedure, Functor/Arity), context(Type, Entity, _))).
 
-'$lgt_runtime_error_handler'(error(logtalk_debugger_aborted)) :-
-    nl, write('    Debugging session aborted by user. Debugger still on.'), nl,
-    !,
-    fail.
-
 '$lgt_runtime_error_handler'(error(Variable, _, Sender)) :-
     var(Variable),
@@ -405 +400 @@
 '$lgt_runtime_error_handler'(error(Error, user::Goal, user)) :-
     throw(error(Error, Goal)).
+
+'$lgt_runtime_error_handler'(logtalk_debugger_aborted) :-
+    write('Debugging session aborted by user. Debugger still on.'), nl,
+    abort.
 
 '$lgt_runtime_error_handler'(Error) :-
@@ -3786 +3785 @@
     (   '$lgt_dbg_debugging_', \+ '$lgt_dbg_skipping_' ->
         (   '$lgt_dbg_port'(call, Goal, _, DbgCtx, CAction),
-            (   CAction = skip ->
-                retractall('$lgt_dbg_skipping_'),
-                assertz('$lgt_dbg_skipping_'),
-                CAction2 = true
-            ;   CAction2 = CAction
-            ),
-            (   CAction2 = ignore ->
+            (   CAction == ignore ->
                 true
-            ;   call(CAction2),
-                catch(
-                    call(TGoal),
-                    Error,
-                    ('$lgt_dbg_port'(exception, Goal, Error, DbgCtx, TAction), (TAction = fail -> fail; throw(Error)))),
+            ;   call(CAction),
+                catch(TGoal, Error, '$lgt_dbg_exception'(Goal, Error, DbgCtx)),
                 (   '$lgt_dbg_port'(exit, Goal, _, DbgCtx, EAction),
                     call(EAction)
                 ;   '$lgt_dbg_port'(redo, Goal, _, DbgCtx, RAction),
-                    (   RAction = skip ->
-                        retractall('$lgt_dbg_skipping_'),
-                        assertz('$lgt_dbg_skipping_')
-                    ),
-                    RAction = ignore
+                    RAction == ignore
                 )
-                ;
-                retractall('$lgt_dbg_skipping_'),
-                '$lgt_dbg_port'(fail, Goal, _, DbgCtx, _), fail
+            ;   retractall('$lgt_dbg_skipping_'),
+                '$lgt_dbg_port'(fail, Goal, _, DbgCtx, _),
+                fail
             )
         ),
@@ -3818 +3804 @@
 
 
-'$lgt_dbg_port'(exception, _, error(logtalk_debugger_aborted), _, true) :-
-    !.
+'$lgt_dbg_exception'(_, logtalk_debugger_aborted, _) :-
+    throw(logtalk_debugger_aborted).
+
+'$lgt_dbg_exception'(Goal, Error, DbgCtx) :-
+    '$lgt_dbg_port'(exception, Goal, Error, DbgCtx, TAction),
+    (   TAction == fail ->
+        fail
+    ;   throw(Error)
+    ).
+
 
 '$lgt_dbg_port'(Port, Goal, Error, DbgCtx, Action) :-
@@ -3864 +3858 @@
 '$lgt_dbg_valid_port_option'(i, redo, _).
 '$lgt_dbg_valid_port_option'(f, call, _).
+'$lgt_dbg_valid_port_option'(f, fact, _).
+'$lgt_dbg_valid_port_option'(f, rule, _).
 '$lgt_dbg_valid_port_option'(f, redo, _).
 '$lgt_dbg_valid_port_option'(n, _, _).
@@ -3888 +3884 @@
     retractall('$lgt_dbg_tracing_').
 
-'$lgt_dbg_do_port_option'(s, Port, _, _, _, Action) :-
-    '$lgt_dbg_do_port_option_skip'(Port, Action).
-
-'$lgt_dbg_do_port_option'(i, _, _, _, _, ignore).
+'$lgt_dbg_do_port_option'(s, call, _, _, _, true) :-
+    !,
+    retractall('$lgt_dbg_skipping_'),
+    assertz('$lgt_dbg_skipping_').
+'$lgt_dbg_do_port_option'(s, redo, _, _, _, fail) :-
+    !,
+    retractall('$lgt_dbg_skipping_'),
+    assertz('$lgt_dbg_skipping_').
+'$lgt_dbg_do_port_option'(s, _, _, _, _, true).
+
+'$lgt_dbg_do_port_option'(i, call, _, _, _, ignore).
+'$lgt_dbg_do_port_option'(i, redo, _, _, _, ignore).
 
 '$lgt_dbg_do_port_option'(f, _, _, _, _, fail).
@@ -3947 +3951 @@
         break,
         '$lgt_dbg_resume'(Tracing)
-    ;   write('    break no supportd on this Prolog compiler.'), nl
+    ;   write('    break no supportd by the back-end Prolog compiler.'), nl
     ),
     fail.
 
 '$lgt_dbg_do_port_option'(a, _, _, _, _, _) :-
-    throw(error(logtalk_debugger_aborted)).
+    retractall('$lgt_dbg_skipping_'),
+    throw(logtalk_debugger_aborted).
 
 '$lgt_dbg_do_port_option'(q, _, _, _, _, _) :-
@@ -3977 +3982 @@
     write('        l - leap (continues execution until the next spy point is found)'), nl,
     write('        s - skip (skips debugging for the current goal; only meaningful at call and redo ports)'), nl,
-    write('        i - ignore (ignores goal, assumes that it succeeded)'), nl,
-    write('        f - fail (forces backtracking)'), nl,
+    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('        n - nodebug (turns off debugging)'), nl,
     write('        ! - command (reads and executes a query)'), nl,
@@ -3998 +4003 @@
 '$lgt_dbg_do_port_option'(?, Port, Goal, Error, DbgCtx, Action) :-
     '$lgt_dbg_do_port_option'(h, Port, Goal, Error, DbgCtx, Action).
-
-
-
-'$lgt_dbg_do_port_option_skip'(exit, true).
-'$lgt_dbg_do_port_option_skip'(fail, true).
-'$lgt_dbg_do_port_option_skip'(fact, true).
-'$lgt_dbg_do_port_option_skip'(rule, true).
-'$lgt_dbg_do_port_option_skip'(exception, true).
-'$lgt_dbg_do_port_option_skip'(call, skip).
-'$lgt_dbg_do_port_option_skip'(redo, skip).
 
 

trunk/manuals/index.html

@@ -32 +32 @@
     <div class="copyright">
         <span>Copyright &copy; <a href="mailto:pmoura@logtalk.org">Paulo Moura</a> &mdash; <a href="http://logtalk.org">Logtalk.org</a></span><br/> 
-        <span>Last updated on: July 31, 2008</span>
+        <span>Last updated on: August 16, 2008</span>
     </div>
     <div class="navbottom">

trunk/manuals/userman/index.html

@@ -304 +304 @@
     <div class="copyright">
         <span>Copyright &copy; <a href="mailto:pmoura@logtalk.org">Paulo Moura</a> &mdash; <a href="http://logtalk.org">Logtalk.org</a></span><br/>
-        <span>Last updated on: July 20, 2008</span>
+        <span>Last updated on: August 16, 2008</span>
     </div>
     <div class="navbottom">

trunk/manuals/userman/running.html

@@ -413 +413 @@
         <dd>ignores goal, assumes that it succeeded</dd>
     <dt><code>f</code> &mdash; fail</dt>
-        <dd>forces backtracking</dd>
+        <dd>forces backtracking; may also be used to convert an exception into a failure</dd>
     <dt><code>n</code> &mdash; nodebug</dt>
         <dd>turns off debugging</dd>
@@ -517 +517 @@
 <div class="footer">
     <div class="copyright">
-        <span>Copyright &copy; <a href="mailto:pmoura@logtalk.org">Paulo Moura</a> &mdash; <a href="http://logtalk.org">Logtalk.org</a></span><br/> 
-        <span>Last updated on: July 20, 2008</span>
+        <span>Copyright &copy; August 16, 2008</span>
     </div>
     <div class="navbottom">

trunk/RELEASE_NOTES.txt

@@ -26 +26 @@
     runtime. Thanks to Joachim Schimpf and Kish Shen work on the improved 
     singleton variable checking code found on the new ECLiPSe 6.0 compiler.
+
+    Simplified the implementation of the Logtalk built-in debugger. Changed 
+    the implementation of the debugger abort command to use the de-facto 
+    standard Prolog built-in predicate abort/0. Corrected a bug that prevented
+    the use of the command ignore at the redo port.
 
     Added ECLiPSe 6.0 config files. Modified the POSIX script "eclipselgt"