Changeset 4549 for trunk/manuals

Show
Ignore:
Timestamp:
10/30/08 11:00:03 (2 months ago)
Author:
pmoura
Message:

Updated the Logtalk built-in debugger to print goal invocation numbers when tracing.

Location:
trunk/manuals
Files:
4 modified

Legend:

Unmodified
Added
Removed

  • trunk/manuals/index.html

    r4543 r4549  
    3232    <div class="copyright"> 
    3333        <span>Copyright &copy; <a href="mailto:pmoura@logtalk.org">Paulo Moura</a> &mdash; <a href="http://logtalk.org">Logtalk.org</a></span><br/>  
    34         <span>Last updated on: October 28, 2008</span> 
     34        <span>Last updated on: October 30, 2008</span> 
    3535    </div> 
    3636    <div class="navbottom"> 

  • trunk/manuals/userman/index.html

    r4543 r4549  
    304304    <div class="copyright"> 
    305305        <span>Copyright &copy; <a href="mailto:pmoura@logtalk.org">Paulo Moura</a> &mdash; <a href="http://logtalk.org">Logtalk.org</a></span><br/> 
    306         <span>Last updated on: October 28, 2008</span> 
     306        <span>Last updated on: October 30, 2008</span> 
    307307    </div> 
    308308    <div class="navbottom"> 

  • trunk/manuals/userman/running.html

    r4543 r4549  
    273273</dl> 
    274274<p> 
    275 For static predicates, the debugger prints the clause number at the unification ports: <code>fact(N)</code> or <code>rule(N)</code> indicates that clause <code>N</code> is being used for proving a goal. 
     275For static predicates, the debugger prints the clause number at the unification ports: <code>Fact #N</code> or <code>Rule #N</code> indicates that clause <code>N</code> is being used for proving a goal. 
    276276</p> 
    277277<p> 
    … …  
    378378yes</pre> 
    379379<p> 
    380 Note that, when tracing, spy points will be ignored. While tracing, the debugger will pause for user input at each leashed port. 
     380Note that, when tracing, spy points will be ignored. While tracing, the debugger will pause for user input at each leashed port, printing an informative message with the port name and the current goal. After the port name, the debugger prints the goal invocation number (except for the unification ports). This invocation number is unique and can be used to correlate the port trace messages. 
    381381</p> 
    382382<p> 
    … …  
    529529    <div class="copyright"> 
    530530        <span>Copyright &copy; <a href="mailto:pmoura@logtalk.org">Paulo Moura</a> &mdash; <a href="http://logtalk.org">Logtalk.org</a></span><br/>  
    531         <span>Last updated on: October 28, 2008</span> 
     531        <span>Last updated on: October 30, 2008</span> 
    532532    </div> 
    533533    <div class="navbottom"> 

  • trunk/manuals/userman/userman.header

    r4543 r4549  
    3636        <span>http://logtalk.org/</span> 
    3737    </p> 
    38     <p class="date">Last updated on October 28, 2008</p> 
     38    <p class="date">Last updated on October 30, 2008</p> 
    3939</div> 
    4040