@ciao-lang/ts-ciao-interface
Version:
Simple Ciao interface for node.
2 lines • 2.84 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 Global Information Server — 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="tr_syntax.html">←</a><a class="lpdoc-navbutton" href="infer.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 Global Information Server</strong></a> ▾<ul><li><a href="infer.html">Analysis Information Server</a></li></ul></li></ul></div><div class="lpdoc-main"><div id=""><h1>The Global Information Server</h1>
This component is in charge of serving the rest of the precompiler all known semantic information on the current module, either from any analysis or from the assertions.<p>The (basic) organization of the code is as follows:<p><img src="infer_autofig.png"> <p>Module <a class="lpdoc-idx-anchor" id="0" href="infer.html"><tt>infer</tt></a> is in charge of interfacing with the rest of CiaoPP. Module <a class="lpdoc-idx-anchor" id="1" href="ciaopp_ref_mansearch.html#modes"><tt>modes</tt></a> implements a mode analysis based on sharing information. Module <a class="lpdoc-idx-anchor" id="2" href="ciaopp_ref_mansearch.html#vartypes"><tt>vartypes</tt></a> implements a moded type analysis based on freeness and regular type information. Module <a class="lpdoc-idx-anchor" id="3" href="ciaopp_ref_mansearch.html#infer_db"><tt>infer_db</tt></a> is the centralized repository for all analysis information. Module <a class="lpdoc-idx-anchor" id="4" href="ciaopp_ref_mansearch.html#typeslib"><tt>typeslib</tt></a> implements a library for manipulation of regular types. <br/><h2>Subparts</h2><ul><li><a href="infer.html">Analysis Information Server</a></li></ul></div><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>