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_909eb44f5fb74972b28b1d2430361c27.html">tbscripts</a></div>
<h1>assert.tb</h1><a href="assert_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 __ASSERT__</span>
<a name="l00002"></a>00002 <span class="preprocessor"></span><span class="preprocessor">#define __ASSERT__</span>
<a name="l00003"></a>00003 <span class="preprocessor"></span>
<a name="l00004"></a>00004 process <a class="code" href="assert_8tb.html#775f868354ad821643722d552ab391b9">AssertEqual</a>(Term1: term, Term2: term) is
<a name="l00005"></a>00005   <span class="keywordflow">if</span> not-equal(Term1, Term2) then
<a name="l00006"></a>00006     printf("Assertion failed: \nTerm1: [%t]\nTerm2: [%t]\n", Term1, Term2)
<a name="l00007"></a>00007     . shutdown("")
<a name="l00008"></a>00008   else
<a name="l00009"></a>00009     tau
<a name="l00010"></a>00010   fi
<a name="l00011"></a>00011 
<a name="l00012"></a>00012 <span class="preprocessor">#endif </span><span class="comment">/*__ASSERT__*/</span>
</pre></div><hr size="1"><address style="align: right;"><small>Generated on Fri Sep 12 13:08:53 2008 for 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>