@ciao-lang/ts-ciao-interface
Version:
Simple Ciao interface for node.
7 lines • 3.02 kB
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>CiaoPP batch processing — 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_other_commands.html">↑</a><a class="lpdoc-navbutton" href="ciaopp-dump.html">←</a><a class="lpdoc-navbutton" href="ciaopp_batch_report.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_usage.html">PART I - Using CiaoPP</a> »<br/> </li><li><a href="part_other_commands.html">Other commands</a> »<br/> </li><li><a href=""><strong>CiaoPP batch processing</strong></a></li></ul></div><div class="lpdoc-main"><div id=""><h1>CiaoPP batch processing</h1>
<strong>Author(s):</strong> <a class="lpdoc-idx-anchor" id="Isabel Garcia-Contreras" href="ciaopp_ref_mansearch.html#Isabel Garcia-Contreras">Isabel Garcia-Contreras</a>.<p>
This is the command line interface for the batch analysis <a class="lpdoc-idx-anchor" id="0" href="ciaopp_ref_mansearch.html#ciaopp_batch(ciaopp_batch)"><tt>ciaopp_batch(ciaopp_batch)</tt></a> library.<p><strong>Usage:</strong> <tt>ciaopp-batch AbsInt [Paths]</tt> <p><strong>Analyze a list of directories:</strong> <pre class="lpdoc-codeblock">?- use_module(ciaopp_batch(ciaopp_batch)).
?- analysis_start([Dir1, Dir2], []).
</pre> <p>To see more options see page <span class="lpdoc-missing">Analysis management predicates</span>.<p><strong>Generate a report of an analyzed directory:</strong> <p>The following command generates a directory <tt>allure-results</tt> in the directory from which the command is run. The diretory will contain an <tt>xml</tt> file for each of the domains that the directory was analyzed for.<p><pre class="lpdoc-codeblock">$ ciaopp_batch_report Dir
</pre> <p><strong>Visualize a report:</strong> <p>The analysis report in xml can be processed with the allure tool. Once the tool is installed, visualize the results by running in the same directory as the results were generated <pre class="lpdoc-codeblock">$ allure serve
</pre> <br/></div><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>