@ciao-lang/ts-ciao-interface

Version:

Simple Ciao interface for node.

10 lines (7 loc) • 3.73 kB

HTML

<!DOCTYPE HTML><html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"/><meta name="viewport" content="width=device-width, initial-scale=1"/><meta name="theme-color" content="#273f79"/><link rel="stylesheet" href="lpdoc.css" type="text/css"/><script type="text/javascript" src="lpdoc.js"></script><title>Debugging the fixpoint operations — The CiaoPP Program Processor v1.5</title></head><body><div class="lpdoc-page fixleftbar"><a href="#" id="sidebar-toggle-button" class="lpdoc-navbutton"><span id="sidebar-button-arrow">☰</span></a><div id="sidebar" class="lpdoc-sidebar"><div style="height: 40px; margin-left: auto; margin-right: auto"><img src="ciao-logo_autofig.png" width=auto height=100%></div><div class="lpdoc-nav"><span class="lpdoc-on-right"><a class="lpdoc-navbutton" href="part_internals.html">↑</a><a class="lpdoc-navbutton" href="Trust.html">←</a><a class="lpdoc-navbutton" href="trace_fixp.html">→</a><a class="lpdoc-navbutton" href="ciaopp_ref_mansearch.html">🔍</a></span><span><a href="ciaopp_ref_manfulltoc.html">TOC</a></span></div><hr></hr><ul class="lpdoc-itemize-sectpath"><li><a href="ciaopp_ref_man.html">The CiaoPP Program Processor</a> »<br/> </li><li><a href="part_internals.html">PART IV - CiaoPP Internals</a> »<br/> </li><li><a href=""><strong>Debugging the fixpoint operations</strong></a> ▾<ul><li><a href="trace_fixp.html">Fixpoint tracer</a></li><li><a href="view_fixp.html">view_fixp (library)</a></li></ul></li></ul><hr></hr><em>ON THIS PAGE</em><ul><li><a href="#Example of visualization">Example of visualization</a></li><li><a href="#uDraw(Graph) extended features">uDraw(Graph) extended features</a></li></ul></div><div class="lpdoc-main"><div id=""><h1>Debugging the fixpoint operations</h1> This component is in charge of tracing the fixpoint operations to ease debugging.<p><strong>Make sure that the fixpoint that you want to trace is not importing package notrace (If this is the case, nothing will be shown).</strong> <p>The fixpoint can be traced in several forms: graphical (with daVinci graph viewer) or ascii, using <a class="lpdoc-idx-anchor" id="0" href="analyze_driver.html#trace_fixp/1"><tt>trace_fixp/1</tt></a>.<p><div id="Example of visualization"><h2>Example of visualization</h2> <p>Note that daVinci executable has to be accesible in the path for Ciao.<p><pre class="lpdoc-codeblock">?- trace_fixp(view). % This will open a uDraw(Graph) window ?- module(PathToModule). % load the module to analyze (located in PathToModule) ?- analyze(AbsInt). % Analyze for abstract domain AbsInt % The process will appear in the uDraw(Graph) window. ?- trace_fixp(no). % Stop the tracing </pre> <p><div class="lpdoc-alert"> The implementation may not support all features of CiaoPP.<p>E.g. in the actions: <tt>?- analyze(AbsInt), analyze(AbsInt).</tt> the second analysis will fail (only if the tracing is on).<p></div> <p> </div><div id="uDraw(Graph) extended features"><h2>uDraw(Graph) extended features</h2> <p>A menu is generated in uDraw(Graph) (Edit) that allows to execute the analysis in a syncronous and asynchronous way (see Edit->Mode) to swich options.<p>If the synchronous option is on, once the analysis has started, the visualization (and the fixpoint) will do one operation each step. The next step will be performed only if command Edit->'One step ahead' is executed.<p></div><br/><h2>Subparts</h2><ul><li><a href="trace_fixp.html">Fixpoint tracer</a></li><li><a href="view_fixp.html">view_fixp (library)</a></li></ul></div><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>