@ciao-lang/ts-ciao-interface
Version:
Simple Ciao interface for node.
47 lines (30 loc) • 5.25 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 Ciao object files — The Ciao System v1.22</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="ciao-utilities.html">↑</a><a class="lpdoc-navbutton" href="ciao-utilities.html">←</a><a class="lpdoc-navbutton" href="callgraph.html">→</a><a class="lpdoc-navbutton" href="ciaosearch.html">🔍</a></span><span><a href="ciaofulltoc.html">TOC</a></span></div><hr></hr><ul class="lpdoc-itemize-sectpath"><li><a href="ciao.html">The Ciao System</a> »<br/> </li><li><a href="DevEnv.html">PART I - The program development environment</a> »<br/> </li><li><a href="ciao-utilities.html">Other miscellaneous standalone utilities</a> »<br/> </li><li><a href=""><strong>Display information about Ciao object 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 Ciao object files</h1>
<strong>Author(s):</strong> <a class="lpdoc-idx-anchor" id="Manuel Hermenegildo" href="ciaosearch.html#Manuel Hermenegildo">Manuel Hermenegildo</a>, <a class="lpdoc-idx-anchor" id="Daniel Cabeza" href="ciaosearch.html#Daniel Cabeza">Daniel Cabeza</a>, <a class="lpdoc-idx-anchor" id="Manuel Carro" href="ciaosearch.html#Manuel Carro">Manuel Carro</a>, <a class="lpdoc-idx-anchor" id="Jose F. Morales" href="ciaosearch.html#Jose F. Morales">Jose F. Morales</a>.<p>
This program outputs in symbolic form the information contained in a <a class="lpdoc-idx-anchor" id="0" href="ciaosearch.html#Ciao object file">Ciao object file</a> produced by the Ciao compiler. This information includes:<p><ul> <li>declarations and code after compiler's pass one: <a class="lpdoc-idx-anchor" id="1" href="ciaosearch.html#assertion information">assertion information</a> (<a class="lpdoc-idx-anchor" id="2" href="ciaosearch.html#predicate declarations">predicate declarations</a>, <a class="lpdoc-idx-anchor" id="3" href="ciaosearch.html#property declarations">property declarations</a>, <a class="lpdoc-idx-anchor" id="4" href="ciaosearch.html#type declarations">type declarations</a>, etc.) and <a class="lpdoc-idx-anchor" id="5" href="ciaosearch.html#code-related information">code-related information</a> (<a class="lpdoc-idx-anchor" id="6" href="ciaosearch.html#imports">imports</a>, <a class="lpdoc-idx-anchor" id="7" href="ciaosearch.html#exports">exports</a>, <a class="lpdoc-idx-anchor" id="8" href="ciaosearch.html#libraries used">libraries used</a>, etc.) <li>contents of a module interface file (<tt>.itf</tt>) <li>contents of a bytecode file (<tt>.po</tt>), include WAM bytecode <li>plain terms in <a class="lpdoc-idx-anchor" id="9" href="fastrw.html"><tt>fastrw</tt></a> format </ul> <p>This program is specially useful for example for checking what assertions the <a class="lpdoc-idx-anchor" id="10" href="ciaosearch.html#assertion normalizer">assertion normalizer</a> is producing from the original assertions in the file, what the compiler is actually seeing after some of the syntactic expansions (but before goal translations), or what bytecode instructions are generated.<p><div id="Usage"><h2>Usage</h2> <p><pre class="lpdoc-codeblock">ciaodump <options> <filename>
where the possible options are:
-h
Print this information
-itf <filename>[.itf]
Print .itf contents in symbolic form
-asr0 <filename>[.asr]
Print .asr contents in symbolic form (raw form)
-asr <filename>[.asr]
Pretty print .asr contents in symbolic form
-fastrw <filename>
Decode a file written with the fastrw library
-norm [-v] [-m] <-a|-f|-c|-e> <filename>[.pl]
Print output of compiler's pass one
-v : verbose output (e.g., lists all files read)
-m : restrict info to current module (omit imported)
-a : print assertions (only code-oriented assertions -- not
comment-oriented assertions), after normalization
-f : print declarations, code, and interface (imports/exports, etc.)
after compiler's pass one
-c : print code only
-e : print only errors - useful to check syntax of assertions in file
<filename> must be the name of a Ciao source file.
-po <filename>[.po]
Print .po contents in symbolic form
-wam <filename>[.pl]
Print WAM code (simplified) for a .pl file
</pre> </div><br/></div><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>