@ciao-lang/ts-ciao-interface
Version:
Simple Ciao interface for node.
2 lines • 2.88 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>The Preprocessing Unit Component — 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="fixpo_dd.html">←</a><a class="lpdoc-navbutton" href="Punit0.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>The Preprocessing Unit Component</strong></a> ▾<ul><li><a href="Punit0.html">The Preprocessing Unit</a></li><li><a href="p_unit.html">Preprocessing Unit Information Server</a></li><li><a href="native.html">native (library)</a></li><li><a href="program_keys.html">program_keys (library)</a></li><li><a href="tr_syntax.html">tr_syntax (library)</a></li></ul></li></ul></div><div class="lpdoc-main"><div id=""><h1>The Preprocessing Unit Component</h1>
This component is in charge of processing the .asr files, gathering together the code for the preprocessing unit of the current module. The preprocessing unit is the code of the current module together with the set of assertions/properties which allows a precise interpretation of the assertions present for the current module. It serves the rest of the precompiler current module clauses, assertions, (definitions of) properties related, and characteristics of the current module predicates (e.g.: initialization directives, whether a predicate is a meta-predicate, whether it is a "builtin", etc.).<br/><h2>Subparts</h2><ul><li><a href="Punit0.html">The Preprocessing Unit</a></li><li><a href="p_unit.html">Preprocessing Unit Information Server</a></li><li><a href="native.html">native (library)</a></li><li><a href="program_keys.html">program_keys (library)</a></li><li><a href="tr_syntax.html">tr_syntax (library)</a></li></ul></div><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>