The Meta-Environment API
<!-- Generated by Doxygen 1.4.6 -->
<div class="tabs">
  <ul>
    <li><a href="main.html"><span>Main&nbsp;Page</span></a></li>
    <li id="current"><a href="files.html"><span>Files</span></a></li>
    <li><a href="dirs.html"><span>Directories</span></a></li>
  </ul></div>
<div class="tabs">
  <ul>
    <li><a href="files.html"><span>File&nbsp;List</span></a></li>
    <li><a href="globals.html"><span>Globals</span></a></li>
  </ul></div>
<div class="nav">
<a class="el" href="dir_7daf58674f15a538a67a453f598d0007.html">tbscripts</a></div>
<h1>asf-pretty-print.tb</h1><a href="asf-pretty-print_8tb.html">Go to the documentation of this file.</a><div class="fragment"><pre class="fragment"><a name="l00001"></a>00001 <span class="preprocessor">#ifndef ASF_PRETTY_PRINT</span>
<a name="l00002"></a>00002 <span class="preprocessor"></span><span class="preprocessor">#define ASF_PRETTY_PRINT</span>
<a name="l00003"></a>00003 <span class="preprocessor"></span>
<a name="l00004"></a>00004 <span class="preprocessor">#include &lt;undefined.h&gt;</span>
<a name="l00005"></a>00005 <span class="preprocessor">#include &lt;<a class="code" href="asf-utils_8tb.html">asf-utils.tb</a>&gt;</span>
<a name="l00006"></a>00006 <span class="preprocessor">#include &lt;sdf-module-utils.tb&gt;</span>
<a name="l00007"></a>00007 <span class="comment"></span>
<a name="l00008"></a>00008 <span class="comment">/**</span>
<a name="l00009"></a>00009 <span class="comment"> * \file This file coordinates the process of pretty printing a term.</span>
<a name="l00010"></a>00010 <span class="comment"> * It links a module X to another module Y that contains a pretty printer</span>
<a name="l00011"></a>00011 <span class="comment"> * for the language in X, then executes that specification (applies the</span>
<a name="l00012"></a>00012 <span class="comment"> * rewrite rules), and then applies the default mapping to a box and</span>
<a name="l00013"></a>00013 <span class="comment"> * returns the pretty printed result as text.</span>
<a name="l00014"></a>00014 <span class="comment"> */</span>
<a name="l00015"></a>00015 
<a name="l00016"></a>00016 process BoxAndPrettyPrint(<a class="code" href="asf-listeners_8tb.html#87e4eb0875e13dedc6e6704e5003bf8c">ModuleId</a> : module-<span class="keywordtype">id</span>, Path: str, Tree: term, RTree :term?) is
<a name="l00017"></a>00017 let
<a name="l00018"></a>00018   PrettyModuleId: module-id,
<a name="l00019"></a>00019   PrettySpec: term,
<a name="l00020"></a>00020   PrettyEquations: term,
<a name="l00021"></a>00021   UserDefined: term,
<a name="l00022"></a>00022   Result: term
<a name="l00023"></a>00023 in
<a name="l00024"></a>00024   RTree := UNDEFINED
<a name="l00025"></a>00025   . LookupFeatureModuleId(<a class="code" href="asf-listeners_8tb.html#87e4eb0875e13dedc6e6704e5003bf8c">ModuleId</a>, <span class="stringliteral">"format"</span>, PrettyModuleId?)
<a name="l00026"></a>00026   .
<a name="l00027"></a>00027   <span class="keywordflow">if</span> not-equal(PrettyModuleId, UNDEFINED) then 
<a name="l00028"></a>00028      AddJob("User defined pretty printing")
<a name="l00029"></a>00029      . Reduce(PrettyModuleId, Path, off, UserDefined?)
<a name="l00030"></a>00030      . JobDone("User defined pretty printing")
<a name="l00031"></a>00031   else 
<a name="l00032"></a>00032     UserDefined := Tree
<a name="l00033"></a>00033   fi
<a name="l00034"></a>00034   . PrettyPrint(Path, UserDefined, Result?)
<a name="l00035"></a>00035   . RTree := Result
<a name="l00036"></a>00036 endlet
<a name="l00037"></a>00037 
<a name="l00038"></a>00038 <span class="preprocessor">#endif</span>
</pre></div><hr size="1"><address style="align: right;"><small>Generated on Fri Sep 12 13:16:07 2008 for asfsdf-meta by&nbsp;
<a href="http://www.doxygen.org/index.html">
<img src="doxygen.png" alt="doxygen" align="middle" border="0"></a> 1.4.6 </small></address>
</body>
</html>