@ciao-lang/ts-ciao-interface
Version:
Simple Ciao interface for node.
41 lines (28 loc) • 3.61 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>Display information about CiaoPP files — 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="part_other_commands.html">←</a><a class="lpdoc-navbutton" href="ciaopp-batch.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>Display information about CiaoPP files</strong></a></li></ul><hr></hr><em>ON THIS PAGE</em><ul><li><a href="#Usage">Usage</a></li></ul></div><div class="lpdoc-main"><div id=""><h1>Display information about CiaoPP files</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>
<div class="lpdoc-alert"><strong>Stability: [</strong><strong>devel</strong><strong>] </strong>Currently the subject of active
development and/or research. Functionality may be limited and API
and/or functionality may change without warning or deprecation period. Not recommended yet for use in production.</div><p><br/>
This program outputs information about CiaoPP files.<p><div id="Usage"><h2>Usage</h2> <p><pre class="lpdoc-codeblock">ciaopp-dump <action> [<opts>] <files>
where the possible options are:
-h
Print this information
show <path>
Print info of the dump file or registry directory located in <path>.
cmp <path1> <path2> <domain>
Compares the analysis results of path1 and path2.
May be directories or .dump files.
fmt <filename>[.dump]
Outputs the analysis result in dot format.
ctcheck <modulename>.pl <filename>[.dump] <domain>
Checks assertions agains the analysis in <filename>.dump with <domain>.
report reach <file>[.dump]
Deadcode and failure report of a CiaoPP analysis dumped with the
incremental option, and analyzed with the pp_flag fact_info=on.
stats [--print-header] <filenames>[.dump]
Counts simple characteristics of analysis in the files.
--print-header: prints the names of the characteristics displayed
syntactic [--print-header] <filenames>[.pl]
Counts simple syntactic characteristics of the source in the files.
--print-header: prints the names of the characteristics displayed
</pre> </div><br/></div><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>