mirror of
https://github.com/ganelson/inform.git
synced 2024-07-09 02:24:21 +03:00
163 lines
17 KiB
HTML
163 lines
17 KiB
HTML
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
|
|
<html>
|
|
<head>
|
|
<title>1/pc</title>
|
|
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
|
|
<meta http-equiv="Content-Language" content="en-gb">
|
|
<link href="inweb.css" rel="stylesheet" rev="stylesheet" type="text/css">
|
|
</head>
|
|
<body>
|
|
|
|
<!--Weave of '1/ut' generated by 7-->
|
|
<ul class="crumbs"><li><a href="../webs.html">★</a></li><li><a href="index.html">kinds-test</a></li><li><a href="index.html#1">Chapter 1: Everything</a></li><li><b>Unit Tests</b></li></ul><p class="purpose">A selection of tests for, or demonstrations of, syntax features.</p>
|
|
|
|
<ul class="toc"><li><a href="#SP2">§2. What verb usages we allow</a></li><li><a href="#SP3">§3. </a></li><li><a href="#SP5">§5. Syntax tree</a></li></ul><hr class="tocbar">
|
|
|
|
<p class="inwebparagraph"><a id="SP1"></a><b>§1. </b></p>
|
|
|
|
|
|
<pre class="display">
|
|
<span class="reserved">verb_conjugation</span><span class="plain"> *</span><span class="identifier">vc_be</span><span class="plain"> = </span><span class="identifier">NULL</span><span class="plain">;</span>
|
|
<span class="reserved">verb_conjugation</span><span class="plain"> *</span><span class="identifier">vc_have</span><span class="plain"> = </span><span class="identifier">NULL</span><span class="plain">;</span>
|
|
</pre>
|
|
|
|
<p class="inwebparagraph"></p>
|
|
|
|
<p class="inwebparagraph"><a id="SP2"></a><b>§2. What verb usages we allow. </b></p>
|
|
|
|
|
|
<pre class="definitions">
|
|
<span class="definitionkeyword">define</span> <span class="constant">ALLOW_VERB_USAGE_IN_ASSERTIONS</span><span class="plain"> </span><span class="functiontext">Unit::allow_in_assertions</span>
|
|
<span class="definitionkeyword">define</span> <span class="constant">ALLOW_VERB_USAGE_GENERALLY</span><span class="plain"> </span><span class="functiontext">Unit::allow_generally</span>
|
|
</pre>
|
|
|
|
<pre class="display">
|
|
<span class="reserved">int</span><span class="plain"> </span><span class="functiontext">Unit::allow_in_assertions</span><span class="plain">(</span><span class="reserved">verb_conjugation</span><span class="plain"> *</span><span class="identifier">vc</span><span class="plain">, </span><span class="reserved">int</span><span class="plain"> </span><span class="identifier">tense</span><span class="plain">, </span><span class="reserved">int</span><span class="plain"> </span><span class="identifier">sense</span><span class="plain">, </span><span class="reserved">int</span><span class="plain"> </span><span class="identifier">person</span><span class="plain">) {</span>
|
|
<span class="reserved">if</span><span class="plain"> ((</span><span class="identifier">person</span><span class="plain"> == </span><span class="constant">THIRD_PERSON_SINGULAR</span><span class="plain">) || (</span><span class="identifier">person</span><span class="plain"> == </span><span class="constant">THIRD_PERSON_PLURAL</span><span class="plain">)) </span><span class="reserved">return</span><span class="plain"> </span><span class="constant">TRUE</span><span class="plain">;</span>
|
|
<span class="reserved">return</span><span class="plain"> </span><span class="constant">FALSE</span><span class="plain">;</span>
|
|
<span class="plain">}</span>
|
|
|
|
<span class="reserved">int</span><span class="plain"> </span><span class="functiontext">Unit::allow_generally</span><span class="plain">(</span><span class="reserved">verb_conjugation</span><span class="plain"> *</span><span class="identifier">vc</span><span class="plain">, </span><span class="reserved">int</span><span class="plain"> </span><span class="identifier">tense</span><span class="plain">, </span><span class="reserved">int</span><span class="plain"> </span><span class="identifier">sense</span><span class="plain">, </span><span class="reserved">int</span><span class="plain"> </span><span class="identifier">person</span><span class="plain">) {</span>
|
|
<span class="reserved">return</span><span class="plain"> </span><span class="constant">TRUE</span><span class="plain">;</span>
|
|
<span class="plain">}</span>
|
|
</pre>
|
|
|
|
<p class="inwebparagraph"></p>
|
|
|
|
<p class="endnote">The function Unit::allow_in_assertions appears nowhere else.</p>
|
|
|
|
<p class="endnote">The function Unit::allow_generally appears nowhere else.</p>
|
|
|
|
<p class="inwebparagraph"><a id="SP3"></a><b>§3. </b></p>
|
|
|
|
|
|
<pre class="display">
|
|
<span class="plain"><</span><span class="identifier">dividing</span><span class="plain">-</span><span class="identifier">sentence</span><span class="plain">> ::=</span>
|
|
<span class="identifier">chapter</span><span class="plain"> ... | ==> 1</span>
|
|
<span class="identifier">section</span><span class="plain"> ... ==> 2</span>
|
|
|
|
<span class="plain"><</span><span class="identifier">structural</span><span class="plain">-</span><span class="identifier">sentence</span><span class="plain">> ::=</span>
|
|
<span class="plain">... ==> </span><span class="constant">TRUE</span><span class="plain">; </span><span class="reserved">return</span><span class="plain"> </span><span class="constant">FAIL_NONTERMINAL</span><span class="plain">;</span>
|
|
|
|
<span class="plain"><</span><span class="identifier">language</span><span class="plain">-</span><span class="identifier">modifying</span><span class="plain">-</span><span class="identifier">sentence</span><span class="plain">> ::=</span>
|
|
<span class="plain">... ==> </span><span class="constant">TRUE</span><span class="plain">; </span><span class="reserved">return</span><span class="plain"> </span><span class="constant">FAIL_NONTERMINAL</span><span class="plain">;</span>
|
|
|
|
<span class="plain"><</span><span class="identifier">unexceptional</span><span class="plain">-</span><span class="identifier">sentence</span><span class="plain">> ::=</span>
|
|
<span class="plain"><</span><span class="identifier">sentence</span><span class="plain">> ==> </span><<span class="cwebmacro">Report any error</span> <span class="cwebmacronumber">3.1</span>>
|
|
</pre>
|
|
|
|
<p class="inwebparagraph"></p>
|
|
|
|
<p class="inwebparagraph"><a id="SP3_1"></a><b>§3.1. </b><code class="display">
|
|
<<span class="cwebmacrodefn">Report any error</span> <span class="cwebmacronumber">3.1</span>> =
|
|
</code></p>
|
|
|
|
|
|
<pre class="displaydefn">
|
|
<span class="reserved">parse_node</span><span class="plain"> *</span><span class="identifier">VP_PN</span><span class="plain"> = </span><span class="identifier">RP</span><span class="plain">[1];</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="functiontext">ParseTree::int_annotation</span><span class="plain">(</span><span class="identifier">VP_PN</span><span class="plain">, </span><span class="constant">linguistic_error_here_ANNOT</span><span class="plain">) == </span><span class="constant">TwoLikelihoods_LINERROR</span><span class="plain">)</span>
|
|
<span class="functiontext">Errors::nowhere</span><span class="plain">(</span><span class="string">"two certainties"</span><span class="plain">);</span>
|
|
<span class="plain">*</span><span class="identifier">XP</span><span class="plain"> = </span><span class="identifier">VP_PN</span><span class="plain">;</span>
|
|
</pre>
|
|
|
|
<p class="inwebparagraph"></p>
|
|
|
|
<p class="endnote">This code is used in <a href="#SP3">§3</a>.</p>
|
|
|
|
<p class="inwebparagraph"><a id="SP4"></a><b>§4. </b></p>
|
|
|
|
|
|
<pre class="display">
|
|
<span class="plain"><</span><span class="identifier">stock</span><span class="plain">> ::=</span>
|
|
<span class="identifier">verb</span><span class="plain"> <</span><span class="identifier">cardinal</span><span class="plain">-</span><span class="identifier">number</span><span class="plain">> ... ==> </span><span class="identifier">R</span><span class="plain">[1]; *</span><span class="identifier">XP</span><span class="plain"> = </span><span class="functiontext">Conjugation::conjugate</span><span class="plain">(</span><span class="functiontext">WordAssemblages::from_wording</span><span class="plain">(</span><span class="identifier">FW</span><span class="plain">[1]), </span><span class="identifier">English_language</span><span class="plain">);</span>
|
|
</pre>
|
|
|
|
<p class="inwebparagraph"></p>
|
|
|
|
<p class="inwebparagraph"><a id="SP5"></a><b>§5. Syntax tree. </b></p>
|
|
|
|
|
|
<pre class="definitions">
|
|
<span class="definitionkeyword">enum</span> <span class="constant">UNKNOWN_NT</span>
|
|
</pre>
|
|
|
|
<pre class="display">
|
|
<span class="reserved">void</span><span class="plain"> </span><span class="functiontext">Unit::start_diagrams</span><span class="plain">(</span><span class="reserved">void</span><span class="plain">) {</span>
|
|
<span class="functiontext">ParseTree::md</span><span class="plain">((</span><span class="reserved">parse_tree_node_type</span><span class="plain">) { </span><span class="constant">UNKNOWN_NT</span><span class="plain">, </span><span class="string">"UNKNOWN_NT"</span><span class="plain">, 0, </span><span class="constant">INFTY</span><span class="plain">, </span><span class="constant">L2_NCAT</span><span class="plain">, 0 });</span>
|
|
<span class="plain">}</span>
|
|
|
|
<span class="reserved">void</span><span class="plain"> </span><span class="functiontext">Unit::test_kinds</span><span class="plain">(</span><span class="reserved">text_stream</span><span class="plain"> *</span><span class="identifier">arg</span><span class="plain">) {</span>
|
|
<span class="functiontext">Streams::enable_debugging</span><span class="plain">(</span><span class="constant">STDOUT</span><span class="plain">);</span>
|
|
<span class="reserved">filename</span><span class="plain"> *</span><span class="identifier">F</span><span class="plain"> = </span><span class="functiontext">Filenames::from_text</span><span class="plain">(</span><span class="identifier">arg</span><span class="plain">);</span>
|
|
<span class="constant">feed_t</span><span class="plain"> </span><span class="identifier">FD</span><span class="plain"> = </span><span class="functiontext">Feeds::begin</span><span class="plain">();</span>
|
|
<span class="reserved">source_file</span><span class="plain"> *</span><span class="identifier">sf</span><span class="plain"> = </span><span class="functiontext">TextFromFiles::feed_into_lexer</span><span class="plain">(</span><span class="identifier">F</span><span class="plain">, </span><span class="constant">NULL_GENERAL_POINTER</span><span class="plain">);</span>
|
|
<span class="reserved">wording</span><span class="plain"> </span><span class="identifier">W</span><span class="plain"> = </span><span class="functiontext">Feeds::end</span><span class="plain">(</span><span class="identifier">FD</span><span class="plain">);</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">sf</span><span class="plain"> == </span><span class="identifier">NULL</span><span class="plain">) { </span><span class="identifier">PRINT</span><span class="plain">(</span><span class="string">"File has failed to open\</span><span class="plain">n</span><span class="string">"</span><span class="plain">); </span><span class="reserved">return</span><span class="plain">; }</span>
|
|
<span class="functiontext">ParseTree::plant_parse_tree</span><span class="plain">();</span>
|
|
<span class="identifier">PRINT</span><span class="plain">(</span><span class="string">"Read %d words\</span><span class="plain">n</span><span class="string">"</span><span class="plain">, </span><span class="functiontext">Wordings::length</span><span class="plain">(</span><span class="identifier">W</span><span class="plain">));</span>
|
|
<span class="functiontext">Sentences::break</span><span class="plain">(</span><span class="identifier">W</span><span class="plain">, </span><span class="identifier">NULL</span><span class="plain">);</span>
|
|
<span class="functiontext">ParseTree::traverse</span><span class="plain">(</span><span class="functiontext">Unit::diagram</span><span class="plain">);</span>
|
|
|
|
<span class="reserved">text_stream</span><span class="plain"> *</span><span class="identifier">save_DL</span><span class="plain"> = </span><span class="identifier">DL</span><span class="plain">;</span>
|
|
<span class="identifier">DL</span><span class="plain"> = </span><span class="constant">STDOUT</span><span class="plain">;</span>
|
|
<span class="functiontext">Streams::enable_debugging</span><span class="plain">(</span><span class="identifier">DL</span><span class="plain">);</span>
|
|
<span class="functiontext">ParseTree::log_tree</span><span class="plain">(</span><span class="identifier">DL</span><span class="plain">, </span><span class="identifier">tree_root</span><span class="plain">);</span>
|
|
<span class="identifier">DL</span><span class="plain"> = </span><span class="identifier">save_DL</span><span class="plain">;</span>
|
|
<span class="plain">}</span>
|
|
|
|
<span class="reserved">void</span><span class="plain"> </span><span class="functiontext">Unit::diagram</span><span class="plain">(</span><span class="reserved">parse_node</span><span class="plain"> *</span><span class="identifier">p</span><span class="plain">) {</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="functiontext">ParseTree::get_type</span><span class="plain">(</span><span class="identifier">p</span><span class="plain">) == </span><span class="constant">SENTENCE_NT</span><span class="plain">) {</span>
|
|
<span class="reserved">wording</span><span class="plain"> </span><span class="identifier">W</span><span class="plain"> = </span><span class="functiontext">ParseTree::get_text</span><span class="plain">(</span><span class="identifier">p</span><span class="plain">);</span>
|
|
<span class="reserved">if</span><span class="plain"> (<</span><span class="identifier">stock</span><span class="plain">>(</span><span class="identifier">W</span><span class="plain">)) {</span>
|
|
<span class="reserved">verb_conjugation</span><span class="plain"> *</span><span class="identifier">vc</span><span class="plain"> = <<</span><span class="identifier">rp</span><span class="plain">>>;</span>
|
|
<span class="reserved">verb_identity</span><span class="plain"> *</span><span class="identifier">vi</span><span class="plain"> = </span><span class="functiontext">Verbs::new_verb</span><span class="plain">(</span><span class="identifier">vc</span><span class="plain">, </span><span class="constant">FALSE</span><span class="plain">);</span>
|
|
<span class="identifier">vc</span><span class="plain">-</span><span class="element">>vc_conjugates</span><span class="plain"> = </span><span class="identifier">vi</span><span class="plain">;</span>
|
|
<span class="functiontext">VerbUsages::register_all_usages_of_verb</span><span class="plain">(</span><span class="identifier">vi</span><span class="plain">, </span><span class="constant">FALSE</span><span class="plain">, <<</span><span class="identifier">r</span><span class="plain">>>);</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">vc_be</span><span class="plain"> == </span><span class="identifier">NULL</span><span class="plain">) </span><span class="identifier">vc_be</span><span class="plain"> = </span><span class="identifier">vc</span><span class="plain">;</span>
|
|
<span class="reserved">else</span><span class="plain"> </span><span class="reserved">if</span><span class="plain"> (</span><span class="identifier">vc_have</span><span class="plain"> == </span><span class="identifier">NULL</span><span class="plain">) </span><span class="identifier">vc_have</span><span class="plain"> = </span><span class="identifier">vc</span><span class="plain">;</span>
|
|
<span class="plain">} </span><span class="reserved">else</span><span class="plain"> {</span>
|
|
<span class="reserved">if</span><span class="plain"> (<</span><span class="identifier">unexceptional</span><span class="plain">-</span><span class="identifier">sentence</span><span class="plain">>(</span><span class="identifier">W</span><span class="plain">)) {</span>
|
|
<span class="functiontext">ParseTree::graft</span><span class="plain">(<<</span><span class="identifier">rp</span><span class="plain">>>, </span><span class="identifier">p</span><span class="plain">);</span>
|
|
<span class="plain">} </span><span class="reserved">else</span><span class="plain"> {</span>
|
|
<span class="identifier">PRINT</span><span class="plain">(</span><span class="string">"Failed: %W\</span><span class="plain">n</span><span class="string">"</span><span class="plain">, </span><span class="identifier">W</span><span class="plain">);</span>
|
|
<span class="plain">}</span>
|
|
<span class="plain">}</span>
|
|
<span class="plain">}</span>
|
|
<span class="plain">}</span>
|
|
</pre>
|
|
|
|
<p class="inwebparagraph"></p>
|
|
|
|
<p class="endnote">The function Unit::start_diagrams appears nowhere else.</p>
|
|
|
|
<p class="endnote">The function Unit::test_kinds is used in 1/pc (<a href="1-pc.html#SP1">§1</a>).</p>
|
|
|
|
<p class="endnote">The function Unit::diagram appears nowhere else.</p>
|
|
|
|
<hr class="tocbar">
|
|
<ul class="toc"><li><a href="1-pc.html">Back to 'Program Control'</a></li><li><i>(This section ends Chapter 1: Everything.)</i></li></ul><hr class="tocbar">
|
|
<!--End of weave-->
|
|
</body>
|
|
</html>
|
|
|