mirror of
https://github.com/ganelson/inform.git
synced 2024-07-05 08:34:22 +03:00
Fix for Mantis bug 2102
This commit is contained in:
parent
e369779098
commit
1d71b34f9c
|
@ -47,7 +47,9 @@ MathJax = {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -47,7 +47,9 @@ MathJax = {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -47,7 +47,9 @@ MathJax = {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -47,7 +47,9 @@ MathJax = {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -33,7 +33,9 @@
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -47,7 +47,9 @@ MathJax = {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -47,7 +47,9 @@ MathJax = {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -47,7 +47,9 @@ MathJax = {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -47,7 +47,9 @@ MathJax = {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -47,7 +47,9 @@ MathJax = {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -33,7 +33,9 @@
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
@ -321,9 +323,15 @@ whatever is the current language of play.
|
||||||
<pre class="displayed-code all-displayed-code code-font">
|
<pre class="displayed-code all-displayed-code code-font">
|
||||||
<span class="plain-syntax">[ </span><span class="identifier-syntax">EnglishNumber</span><span class="plain-syntax"> </span><span class="identifier-syntax">n</span><span class="plain-syntax">; </span><span class="identifier-syntax">LanguageNumber</span><span class="plain-syntax">(</span><span class="identifier-syntax">n</span><span class="plain-syntax">); ];</span>
|
<span class="plain-syntax">[ </span><span class="identifier-syntax">EnglishNumber</span><span class="plain-syntax"> </span><span class="identifier-syntax">n</span><span class="plain-syntax">; </span><span class="identifier-syntax">LanguageNumber</span><span class="plain-syntax">(</span><span class="identifier-syntax">n</span><span class="plain-syntax">); ];</span>
|
||||||
|
|
||||||
|
|
||||||
<span class="plain-syntax">[ </span><span class="identifier-syntax">LanguageNumber</span><span class="plain-syntax"> </span><span class="identifier-syntax">n</span><span class="plain-syntax"> </span><span class="identifier-syntax">f</span><span class="plain-syntax">;</span>
|
<span class="plain-syntax">[ </span><span class="identifier-syntax">LanguageNumber</span><span class="plain-syntax"> </span><span class="identifier-syntax">n</span><span class="plain-syntax"> </span><span class="identifier-syntax">f</span><span class="plain-syntax">;</span>
|
||||||
<span class="plain-syntax"> </span><span class="reserved-syntax">if</span><span class="plain-syntax"> (</span><span class="identifier-syntax">n</span><span class="plain-syntax"> == </span><span class="constant-syntax">0</span><span class="plain-syntax">) { </span><span class="reserved-syntax">print</span><span class="plain-syntax"> </span><span class="string-syntax">"zero"</span><span class="plain-syntax">; </span><span class="reserved-syntax">rfalse</span><span class="plain-syntax">; }</span>
|
<span class="plain-syntax"> </span><span class="reserved-syntax">if</span><span class="plain-syntax"> (</span><span class="identifier-syntax">n</span><span class="plain-syntax"> == </span><span class="constant-syntax">0</span><span class="plain-syntax">) { </span><span class="reserved-syntax">print</span><span class="plain-syntax"> </span><span class="string-syntax">"zero"</span><span class="plain-syntax">; </span><span class="reserved-syntax">rfalse</span><span class="plain-syntax">; }</span>
|
||||||
|
<span class="plain-syntax"> </span><span class="reserved-syntax">if</span><span class="plain-syntax"> (</span><span class="identifier-syntax">n</span><span class="plain-syntax"> == </span><span class="identifier-syntax">MIN_NEGATIVE_NUMBER</span><span class="plain-syntax">) {</span>
|
||||||
|
<span class="plain-syntax">#</span><span class="identifier-syntax">Iftrue</span><span class="plain-syntax"> (</span><span class="identifier-syntax">WORDSIZE</span><span class="plain-syntax"> == </span><span class="constant-syntax">4</span><span class="plain-syntax">);</span>
|
||||||
|
<span class="plain-syntax"> </span><span class="reserved-syntax">print</span><span class="plain-syntax"> </span><span class="string-syntax">"minus two billion"</span><span class="plain-syntax">; </span><span class="identifier-syntax">n</span><span class="plain-syntax"> = </span><span class="constant-syntax">147483648</span><span class="plain-syntax">; </span><span class="identifier-syntax">f</span><span class="plain-syntax"> = </span><span class="constant-syntax">1</span><span class="plain-syntax">;</span>
|
||||||
|
<span class="plain-syntax">#</span><span class="identifier-syntax">Ifnot</span><span class="plain-syntax">;</span>
|
||||||
|
<span class="plain-syntax"> </span><span class="reserved-syntax">print</span><span class="plain-syntax"> </span><span class="string-syntax">"minus thirty-two thousand"</span><span class="plain-syntax">; </span><span class="identifier-syntax">n</span><span class="plain-syntax"> = </span><span class="constant-syntax">768</span><span class="plain-syntax">; </span><span class="identifier-syntax">f</span><span class="plain-syntax"> = </span><span class="constant-syntax">1</span><span class="plain-syntax">;</span>
|
||||||
|
<span class="plain-syntax">#</span><span class="identifier-syntax">Endif</span><span class="plain-syntax">;</span>
|
||||||
|
<span class="plain-syntax"> }</span>
|
||||||
<span class="plain-syntax"> </span><span class="reserved-syntax">if</span><span class="plain-syntax"> (</span><span class="identifier-syntax">n</span><span class="plain-syntax"> < </span><span class="constant-syntax">0</span><span class="plain-syntax">) { </span><span class="reserved-syntax">print</span><span class="plain-syntax"> </span><span class="string-syntax">"minus "</span><span class="plain-syntax">; </span><span class="identifier-syntax">n</span><span class="plain-syntax"> = -</span><span class="identifier-syntax">n</span><span class="plain-syntax">; }</span>
|
<span class="plain-syntax"> </span><span class="reserved-syntax">if</span><span class="plain-syntax"> (</span><span class="identifier-syntax">n</span><span class="plain-syntax"> < </span><span class="constant-syntax">0</span><span class="plain-syntax">) { </span><span class="reserved-syntax">print</span><span class="plain-syntax"> </span><span class="string-syntax">"minus "</span><span class="plain-syntax">; </span><span class="identifier-syntax">n</span><span class="plain-syntax"> = -</span><span class="identifier-syntax">n</span><span class="plain-syntax">; }</span>
|
||||||
<span class="plain-syntax">#</span><span class="identifier-syntax">Iftrue</span><span class="plain-syntax"> (</span><span class="identifier-syntax">WORDSIZE</span><span class="plain-syntax"> == </span><span class="constant-syntax">4</span><span class="plain-syntax">);</span>
|
<span class="plain-syntax">#</span><span class="identifier-syntax">Iftrue</span><span class="plain-syntax"> (</span><span class="identifier-syntax">WORDSIZE</span><span class="plain-syntax"> == </span><span class="constant-syntax">4</span><span class="plain-syntax">);</span>
|
||||||
<span class="plain-syntax"> </span><span class="reserved-syntax">if</span><span class="plain-syntax"> (</span><span class="identifier-syntax">n</span><span class="plain-syntax"> >= </span><span class="constant-syntax">1000000000</span><span class="plain-syntax">) {</span>
|
<span class="plain-syntax"> </span><span class="reserved-syntax">if</span><span class="plain-syntax"> (</span><span class="identifier-syntax">n</span><span class="plain-syntax"> >= </span><span class="constant-syntax">1000000000</span><span class="plain-syntax">) {</span>
|
||||||
|
|
|
@ -47,7 +47,9 @@ MathJax = {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -47,7 +47,9 @@ MathJax = {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -47,7 +47,9 @@ MathJax = {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -47,7 +47,9 @@ MathJax = {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -33,7 +33,9 @@
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -47,7 +47,9 @@ MathJax = {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -47,7 +47,9 @@ MathJax = {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -33,7 +33,9 @@
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -47,7 +47,9 @@ MathJax = {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -47,7 +47,9 @@ MathJax = {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -47,7 +47,9 @@ MathJax = {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -31,7 +31,9 @@
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -33,7 +33,9 @@
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -33,7 +33,9 @@
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -55,7 +55,9 @@ function togglePopup(material_id) {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -55,7 +55,9 @@ function togglePopup(material_id) {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
@ -86,7 +88,10 @@ proposition \(\phi(x)\) with one free variable \(x\) expected to range over \(K\
|
||||||
|
|
||||||
<span class="identifier-syntax">pcalc_prop</span><span class="plain-syntax"> *</span><span class="function-syntax">Descriptions::to_proposition</span><button class="popup" onclick="togglePopup('usagePopup2')"><span class="comment-syntax">?</span><span class="popuptext" id="usagePopup2">Usage of <span class="code-font"><span class="function-syntax">Descriptions::to_proposition</span></span>:<br/><a href="2-dsc.html#SP3">§3</a>, <a href="2-dsc.html#SP4">§4</a>, <a href="2-dsc.html#SP5">§5</a>, <a href="2-dsc.html#SP6">§6</a>, <a href="2-dsc.html#SP7">§7</a>, <a href="2-dsc.html#SP8">§8</a>, <a href="2-dsc.html#SP9">§9</a>, <a href="2-dsc.html#SP10">§10</a>, <a href="2-dsc.html#SP12_1">§12.1</a><br/>Specifications - <a href="2-spc.html#SP4">§4</a><br/>Dash - <a href="5-dsh.html#SP24">§24</a></span></button><span class="plain-syntax">(</span><span class="identifier-syntax">parse_node</span><span class="plain-syntax"> *</span><span class="identifier-syntax">spec</span><span class="plain-syntax">) {</span>
|
<span class="identifier-syntax">pcalc_prop</span><span class="plain-syntax"> *</span><span class="function-syntax">Descriptions::to_proposition</span><button class="popup" onclick="togglePopup('usagePopup2')"><span class="comment-syntax">?</span><span class="popuptext" id="usagePopup2">Usage of <span class="code-font"><span class="function-syntax">Descriptions::to_proposition</span></span>:<br/><a href="2-dsc.html#SP3">§3</a>, <a href="2-dsc.html#SP4">§4</a>, <a href="2-dsc.html#SP5">§5</a>, <a href="2-dsc.html#SP6">§6</a>, <a href="2-dsc.html#SP7">§7</a>, <a href="2-dsc.html#SP8">§8</a>, <a href="2-dsc.html#SP9">§9</a>, <a href="2-dsc.html#SP10">§10</a>, <a href="2-dsc.html#SP12_1">§12.1</a><br/>Specifications - <a href="2-spc.html#SP4">§4</a><br/>Dash - <a href="5-dsh.html#SP24">§24</a></span></button><span class="plain-syntax">(</span><span class="identifier-syntax">parse_node</span><span class="plain-syntax"> *</span><span class="identifier-syntax">spec</span><span class="plain-syntax">) {</span>
|
||||||
<span class="plain-syntax"> </span><span class="reserved-syntax">if</span><span class="plain-syntax"> (</span><a href="2-spc.html#SP3" class="function-link"><span class="function-syntax">Specifications::is_description</span></a><span class="plain-syntax">(</span><span class="identifier-syntax">spec</span><span class="plain-syntax">)) </span><span class="identifier-syntax">spec</span><span class="plain-syntax"> = </span><span class="identifier-syntax">spec</span><span class="plain-syntax">-></span><span class="identifier-syntax">down</span><span class="plain-syntax">;</span>
|
<span class="plain-syntax"> </span><span class="reserved-syntax">if</span><span class="plain-syntax"> (</span><a href="2-spc.html#SP3" class="function-link"><span class="function-syntax">Specifications::is_description</span></a><span class="plain-syntax">(</span><span class="identifier-syntax">spec</span><span class="plain-syntax">)) </span><span class="identifier-syntax">spec</span><span class="plain-syntax"> = </span><span class="identifier-syntax">spec</span><span class="plain-syntax">-></span><span class="identifier-syntax">down</span><span class="plain-syntax">;</span>
|
||||||
<span class="plain-syntax"> </span><span class="reserved-syntax">else</span><span class="plain-syntax"> </span><span class="identifier-syntax">internal_error</span><span class="plain-syntax">(</span><span class="string-syntax">"tried to extract proposition from non-description"</span><span class="plain-syntax">);</span>
|
<span class="plain-syntax"> </span><span class="reserved-syntax">else</span><span class="plain-syntax"> {</span>
|
||||||
|
<span class="plain-syntax"> </span><span class="identifier-syntax">LOG</span><span class="plain-syntax">(</span><span class="string-syntax">"Spec: $P\n"</span><span class="plain-syntax">, </span><span class="identifier-syntax">spec</span><span class="plain-syntax">);</span>
|
||||||
|
<span class="plain-syntax"> </span><span class="identifier-syntax">internal_error</span><span class="plain-syntax">(</span><span class="string-syntax">"tried to extract proposition from non-description"</span><span class="plain-syntax">);</span>
|
||||||
|
<span class="plain-syntax"> }</span>
|
||||||
<span class="plain-syntax"> </span><span class="reserved-syntax">if</span><span class="plain-syntax"> (</span><a href="2-rvl.html#SP21" class="function-link"><span class="function-syntax">Rvalues::is_CONSTANT_construction</span></a><span class="plain-syntax">(</span><span class="identifier-syntax">spec</span><span class="plain-syntax">, </span><span class="identifier-syntax">CON_description</span><span class="plain-syntax">))</span>
|
<span class="plain-syntax"> </span><span class="reserved-syntax">if</span><span class="plain-syntax"> (</span><a href="2-rvl.html#SP21" class="function-link"><span class="function-syntax">Rvalues::is_CONSTANT_construction</span></a><span class="plain-syntax">(</span><span class="identifier-syntax">spec</span><span class="plain-syntax">, </span><span class="identifier-syntax">CON_description</span><span class="plain-syntax">))</span>
|
||||||
<span class="plain-syntax"> </span><span class="reserved-syntax">return</span><span class="plain-syntax"> </span><a href="2-spc.html#SP4" class="function-link"><span class="function-syntax">Specifications::to_proposition</span></a><span class="plain-syntax">(</span><span class="identifier-syntax">spec</span><span class="plain-syntax">);</span>
|
<span class="plain-syntax"> </span><span class="reserved-syntax">return</span><span class="plain-syntax"> </span><a href="2-spc.html#SP4" class="function-link"><span class="function-syntax">Specifications::to_proposition</span></a><span class="plain-syntax">(</span><span class="identifier-syntax">spec</span><span class="plain-syntax">);</span>
|
||||||
<span class="plain-syntax"> </span><span class="reserved-syntax">return</span><span class="plain-syntax"> </span><span class="identifier-syntax">NULL</span><span class="plain-syntax">;</span>
|
<span class="plain-syntax"> </span><span class="reserved-syntax">return</span><span class="plain-syntax"> </span><span class="identifier-syntax">NULL</span><span class="plain-syntax">;</span>
|
||||||
|
|
|
@ -41,7 +41,9 @@ function togglePopup(material_id) {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -41,7 +41,9 @@ function togglePopup(material_id) {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -55,7 +55,9 @@ MathJax = {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
@ -163,7 +165,7 @@ but "12" is not.
|
||||||
<span class="plain-syntax"> </span><span class="reserved-syntax">return</span><span class="plain-syntax"> </span><span class="identifier-syntax">g</span><span class="plain-syntax">;</span>
|
<span class="plain-syntax"> </span><span class="reserved-syntax">return</span><span class="plain-syntax"> </span><span class="identifier-syntax">g</span><span class="plain-syntax">;</span>
|
||||||
<span class="plain-syntax">}</span>
|
<span class="plain-syntax">}</span>
|
||||||
|
|
||||||
<span class="reserved-syntax">int</span><span class="plain-syntax"> </span><span class="function-syntax">Specifications::is_description</span><button class="popup" onclick="togglePopup('usagePopup9')"><span class="comment-syntax">?</span><span class="popuptext" id="usagePopup9">Usage of <span class="code-font"><span class="function-syntax">Specifications::is_description</span></span>:<br/><a href="2-spc.html#SP1">§1</a>, <a href="2-spc.html#SP4">§4</a>, <a href="2-spc.html#SP5">§5</a>, <a href="2-spc.html#SP9">§9</a><br/>Conditions - <a href="2-cnd.html#SP11">§11</a><br/>Descriptions - <a href="2-dsc.html#SP1">§1</a>, <a href="2-dsc.html#SP2">§2</a>, <a href="2-dsc.html#SP4">§4</a>, <a href="2-dsc.html#SP5">§5</a>, <a href="2-dsc.html#SP6">§6</a>, <a href="2-dsc.html#SP7">§7</a>, <a href="2-dsc.html#SP9">§9</a>, <a href="2-dsc.html#SP10">§10</a><br/>Constants and Descriptions - <a href="4-cad.html#SP18_5">§18.5</a><br/>Verbal and Relative Clauses - <a href="4-varc.html#SP11_4_1">§11.4.1</a><br/>Parse Invocations - <a href="4-pi.html#SP4_2">§4.2</a>, <a href="4-pi.html#SP5_1_1_1_2">§5.1.1.1.2</a><br/>Dash - <a href="5-dsh.html#SP10_9_1_1_3_1_1">§10.9.1.1.3.1.1</a>, <a href="5-dsh.html#SP10_9_1_2_3">§10.9.1.2.3</a>, <a href="5-dsh.html#SP18_5_3">§18.5.3</a>, <a href="5-dsh.html#SP18_6_2">§18.6.2</a>, <a href="5-dsh.html#SP24">§24</a></span></button><span class="plain-syntax">(</span><span class="identifier-syntax">parse_node</span><span class="plain-syntax"> *</span><span class="identifier-syntax">p</span><span class="plain-syntax">) {</span>
|
<span class="reserved-syntax">int</span><span class="plain-syntax"> </span><span class="function-syntax">Specifications::is_description</span><button class="popup" onclick="togglePopup('usagePopup9')"><span class="comment-syntax">?</span><span class="popuptext" id="usagePopup9">Usage of <span class="code-font"><span class="function-syntax">Specifications::is_description</span></span>:<br/><a href="2-spc.html#SP1">§1</a>, <a href="2-spc.html#SP4">§4</a>, <a href="2-spc.html#SP5">§5</a>, <a href="2-spc.html#SP9">§9</a><br/>Conditions - <a href="2-cnd.html#SP11">§11</a><br/>Descriptions - <a href="2-dsc.html#SP1">§1</a>, <a href="2-dsc.html#SP2">§2</a>, <a href="2-dsc.html#SP4">§4</a>, <a href="2-dsc.html#SP5">§5</a>, <a href="2-dsc.html#SP6">§6</a>, <a href="2-dsc.html#SP7">§7</a>, <a href="2-dsc.html#SP9">§9</a>, <a href="2-dsc.html#SP10">§10</a><br/>Constants and Descriptions - <a href="4-cad.html#SP18_4">§18.4</a>, <a href="4-cad.html#SP18_5">§18.5</a><br/>Verbal and Relative Clauses - <a href="4-varc.html#SP11_4_1">§11.4.1</a><br/>Parse Invocations - <a href="4-pi.html#SP4_2">§4.2</a>, <a href="4-pi.html#SP5_1_1_1_2">§5.1.1.1.2</a><br/>Dash - <a href="5-dsh.html#SP10_9_1_1_3_1_1">§10.9.1.1.3.1.1</a>, <a href="5-dsh.html#SP10_9_1_2_3">§10.9.1.2.3</a>, <a href="5-dsh.html#SP18_5_3">§18.5.3</a>, <a href="5-dsh.html#SP18_6_2">§18.6.2</a>, <a href="5-dsh.html#SP24">§24</a></span></button><span class="plain-syntax">(</span><span class="identifier-syntax">parse_node</span><span class="plain-syntax"> *</span><span class="identifier-syntax">p</span><span class="plain-syntax">) {</span>
|
||||||
<span class="plain-syntax"> </span><span class="reserved-syntax">if</span><span class="plain-syntax"> ((</span><span class="identifier-syntax">Node::is</span><span class="plain-syntax">(</span><span class="identifier-syntax">p</span><span class="plain-syntax">, </span><span class="identifier-syntax">TEST_VALUE_NT</span><span class="plain-syntax">)) &&</span>
|
<span class="plain-syntax"> </span><span class="reserved-syntax">if</span><span class="plain-syntax"> ((</span><span class="identifier-syntax">Node::is</span><span class="plain-syntax">(</span><span class="identifier-syntax">p</span><span class="plain-syntax">, </span><span class="identifier-syntax">TEST_VALUE_NT</span><span class="plain-syntax">)) &&</span>
|
||||||
<span class="plain-syntax"> (</span><a href="2-rvl.html#SP21" class="function-link"><span class="function-syntax">Rvalues::is_CONSTANT_construction</span></a><span class="plain-syntax">(</span><span class="identifier-syntax">p</span><span class="plain-syntax">-></span><span class="identifier-syntax">down</span><span class="plain-syntax">, </span><span class="identifier-syntax">CON_description</span><span class="plain-syntax">))) </span><span class="reserved-syntax">return</span><span class="plain-syntax"> </span><span class="identifier-syntax">TRUE</span><span class="plain-syntax">;</span>
|
<span class="plain-syntax"> (</span><a href="2-rvl.html#SP21" class="function-link"><span class="function-syntax">Rvalues::is_CONSTANT_construction</span></a><span class="plain-syntax">(</span><span class="identifier-syntax">p</span><span class="plain-syntax">-></span><span class="identifier-syntax">down</span><span class="plain-syntax">, </span><span class="identifier-syntax">CON_description</span><span class="plain-syntax">))) </span><span class="reserved-syntax">return</span><span class="plain-syntax"> </span><span class="identifier-syntax">TRUE</span><span class="plain-syntax">;</span>
|
||||||
<span class="plain-syntax"> </span><span class="reserved-syntax">return</span><span class="plain-syntax"> </span><span class="identifier-syntax">FALSE</span><span class="plain-syntax">;</span>
|
<span class="plain-syntax"> </span><span class="reserved-syntax">return</span><span class="plain-syntax"> </span><span class="identifier-syntax">FALSE</span><span class="plain-syntax">;</span>
|
||||||
|
|
|
@ -42,7 +42,9 @@ function togglePopup(material_id) {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -56,7 +56,9 @@ function togglePopup(material_id) {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -56,7 +56,9 @@ function togglePopup(material_id) {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -34,7 +34,9 @@
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -47,7 +47,9 @@ function togglePopup(material_id) {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -41,7 +41,9 @@ function togglePopup(material_id) {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -42,7 +42,9 @@ function togglePopup(material_id) {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -42,7 +42,9 @@ function togglePopup(material_id) {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
@ -670,13 +672,15 @@ except that the noun is optional. The only difference is right at the bottom.
|
||||||
<span class="plain-syntax"> </span><span class="string-syntax">"is carried' isn't allowed - if it's the X-Ray Zapper, "</span>
|
<span class="plain-syntax"> </span><span class="string-syntax">"is carried' isn't allowed - if it's the X-Ray Zapper, "</span>
|
||||||
<span class="plain-syntax"> </span><span class="string-syntax">"then call it that."</span><span class="plain-syntax">);</span>
|
<span class="plain-syntax"> </span><span class="string-syntax">"then call it that."</span><span class="plain-syntax">);</span>
|
||||||
<span class="plain-syntax"> }</span>
|
<span class="plain-syntax"> }</span>
|
||||||
<span class="plain-syntax"> } </span><span class="reserved-syntax">else</span><span class="plain-syntax"> {</span>
|
<span class="plain-syntax"> } </span><span class="reserved-syntax">else</span><span class="plain-syntax"> </span><span class="reserved-syntax">if</span><span class="plain-syntax"> (</span><a href="2-spc.html#SP3" class="function-link"><span class="function-syntax">Specifications::is_description</span></a><span class="plain-syntax">(</span><span class="identifier-syntax">p</span><span class="plain-syntax">)) {</span>
|
||||||
<span class="plain-syntax"> </span><span class="reserved-syntax">if</span><span class="plain-syntax"> (</span><span class="identifier-syntax">Frames::current_stack_frame</span><span class="plain-syntax">()) {</span>
|
<span class="plain-syntax"> </span><span class="reserved-syntax">if</span><span class="plain-syntax"> (</span><span class="identifier-syntax">Frames::current_stack_frame</span><span class="plain-syntax">()) {</span>
|
||||||
<span class="plain-syntax"> </span><span class="identifier-syntax">wording</span><span class="plain-syntax"> </span><span class="identifier-syntax">C</span><span class="plain-syntax"> = </span><span class="identifier-syntax">Node::get_text</span><span class="plain-syntax">(</span><span class="identifier-syntax">c</span><span class="plain-syntax">);</span>
|
<span class="plain-syntax"> </span><span class="identifier-syntax">wording</span><span class="plain-syntax"> </span><span class="identifier-syntax">C</span><span class="plain-syntax"> = </span><span class="identifier-syntax">Node::get_text</span><span class="plain-syntax">(</span><span class="identifier-syntax">c</span><span class="plain-syntax">);</span>
|
||||||
<span class="plain-syntax"> </span><a href="2-dsc.html#SP10" class="function-link"><span class="function-syntax">Descriptions::attach_calling</span></a><span class="plain-syntax">(</span><span class="identifier-syntax">p</span><span class="plain-syntax">, </span><span class="identifier-syntax">C</span><span class="plain-syntax">);</span>
|
<span class="plain-syntax"> </span><a href="2-dsc.html#SP10" class="function-link"><span class="function-syntax">Descriptions::attach_calling</span></a><span class="plain-syntax">(</span><span class="identifier-syntax">p</span><span class="plain-syntax">, </span><span class="identifier-syntax">C</span><span class="plain-syntax">);</span>
|
||||||
<span class="plain-syntax"> </span><span class="identifier-syntax">kind</span><span class="plain-syntax"> *</span><span class="identifier-syntax">K</span><span class="plain-syntax"> = </span><a href="2-spc.html#SP1" class="function-link"><span class="function-syntax">Specifications::to_kind</span></a><span class="plain-syntax">(</span><span class="identifier-syntax">p</span><span class="plain-syntax">);</span>
|
<span class="plain-syntax"> </span><span class="identifier-syntax">kind</span><span class="plain-syntax"> *</span><span class="identifier-syntax">K</span><span class="plain-syntax"> = </span><a href="2-spc.html#SP1" class="function-link"><span class="function-syntax">Specifications::to_kind</span></a><span class="plain-syntax">(</span><span class="identifier-syntax">p</span><span class="plain-syntax">);</span>
|
||||||
<span class="plain-syntax"> </span><span class="identifier-syntax">LocalVariables::ensure_calling</span><span class="plain-syntax">(</span><span class="identifier-syntax">C</span><span class="plain-syntax">, </span><span class="identifier-syntax">K</span><span class="plain-syntax">);</span>
|
<span class="plain-syntax"> </span><span class="identifier-syntax">LocalVariables::ensure_calling</span><span class="plain-syntax">(</span><span class="identifier-syntax">C</span><span class="plain-syntax">, </span><span class="identifier-syntax">K</span><span class="plain-syntax">);</span>
|
||||||
<span class="plain-syntax"> }</span>
|
<span class="plain-syntax"> }</span>
|
||||||
|
<span class="plain-syntax"> } </span><span class="reserved-syntax">else</span><span class="plain-syntax"> {</span>
|
||||||
|
<span class="plain-syntax"> ==> { </span><span class="identifier-syntax">fail</span><span class="plain-syntax"> };</span>
|
||||||
<span class="plain-syntax"> }</span>
|
<span class="plain-syntax"> }</span>
|
||||||
<span class="plain-syntax"> ==> { -, </span><span class="identifier-syntax">p</span><span class="plain-syntax"> };</span>
|
<span class="plain-syntax"> ==> { -, </span><span class="identifier-syntax">p</span><span class="plain-syntax"> };</span>
|
||||||
</pre>
|
</pre>
|
||||||
|
|
|
@ -42,7 +42,9 @@ function togglePopup(material_id) {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -34,7 +34,9 @@
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -41,7 +41,9 @@ function togglePopup(material_id) {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -41,7 +41,9 @@ function togglePopup(material_id) {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -41,7 +41,9 @@ function togglePopup(material_id) {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -42,7 +42,9 @@ function togglePopup(material_id) {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -47,7 +47,9 @@ function togglePopup(material_id) {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -56,7 +56,9 @@ MathJax = {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -52,7 +52,9 @@ MathJax = {
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -31,7 +31,9 @@
|
||||||
<li><a href="../inform6.html">inform6</a></li>
|
<li><a href="../inform6.html">inform6</a></li>
|
||||||
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
<li><a href="../inpolicyn.html">inpolicy</a></li>
|
||||||
<li><a href="../inrtpsn.html">inrtps</a></li>
|
<li><a href="../inrtpsn.html">inrtps</a></li>
|
||||||
<li><a href="../extensions.html">extensions and kits</a></li>
|
</ul><h2>Resources</h2><ul>
|
||||||
|
<li><a href="../extensions.html">extensions</a></li>
|
||||||
|
<li><a href="../kits.html">kits</a></li>
|
||||||
</ul><h2>Repository</h2><ul>
|
</ul><h2>Repository</h2><ul>
|
||||||
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=18> github</a></li>
|
||||||
</ul><h2>Related Projects</h2><ul>
|
</ul><h2>Related Projects</h2><ul>
|
||||||
|
|
|
@ -237,7 +237,7 @@ Total memory consumption was 126309K = 123 MB
|
||||||
|
|
||||||
100.0% was used for memory not allocated for objects:
|
100.0% was used for memory not allocated for objects:
|
||||||
|
|
||||||
59.2% text stream storage 76627568 bytes in 452152 claims
|
59.2% text stream storage 76627836 bytes in 452154 claims
|
||||||
3.5% dictionary storage 4544512 bytes in 6619 claims
|
3.5% dictionary storage 4544512 bytes in 6619 claims
|
||||||
---- sorting 744 bytes in 3 claims
|
---- sorting 744 bytes in 3 claims
|
||||||
5.5% source text 7200000 bytes in 3 claims
|
5.5% source text 7200000 bytes in 3 claims
|
||||||
|
@ -246,7 +246,7 @@ Total memory consumption was 126309K = 123 MB
|
||||||
---- linguistic stock array 81920 bytes in 2 claims
|
---- linguistic stock array 81920 bytes in 2 claims
|
||||||
---- small word set array 105600 bytes in 22 claims
|
---- small word set array 105600 bytes in 22 claims
|
||||||
3.4% inter symbols storage 4522288 bytes in 27921 claims
|
3.4% inter symbols storage 4522288 bytes in 27921 claims
|
||||||
12.9% inter bytecode storage 16767476 bytes in 14 claims
|
12.9% inter bytecode storage 16767480 bytes in 14 claims
|
||||||
4.8% inter links storage 6222976 bytes in 11 claims
|
4.8% inter links storage 6222976 bytes in 11 claims
|
||||||
0.1% inter tree location list storage 191232 bytes in 32 claims
|
0.1% inter tree location list storage 191232 bytes in 32 claims
|
||||||
1.3% instance-of-kind counting 1695204 bytes in 1 claim
|
1.3% instance-of-kind counting 1695204 bytes in 1 claim
|
||||||
|
|
|
@ -1,7 +1,7 @@
|
||||||
100.0% in inform7 run
|
100.0% in inform7 run
|
||||||
68.8% in compilation to Inter
|
68.6% in compilation to Inter
|
||||||
47.7% in //Sequence::undertake_queued_tasks//
|
47.6% in //Sequence::undertake_queued_tasks//
|
||||||
4.7% in //MajorNodes::pre_pass//
|
4.6% in //MajorNodes::pre_pass//
|
||||||
3.5% in //MajorNodes::pass_1//
|
3.5% in //MajorNodes::pass_1//
|
||||||
2.4% in //RTPhrasebook::compile_entries//
|
2.4% in //RTPhrasebook::compile_entries//
|
||||||
1.8% in //ImperativeDefinitions::assess_all//
|
1.8% in //ImperativeDefinitions::assess_all//
|
||||||
|
@ -18,16 +18,16 @@
|
||||||
0.1% in //Task::make_built_in_kind_constructors//
|
0.1% in //Task::make_built_in_kind_constructors//
|
||||||
0.1% in //World::stages_II_and_III//
|
0.1% in //World::stages_II_and_III//
|
||||||
2.2% not specifically accounted for
|
2.2% not specifically accounted for
|
||||||
28.4% in running Inter pipeline
|
28.7% in running Inter pipeline
|
||||||
10.1% in step 14/14: generate inform6 -> auto.inf
|
10.3% in step 14/14: generate inform6 -> auto.inf
|
||||||
7.5% in step 5/14: load-binary-kits
|
7.6% in step 5/14: load-binary-kits
|
||||||
6.4% in step 6/14: make-synoptic-module
|
6.1% in step 6/14: make-synoptic-module
|
||||||
1.5% in step 9/14: make-identifiers-unique
|
1.5% in step 9/14: make-identifiers-unique
|
||||||
0.3% in step 12/14: eliminate-redundant-operations
|
0.3% in step 12/14: eliminate-redundant-operations
|
||||||
0.3% in step 4/14: compile-splats
|
0.3% in step 4/14: compile-splats
|
||||||
0.3% in step 7/14: shorten-wiring
|
0.3% in step 7/14: shorten-wiring
|
||||||
0.3% in step 8/14: detect-indirect-calls
|
0.3% in step 8/14: detect-indirect-calls
|
||||||
0.1% in step 11/14: eliminate-redundant-labels
|
0.1% in step 11/14: eliminate-redundant-labels
|
||||||
1.1% not specifically accounted for
|
1.4% not specifically accounted for
|
||||||
2.2% in supervisor
|
2.2% in supervisor
|
||||||
0.4% not specifically accounted for
|
0.4% not specifically accounted for
|
||||||
|
|
|
@ -17,7 +17,10 @@ parse_node *Descriptions::from_proposition(pcalc_prop *prop, wording W) {
|
||||||
|
|
||||||
pcalc_prop *Descriptions::to_proposition(parse_node *spec) {
|
pcalc_prop *Descriptions::to_proposition(parse_node *spec) {
|
||||||
if (Specifications::is_description(spec)) spec = spec->down;
|
if (Specifications::is_description(spec)) spec = spec->down;
|
||||||
else internal_error("tried to extract proposition from non-description");
|
else {
|
||||||
|
LOG("Spec: $P\n", spec);
|
||||||
|
internal_error("tried to extract proposition from non-description");
|
||||||
|
}
|
||||||
if (Rvalues::is_CONSTANT_construction(spec, CON_description))
|
if (Rvalues::is_CONSTANT_construction(spec, CON_description))
|
||||||
return Specifications::to_proposition(spec);
|
return Specifications::to_proposition(spec);
|
||||||
return NULL;
|
return NULL;
|
||||||
|
|
|
@ -518,13 +518,15 @@ except that the noun is optional. The only difference is right at the bottom.
|
||||||
"is carried' isn't allowed - if it's the X-Ray Zapper, "
|
"is carried' isn't allowed - if it's the X-Ray Zapper, "
|
||||||
"then call it that.");
|
"then call it that.");
|
||||||
}
|
}
|
||||||
} else {
|
} else if (Specifications::is_description(p)) {
|
||||||
if (Frames::current_stack_frame()) {
|
if (Frames::current_stack_frame()) {
|
||||||
wording C = Node::get_text(c);
|
wording C = Node::get_text(c);
|
||||||
Descriptions::attach_calling(p, C);
|
Descriptions::attach_calling(p, C);
|
||||||
kind *K = Specifications::to_kind(p);
|
kind *K = Specifications::to_kind(p);
|
||||||
LocalVariables::ensure_calling(C, K);
|
LocalVariables::ensure_calling(C, K);
|
||||||
}
|
}
|
||||||
|
} else {
|
||||||
|
==> { fail };
|
||||||
}
|
}
|
||||||
==> { -, p };
|
==> { -, p };
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue