mirror of
https://github.com/ganelson/inform.git
synced 2024-07-02 23:14:57 +03:00
Reformed inter construct children lists
This commit is contained in:
Graham Nelson
parent
25595cf806
commit
3c66bbe04f
|
|
@ -150,7 +150,7 @@
|
|||
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">Str::eq</span><span class="plain">(</span><span class="identifier">lab_name</span><span class="plain">-></span><span class="identifier">symbol_name</span><span class="plain">, </span><span class="identifier">I</span><span class="string">".begin"</span><span class="plain">)) { </span><span class="identifier">WRITE</span><span class="plain">(</span><span class="string">";\</span><span class="plain">n</span><span class="string">"</span><span class="plain">); </span><span class="identifier">INDENT</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">Str::eq</span><span class="plain">(</span><span class="identifier">lab_name</span><span class="plain">-></span><span class="identifier">symbol_name</span><span class="plain">, </span><span class="identifier">I</span><span class="string">".end"</span><span class="plain">)) { </span><span class="identifier">OUTDENT</span><span class="plain">; </span><span class="identifier">WRITE</span><span class="plain">(</span><span class="string">"];\</span><span class="plain">n</span><span class="string">"</span><span class="plain">); }</span>
|
||||
<span class="reserved">else</span><span class="plain"> </span><span class="identifier">WRITE</span><span class="plain">(</span><span class="string">"%S;\</span><span class="plain">n</span><span class="string">"</span><span class="plain">, </span><span class="identifier">lab_name</span><span class="plain">-></span><span class="identifier">symbol_name</span><span class="plain">);</span>
|
||||
<span class="identifier">inter_frame_list</span><span class="plain"> *</span><span class="identifier">ifl</span><span class="plain"> = </span><span class="identifier">Inter::find_frame_list</span><span class="plain">(</span><span class="identifier">P</span><span class="plain">.</span><span class="identifier">repo_segment</span><span class="plain">-></span><span class="identifier">owning_repo</span><span class="plain">, </span><span class="identifier">P</span><span class="plain">.</span><span class="identifier">data</span><span class="plain">[</span><span class="identifier">CODE_LABEL_IFLD</span><span class="plain">]);</span>
|
||||
<span class="identifier">inter_frame_list</span><span class="plain"> *</span><span class="identifier">ifl</span><span class="plain"> = </span><span class="identifier">Inter::Defn::list_of_children</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">ifl</span><span class="plain"> == </span><span class="identifier">NULL</span><span class="plain">) </span><span class="identifier">internal_error</span><span class="plain">(</span><span class="string">"block without code list"</span><span class="plain">);</span>
|
||||
<span class="identifier">inter_frame</span><span class="plain"> </span><span class="identifier">F</span><span class="plain">;</span>
|
||||
<span class="identifier">LOOP_THROUGH_INTER_FRAME_LIST</span><span class="plain">(</span><span class="identifier">F</span><span class="plain">, </span><span class="identifier">ifl</span><span class="plain">)</span>
|
||||
|
|
@ -169,7 +169,7 @@
|
|||
<span class="reserved">void</span><span class="plain"> </span><span class="functiontext">CodeGen::FC::code</span><span class="plain">(</span><span class="reserved">code_generation</span><span class="plain"> *</span><span class="identifier">gen</span><span class="plain">, </span><span class="identifier">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain">) {</span>
|
||||
<span class="reserved">int</span><span class="plain"> </span><span class="identifier">old_level</span><span class="plain"> = </span><span class="identifier">void_level</span><span class="plain">;</span>
|
||||
<span class="identifier">void_level</span><span class="plain"> = </span><span class="identifier">Inter::Defn::get_level</span><span class="plain">(</span><span class="identifier">P</span><span class="plain">) + 1;</span>
|
||||
<span class="identifier">inter_frame_list</span><span class="plain"> *</span><span class="identifier">ifl</span><span class="plain"> = </span><span class="identifier">Inter::find_frame_list</span><span class="plain">(</span><span class="identifier">P</span><span class="plain">.</span><span class="identifier">repo_segment</span><span class="plain">-></span><span class="identifier">owning_repo</span><span class="plain">, </span><span class="identifier">P</span><span class="plain">.</span><span class="identifier">data</span><span class="plain">[</span><span class="identifier">CODE_CODE_IFLD</span><span class="plain">]);</span>
|
||||
<span class="identifier">inter_frame_list</span><span class="plain"> *</span><span class="identifier">ifl</span><span class="plain"> = </span><span class="identifier">Inter::Defn::list_of_children</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">ifl</span><span class="plain">) {</span>
|
||||
<span class="identifier">inter_frame</span><span class="plain"> </span><span class="identifier">F</span><span class="plain">;</span>
|
||||
<span class="identifier">LOOP_THROUGH_INTER_FRAME_LIST</span><span class="plain">(</span><span class="identifier">F</span><span class="plain">, </span><span class="identifier">ifl</span><span class="plain">)</span>
|
||||
|
|
@ -180,7 +180,7 @@
|
|||
|
||||
<span class="reserved">void</span><span class="plain"> </span><span class="functiontext">CodeGen::FC::evaluation</span><span class="plain">(</span><span class="reserved">code_generation</span><span class="plain"> *</span><span class="identifier">gen</span><span class="plain">, </span><span class="identifier">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain">) {</span>
|
||||
<span class="reserved">int</span><span class="plain"> </span><span class="identifier">old_level</span><span class="plain"> = </span><span class="identifier">void_level</span><span class="plain">;</span>
|
||||
<span class="identifier">inter_frame_list</span><span class="plain"> *</span><span class="identifier">ifl</span><span class="plain"> = </span><span class="identifier">Inter::find_frame_list</span><span class="plain">(</span><span class="identifier">P</span><span class="plain">.</span><span class="identifier">repo_segment</span><span class="plain">-></span><span class="identifier">owning_repo</span><span class="plain">, </span><span class="identifier">P</span><span class="plain">.</span><span class="identifier">data</span><span class="plain">[</span><span class="identifier">CODE_EVAL_IFLD</span><span class="plain">]);</span>
|
||||
<span class="identifier">inter_frame_list</span><span class="plain"> *</span><span class="identifier">ifl</span><span class="plain"> = </span><span class="identifier">Inter::Defn::list_of_children</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">ifl</span><span class="plain">) {</span>
|
||||
<span class="identifier">inter_frame</span><span class="plain"> </span><span class="identifier">F</span><span class="plain">;</span>
|
||||
<span class="identifier">LOOP_THROUGH_INTER_FRAME_LIST</span><span class="plain">(</span><span class="identifier">F</span><span class="plain">, </span><span class="identifier">ifl</span><span class="plain">)</span>
|
||||
|
|
@ -191,7 +191,7 @@
|
|||
|
||||
<span class="reserved">void</span><span class="plain"> </span><span class="functiontext">CodeGen::FC::reference</span><span class="plain">(</span><span class="reserved">code_generation</span><span class="plain"> *</span><span class="identifier">gen</span><span class="plain">, </span><span class="identifier">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain">) {</span>
|
||||
<span class="reserved">int</span><span class="plain"> </span><span class="identifier">old_level</span><span class="plain"> = </span><span class="identifier">void_level</span><span class="plain">;</span>
|
||||
<span class="identifier">inter_frame_list</span><span class="plain"> *</span><span class="identifier">ifl</span><span class="plain"> = </span><span class="identifier">Inter::find_frame_list</span><span class="plain">(</span><span class="identifier">P</span><span class="plain">.</span><span class="identifier">repo_segment</span><span class="plain">-></span><span class="identifier">owning_repo</span><span class="plain">, </span><span class="identifier">P</span><span class="plain">.</span><span class="identifier">data</span><span class="plain">[</span><span class="identifier">CODE_RCE_IFLD</span><span class="plain">]);</span>
|
||||
<span class="identifier">inter_frame_list</span><span class="plain"> *</span><span class="identifier">ifl</span><span class="plain"> = </span><span class="identifier">Inter::Defn::list_of_children</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">ifl</span><span class="plain">) {</span>
|
||||
<span class="identifier">inter_frame</span><span class="plain"> </span><span class="identifier">F</span><span class="plain">;</span>
|
||||
<span class="identifier">LOOP_THROUGH_INTER_FRAME_LIST</span><span class="plain">(</span><span class="identifier">F</span><span class="plain">, </span><span class="identifier">ifl</span><span class="plain">)</span>
|
||||
|
|
|
|||
|
|
@ -28,7 +28,7 @@
|
|||
|
||||
<p class="inwebparagraph"></p>
|
||||
|
||||
<p class="endnote">The structure inter_reading_state is accessed in 2/iim, 2/st, 2/frm, 3/dfn, 4/tmc, 4/tsc, 4/tpc, 4/tlc, 4/tac, 4/tpc3, 4/tkc, 4/tdc, 4/tvc2, 4/tcc2, 4/trc, 4/tic, 4/tpc4, 4/tpc5, 4/tpc6, 5/tlc, 5/tlc2, 5/tic, 5/trc, 5/tvc, 5/tcc, 5/tec, 5/trc2, 5/tcc2, 5/tsc and here.</p>
|
||||
<p class="endnote">The structure inter_reading_state is accessed in 2/iim, 2/st, 2/frm, 3/dfn, 4/tmc, 4/tsc, 4/tpc, 4/tlc, 4/tac, 4/tpc3, 4/tkc, 4/tdc, 4/tvc2, 4/tcc2, 4/trc, 4/tic, 4/tpc4, 4/tpc5, 4/tpc6, 5/tlc2, 5/tic, 5/trc, 5/tvc, 5/tcc2, 5/tsc and here.</p>
|
||||
|
||||
<p class="inwebparagraph"><a id="SP2"></a><b>§2. </b></p>
|
||||
|
||||
|
|
|
|||
|
|
@ -186,15 +186,15 @@
|
|||
|
||||
<p class="endnote">The function Inter::Frame::fill_0 is used in 4/tnc (<a href="4-tnc.html#SP1">§1</a>), 4/tcc (<a href="4-tcc.html#SP1">§1</a>).</p>
|
||||
|
||||
<p class="endnote">The function Inter::Frame::fill_1 is used in 4/tmc2 (<a href="4-tmc2.html#SP1">§1</a>), 4/tvc (<a href="4-tvc.html#SP2">§2</a>), 4/tpc2 (<a href="4-tpc2.html#SP2">§2</a>), 4/tpc7 (<a href="4-tpc7.html#SP2">§2</a>).</p>
|
||||
<p class="endnote">The function Inter::Frame::fill_1 is used in 4/tmc2 (<a href="4-tmc2.html#SP1">§1</a>), 4/tvc (<a href="4-tvc.html#SP2">§2</a>), 4/tpc2 (<a href="4-tpc2.html#SP2">§2</a>), 4/tpc7 (<a href="4-tpc7.html#SP2">§2</a>), 5/tcc (<a href="5-tcc.html#SP2">§2</a>), 5/tec (<a href="5-tec.html#SP2">§2</a>), 5/trc2 (<a href="5-trc2.html#SP2">§2</a>).</p>
|
||||
|
||||
<p class="endnote">The function Inter::Frame::fill_2 is used in 4/tpc (<a href="4-tpc.html#SP2">§2</a>), 4/tac (<a href="4-tac.html#SP2">§2</a>), 5/tlc3 (<a href="5-tlc3.html#SP2">§2</a>), 5/tcc (<a href="5-tcc.html#SP2">§2</a>), 5/tec (<a href="5-tec.html#SP2">§2</a>), 5/trc2 (<a href="5-trc2.html#SP2">§2</a>).</p>
|
||||
<p class="endnote">The function Inter::Frame::fill_2 is used in 4/tpc (<a href="4-tpc.html#SP2">§2</a>), 4/tac (<a href="4-tac.html#SP2">§2</a>), 5/tlc (<a href="5-tlc.html#SP2">§2</a>), 5/tlc3 (<a href="5-tlc3.html#SP2">§2</a>).</p>
|
||||
|
||||
<p class="endnote">The function Inter::Frame::fill_3 is used in 4/tmc (<a href="4-tmc.html#SP2">§2</a>), 4/tdc (<a href="4-tdc.html#SP2">§2</a>), 4/tcc2 (<a href="4-tcc2.html#SP2">§2</a>), 4/tpc4 (<a href="4-tpc4.html#SP2">§2</a>), 5/tlc (<a href="5-tlc.html#SP2">§2</a>), 5/tlc2 (<a href="5-tlc2.html#SP2">§2</a>), 5/tsc (<a href="5-tsc.html#SP2">§2</a>).</p>
|
||||
<p class="endnote">The function Inter::Frame::fill_3 is used in 4/tmc (<a href="4-tmc.html#SP2">§2</a>), 4/tdc (<a href="4-tdc.html#SP2">§2</a>), 4/tcc2 (<a href="4-tcc2.html#SP2">§2</a>), 4/tpc4 (<a href="4-tpc4.html#SP2">§2</a>), 5/tlc2 (<a href="5-tlc2.html#SP2">§2</a>), 5/tic (<a href="5-tic.html#SP2">§2</a>), 5/tcc2 (<a href="5-tcc2.html#SP2">§2</a>), 5/tsc (<a href="5-tsc.html#SP2">§2</a>).</p>
|
||||
|
||||
<p class="endnote">The function Inter::Frame::fill_4 is used in 4/tvc2 (<a href="4-tvc2.html#SP2">§2</a>), 4/tcc2 (<a href="4-tcc2.html#SP2">§2</a>), 4/tpc5 (<a href="4-tpc5.html#SP2">§2</a>), 4/tpc6 (<a href="4-tpc6.html#SP2">§2</a>), 5/tic (<a href="5-tic.html#SP2">§2</a>), 5/trc (<a href="5-trc.html#SP2">§2</a>), 5/tvc (<a href="5-tvc.html#SP2">§2</a>), 5/tcc2 (<a href="5-tcc2.html#SP2">§2</a>).</p>
|
||||
<p class="endnote">The function Inter::Frame::fill_4 is used in 4/tpc3 (<a href="4-tpc3.html#SP2">§2</a>), 4/tvc2 (<a href="4-tvc2.html#SP2">§2</a>), 4/tcc2 (<a href="4-tcc2.html#SP2">§2</a>), 4/tpc5 (<a href="4-tpc5.html#SP2">§2</a>), 4/tpc6 (<a href="4-tpc6.html#SP2">§2</a>), 5/trc (<a href="5-trc.html#SP2">§2</a>), 5/tvc (<a href="5-tvc.html#SP2">§2</a>).</p>
|
||||
|
||||
<p class="endnote">The function Inter::Frame::fill_5 is used in 4/tpc3 (<a href="4-tpc3.html#SP2">§2</a>), 4/tcc2 (<a href="4-tcc2.html#SP2">§2</a>), 4/trc (<a href="4-trc.html#SP2">§2</a>).</p>
|
||||
<p class="endnote">The function Inter::Frame::fill_5 is used in 4/tcc2 (<a href="4-tcc2.html#SP2">§2</a>), 4/trc (<a href="4-trc.html#SP2">§2</a>).</p>
|
||||
|
||||
<p class="endnote">The function Inter::Frame::fill_6 is used in 4/tlc (<a href="4-tlc.html#SP2">§2</a>), 4/tic (<a href="4-tic.html#SP2">§2</a>).</p>
|
||||
|
||||
|
|
@ -348,6 +348,19 @@
|
|||
<span class="identifier">F</span><span class="element">.repo_segment</span><span class="plain">-</span><span class="element">>bytecode</span><span class="plain">[</span><span class="identifier">F</span><span class="element">.index</span><span class="plain"> + </span><span class="constant">PREFRAME_PACKAGE</span><span class="plain">] = </span><span class="identifier">ID</span><span class="plain">;</span>
|
||||
<span class="plain">}</span>
|
||||
<span class="plain">}</span>
|
||||
|
||||
<span class="constant">inter_t</span><span class="plain"> </span><span class="functiontext">Inter::Frame::get_list</span><span class="plain">(</span><span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">F</span><span class="plain">) {</span>
|
||||
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">F</span><span class="element">.repo_segment</span><span class="plain">) {</span>
|
||||
<span class="reserved">return</span><span class="plain"> </span><span class="identifier">F</span><span class="element">.repo_segment</span><span class="plain">-</span><span class="element">>bytecode</span><span class="plain">[</span><span class="identifier">F</span><span class="element">.index</span><span class="plain"> + </span><span class="constant">PREFRAME_LIST</span><span class="plain">];</span>
|
||||
<span class="plain">}</span>
|
||||
<span class="reserved">return</span><span class="plain"> 0;</span>
|
||||
<span class="plain">}</span>
|
||||
|
||||
<span class="reserved">void</span><span class="plain"> </span><span class="functiontext">Inter::Frame::set_list</span><span class="plain">(</span><span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">F</span><span class="plain">, </span><span class="constant">inter_t</span><span class="plain"> </span><span class="identifier">V</span><span class="plain">) {</span>
|
||||
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">F</span><span class="element">.repo_segment</span><span class="plain">) {</span>
|
||||
<span class="identifier">F</span><span class="element">.repo_segment</span><span class="plain">-</span><span class="element">>bytecode</span><span class="plain">[</span><span class="identifier">F</span><span class="element">.index</span><span class="plain"> + </span><span class="constant">PREFRAME_LIST</span><span class="plain">] = </span><span class="identifier">V</span><span class="plain">;</span>
|
||||
<span class="plain">}</span>
|
||||
<span class="plain">}</span>
|
||||
</pre>
|
||||
|
||||
<p class="inwebparagraph"></p>
|
||||
|
|
@ -370,6 +383,10 @@
|
|||
|
||||
<p class="endnote">The function Inter::Frame::attach_package is used in 2/iim (<a href="2-iim.html#SP3">§3</a>).</p>
|
||||
|
||||
<p class="endnote">The function Inter::Frame::get_list is used in 3/dfn (<a href="3-dfn.html#SP5">§5</a>).</p>
|
||||
|
||||
<p class="endnote">The function Inter::Frame::set_list is used in 3/dfn (<a href="3-dfn.html#SP5">§5</a>).</p>
|
||||
|
||||
<hr class="tocbar">
|
||||
<ul class="toc"><li><a href="2-sym.html">Back to 'Symbols'</a></li><li><a href="2-bkm.html">Continue with 'Bookmarks'</a></li></ul><hr class="tocbar">
|
||||
<!--End of weave-->
|
||||
|
|
|
|||
|
|
@ -31,7 +31,12 @@
|
|||
<span class="definitionkeyword">define</span> <span class="constant">PREFRAME_ORIGIN</span><span class="plain"> 2</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">PREFRAME_COMMENT</span><span class="plain"> 3</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">PREFRAME_PACKAGE</span><span class="plain"> 4</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">PREFRAME_SIZE</span><span class="plain"> 5</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">PREFRAME_PARENT</span><span class="plain"> 5</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">PREFRAME_CHILD</span><span class="plain"> 6</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">PREFRAME_PREVIOUS</span><span class="plain"> 7</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">PREFRAME_NEXT</span><span class="plain"> 8</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">PREFRAME_LIST</span><span class="plain"> 9</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">PREFRAME_SIZE</span><span class="plain"> 10</span>
|
||||
</pre>
|
||||
|
||||
<pre class="display">
|
||||
|
|
@ -91,7 +96,7 @@
|
|||
|
||||
<p class="endnote">The structure inter_frame_list_entry is accessed in 2/frm, 2/bkm and here.</p>
|
||||
|
||||
<p class="endnote">The structure inter_repository_segment is accessed in 2/st, 2/pck, 2/sym, 2/frm, 2/bkm, 2/iibf, 2/vi, 3/dfn, 4/tmc, 4/tpc, 4/tlc, 4/tac, 4/tpc3, 4/tkc, 4/tdc, 4/tvc2, 4/tcc2, 4/trc, 4/tic, 4/tpc4, 4/tpc5, 4/tpc6, 5/tlc2, 5/tic, 5/trc, 5/tvc, 5/tec, 5/trc2, 5/tsc and here.</p>
|
||||
<p class="endnote">The structure inter_repository_segment is accessed in 2/st, 2/pck, 2/sym, 2/frm, 2/bkm, 2/iibf, 2/vi, 3/dfn, 4/tmc, 4/tpc, 4/tlc, 4/tac, 4/tpc3, 4/tkc, 4/tdc, 4/tvc2, 4/tcc2, 4/trc, 4/tic, 4/tpc4, 4/tpc5, 4/tpc6, 5/tlc2, 5/tic, 5/trc, 5/tvc, 5/tsc and here.</p>
|
||||
|
||||
<p class="inwebparagraph"><a id="SP3"></a><b>§3. </b></p>
|
||||
|
||||
|
|
@ -182,6 +187,11 @@
|
|||
<span class="identifier">IS</span><span class="plain">-</span><span class="element">>bytecode</span><span class="plain">[</span><span class="identifier">at</span><span class="plain"> + </span><span class="constant">PREFRAME_ORIGIN</span><span class="plain">] = 0;</span>
|
||||
<span class="identifier">IS</span><span class="plain">-</span><span class="element">>bytecode</span><span class="plain">[</span><span class="identifier">at</span><span class="plain"> + </span><span class="constant">PREFRAME_COMMENT</span><span class="plain">] = 0;</span>
|
||||
<span class="identifier">IS</span><span class="plain">-</span><span class="element">>bytecode</span><span class="plain">[</span><span class="identifier">at</span><span class="plain"> + </span><span class="constant">PREFRAME_PACKAGE</span><span class="plain">] = 0;</span>
|
||||
<span class="identifier">IS</span><span class="plain">-</span><span class="element">>bytecode</span><span class="plain">[</span><span class="identifier">at</span><span class="plain"> + </span><span class="constant">PREFRAME_PARENT</span><span class="plain">] = 0;</span>
|
||||
<span class="identifier">IS</span><span class="plain">-</span><span class="element">>bytecode</span><span class="plain">[</span><span class="identifier">at</span><span class="plain"> + </span><span class="constant">PREFRAME_CHILD</span><span class="plain">] = 0;</span>
|
||||
<span class="identifier">IS</span><span class="plain">-</span><span class="element">>bytecode</span><span class="plain">[</span><span class="identifier">at</span><span class="plain"> + </span><span class="constant">PREFRAME_PREVIOUS</span><span class="plain">] = 0;</span>
|
||||
<span class="identifier">IS</span><span class="plain">-</span><span class="element">>bytecode</span><span class="plain">[</span><span class="identifier">at</span><span class="plain"> + </span><span class="constant">PREFRAME_NEXT</span><span class="plain">] = 0;</span>
|
||||
<span class="identifier">IS</span><span class="plain">-</span><span class="element">>bytecode</span><span class="plain">[</span><span class="identifier">at</span><span class="plain"> + </span><span class="constant">PREFRAME_LIST</span><span class="plain">] = 0;</span>
|
||||
<span class="reserved">for</span><span class="plain"> (</span><span class="reserved">int</span><span class="plain"> </span><span class="identifier">i</span><span class="plain">=0; </span><span class="identifier">i</span><span class="plain"><</span><span class="identifier">n</span><span class="plain">; </span><span class="identifier">i</span><span class="plain">++) </span><span class="identifier">IS</span><span class="plain">-</span><span class="element">>bytecode</span><span class="plain">[</span><span class="identifier">at</span><span class="plain"> + </span><span class="constant">PREFRAME_SIZE</span><span class="plain"> + </span><span class="identifier">i</span><span class="plain">] = 0;</span>
|
||||
<span class="identifier">IS</span><span class="plain">-</span><span class="element">>size</span><span class="plain"> += </span><span class="identifier">n</span><span class="plain"> + </span><span class="constant">PREFRAME_SIZE</span><span class="plain">;</span>
|
||||
<span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">F</span><span class="plain"> = </span><span class="functiontext">Inter::Frame::around</span><span class="plain">(</span><span class="identifier">IS</span><span class="plain">, </span><span class="identifier">at</span><span class="plain">);</span>
|
||||
|
|
@ -323,7 +333,7 @@
|
|||
|
||||
<p class="endnote">The function Inter::set_ref appears nowhere else.</p>
|
||||
|
||||
<p class="endnote">The function Inter::create_frame_list is used in 4/tpc3 (<a href="4-tpc3.html#SP2">§2</a>), 4/tkc (<a href="4-tkc.html#SP2">§2</a>), 4/tic (<a href="4-tic.html#SP2">§2</a>), 4/tpc4 (<a href="4-tpc4.html#SP2">§2</a>), 5/tlc (<a href="5-tlc.html#SP2">§2</a>), 5/tic (<a href="5-tic.html#SP2">§2</a>), 5/tcc (<a href="5-tcc.html#SP2">§2</a>), 5/tec (<a href="5-tec.html#SP2">§2</a>), 5/trc2 (<a href="5-trc2.html#SP2">§2</a>), 5/tcc2 (<a href="5-tcc2.html#SP2">§2</a>).</p>
|
||||
<p class="endnote">The function Inter::create_frame_list is used in 3/dfn (<a href="3-dfn.html#SP5">§5</a>), 4/tkc (<a href="4-tkc.html#SP2">§2</a>), 4/tic (<a href="4-tic.html#SP2">§2</a>), 4/tpc4 (<a href="4-tpc4.html#SP2">§2</a>).</p>
|
||||
|
||||
<p class="inwebparagraph"><a id="SP4"></a><b>§4. </b></p>
|
||||
|
||||
|
|
@ -469,7 +479,7 @@
|
|||
|
||||
<p class="inwebparagraph"></p>
|
||||
|
||||
<p class="endnote">The function Inter::find_frame_list is used in 3/dfn (<a href="3-dfn.html#SP5">§5</a>), 4/tpc3 (<a href="4-tpc3.html#SP2">§2</a>), 4/tpc5 (<a href="4-tpc5.html#SP2">§2</a>), 4/tpc6 (<a href="4-tpc6.html#SP2">§2</a>), 5/tic (<a href="5-tic.html#SP2">§2</a>), 5/tec (<a href="5-tec.html#SP2">§2</a>), 5/trc2 (<a href="5-trc2.html#SP2">§2</a>).</p>
|
||||
<p class="endnote">The function Inter::find_frame_list is used in 3/dfn (<a href="3-dfn.html#SP5">§5</a>), 4/tpc5 (<a href="4-tpc5.html#SP2">§2</a>), 4/tpc6 (<a href="4-tpc6.html#SP2">§2</a>).</p>
|
||||
|
||||
<p class="endnote">The function Inter::top_of_frame_list appears nowhere else.</p>
|
||||
|
||||
|
|
|
|||
|
|
@ -61,7 +61,6 @@
|
|||
<span class="reserved">int</span><span class="plain"> </span><span class="identifier">min_level</span><span class="plain">;</span>
|
||||
<span class="reserved">int</span><span class="plain"> </span><span class="identifier">max_level</span><span class="plain">;</span>
|
||||
<span class="reserved">int</span><span class="plain"> </span><span class="identifier">usage_permissions</span><span class="plain">;</span>
|
||||
<span class="reserved">int</span><span class="plain"> </span><span class="identifier">children_field</span><span class="plain">;</span>
|
||||
<span class="reserved">struct</span><span class="plain"> </span><span class="identifier">text_stream</span><span class="plain"> *</span><span class="identifier">singular_name</span><span class="plain">;</span>
|
||||
<span class="reserved">struct</span><span class="plain"> </span><span class="identifier">text_stream</span><span class="plain"> *</span><span class="identifier">plural_name</span><span class="plain">;</span>
|
||||
<span class="identifier">METHOD_CALLS</span>
|
||||
|
|
@ -80,7 +79,6 @@
|
|||
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">ID</span><span class="plain"> >= </span><span class="constant">MAX_INTER_CONSTRUCTS</span><span class="plain">) </span><span class="identifier">internal_error</span><span class="plain">(</span><span class="string">"too many constructs"</span><span class="plain">);</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>min_level</span><span class="plain"> = 0;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>max_level</span><span class="plain"> = 0;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>children_field</span><span class="plain"> = -1;</span>
|
||||
<span class="identifier">IC_lookup</span><span class="plain">[</span><span class="identifier">ID</span><span class="plain">] = </span><span class="identifier">IC</span><span class="plain">;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>usage_permissions</span><span class="plain"> = </span><span class="constant">INSIDE_PLAIN_PACKAGE</span><span class="plain">;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>singular_name</span><span class="plain"> = </span><span class="identifier">Str::duplicate</span><span class="plain">(</span><span class="identifier">sing</span><span class="plain">);</span>
|
||||
|
|
@ -107,12 +105,14 @@
|
|||
<span class="definitionkeyword">enum</span> <span class="constant">CONSTRUCT_READ_MTID</span>
|
||||
<span class="definitionkeyword">enum</span> <span class="constant">CONSTRUCT_VERIFY_MTID</span>
|
||||
<span class="definitionkeyword">enum</span> <span class="constant">CONSTRUCT_WRITE_MTID</span>
|
||||
<span class="definitionkeyword">enum</span> <span class="constant">VERIFY_INTER_CHILDREN_MTID</span>
|
||||
</pre>
|
||||
|
||||
<pre class="display">
|
||||
<span class="identifier">VMETHOD_TYPE</span><span class="plain">(</span><span class="constant">CONSTRUCT_READ_MTID</span><span class="plain">, </span><span class="reserved">inter_construct</span><span class="plain"> *</span><span class="identifier">IC</span><span class="plain">, </span><span class="reserved">inter_reading_state</span><span class="plain"> *, </span><span class="reserved">inter_line_parse</span><span class="plain"> *, </span><span class="reserved">inter_error_location</span><span class="plain"> *, </span><span class="reserved">inter_error_message</span><span class="plain"> **</span><span class="identifier">E</span><span class="plain">)</span>
|
||||
<span class="identifier">VMETHOD_TYPE</span><span class="plain">(</span><span class="constant">CONSTRUCT_VERIFY_MTID</span><span class="plain">, </span><span class="reserved">inter_construct</span><span class="plain"> *</span><span class="identifier">IC</span><span class="plain">, </span><span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain">, </span><span class="reserved">inter_error_message</span><span class="plain"> **</span><span class="identifier">E</span><span class="plain">)</span>
|
||||
<span class="identifier">VMETHOD_TYPE</span><span class="plain">(</span><span class="constant">CONSTRUCT_WRITE_MTID</span><span class="plain">, </span><span class="reserved">inter_construct</span><span class="plain"> *</span><span class="identifier">IC</span><span class="plain">, </span><span class="identifier">text_stream</span><span class="plain"> *</span><span class="identifier">OUT</span><span class="plain">, </span><span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain">, </span><span class="reserved">inter_error_message</span><span class="plain"> **</span><span class="identifier">E</span><span class="plain">)</span>
|
||||
<span class="identifier">VMETHOD_TYPE</span><span class="plain">(</span><span class="constant">VERIFY_INTER_CHILDREN_MTID</span><span class="plain">, </span><span class="reserved">inter_construct</span><span class="plain"> *</span><span class="identifier">IC</span><span class="plain">, </span><span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain">, </span><span class="reserved">inter_error_message</span><span class="plain"> **</span><span class="identifier">E</span><span class="plain">)</span>
|
||||
</pre>
|
||||
|
||||
<p class="inwebparagraph"></p>
|
||||
|
|
@ -341,6 +341,7 @@
|
|||
<span class="definitionkeyword">define</span> <span class="constant">OUTSIDE_OF_PACKAGES</span><span class="plain"> 1</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">INSIDE_PLAIN_PACKAGE</span><span class="plain"> 2</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">INSIDE_CODE_PACKAGE</span><span class="plain"> 4</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">CAN_HAVE_CHILDREN</span><span class="plain"> 8</span>
|
||||
</pre>
|
||||
|
||||
<pre class="display">
|
||||
|
|
@ -508,9 +509,16 @@
|
|||
<span class="reserved">inter_construct</span><span class="plain"> *</span><span class="identifier">IC</span><span class="plain"> = </span><span class="identifier">NULL</span><span class="plain">;</span>
|
||||
<span class="reserved">inter_error_message</span><span class="plain"> *</span><span class="identifier">E</span><span class="plain"> = </span><span class="functiontext">Inter::Defn::get_construct</span><span class="plain">(</span><span class="identifier">P</span><span class="plain">, &</span><span class="identifier">IC</span><span class="plain">);</span>
|
||||
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">E</span><span class="plain">) </span><span class="reserved">return</span><span class="plain"> </span><span class="identifier">NULL</span><span class="plain">;</span>
|
||||
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">IC</span><span class="plain">-</span><span class="element">>children_field</span><span class="plain"> == -1) </span><span class="reserved">return</span><span class="plain"> </span><span class="identifier">NULL</span><span class="plain">;</span>
|
||||
<span class="reserved">if</span><span class="plain"> ((</span><span class="identifier">IC</span><span class="plain">-</span><span class="element">>usage_permissions</span><span class="plain"> & </span><span class="constant">CAN_HAVE_CHILDREN</span><span class="plain">) == 0) </span><span class="reserved">return</span><span class="plain"> </span><span class="identifier">NULL</span><span class="plain">;</span>
|
||||
<span class="reserved">if</span><span class="plain"> (</span><span class="functiontext">Inter::Frame::valid</span><span class="plain">(&</span><span class="identifier">P</span><span class="plain">) == </span><span class="identifier">FALSE</span><span class="plain">) </span><span class="reserved">return</span><span class="plain"> </span><span class="identifier">NULL</span><span class="plain">;</span>
|
||||
<span class="reserved">return</span><span class="plain"> </span><span class="functiontext">Inter::find_frame_list</span><span class="plain">(</span><span class="identifier">P</span><span class="element">.repo_segment</span><span class="plain">-</span><span class="element">>owning_repo</span><span class="plain">, </span><span class="identifier">P</span><span class="element">.data</span><span class="plain">[</span><span class="identifier">IC</span><span class="plain">-</span><span class="element">>children_field</span><span class="plain">]);</span>
|
||||
|
||||
<span class="constant">inter_t</span><span class="plain"> </span><span class="identifier">L</span><span class="plain"> = </span><span class="functiontext">Inter::Frame::get_list</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">L</span><span class="plain"> == 0) {</span>
|
||||
<span class="identifier">L</span><span class="plain"> = </span><span class="functiontext">Inter::create_frame_list</span><span class="plain">(</span><span class="identifier">P</span><span class="element">.repo_segment</span><span class="plain">-</span><span class="element">>owning_repo</span><span class="plain">);</span>
|
||||
<span class="functiontext">Inter::Frame::set_list</span><span class="plain">(</span><span class="identifier">P</span><span class="plain">, </span><span class="identifier">L</span><span class="plain">);</span>
|
||||
<span class="plain">}</span>
|
||||
|
||||
<span class="reserved">return</span><span class="plain"> </span><span class="functiontext">Inter::find_frame_list</span><span class="plain">(</span><span class="identifier">P</span><span class="element">.repo_segment</span><span class="plain">-</span><span class="element">>owning_repo</span><span class="plain">, </span><span class="identifier">L</span><span class="plain">);</span>
|
||||
<span class="plain">}</span>
|
||||
|
||||
<span class="reserved">inter_error_message</span><span class="plain"> *</span><span class="functiontext">Inter::Defn::accept_child</span><span class="plain">(</span><span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain">, </span><span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">C</span><span class="plain">, </span><span class="reserved">int</span><span class="plain"> </span><span class="identifier">issue</span><span class="plain">) {</span>
|
||||
|
|
@ -523,21 +531,29 @@
|
|||
<span class="reserved">inter_construct</span><span class="plain"> *</span><span class="identifier">IC</span><span class="plain"> = </span><span class="identifier">NULL</span><span class="plain">;</span>
|
||||
<span class="reserved">inter_error_message</span><span class="plain"> *</span><span class="identifier">E</span><span class="plain"> = </span><span class="functiontext">Inter::Defn::get_construct</span><span class="plain">(</span><span class="identifier">P</span><span class="plain">, &</span><span class="identifier">IC</span><span class="plain">);</span>
|
||||
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">E</span><span class="plain">) </span><span class="reserved">return</span><span class="plain"> </span><span class="identifier">E</span><span class="plain">;</span>
|
||||
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">IC</span><span class="plain">-</span><span class="element">>children_field</span><span class="plain"> == -1) {</span>
|
||||
<span class="reserved">if</span><span class="plain"> ((</span><span class="identifier">IC</span><span class="plain">-</span><span class="element">>usage_permissions</span><span class="plain"> & </span><span class="constant">CAN_HAVE_CHILDREN</span><span class="plain">) == 0) {</span>
|
||||
<span class="identifier">WRITE_TO</span><span class="plain">(</span><span class="identifier">STDERR</span><span class="plain">, </span><span class="string">"P: "</span><span class="plain">); </span><span class="functiontext">Inter::Defn::write_construct_text</span><span class="plain">(</span><span class="identifier">STDERR</span><span class="plain">, </span><span class="identifier">P</span><span class="plain">);</span>
|
||||
<span class="identifier">WRITE_TO</span><span class="plain">(</span><span class="identifier">STDERR</span><span class="plain">, </span><span class="string">"C: "</span><span class="plain">); </span><span class="functiontext">Inter::Defn::write_construct_text</span><span class="plain">(</span><span class="identifier">STDERR</span><span class="plain">, </span><span class="identifier">C</span><span class="plain">);</span>
|
||||
<span class="reserved">return</span><span class="plain"> </span><span class="functiontext">Inter::Frame::error</span><span class="plain">(&</span><span class="identifier">C</span><span class="plain">, </span><span class="identifier">I</span><span class="string">"this is placed under a construct which can't have anything underneath"</span><span class="plain">, </span><span class="identifier">NULL</span><span class="plain">);</span>
|
||||
<span class="plain">}</span>
|
||||
<span class="functiontext">Inter::add_to_frame_list</span><span class="plain">(</span><span class="functiontext">Inter::find_frame_list</span><span class="plain">(</span><span class="identifier">P</span><span class="element">.repo_segment</span><span class="plain">-</span><span class="element">>owning_repo</span><span class="plain">, </span><span class="identifier">P</span><span class="element">.data</span><span class="plain">[</span><span class="identifier">IC</span><span class="plain">-</span><span class="element">>children_field</span><span class="plain">]), </span><span class="identifier">C</span><span class="plain">, </span><span class="identifier">NULL</span><span class="plain">);</span>
|
||||
<span class="functiontext">Inter::add_to_frame_list</span><span class="plain">(</span><span class="functiontext">Inter::Defn::list_of_children</span><span class="plain">(</span><span class="identifier">P</span><span class="plain">), </span><span class="identifier">C</span><span class="plain">, </span><span class="identifier">NULL</span><span class="plain">);</span>
|
||||
<span class="reserved">return</span><span class="plain"> </span><span class="identifier">NULL</span><span class="plain">;</span>
|
||||
<span class="plain">}</span>
|
||||
|
||||
<span class="reserved">inter_error_message</span><span class="plain"> *</span><span class="functiontext">Inter::Defn::verify_children_inner</span><span class="plain">(</span><span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain">) {</span>
|
||||
<span class="reserved">inter_construct</span><span class="plain"> *</span><span class="identifier">IC</span><span class="plain"> = </span><span class="identifier">NULL</span><span class="plain">;</span>
|
||||
<span class="reserved">inter_error_message</span><span class="plain"> *</span><span class="identifier">E</span><span class="plain"> = </span><span class="functiontext">Inter::Defn::get_construct</span><span class="plain">(</span><span class="identifier">P</span><span class="plain">, &</span><span class="identifier">IC</span><span class="plain">);</span>
|
||||
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">E</span><span class="plain">) </span><span class="reserved">return</span><span class="plain"> </span><span class="identifier">E</span><span class="plain">;</span>
|
||||
<span class="identifier">VMETHOD_CALL</span><span class="plain">(</span><span class="identifier">IC</span><span class="plain">, </span><span class="constant">VERIFY_INTER_CHILDREN_MTID</span><span class="plain">, </span><span class="identifier">P</span><span class="plain">, &</span><span class="identifier">E</span><span class="plain">);</span>
|
||||
<span class="reserved">return</span><span class="plain"> </span><span class="identifier">E</span><span class="plain">;</span>
|
||||
<span class="plain">}</span>
|
||||
</pre>
|
||||
|
||||
<p class="inwebparagraph"></p>
|
||||
|
||||
<p class="endnote">The function Inter::Defn::verify_construct is used in 2/iibf (<a href="2-iibf.html#SP1_7">§1.7</a>), 4/tnc (<a href="4-tnc.html#SP1">§1</a>), 4/tcc (<a href="4-tcc.html#SP1">§1</a>), 4/tmc (<a href="4-tmc.html#SP2">§2</a>), 4/tmc2 (<a href="4-tmc2.html#SP1">§1</a>), 4/tvc (<a href="4-tvc.html#SP2">§2</a>), 4/tpc (<a href="4-tpc.html#SP2">§2</a>), 4/tlc (<a href="4-tlc.html#SP2">§2</a>), 4/tac (<a href="4-tac.html#SP2">§2</a>), 4/tpc2 (<a href="4-tpc2.html#SP2">§2</a>), 4/tpc3 (<a href="4-tpc3.html#SP2">§2</a>), 4/tkc (<a href="4-tkc.html#SP2">§2</a>), 4/tdc (<a href="4-tdc.html#SP2">§2</a>), 4/tvc2 (<a href="4-tvc2.html#SP2">§2</a>), 4/tcc2 (<a href="4-tcc2.html#SP2">§2</a>), 4/trc (<a href="4-trc.html#SP2">§2</a>), 4/tic (<a href="4-tic.html#SP2">§2</a>), 4/tpc4 (<a href="4-tpc4.html#SP2">§2</a>), 4/tpc5 (<a href="4-tpc5.html#SP2">§2</a>), 4/tpc6 (<a href="4-tpc6.html#SP2">§2</a>), 4/tpc7 (<a href="4-tpc7.html#SP2">§2</a>), 5/tlc (<a href="5-tlc.html#SP2">§2</a>), 5/tlc2 (<a href="5-tlc2.html#SP2">§2</a>), 5/tic (<a href="5-tic.html#SP2">§2</a>), 5/trc (<a href="5-trc.html#SP2">§2</a>), 5/tvc (<a href="5-tvc.html#SP2">§2</a>), 5/tlc3 (<a href="5-tlc3.html#SP2">§2</a>), 5/tcc (<a href="5-tcc.html#SP2">§2</a>), 5/tec (<a href="5-tec.html#SP2">§2</a>), 5/trc2 (<a href="5-trc2.html#SP2">§2</a>), 5/tcc2 (<a href="5-tcc2.html#SP2">§2</a>), 5/tsc (<a href="5-tsc.html#SP2">§2</a>).</p>
|
||||
|
||||
<p class="endnote">The function Inter::Defn::get_construct is used in <a href="#SP6">§6</a>.</p>
|
||||
<p class="endnote">The function Inter::Defn::get_construct appears nowhere else.</p>
|
||||
|
||||
<p class="endnote">The function Inter::Defn::write_construct_text is used in <a href="#SP4">§4</a>, 2/frm (<a href="2-frm.html#SP5">§5</a>), 2/iitf (<a href="2-iitf.html#SP1">§1</a>, <a href="2-iitf.html#SP2">§2</a>), 5/tlc (<a href="5-tlc.html#SP2">§2</a>).</p>
|
||||
|
||||
|
|
@ -555,33 +571,12 @@
|
|||
|
||||
<p class="endnote">The function Inter::Defn::get_level is used in <a href="#SP4">§4</a>, 2/pck (<a href="2-pck.html#SP3">§3</a>), 2/frm (<a href="2-frm.html#SP5">§5</a>).</p>
|
||||
|
||||
<p class="endnote">The function Inter::Defn::list_of_children is used in 2/pck (<a href="2-pck.html#SP3">§3</a>), 4/tpc3 (<a href="4-tpc3.html#SP2">§2</a>), 5/tlc (<a href="5-tlc.html#SP2">§2</a>), 5/tcc (<a href="5-tcc.html#SP2">§2</a>), 5/tec (<a href="5-tec.html#SP2">§2</a>), 5/trc2 (<a href="5-trc2.html#SP2">§2</a>), 5/tcc2 (<a href="5-tcc2.html#SP2">§2</a>).</p>
|
||||
<p class="endnote">The function Inter::Defn::list_of_children is used in 2/pck (<a href="2-pck.html#SP3">§3</a>), 4/tpc3 (<a href="4-tpc3.html#SP2">§2</a>), 5/tlc (<a href="5-tlc.html#SP2">§2</a>), 5/tic (<a href="5-tic.html#SP2">§2</a>), 5/tcc (<a href="5-tcc.html#SP2">§2</a>), 5/tec (<a href="5-tec.html#SP2">§2</a>), 5/trc2 (<a href="5-trc2.html#SP2">§2</a>), 5/tcc2 (<a href="5-tcc2.html#SP2">§2</a>).</p>
|
||||
|
||||
<p class="endnote">The function Inter::Defn::accept_child is used in <a href="#SP4">§4</a>, 2/pck (<a href="2-pck.html#SP3">§3</a>), 2/frm (<a href="2-frm.html#SP5">§5</a>).</p>
|
||||
|
||||
<p class="endnote">The function Inter::Defn::accept_child_inner appears nowhere else.</p>
|
||||
|
||||
<p class="inwebparagraph"><a id="SP6"></a><b>§6. </b></p>
|
||||
|
||||
|
||||
<pre class="definitions">
|
||||
<span class="definitionkeyword">enum</span> <span class="constant">VERIFY_INTER_CHILDREN_MTID</span>
|
||||
</pre>
|
||||
|
||||
<pre class="display">
|
||||
<span class="identifier">VMETHOD_TYPE</span><span class="plain">(</span><span class="constant">VERIFY_INTER_CHILDREN_MTID</span><span class="plain">, </span><span class="reserved">inter_construct</span><span class="plain"> *</span><span class="identifier">IC</span><span class="plain">, </span><span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain">, </span><span class="reserved">inter_error_message</span><span class="plain"> **</span><span class="identifier">E</span><span class="plain">)</span>
|
||||
|
||||
<span class="reserved">inter_error_message</span><span class="plain"> *</span><span class="functiontext">Inter::Defn::verify_children_inner</span><span class="plain">(</span><span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain">) {</span>
|
||||
<span class="reserved">inter_construct</span><span class="plain"> *</span><span class="identifier">IC</span><span class="plain"> = </span><span class="identifier">NULL</span><span class="plain">;</span>
|
||||
<span class="reserved">inter_error_message</span><span class="plain"> *</span><span class="identifier">E</span><span class="plain"> = </span><span class="functiontext">Inter::Defn::get_construct</span><span class="plain">(</span><span class="identifier">P</span><span class="plain">, &</span><span class="identifier">IC</span><span class="plain">);</span>
|
||||
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">E</span><span class="plain">) </span><span class="reserved">return</span><span class="plain"> </span><span class="identifier">E</span><span class="plain">;</span>
|
||||
<span class="identifier">VMETHOD_CALL</span><span class="plain">(</span><span class="identifier">IC</span><span class="plain">, </span><span class="constant">VERIFY_INTER_CHILDREN_MTID</span><span class="plain">, </span><span class="identifier">P</span><span class="plain">, &</span><span class="identifier">E</span><span class="plain">);</span>
|
||||
<span class="reserved">return</span><span class="plain"> </span><span class="identifier">E</span><span class="plain">;</span>
|
||||
<span class="plain">}</span>
|
||||
</pre>
|
||||
|
||||
<p class="inwebparagraph"></p>
|
||||
|
||||
<p class="endnote">The function Inter::Defn::verify_children_inner is used in 2/iitf (<a href="2-iitf.html#SP1">§1</a>).</p>
|
||||
|
||||
<hr class="tocbar">
|
||||
|
|
|
|||
|
|
@ -24,8 +24,7 @@
|
|||
<span class="constant">PACKAGE_IST</span><span class="plain">,</span>
|
||||
<span class="identifier">L</span><span class="string">"package (%i+) (%i+)"</span><span class="plain">,</span>
|
||||
<span class="identifier">I</span><span class="string">"package"</span><span class="plain">, </span><span class="identifier">I</span><span class="string">"packages"</span><span class="plain">);</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>usage_permissions</span><span class="plain"> = </span><span class="constant">OUTSIDE_OF_PACKAGES</span><span class="plain"> + </span><span class="constant">INSIDE_PLAIN_PACKAGE</span><span class="plain">;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>children_field</span><span class="plain"> = </span><span class="constant">CODE_PACKAGE_IFLD</span><span class="plain">;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>usage_permissions</span><span class="plain"> = </span><span class="constant">OUTSIDE_OF_PACKAGES</span><span class="plain"> + </span><span class="constant">INSIDE_PLAIN_PACKAGE</span><span class="plain"> + </span><span class="constant">CAN_HAVE_CHILDREN</span><span class="plain">;</span>
|
||||
<span class="identifier">METHOD_ADD</span><span class="plain">(</span><span class="identifier">IC</span><span class="plain">, </span><span class="constant">CONSTRUCT_READ_MTID</span><span class="plain">, </span><span class="functiontext">Inter::Package::read</span><span class="plain">);</span>
|
||||
<span class="identifier">METHOD_ADD</span><span class="plain">(</span><span class="identifier">IC</span><span class="plain">, </span><span class="constant">CONSTRUCT_VERIFY_MTID</span><span class="plain">, </span><span class="functiontext">Inter::Package::verify</span><span class="plain">);</span>
|
||||
<span class="identifier">METHOD_ADD</span><span class="plain">(</span><span class="identifier">IC</span><span class="plain">, </span><span class="constant">CONSTRUCT_WRITE_MTID</span><span class="plain">, </span><span class="functiontext">Inter::Package::write</span><span class="plain">);</span>
|
||||
|
|
@ -43,9 +42,8 @@
|
|||
<pre class="definitions">
|
||||
<span class="definitionkeyword">define</span> <span class="constant">DEFN_PACKAGE_IFLD</span><span class="plain"> 2</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">PTYPE_PACKAGE_IFLD</span><span class="plain"> 3</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">CODE_PACKAGE_IFLD</span><span class="plain"> 4</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">SYMBOLS_PACKAGE_IFLD</span><span class="plain"> 5</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">PID_PACKAGE_IFLD</span><span class="plain"> 6</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">SYMBOLS_PACKAGE_IFLD</span><span class="plain"> 4</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">PID_PACKAGE_IFLD</span><span class="plain"> 5</span>
|
||||
</pre>
|
||||
|
||||
<pre class="display">
|
||||
|
|
@ -69,8 +67,8 @@
|
|||
<span class="reserved">inter_error_message</span><span class="plain"> *</span><span class="functiontext">Inter::Package::new_package</span><span class="plain">(</span><span class="reserved">inter_reading_state</span><span class="plain"> *</span><span class="identifier">IRS</span><span class="plain">, </span><span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">package_name</span><span class="plain">, </span><span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">ptype_name</span><span class="plain">, </span><span class="constant">inter_t</span><span class="plain"> </span><span class="identifier">level</span><span class="plain">, </span><span class="reserved">inter_error_location</span><span class="plain"> *</span><span class="identifier">eloc</span><span class="plain">, </span><span class="reserved">inter_package</span><span class="plain"> **</span><span class="identifier">created</span><span class="plain">) {</span>
|
||||
<span class="constant">inter_t</span><span class="plain"> </span><span class="identifier">STID</span><span class="plain"> = </span><span class="functiontext">Inter::create_symbols_table</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">-</span><span class="element">>read_into</span><span class="plain">);</span>
|
||||
<span class="identifier">LOGIF</span><span class="plain">(</span><span class="identifier">INTER_SYMBOLS</span><span class="plain">, </span><span class="string">"Package $3 at IRS $5\</span><span class="plain">n</span><span class="string">"</span><span class="plain">, </span><span class="identifier">package_name</span><span class="plain">, </span><span class="identifier">IRS</span><span class="plain">);</span>
|
||||
<span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain"> = </span><span class="functiontext">Inter::Frame::fill_5</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">,</span>
|
||||
<span class="constant">PACKAGE_IST</span><span class="plain">, </span><span class="functiontext">Inter::SymbolsTables::id_from_IRS_and_symbol</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">, </span><span class="identifier">package_name</span><span class="plain">), </span><span class="functiontext">Inter::SymbolsTables::id_from_symbol</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">-</span><span class="element">>read_into</span><span class="plain">, </span><span class="identifier">NULL</span><span class="plain">, </span><span class="identifier">ptype_name</span><span class="plain">), </span><span class="functiontext">Inter::create_frame_list</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">-</span><span class="element">>read_into</span><span class="plain">), </span><span class="identifier">STID</span><span class="plain">, 0, </span><span class="identifier">eloc</span><span class="plain">, </span><span class="identifier">level</span><span class="plain">);</span>
|
||||
<span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain"> = </span><span class="functiontext">Inter::Frame::fill_4</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">,</span>
|
||||
<span class="constant">PACKAGE_IST</span><span class="plain">, </span><span class="functiontext">Inter::SymbolsTables::id_from_IRS_and_symbol</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">, </span><span class="identifier">package_name</span><span class="plain">), </span><span class="functiontext">Inter::SymbolsTables::id_from_symbol</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">-</span><span class="element">>read_into</span><span class="plain">, </span><span class="identifier">NULL</span><span class="plain">, </span><span class="identifier">ptype_name</span><span class="plain">), </span><span class="identifier">STID</span><span class="plain">, 0, </span><span class="identifier">eloc</span><span class="plain">, </span><span class="identifier">level</span><span class="plain">);</span>
|
||||
<span class="reserved">inter_error_message</span><span class="plain"> *</span><span class="identifier">E</span><span class="plain"> = </span><span class="functiontext">Inter::Defn::verify_construct</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">E</span><span class="plain">) </span><span class="reserved">return</span><span class="plain"> </span><span class="identifier">E</span><span class="plain">;</span>
|
||||
<span class="functiontext">Inter::Frame::insert</span><span class="plain">(</span><span class="identifier">P</span><span class="plain">, </span><span class="identifier">IRS</span><span class="plain">);</span>
|
||||
|
|
@ -151,7 +149,7 @@
|
|||
<span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">D</span><span class="plain"> = </span><span class="functiontext">Inter::Symbols::defining_frame</span><span class="plain">(</span><span class="identifier">package_name</span><span class="plain">);</span>
|
||||
<span class="reserved">if</span><span class="plain"> (</span><span class="functiontext">Inter::Frame::valid</span><span class="plain">(&</span><span class="identifier">D</span><span class="plain">) == </span><span class="identifier">FALSE</span><span class="plain">) </span><span class="reserved">return</span><span class="plain"> </span><span class="identifier">NULL</span><span class="plain">;</span>
|
||||
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">D</span><span class="element">.data</span><span class="plain">[</span><span class="constant">ID_IFLD</span><span class="plain">] != </span><span class="constant">PACKAGE_IST</span><span class="plain">) </span><span class="reserved">return</span><span class="plain"> </span><span class="identifier">NULL</span><span class="plain">;</span>
|
||||
<span class="reserved">return</span><span class="plain"> </span><span class="functiontext">Inter::find_frame_list</span><span class="plain">(</span><span class="identifier">D</span><span class="element">.repo_segment</span><span class="plain">-</span><span class="element">>owning_repo</span><span class="plain">, </span><span class="identifier">D</span><span class="element">.data</span><span class="plain">[</span><span class="constant">CODE_PACKAGE_IFLD</span><span class="plain">]);</span>
|
||||
<span class="reserved">return</span><span class="plain"> </span><span class="functiontext">Inter::Defn::list_of_children</span><span class="plain">(</span><span class="identifier">D</span><span class="plain">);</span>
|
||||
<span class="plain">}</span>
|
||||
|
||||
<span class="reserved">void</span><span class="plain"> </span><span class="functiontext">Inter::Package::verify_children</span><span class="plain">(</span><span class="reserved">inter_construct</span><span class="plain"> *</span><span class="identifier">IC</span><span class="plain">, </span><span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain">, </span><span class="reserved">inter_error_message</span><span class="plain"> **</span><span class="identifier">E</span><span class="plain">) {</span>
|
||||
|
|
|
|||
|
|
@ -26,8 +26,7 @@
|
|||
<span class="identifier">I</span><span class="string">"code"</span><span class="plain">, </span><span class="identifier">I</span><span class="string">"codes"</span><span class="plain">);</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>min_level</span><span class="plain"> = 1;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>max_level</span><span class="plain"> = 100000000;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>usage_permissions</span><span class="plain"> = </span><span class="constant">INSIDE_CODE_PACKAGE</span><span class="plain">;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>children_field</span><span class="plain"> = </span><span class="constant">CODE_CODE_IFLD</span><span class="plain">;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>usage_permissions</span><span class="plain"> = </span><span class="constant">INSIDE_CODE_PACKAGE</span><span class="plain"> + </span><span class="constant">CAN_HAVE_CHILDREN</span><span class="plain">;</span>
|
||||
<span class="identifier">METHOD_ADD</span><span class="plain">(</span><span class="identifier">IC</span><span class="plain">, </span><span class="constant">CONSTRUCT_READ_MTID</span><span class="plain">, </span><span class="functiontext">Inter::Code::read</span><span class="plain">);</span>
|
||||
<span class="identifier">METHOD_ADD</span><span class="plain">(</span><span class="identifier">IC</span><span class="plain">, </span><span class="constant">CONSTRUCT_VERIFY_MTID</span><span class="plain">, </span><span class="functiontext">Inter::Code::verify</span><span class="plain">);</span>
|
||||
<span class="identifier">METHOD_ADD</span><span class="plain">(</span><span class="identifier">IC</span><span class="plain">, </span><span class="constant">CONSTRUCT_WRITE_MTID</span><span class="plain">, </span><span class="functiontext">Inter::Code::write</span><span class="plain">);</span>
|
||||
|
|
@ -44,8 +43,7 @@
|
|||
|
||||
<pre class="definitions">
|
||||
<span class="definitionkeyword">define</span> <span class="constant">BLOCK_CODE_IFLD</span><span class="plain"> 2</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">CODE_CODE_IFLD</span><span class="plain"> 3</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">EXTENT_CODE_IFR</span><span class="plain"> 4</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">EXTENT_CODE_IFR</span><span class="plain"> 3</span>
|
||||
</pre>
|
||||
|
||||
<pre class="display">
|
||||
|
|
@ -62,7 +60,7 @@
|
|||
<span class="plain">}</span>
|
||||
|
||||
<span class="reserved">inter_error_message</span><span class="plain"> *</span><span class="functiontext">Inter::Code::new</span><span class="plain">(</span><span class="reserved">inter_reading_state</span><span class="plain"> *</span><span class="identifier">IRS</span><span class="plain">, </span><span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">routine</span><span class="plain">, </span><span class="reserved">int</span><span class="plain"> </span><span class="identifier">level</span><span class="plain">, </span><span class="reserved">inter_error_location</span><span class="plain"> *</span><span class="identifier">eloc</span><span class="plain">) {</span>
|
||||
<span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain"> = </span><span class="functiontext">Inter::Frame::fill_2</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">, </span><span class="constant">CODE_IST</span><span class="plain">, 0, </span><span class="functiontext">Inter::create_frame_list</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">-</span><span class="element">>read_into</span><span class="plain">), </span><span class="identifier">eloc</span><span class="plain">, (</span><span class="constant">inter_t</span><span class="plain">) </span><span class="identifier">level</span><span class="plain">);</span>
|
||||
<span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain"> = </span><span class="functiontext">Inter::Frame::fill_1</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">, </span><span class="constant">CODE_IST</span><span class="plain">, 0, </span><span class="identifier">eloc</span><span class="plain">, (</span><span class="constant">inter_t</span><span class="plain">) </span><span class="identifier">level</span><span class="plain">);</span>
|
||||
<span class="reserved">inter_error_message</span><span class="plain"> *</span><span class="identifier">E</span><span class="plain"> = </span><span class="functiontext">Inter::Defn::verify_construct</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">E</span><span class="plain">) </span><span class="reserved">return</span><span class="plain"> </span><span class="identifier">E</span><span class="plain">;</span>
|
||||
<span class="functiontext">Inter::Frame::insert</span><span class="plain">(</span><span class="identifier">P</span><span class="plain">, </span><span class="identifier">IRS</span><span class="plain">);</span>
|
||||
<span class="reserved">return</span><span class="plain"> </span><span class="identifier">NULL</span><span class="plain">;</span>
|
||||
|
|
|
|||
|
|
@ -26,8 +26,7 @@
|
|||
<span class="identifier">I</span><span class="string">"cast"</span><span class="plain">, </span><span class="identifier">I</span><span class="string">"casts"</span><span class="plain">);</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>min_level</span><span class="plain"> = 1;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>max_level</span><span class="plain"> = 100000000;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>usage_permissions</span><span class="plain"> = </span><span class="constant">INSIDE_CODE_PACKAGE</span><span class="plain">;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>children_field</span><span class="plain"> = </span><span class="constant">OPERANDS_CAST_IFLD</span><span class="plain">;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>usage_permissions</span><span class="plain"> = </span><span class="constant">INSIDE_CODE_PACKAGE</span><span class="plain"> + </span><span class="constant">CAN_HAVE_CHILDREN</span><span class="plain">;</span>
|
||||
<span class="identifier">METHOD_ADD</span><span class="plain">(</span><span class="identifier">IC</span><span class="plain">, </span><span class="constant">CONSTRUCT_READ_MTID</span><span class="plain">, </span><span class="functiontext">Inter::Cast::read</span><span class="plain">);</span>
|
||||
<span class="identifier">METHOD_ADD</span><span class="plain">(</span><span class="identifier">IC</span><span class="plain">, </span><span class="constant">CONSTRUCT_VERIFY_MTID</span><span class="plain">, </span><span class="functiontext">Inter::Cast::verify</span><span class="plain">);</span>
|
||||
<span class="identifier">METHOD_ADD</span><span class="plain">(</span><span class="identifier">IC</span><span class="plain">, </span><span class="constant">CONSTRUCT_WRITE_MTID</span><span class="plain">, </span><span class="functiontext">Inter::Cast::write</span><span class="plain">);</span>
|
||||
|
|
@ -46,8 +45,7 @@
|
|||
<span class="definitionkeyword">define</span> <span class="constant">BLOCK_CAST_IFLD</span><span class="plain"> 2</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">TO_KIND_CAST_IFLD</span><span class="plain"> 3</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">FROM_KIND_CAST_IFLD</span><span class="plain"> 4</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">OPERANDS_CAST_IFLD</span><span class="plain"> 5</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">EXTENT_CAST_IFR</span><span class="plain"> 6</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">EXTENT_CAST_IFR</span><span class="plain"> 5</span>
|
||||
</pre>
|
||||
|
||||
<pre class="display">
|
||||
|
|
@ -69,7 +67,7 @@
|
|||
<span class="plain">}</span>
|
||||
|
||||
<span class="reserved">inter_error_message</span><span class="plain"> *</span><span class="functiontext">Inter::Cast::new</span><span class="plain">(</span><span class="reserved">inter_reading_state</span><span class="plain"> *</span><span class="identifier">IRS</span><span class="plain">, </span><span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">routine</span><span class="plain">, </span><span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">from_kind</span><span class="plain">, </span><span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">to_kind</span><span class="plain">, </span><span class="constant">inter_t</span><span class="plain"> </span><span class="identifier">level</span><span class="plain">, </span><span class="reserved">inter_error_location</span><span class="plain"> *</span><span class="identifier">eloc</span><span class="plain">) {</span>
|
||||
<span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain"> = </span><span class="functiontext">Inter::Frame::fill_4</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">, </span><span class="constant">CAST_IST</span><span class="plain">, 0, </span><span class="functiontext">Inter::SymbolsTables::id_from_IRS_and_symbol</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">, </span><span class="identifier">to_kind</span><span class="plain">), </span><span class="functiontext">Inter::SymbolsTables::id_from_IRS_and_symbol</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">, </span><span class="identifier">from_kind</span><span class="plain">), </span><span class="functiontext">Inter::create_frame_list</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">-</span><span class="element">>read_into</span><span class="plain">), </span><span class="identifier">eloc</span><span class="plain">, (</span><span class="constant">inter_t</span><span class="plain">) </span><span class="identifier">level</span><span class="plain">);</span>
|
||||
<span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain"> = </span><span class="functiontext">Inter::Frame::fill_3</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">, </span><span class="constant">CAST_IST</span><span class="plain">, 0, </span><span class="functiontext">Inter::SymbolsTables::id_from_IRS_and_symbol</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">, </span><span class="identifier">to_kind</span><span class="plain">), </span><span class="functiontext">Inter::SymbolsTables::id_from_IRS_and_symbol</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">, </span><span class="identifier">from_kind</span><span class="plain">), </span><span class="identifier">eloc</span><span class="plain">, (</span><span class="constant">inter_t</span><span class="plain">) </span><span class="identifier">level</span><span class="plain">);</span>
|
||||
<span class="reserved">inter_error_message</span><span class="plain"> *</span><span class="identifier">E</span><span class="plain"> = </span><span class="functiontext">Inter::Defn::verify_construct</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">E</span><span class="plain">) </span><span class="reserved">return</span><span class="plain"> </span><span class="identifier">E</span><span class="plain">;</span>
|
||||
<span class="functiontext">Inter::Frame::insert</span><span class="plain">(</span><span class="identifier">P</span><span class="plain">, </span><span class="identifier">IRS</span><span class="plain">);</span>
|
||||
<span class="reserved">return</span><span class="plain"> </span><span class="identifier">NULL</span><span class="plain">;</span>
|
||||
|
|
|
|||
|
|
@ -26,8 +26,7 @@
|
|||
<span class="identifier">I</span><span class="string">"evaluation"</span><span class="plain">, </span><span class="identifier">I</span><span class="string">"evaluations"</span><span class="plain">);</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>min_level</span><span class="plain"> = 1;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>max_level</span><span class="plain"> = 100000000;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>usage_permissions</span><span class="plain"> = </span><span class="constant">INSIDE_CODE_PACKAGE</span><span class="plain">;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>children_field</span><span class="plain"> = </span><span class="constant">CODE_EVAL_IFLD</span><span class="plain">;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>usage_permissions</span><span class="plain"> = </span><span class="constant">INSIDE_CODE_PACKAGE</span><span class="plain"> + </span><span class="constant">CAN_HAVE_CHILDREN</span><span class="plain">;</span>
|
||||
<span class="identifier">METHOD_ADD</span><span class="plain">(</span><span class="identifier">IC</span><span class="plain">, </span><span class="constant">CONSTRUCT_READ_MTID</span><span class="plain">, </span><span class="functiontext">Inter::Evaluation::read</span><span class="plain">);</span>
|
||||
<span class="identifier">METHOD_ADD</span><span class="plain">(</span><span class="identifier">IC</span><span class="plain">, </span><span class="constant">CONSTRUCT_VERIFY_MTID</span><span class="plain">, </span><span class="functiontext">Inter::Evaluation::verify</span><span class="plain">);</span>
|
||||
<span class="identifier">METHOD_ADD</span><span class="plain">(</span><span class="identifier">IC</span><span class="plain">, </span><span class="constant">CONSTRUCT_WRITE_MTID</span><span class="plain">, </span><span class="functiontext">Inter::Evaluation::write</span><span class="plain">);</span>
|
||||
|
|
@ -44,8 +43,7 @@
|
|||
|
||||
<pre class="definitions">
|
||||
<span class="definitionkeyword">define</span> <span class="constant">BLOCK_EVAL_IFLD</span><span class="plain"> 2</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">CODE_EVAL_IFLD</span><span class="plain"> 3</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">EXTENT_EVAL_IFR</span><span class="plain"> 4</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">EXTENT_EVAL_IFR</span><span class="plain"> 3</span>
|
||||
</pre>
|
||||
|
||||
<pre class="display">
|
||||
|
|
@ -62,8 +60,7 @@
|
|||
<span class="plain">}</span>
|
||||
|
||||
<span class="reserved">inter_error_message</span><span class="plain"> *</span><span class="functiontext">Inter::Evaluation::new</span><span class="plain">(</span><span class="reserved">inter_reading_state</span><span class="plain"> *</span><span class="identifier">IRS</span><span class="plain">, </span><span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">routine</span><span class="plain">, </span><span class="reserved">int</span><span class="plain"> </span><span class="identifier">level</span><span class="plain">, </span><span class="reserved">inter_error_location</span><span class="plain"> *</span><span class="identifier">eloc</span><span class="plain">) {</span>
|
||||
<span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain"> = </span><span class="functiontext">Inter::Frame::fill_2</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">, </span><span class="constant">EVALUATION_IST</span><span class="plain">, 0,</span>
|
||||
<span class="functiontext">Inter::create_frame_list</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">-</span><span class="element">>read_into</span><span class="plain">), </span><span class="identifier">eloc</span><span class="plain">, (</span><span class="constant">inter_t</span><span class="plain">) </span><span class="identifier">level</span><span class="plain">);</span>
|
||||
<span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain"> = </span><span class="functiontext">Inter::Frame::fill_1</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">, </span><span class="constant">EVALUATION_IST</span><span class="plain">, 0, </span><span class="identifier">eloc</span><span class="plain">, (</span><span class="constant">inter_t</span><span class="plain">) </span><span class="identifier">level</span><span class="plain">);</span>
|
||||
<span class="reserved">inter_error_message</span><span class="plain"> *</span><span class="identifier">E</span><span class="plain"> = </span><span class="functiontext">Inter::Defn::verify_construct</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">E</span><span class="plain">) </span><span class="reserved">return</span><span class="plain"> </span><span class="identifier">E</span><span class="plain">;</span>
|
||||
<span class="functiontext">Inter::Frame::insert</span><span class="plain">(</span><span class="identifier">P</span><span class="plain">, </span><span class="identifier">IRS</span><span class="plain">);</span>
|
||||
<span class="reserved">return</span><span class="plain"> </span><span class="identifier">NULL</span><span class="plain">;</span>
|
||||
|
|
@ -93,7 +90,7 @@
|
|||
<span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">D</span><span class="plain"> = </span><span class="functiontext">Inter::Symbols::defining_frame</span><span class="plain">(</span><span class="identifier">label_name</span><span class="plain">);</span>
|
||||
<span class="reserved">if</span><span class="plain"> (</span><span class="functiontext">Inter::Frame::valid</span><span class="plain">(&</span><span class="identifier">D</span><span class="plain">) == </span><span class="identifier">FALSE</span><span class="plain">) </span><span class="reserved">return</span><span class="plain"> </span><span class="identifier">NULL</span><span class="plain">;</span>
|
||||
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">D</span><span class="element">.data</span><span class="plain">[</span><span class="constant">ID_IFLD</span><span class="plain">] != </span><span class="constant">EVALUATION_IST</span><span class="plain">) </span><span class="reserved">return</span><span class="plain"> </span><span class="identifier">NULL</span><span class="plain">;</span>
|
||||
<span class="reserved">return</span><span class="plain"> </span><span class="functiontext">Inter::find_frame_list</span><span class="plain">(</span><span class="identifier">D</span><span class="element">.repo_segment</span><span class="plain">-</span><span class="element">>owning_repo</span><span class="plain">, </span><span class="identifier">D</span><span class="element">.data</span><span class="plain">[</span><span class="constant">CODE_EVAL_IFLD</span><span class="plain">]);</span>
|
||||
<span class="reserved">return</span><span class="plain"> </span><span class="functiontext">Inter::Defn::list_of_children</span><span class="plain">(</span><span class="identifier">D</span><span class="plain">);</span>
|
||||
<span class="plain">}</span>
|
||||
</pre>
|
||||
|
||||
|
|
|
|||
|
|
@ -26,8 +26,7 @@
|
|||
<span class="identifier">I</span><span class="string">"inv"</span><span class="plain">, </span><span class="identifier">I</span><span class="string">"invs"</span><span class="plain">);</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>min_level</span><span class="plain"> = 1;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>max_level</span><span class="plain"> = 100000000;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>usage_permissions</span><span class="plain"> = </span><span class="constant">INSIDE_CODE_PACKAGE</span><span class="plain">;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>children_field</span><span class="plain"> = </span><span class="constant">OPERANDS_INV_IFLD</span><span class="plain">;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>usage_permissions</span><span class="plain"> = </span><span class="constant">INSIDE_CODE_PACKAGE</span><span class="plain"> + </span><span class="constant">CAN_HAVE_CHILDREN</span><span class="plain">;</span>
|
||||
<span class="identifier">METHOD_ADD</span><span class="plain">(</span><span class="identifier">IC</span><span class="plain">, </span><span class="constant">CONSTRUCT_READ_MTID</span><span class="plain">, </span><span class="functiontext">Inter::Inv::read</span><span class="plain">);</span>
|
||||
<span class="identifier">METHOD_ADD</span><span class="plain">(</span><span class="identifier">IC</span><span class="plain">, </span><span class="constant">CONSTRUCT_VERIFY_MTID</span><span class="plain">, </span><span class="functiontext">Inter::Inv::verify</span><span class="plain">);</span>
|
||||
<span class="identifier">METHOD_ADD</span><span class="plain">(</span><span class="identifier">IC</span><span class="plain">, </span><span class="constant">CONSTRUCT_WRITE_MTID</span><span class="plain">, </span><span class="functiontext">Inter::Inv::write</span><span class="plain">);</span>
|
||||
|
|
@ -46,8 +45,7 @@
|
|||
<span class="definitionkeyword">define</span> <span class="constant">BLOCK_INV_IFLD</span><span class="plain"> 2</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">METHOD_INV_IFLD</span><span class="plain"> 3</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">INVOKEE_INV_IFLD</span><span class="plain"> 4</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">OPERANDS_INV_IFLD</span><span class="plain"> 5</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">EXTENT_INV_IFR</span><span class="plain"> 6</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">EXTENT_INV_IFR</span><span class="plain"> 5</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">INVOKED_PRIMITIVE</span><span class="plain"> 1</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">INVOKED_ROUTINE</span><span class="plain"> 2</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">INVOKED_OPCODE</span><span class="plain"> 3</span>
|
||||
|
|
@ -86,8 +84,8 @@
|
|||
<span class="plain">}</span>
|
||||
|
||||
<span class="reserved">inter_error_message</span><span class="plain"> *</span><span class="functiontext">Inter::Inv::new_primitive</span><span class="plain">(</span><span class="reserved">inter_reading_state</span><span class="plain"> *</span><span class="identifier">IRS</span><span class="plain">, </span><span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">routine</span><span class="plain">, </span><span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">invoked_name</span><span class="plain">, </span><span class="constant">inter_t</span><span class="plain"> </span><span class="identifier">level</span><span class="plain">, </span><span class="reserved">inter_error_location</span><span class="plain"> *</span><span class="identifier">eloc</span><span class="plain">) {</span>
|
||||
<span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain"> = </span><span class="functiontext">Inter::Frame::fill_4</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">, </span><span class="constant">INV_IST</span><span class="plain">, 0, </span><span class="constant">INVOKED_PRIMITIVE</span><span class="plain">, </span><span class="functiontext">Inter::SymbolsTables::id_from_symbol</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">-</span><span class="element">>read_into</span><span class="plain">, </span><span class="identifier">NULL</span><span class="plain">, </span><span class="identifier">invoked_name</span><span class="plain">),</span>
|
||||
<span class="functiontext">Inter::create_frame_list</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">-</span><span class="element">>read_into</span><span class="plain">), </span><span class="identifier">eloc</span><span class="plain">, (</span><span class="constant">inter_t</span><span class="plain">) </span><span class="identifier">level</span><span class="plain">);</span>
|
||||
<span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain"> = </span><span class="functiontext">Inter::Frame::fill_3</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">, </span><span class="constant">INV_IST</span><span class="plain">, 0, </span><span class="constant">INVOKED_PRIMITIVE</span><span class="plain">, </span><span class="functiontext">Inter::SymbolsTables::id_from_symbol</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">-</span><span class="element">>read_into</span><span class="plain">, </span><span class="identifier">NULL</span><span class="plain">, </span><span class="identifier">invoked_name</span><span class="plain">),</span>
|
||||
<span class="identifier">eloc</span><span class="plain">, (</span><span class="constant">inter_t</span><span class="plain">) </span><span class="identifier">level</span><span class="plain">);</span>
|
||||
<span class="reserved">inter_error_message</span><span class="plain"> *</span><span class="identifier">E</span><span class="plain"> = </span><span class="functiontext">Inter::Defn::verify_construct</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">E</span><span class="plain">) </span><span class="reserved">return</span><span class="plain"> </span><span class="identifier">E</span><span class="plain">;</span>
|
||||
<span class="functiontext">Inter::Frame::insert</span><span class="plain">(</span><span class="identifier">P</span><span class="plain">, </span><span class="identifier">IRS</span><span class="plain">);</span>
|
||||
|
|
@ -95,7 +93,7 @@
|
|||
<span class="plain">}</span>
|
||||
|
||||
<span class="reserved">inter_error_message</span><span class="plain"> *</span><span class="functiontext">Inter::Inv::new_call</span><span class="plain">(</span><span class="reserved">inter_reading_state</span><span class="plain"> *</span><span class="identifier">IRS</span><span class="plain">, </span><span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">routine</span><span class="plain">, </span><span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">invoked_name</span><span class="plain">, </span><span class="constant">inter_t</span><span class="plain"> </span><span class="identifier">level</span><span class="plain">, </span><span class="reserved">inter_error_location</span><span class="plain"> *</span><span class="identifier">eloc</span><span class="plain">) {</span>
|
||||
<span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain"> = </span><span class="functiontext">Inter::Frame::fill_4</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">, </span><span class="constant">INV_IST</span><span class="plain">, 0, </span><span class="constant">INVOKED_ROUTINE</span><span class="plain">, </span><span class="functiontext">Inter::SymbolsTables::id_from_IRS_and_symbol</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">, </span><span class="identifier">invoked_name</span><span class="plain">), </span><span class="functiontext">Inter::create_frame_list</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">-</span><span class="element">>read_into</span><span class="plain">), </span><span class="identifier">eloc</span><span class="plain">, (</span><span class="constant">inter_t</span><span class="plain">) </span><span class="identifier">level</span><span class="plain">);</span>
|
||||
<span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain"> = </span><span class="functiontext">Inter::Frame::fill_3</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">, </span><span class="constant">INV_IST</span><span class="plain">, 0, </span><span class="constant">INVOKED_ROUTINE</span><span class="plain">, </span><span class="functiontext">Inter::SymbolsTables::id_from_IRS_and_symbol</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">, </span><span class="identifier">invoked_name</span><span class="plain">), </span><span class="identifier">eloc</span><span class="plain">, (</span><span class="constant">inter_t</span><span class="plain">) </span><span class="identifier">level</span><span class="plain">);</span>
|
||||
<span class="reserved">inter_error_message</span><span class="plain"> *</span><span class="identifier">E</span><span class="plain"> = </span><span class="functiontext">Inter::Defn::verify_construct</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">E</span><span class="plain">) </span><span class="reserved">return</span><span class="plain"> </span><span class="identifier">E</span><span class="plain">;</span>
|
||||
<span class="functiontext">Inter::Frame::insert</span><span class="plain">(</span><span class="identifier">P</span><span class="plain">, </span><span class="identifier">IRS</span><span class="plain">);</span>
|
||||
|
|
@ -103,7 +101,7 @@
|
|||
<span class="plain">}</span>
|
||||
|
||||
<span class="reserved">inter_error_message</span><span class="plain"> *</span><span class="functiontext">Inter::Inv::new_assembly</span><span class="plain">(</span><span class="reserved">inter_reading_state</span><span class="plain"> *</span><span class="identifier">IRS</span><span class="plain">, </span><span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">routine</span><span class="plain">, </span><span class="constant">inter_t</span><span class="plain"> </span><span class="identifier">opcode_storage</span><span class="plain">, </span><span class="constant">inter_t</span><span class="plain"> </span><span class="identifier">level</span><span class="plain">, </span><span class="reserved">inter_error_location</span><span class="plain"> *</span><span class="identifier">eloc</span><span class="plain">) {</span>
|
||||
<span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain"> = </span><span class="functiontext">Inter::Frame::fill_4</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">, </span><span class="constant">INV_IST</span><span class="plain">, 0, </span><span class="constant">INVOKED_OPCODE</span><span class="plain">, </span><span class="identifier">opcode_storage</span><span class="plain">, </span><span class="functiontext">Inter::create_frame_list</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">-</span><span class="element">>read_into</span><span class="plain">), </span><span class="identifier">eloc</span><span class="plain">, (</span><span class="constant">inter_t</span><span class="plain">) </span><span class="identifier">level</span><span class="plain">);</span>
|
||||
<span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain"> = </span><span class="functiontext">Inter::Frame::fill_3</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">, </span><span class="constant">INV_IST</span><span class="plain">, 0, </span><span class="constant">INVOKED_OPCODE</span><span class="plain">, </span><span class="identifier">opcode_storage</span><span class="plain">, </span><span class="identifier">eloc</span><span class="plain">, (</span><span class="constant">inter_t</span><span class="plain">) </span><span class="identifier">level</span><span class="plain">);</span>
|
||||
<span class="reserved">inter_error_message</span><span class="plain"> *</span><span class="identifier">E</span><span class="plain"> = </span><span class="functiontext">Inter::Defn::verify_construct</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">E</span><span class="plain">) </span><span class="reserved">return</span><span class="plain"> </span><span class="identifier">E</span><span class="plain">;</span>
|
||||
<span class="functiontext">Inter::Frame::insert</span><span class="plain">(</span><span class="identifier">P</span><span class="plain">, </span><span class="identifier">IRS</span><span class="plain">);</span>
|
||||
|
|
@ -150,10 +148,10 @@
|
|||
<span class="comment">*E = Inter::Verify::symbol(P, P.data[INVOKEE_INV_IFLD], CONSTANT_IST);</span>
|
||||
<span class="comment">if (*E) return;</span>
|
||||
<span class="comment">}</span>
|
||||
<span class="reserved">inter_repository</span><span class="plain"> *</span><span class="identifier">I</span><span class="plain"> = </span><span class="identifier">P</span><span class="element">.repo_segment</span><span class="plain">-</span><span class="element">>owning_repo</span><span class="plain">;</span>
|
||||
<span class="reserved">inter_frame_list</span><span class="plain"> *</span><span class="identifier">ifl</span><span class="plain"> = </span><span class="functiontext">Inter::find_frame_list</span><span class="plain">(</span><span class="identifier">I</span><span class="plain">, </span><span class="identifier">P</span><span class="element">.data</span><span class="plain">[</span><span class="constant">OPERANDS_INV_IFLD</span><span class="plain">]);</span>
|
||||
<span class="reserved">inter_frame_list</span><span class="plain"> *</span><span class="identifier">ifl</span><span class="plain"> = </span><span class="functiontext">Inter::Defn::list_of_children</span><span class="plain">(</span><span class="identifier">P</span><span class="plain">);</span>
|
||||
<span class="reserved">int</span><span class="plain"> </span><span class="identifier">arity_as_invoked</span><span class="plain"> = </span><span class="functiontext">Inter::size_of_frame_list</span><span class="plain">(</span><span class="identifier">ifl</span><span class="plain">);</span>
|
||||
<span class="plain">#</span><span class="identifier">ifdef</span><span class="plain"> </span><span class="identifier">CORE_MODULE</span>
|
||||
<span class="reserved">inter_repository</span><span class="plain"> *</span><span class="identifier">I</span><span class="plain"> = </span><span class="identifier">P</span><span class="element">.repo_segment</span><span class="plain">-</span><span class="element">>owning_repo</span><span class="plain">;</span>
|
||||
<span class="reserved">if</span><span class="plain"> ((</span><span class="functiontext">Inter::Inv::arity</span><span class="plain">(</span><span class="identifier">P</span><span class="plain">) != -1) &&</span>
|
||||
<span class="plain">(</span><span class="functiontext">Inter::Inv::arity</span><span class="plain">(</span><span class="identifier">P</span><span class="plain">) != </span><span class="identifier">arity_as_invoked</span><span class="plain">)) {</span>
|
||||
<span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">invokee</span><span class="plain"> = </span><span class="functiontext">Inter::Inv::invokee</span><span class="plain">(</span><span class="identifier">P</span><span class="plain">);</span>
|
||||
|
|
|
|||
|
|
@ -26,8 +26,7 @@
|
|||
<span class="identifier">I</span><span class="string">"label"</span><span class="plain">, </span><span class="identifier">I</span><span class="string">"labels"</span><span class="plain">);</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>min_level</span><span class="plain"> = 0;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>max_level</span><span class="plain"> = 100000000;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>usage_permissions</span><span class="plain"> = </span><span class="constant">INSIDE_CODE_PACKAGE</span><span class="plain">;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>children_field</span><span class="plain"> = </span><span class="constant">CODE_LABEL_IFLD</span><span class="plain">;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>usage_permissions</span><span class="plain"> = </span><span class="constant">INSIDE_CODE_PACKAGE</span><span class="plain"> + </span><span class="constant">CAN_HAVE_CHILDREN</span><span class="plain">;</span>
|
||||
<span class="identifier">METHOD_ADD</span><span class="plain">(</span><span class="identifier">IC</span><span class="plain">, </span><span class="constant">VERIFY_INTER_CHILDREN_MTID</span><span class="plain">, </span><span class="functiontext">Inter::Label::verify_children</span><span class="plain">);</span>
|
||||
<span class="identifier">METHOD_ADD</span><span class="plain">(</span><span class="identifier">IC</span><span class="plain">, </span><span class="constant">CONSTRUCT_READ_MTID</span><span class="plain">, </span><span class="functiontext">Inter::Label::read</span><span class="plain">);</span>
|
||||
<span class="identifier">METHOD_ADD</span><span class="plain">(</span><span class="identifier">IC</span><span class="plain">, </span><span class="constant">CONSTRUCT_VERIFY_MTID</span><span class="plain">, </span><span class="functiontext">Inter::Label::verify</span><span class="plain">);</span>
|
||||
|
|
@ -45,8 +44,7 @@
|
|||
<pre class="definitions">
|
||||
<span class="definitionkeyword">define</span> <span class="constant">BLOCK_LABEL_IFLD</span><span class="plain"> 2</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">DEFN_LABEL_IFLD</span><span class="plain"> 3</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">CODE_LABEL_IFLD</span><span class="plain"> 4</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">EXTENT_LABEL_IFR</span><span class="plain"> 5</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">EXTENT_LABEL_IFR</span><span class="plain"> 4</span>
|
||||
</pre>
|
||||
|
||||
<pre class="display">
|
||||
|
|
@ -66,7 +64,7 @@
|
|||
<span class="plain">}</span>
|
||||
|
||||
<span class="reserved">inter_error_message</span><span class="plain"> *</span><span class="functiontext">Inter::Label::new</span><span class="plain">(</span><span class="reserved">inter_reading_state</span><span class="plain"> *</span><span class="identifier">IRS</span><span class="plain">, </span><span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">routine</span><span class="plain">, </span><span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">lab_name</span><span class="plain">, </span><span class="constant">inter_t</span><span class="plain"> </span><span class="identifier">level</span><span class="plain">, </span><span class="reserved">inter_error_location</span><span class="plain"> *</span><span class="identifier">eloc</span><span class="plain">) {</span>
|
||||
<span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain"> = </span><span class="functiontext">Inter::Frame::fill_3</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">, </span><span class="constant">LABEL_IST</span><span class="plain">, 0, </span><span class="functiontext">Inter::SymbolsTables::id_from_IRS_and_symbol</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">, </span><span class="identifier">lab_name</span><span class="plain">), </span><span class="functiontext">Inter::create_frame_list</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">-</span><span class="element">>read_into</span><span class="plain">), </span><span class="identifier">eloc</span><span class="plain">, </span><span class="identifier">level</span><span class="plain">);</span>
|
||||
<span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain"> = </span><span class="functiontext">Inter::Frame::fill_2</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">, </span><span class="constant">LABEL_IST</span><span class="plain">, 0, </span><span class="functiontext">Inter::SymbolsTables::id_from_IRS_and_symbol</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">, </span><span class="identifier">lab_name</span><span class="plain">), </span><span class="identifier">eloc</span><span class="plain">, </span><span class="identifier">level</span><span class="plain">);</span>
|
||||
<span class="reserved">inter_error_message</span><span class="plain"> *</span><span class="identifier">E</span><span class="plain"> = </span><span class="functiontext">Inter::Defn::verify_construct</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">E</span><span class="plain">) </span><span class="reserved">return</span><span class="plain"> </span><span class="identifier">E</span><span class="plain">;</span>
|
||||
<span class="functiontext">Inter::Frame::insert</span><span class="plain">(</span><span class="identifier">P</span><span class="plain">, </span><span class="identifier">IRS</span><span class="plain">);</span>
|
||||
<span class="reserved">return</span><span class="plain"> </span><span class="identifier">NULL</span><span class="plain">;</span>
|
||||
|
|
|
|||
|
|
@ -26,8 +26,7 @@
|
|||
<span class="identifier">I</span><span class="string">"reference"</span><span class="plain">, </span><span class="identifier">I</span><span class="string">"references"</span><span class="plain">);</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>min_level</span><span class="plain"> = 1;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>max_level</span><span class="plain"> = 100000000;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>usage_permissions</span><span class="plain"> = </span><span class="constant">INSIDE_CODE_PACKAGE</span><span class="plain">;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>children_field</span><span class="plain"> = </span><span class="constant">CODE_RCE_IFLD</span><span class="plain">;</span>
|
||||
<span class="identifier">IC</span><span class="plain">-</span><span class="element">>usage_permissions</span><span class="plain"> = </span><span class="constant">INSIDE_CODE_PACKAGE</span><span class="plain"> + </span><span class="constant">CAN_HAVE_CHILDREN</span><span class="plain">;</span>
|
||||
<span class="identifier">METHOD_ADD</span><span class="plain">(</span><span class="identifier">IC</span><span class="plain">, </span><span class="constant">CONSTRUCT_READ_MTID</span><span class="plain">, </span><span class="functiontext">Inter::Reference::read</span><span class="plain">);</span>
|
||||
<span class="identifier">METHOD_ADD</span><span class="plain">(</span><span class="identifier">IC</span><span class="plain">, </span><span class="constant">CONSTRUCT_VERIFY_MTID</span><span class="plain">, </span><span class="functiontext">Inter::Reference::verify</span><span class="plain">);</span>
|
||||
<span class="identifier">METHOD_ADD</span><span class="plain">(</span><span class="identifier">IC</span><span class="plain">, </span><span class="constant">CONSTRUCT_WRITE_MTID</span><span class="plain">, </span><span class="functiontext">Inter::Reference::write</span><span class="plain">);</span>
|
||||
|
|
@ -44,8 +43,7 @@
|
|||
|
||||
<pre class="definitions">
|
||||
<span class="definitionkeyword">define</span> <span class="constant">BLOCK_RCE_IFLD</span><span class="plain"> 2</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">CODE_RCE_IFLD</span><span class="plain"> 3</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">EXTENT_RCE_IFR</span><span class="plain"> 4</span>
|
||||
<span class="definitionkeyword">define</span> <span class="constant">EXTENT_RCE_IFR</span><span class="plain"> 3</span>
|
||||
</pre>
|
||||
|
||||
<pre class="display">
|
||||
|
|
@ -62,8 +60,7 @@
|
|||
<span class="plain">}</span>
|
||||
|
||||
<span class="reserved">inter_error_message</span><span class="plain"> *</span><span class="functiontext">Inter::Reference::new</span><span class="plain">(</span><span class="reserved">inter_reading_state</span><span class="plain"> *</span><span class="identifier">IRS</span><span class="plain">, </span><span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">routine</span><span class="plain">, </span><span class="reserved">int</span><span class="plain"> </span><span class="identifier">level</span><span class="plain">, </span><span class="reserved">inter_error_location</span><span class="plain"> *</span><span class="identifier">eloc</span><span class="plain">) {</span>
|
||||
<span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain"> = </span><span class="functiontext">Inter::Frame::fill_2</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">, </span><span class="constant">REFERENCE_IST</span><span class="plain">, 0,</span>
|
||||
<span class="functiontext">Inter::create_frame_list</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">-</span><span class="element">>read_into</span><span class="plain">), </span><span class="identifier">eloc</span><span class="plain">, (</span><span class="constant">inter_t</span><span class="plain">) </span><span class="identifier">level</span><span class="plain">);</span>
|
||||
<span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">P</span><span class="plain"> = </span><span class="functiontext">Inter::Frame::fill_1</span><span class="plain">(</span><span class="identifier">IRS</span><span class="plain">, </span><span class="constant">REFERENCE_IST</span><span class="plain">, 0, </span><span class="identifier">eloc</span><span class="plain">, (</span><span class="constant">inter_t</span><span class="plain">) </span><span class="identifier">level</span><span class="plain">);</span>
|
||||
<span class="reserved">inter_error_message</span><span class="plain"> *</span><span class="identifier">E</span><span class="plain"> = </span><span class="functiontext">Inter::Defn::verify_construct</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">E</span><span class="plain">) </span><span class="reserved">return</span><span class="plain"> </span><span class="identifier">E</span><span class="plain">;</span>
|
||||
<span class="functiontext">Inter::Frame::insert</span><span class="plain">(</span><span class="identifier">P</span><span class="plain">, </span><span class="identifier">IRS</span><span class="plain">);</span>
|
||||
<span class="reserved">return</span><span class="plain"> </span><span class="identifier">NULL</span><span class="plain">;</span>
|
||||
|
|
@ -93,7 +90,7 @@
|
|||
<span class="reserved">inter_frame</span><span class="plain"> </span><span class="identifier">D</span><span class="plain"> = </span><span class="functiontext">Inter::Symbols::defining_frame</span><span class="plain">(</span><span class="identifier">label_name</span><span class="plain">);</span>
|
||||
<span class="reserved">if</span><span class="plain"> (</span><span class="functiontext">Inter::Frame::valid</span><span class="plain">(&</span><span class="identifier">D</span><span class="plain">) == </span><span class="identifier">FALSE</span><span class="plain">) </span><span class="reserved">return</span><span class="plain"> </span><span class="identifier">NULL</span><span class="plain">;</span>
|
||||
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">D</span><span class="element">.data</span><span class="plain">[</span><span class="constant">ID_IFLD</span><span class="plain">] != </span><span class="constant">REFERENCE_IST</span><span class="plain">) </span><span class="reserved">return</span><span class="plain"> </span><span class="identifier">NULL</span><span class="plain">;</span>
|
||||
<span class="reserved">return</span><span class="plain"> </span><span class="functiontext">Inter::find_frame_list</span><span class="plain">(</span><span class="identifier">D</span><span class="element">.repo_segment</span><span class="plain">-</span><span class="element">>owning_repo</span><span class="plain">, </span><span class="identifier">D</span><span class="element">.data</span><span class="plain">[</span><span class="constant">CODE_RCE_IFLD</span><span class="plain">]);</span>
|
||||
<span class="reserved">return</span><span class="plain"> </span><span class="functiontext">Inter::Defn::list_of_children</span><span class="plain">(</span><span class="identifier">D</span><span class="plain">);</span>
|
||||
<span class="plain">}</span>
|
||||
</pre>
|
||||
|
||||
|
|
|
|||
|
|
@ -126,7 +126,7 @@ void CodeGen::FC::label(code_generation *gen, inter_frame P) {
|
|||
if (Str::eq(lab_name->symbol_name, I".begin")) { WRITE(";\n"); INDENT; }
|
||||
else if (Str::eq(lab_name->symbol_name, I".end")) { OUTDENT; WRITE("];\n"); }
|
||||
else WRITE("%S;\n", lab_name->symbol_name);
|
||||
inter_frame_list *ifl = Inter::find_frame_list(P.repo_segment->owning_repo, P.data[CODE_LABEL_IFLD]);
|
||||
inter_frame_list *ifl = Inter::Defn::list_of_children(P);
|
||||
if (ifl == NULL) internal_error("block without code list");
|
||||
inter_frame F;
|
||||
LOOP_THROUGH_INTER_FRAME_LIST(F, ifl)
|
||||
|
|
@ -145,7 +145,7 @@ void CodeGen::FC::block(code_generation *gen, inter_frame P) {
|
|||
void CodeGen::FC::code(code_generation *gen, inter_frame P) {
|
||||
int old_level = void_level;
|
||||
void_level = Inter::Defn::get_level(P) + 1;
|
||||
inter_frame_list *ifl = Inter::find_frame_list(P.repo_segment->owning_repo, P.data[CODE_CODE_IFLD]);
|
||||
inter_frame_list *ifl = Inter::Defn::list_of_children(P);
|
||||
if (ifl) {
|
||||
inter_frame F;
|
||||
LOOP_THROUGH_INTER_FRAME_LIST(F, ifl)
|
||||
|
|
@ -156,7 +156,7 @@ void CodeGen::FC::code(code_generation *gen, inter_frame P) {
|
|||
|
||||
void CodeGen::FC::evaluation(code_generation *gen, inter_frame P) {
|
||||
int old_level = void_level;
|
||||
inter_frame_list *ifl = Inter::find_frame_list(P.repo_segment->owning_repo, P.data[CODE_EVAL_IFLD]);
|
||||
inter_frame_list *ifl = Inter::Defn::list_of_children(P);
|
||||
if (ifl) {
|
||||
inter_frame F;
|
||||
LOOP_THROUGH_INTER_FRAME_LIST(F, ifl)
|
||||
|
|
@ -167,7 +167,7 @@ void CodeGen::FC::evaluation(code_generation *gen, inter_frame P) {
|
|||
|
||||
void CodeGen::FC::reference(code_generation *gen, inter_frame P) {
|
||||
int old_level = void_level;
|
||||
inter_frame_list *ifl = Inter::find_frame_list(P.repo_segment->owning_repo, P.data[CODE_RCE_IFLD]);
|
||||
inter_frame_list *ifl = Inter::Defn::list_of_children(P);
|
||||
if (ifl) {
|
||||
inter_frame F;
|
||||
LOOP_THROUGH_INTER_FRAME_LIST(F, ifl)
|
||||
|
|
|
|||
|
|
@ -284,3 +284,16 @@ void Inter::Frame::attach_package(inter_frame F, inter_t ID) {
|
|||
F.repo_segment->bytecode[F.index + PREFRAME_PACKAGE] = ID;
|
||||
}
|
||||
}
|
||||
|
||||
inter_t Inter::Frame::get_list(inter_frame F) {
|
||||
if (F.repo_segment) {
|
||||
return F.repo_segment->bytecode[F.index + PREFRAME_LIST];
|
||||
}
|
||||
return 0;
|
||||
}
|
||||
|
||||
void Inter::Frame::set_list(inter_frame F, inter_t V) {
|
||||
if (F.repo_segment) {
|
||||
F.repo_segment->bytecode[F.index + PREFRAME_LIST] = V;
|
||||
}
|
||||
}
|
||||
|
|
|
|||
|
|
@ -18,7 +18,12 @@ To store bytecode-like intermediate code in memory.
|
|||
@d PREFRAME_ORIGIN 2
|
||||
@d PREFRAME_COMMENT 3
|
||||
@d PREFRAME_PACKAGE 4
|
||||
@d PREFRAME_SIZE 5
|
||||
@d PREFRAME_PARENT 5
|
||||
@d PREFRAME_CHILD 6
|
||||
@d PREFRAME_PREVIOUS 7
|
||||
@d PREFRAME_NEXT 8
|
||||
@d PREFRAME_LIST 9
|
||||
@d PREFRAME_SIZE 10
|
||||
|
||||
=
|
||||
typedef struct inter_repository {
|
||||
|
|
@ -152,6 +157,11 @@ inter_frame Inter::find_room_in_segment(inter_repository_segment *IS, int n) {
|
|||
IS->bytecode[at + PREFRAME_ORIGIN] = 0;
|
||||
IS->bytecode[at + PREFRAME_COMMENT] = 0;
|
||||
IS->bytecode[at + PREFRAME_PACKAGE] = 0;
|
||||
IS->bytecode[at + PREFRAME_PARENT] = 0;
|
||||
IS->bytecode[at + PREFRAME_CHILD] = 0;
|
||||
IS->bytecode[at + PREFRAME_PREVIOUS] = 0;
|
||||
IS->bytecode[at + PREFRAME_NEXT] = 0;
|
||||
IS->bytecode[at + PREFRAME_LIST] = 0;
|
||||
for (int i=0; i<n; i++) IS->bytecode[at + PREFRAME_SIZE + i] = 0;
|
||||
IS->size += n + PREFRAME_SIZE;
|
||||
inter_frame F = Inter::Frame::around(IS, at);
|
||||
|
|
|
|||
|
|
@ -39,7 +39,6 @@ typedef struct inter_construct {
|
|||
int min_level;
|
||||
int max_level;
|
||||
int usage_permissions;
|
||||
int children_field;
|
||||
struct text_stream *singular_name;
|
||||
struct text_stream *plural_name;
|
||||
METHOD_CALLS
|
||||
|
|
@ -58,7 +57,6 @@ inter_construct *Inter::Defn::create_construct(inter_t ID, wchar_t *syntax,
|
|||
if (ID >= MAX_INTER_CONSTRUCTS) internal_error("too many constructs");
|
||||
IC->min_level = 0;
|
||||
IC->max_level = 0;
|
||||
IC->children_field = -1;
|
||||
IC_lookup[ID] = IC;
|
||||
IC->usage_permissions = INSIDE_PLAIN_PACKAGE;
|
||||
IC->singular_name = Str::duplicate(sing);
|
||||
|
|
@ -74,11 +72,13 @@ inter_symbol *code_packagetype = NULL;
|
|||
@e CONSTRUCT_READ_MTID
|
||||
@e CONSTRUCT_VERIFY_MTID
|
||||
@e CONSTRUCT_WRITE_MTID
|
||||
@e VERIFY_INTER_CHILDREN_MTID
|
||||
|
||||
=
|
||||
VMETHOD_TYPE(CONSTRUCT_READ_MTID, inter_construct *IC, inter_reading_state *, inter_line_parse *, inter_error_location *, inter_error_message **E)
|
||||
VMETHOD_TYPE(CONSTRUCT_VERIFY_MTID, inter_construct *IC, inter_frame P, inter_error_message **E)
|
||||
VMETHOD_TYPE(CONSTRUCT_WRITE_MTID, inter_construct *IC, text_stream *OUT, inter_frame P, inter_error_message **E)
|
||||
VMETHOD_TYPE(VERIFY_INTER_CHILDREN_MTID, inter_construct *IC, inter_frame P, inter_error_message **E)
|
||||
|
||||
@
|
||||
|
||||
|
|
@ -279,6 +279,7 @@ inter_error_message *Inter::Defn::pass2(inter_repository *I, int issue, inter_re
|
|||
@d OUTSIDE_OF_PACKAGES 1
|
||||
@d INSIDE_PLAIN_PACKAGE 2
|
||||
@d INSIDE_CODE_PACKAGE 4
|
||||
@d CAN_HAVE_CHILDREN 8
|
||||
|
||||
=
|
||||
inter_error_message *Inter::Defn::verify_construct(inter_frame P) {
|
||||
|
|
@ -445,9 +446,16 @@ inter_frame_list *Inter::Defn::list_of_children(inter_frame P) {
|
|||
inter_construct *IC = NULL;
|
||||
inter_error_message *E = Inter::Defn::get_construct(P, &IC);
|
||||
if (E) return NULL;
|
||||
if (IC->children_field == -1) return NULL;
|
||||
if ((IC->usage_permissions & CAN_HAVE_CHILDREN) == 0) return NULL;
|
||||
if (Inter::Frame::valid(&P) == FALSE) return NULL;
|
||||
return Inter::find_frame_list(P.repo_segment->owning_repo, P.data[IC->children_field]);
|
||||
|
||||
inter_t L = Inter::Frame::get_list(P);
|
||||
if (L == 0) {
|
||||
L = Inter::create_frame_list(P.repo_segment->owning_repo);
|
||||
Inter::Frame::set_list(P, L);
|
||||
}
|
||||
|
||||
return Inter::find_frame_list(P.repo_segment->owning_repo, L);
|
||||
}
|
||||
|
||||
inter_error_message *Inter::Defn::accept_child(inter_frame P, inter_frame C, int issue) {
|
||||
|
|
@ -460,22 +468,15 @@ inter_error_message *Inter::Defn::accept_child_inner(inter_frame P, inter_frame
|
|||
inter_construct *IC = NULL;
|
||||
inter_error_message *E = Inter::Defn::get_construct(P, &IC);
|
||||
if (E) return E;
|
||||
if (IC->children_field == -1) {
|
||||
if ((IC->usage_permissions & CAN_HAVE_CHILDREN) == 0) {
|
||||
WRITE_TO(STDERR, "P: "); Inter::Defn::write_construct_text(STDERR, P);
|
||||
WRITE_TO(STDERR, "C: "); Inter::Defn::write_construct_text(STDERR, C);
|
||||
return Inter::Frame::error(&C, I"this is placed under a construct which can't have anything underneath", NULL);
|
||||
}
|
||||
Inter::add_to_frame_list(Inter::find_frame_list(P.repo_segment->owning_repo, P.data[IC->children_field]), C, NULL);
|
||||
Inter::add_to_frame_list(Inter::Defn::list_of_children(P), C, NULL);
|
||||
return NULL;
|
||||
}
|
||||
|
||||
@
|
||||
|
||||
@e VERIFY_INTER_CHILDREN_MTID
|
||||
|
||||
=
|
||||
VMETHOD_TYPE(VERIFY_INTER_CHILDREN_MTID, inter_construct *IC, inter_frame P, inter_error_message **E)
|
||||
|
||||
inter_error_message *Inter::Defn::verify_children_inner(inter_frame P) {
|
||||
inter_construct *IC = NULL;
|
||||
inter_error_message *E = Inter::Defn::get_construct(P, &IC);
|
||||
|
|
|
|||
|
|
@ -12,8 +12,7 @@ void Inter::Package::define(void) {
|
|||
PACKAGE_IST,
|
||||
L"package (%i+) (%i+)",
|
||||
I"package", I"packages");
|
||||
IC->usage_permissions = OUTSIDE_OF_PACKAGES + INSIDE_PLAIN_PACKAGE;
|
||||
IC->children_field = CODE_PACKAGE_IFLD;
|
||||
IC->usage_permissions = OUTSIDE_OF_PACKAGES + INSIDE_PLAIN_PACKAGE + CAN_HAVE_CHILDREN;
|
||||
METHOD_ADD(IC, CONSTRUCT_READ_MTID, Inter::Package::read);
|
||||
METHOD_ADD(IC, CONSTRUCT_VERIFY_MTID, Inter::Package::verify);
|
||||
METHOD_ADD(IC, CONSTRUCT_WRITE_MTID, Inter::Package::write);
|
||||
|
|
@ -24,9 +23,8 @@ void Inter::Package::define(void) {
|
|||
|
||||
@d DEFN_PACKAGE_IFLD 2
|
||||
@d PTYPE_PACKAGE_IFLD 3
|
||||
@d CODE_PACKAGE_IFLD 4
|
||||
@d SYMBOLS_PACKAGE_IFLD 5
|
||||
@d PID_PACKAGE_IFLD 6
|
||||
@d SYMBOLS_PACKAGE_IFLD 4
|
||||
@d PID_PACKAGE_IFLD 5
|
||||
|
||||
=
|
||||
void Inter::Package::read(inter_construct *IC, inter_reading_state *IRS, inter_line_parse *ilp, inter_error_location *eloc, inter_error_message **E) {
|
||||
|
|
@ -49,8 +47,8 @@ void Inter::Package::read(inter_construct *IC, inter_reading_state *IRS, inter_l
|
|||
inter_error_message *Inter::Package::new_package(inter_reading_state *IRS, inter_symbol *package_name, inter_symbol *ptype_name, inter_t level, inter_error_location *eloc, inter_package **created) {
|
||||
inter_t STID = Inter::create_symbols_table(IRS->read_into);
|
||||
LOGIF(INTER_SYMBOLS, "Package $3 at IRS $5\n", package_name, IRS);
|
||||
inter_frame P = Inter::Frame::fill_5(IRS,
|
||||
PACKAGE_IST, Inter::SymbolsTables::id_from_IRS_and_symbol(IRS, package_name), Inter::SymbolsTables::id_from_symbol(IRS->read_into, NULL, ptype_name), Inter::create_frame_list(IRS->read_into), STID, 0, eloc, level);
|
||||
inter_frame P = Inter::Frame::fill_4(IRS,
|
||||
PACKAGE_IST, Inter::SymbolsTables::id_from_IRS_and_symbol(IRS, package_name), Inter::SymbolsTables::id_from_symbol(IRS->read_into, NULL, ptype_name), STID, 0, eloc, level);
|
||||
inter_error_message *E = Inter::Defn::verify_construct(P);
|
||||
if (E) return E;
|
||||
Inter::Frame::insert(P, IRS);
|
||||
|
|
@ -131,7 +129,7 @@ inter_frame_list *Inter::Package::code_list(inter_symbol *package_name) {
|
|||
inter_frame D = Inter::Symbols::defining_frame(package_name);
|
||||
if (Inter::Frame::valid(&D) == FALSE) return NULL;
|
||||
if (D.data[ID_IFLD] != PACKAGE_IST) return NULL;
|
||||
return Inter::find_frame_list(D.repo_segment->owning_repo, D.data[CODE_PACKAGE_IFLD]);
|
||||
return Inter::Defn::list_of_children(D);
|
||||
}
|
||||
|
||||
void Inter::Package::verify_children(inter_construct *IC, inter_frame P, inter_error_message **E) {
|
||||
|
|
|
|||
|
|
@ -14,8 +14,7 @@ void Inter::Cast::define(void) {
|
|||
I"cast", I"casts");
|
||||
IC->min_level = 1;
|
||||
IC->max_level = 100000000;
|
||||
IC->usage_permissions = INSIDE_CODE_PACKAGE;
|
||||
IC->children_field = OPERANDS_CAST_IFLD;
|
||||
IC->usage_permissions = INSIDE_CODE_PACKAGE + CAN_HAVE_CHILDREN;
|
||||
METHOD_ADD(IC, CONSTRUCT_READ_MTID, Inter::Cast::read);
|
||||
METHOD_ADD(IC, CONSTRUCT_VERIFY_MTID, Inter::Cast::verify);
|
||||
METHOD_ADD(IC, CONSTRUCT_WRITE_MTID, Inter::Cast::write);
|
||||
|
|
@ -27,9 +26,8 @@ void Inter::Cast::define(void) {
|
|||
@d BLOCK_CAST_IFLD 2
|
||||
@d TO_KIND_CAST_IFLD 3
|
||||
@d FROM_KIND_CAST_IFLD 4
|
||||
@d OPERANDS_CAST_IFLD 5
|
||||
|
||||
@d EXTENT_CAST_IFR 6
|
||||
@d EXTENT_CAST_IFR 5
|
||||
|
||||
=
|
||||
void Inter::Cast::read(inter_construct *IC, inter_reading_state *IRS, inter_line_parse *ilp, inter_error_location *eloc, inter_error_message **E) {
|
||||
|
|
@ -50,7 +48,7 @@ void Inter::Cast::read(inter_construct *IC, inter_reading_state *IRS, inter_line
|
|||
}
|
||||
|
||||
inter_error_message *Inter::Cast::new(inter_reading_state *IRS, inter_symbol *routine, inter_symbol *from_kind, inter_symbol *to_kind, inter_t level, inter_error_location *eloc) {
|
||||
inter_frame P = Inter::Frame::fill_4(IRS, CAST_IST, 0, Inter::SymbolsTables::id_from_IRS_and_symbol(IRS, to_kind), Inter::SymbolsTables::id_from_IRS_and_symbol(IRS, from_kind), Inter::create_frame_list(IRS->read_into), eloc, (inter_t) level);
|
||||
inter_frame P = Inter::Frame::fill_3(IRS, CAST_IST, 0, Inter::SymbolsTables::id_from_IRS_and_symbol(IRS, to_kind), Inter::SymbolsTables::id_from_IRS_and_symbol(IRS, from_kind), eloc, (inter_t) level);
|
||||
inter_error_message *E = Inter::Defn::verify_construct(P); if (E) return E;
|
||||
Inter::Frame::insert(P, IRS);
|
||||
return NULL;
|
||||
|
|
|
|||
|
|
@ -14,8 +14,7 @@ void Inter::Code::define(void) {
|
|||
I"code", I"codes");
|
||||
IC->min_level = 1;
|
||||
IC->max_level = 100000000;
|
||||
IC->usage_permissions = INSIDE_CODE_PACKAGE;
|
||||
IC->children_field = CODE_CODE_IFLD;
|
||||
IC->usage_permissions = INSIDE_CODE_PACKAGE + CAN_HAVE_CHILDREN;
|
||||
METHOD_ADD(IC, CONSTRUCT_READ_MTID, Inter::Code::read);
|
||||
METHOD_ADD(IC, CONSTRUCT_VERIFY_MTID, Inter::Code::verify);
|
||||
METHOD_ADD(IC, CONSTRUCT_WRITE_MTID, Inter::Code::write);
|
||||
|
|
@ -25,9 +24,8 @@ void Inter::Code::define(void) {
|
|||
@
|
||||
|
||||
@d BLOCK_CODE_IFLD 2
|
||||
@d CODE_CODE_IFLD 3
|
||||
|
||||
@d EXTENT_CODE_IFR 4
|
||||
@d EXTENT_CODE_IFR 3
|
||||
|
||||
=
|
||||
void Inter::Code::read(inter_construct *IC, inter_reading_state *IRS, inter_line_parse *ilp, inter_error_location *eloc, inter_error_message **E) {
|
||||
|
|
@ -43,7 +41,7 @@ void Inter::Code::read(inter_construct *IC, inter_reading_state *IRS, inter_line
|
|||
}
|
||||
|
||||
inter_error_message *Inter::Code::new(inter_reading_state *IRS, inter_symbol *routine, int level, inter_error_location *eloc) {
|
||||
inter_frame P = Inter::Frame::fill_2(IRS, CODE_IST, 0, Inter::create_frame_list(IRS->read_into), eloc, (inter_t) level);
|
||||
inter_frame P = Inter::Frame::fill_1(IRS, CODE_IST, 0, eloc, (inter_t) level);
|
||||
inter_error_message *E = Inter::Defn::verify_construct(P); if (E) return E;
|
||||
Inter::Frame::insert(P, IRS);
|
||||
return NULL;
|
||||
|
|
|
|||
|
|
@ -14,8 +14,7 @@ void Inter::Evaluation::define(void) {
|
|||
I"evaluation", I"evaluations");
|
||||
IC->min_level = 1;
|
||||
IC->max_level = 100000000;
|
||||
IC->usage_permissions = INSIDE_CODE_PACKAGE;
|
||||
IC->children_field = CODE_EVAL_IFLD;
|
||||
IC->usage_permissions = INSIDE_CODE_PACKAGE + CAN_HAVE_CHILDREN;
|
||||
METHOD_ADD(IC, CONSTRUCT_READ_MTID, Inter::Evaluation::read);
|
||||
METHOD_ADD(IC, CONSTRUCT_VERIFY_MTID, Inter::Evaluation::verify);
|
||||
METHOD_ADD(IC, CONSTRUCT_WRITE_MTID, Inter::Evaluation::write);
|
||||
|
|
@ -25,9 +24,8 @@ void Inter::Evaluation::define(void) {
|
|||
@
|
||||
|
||||
@d BLOCK_EVAL_IFLD 2
|
||||
@d CODE_EVAL_IFLD 3
|
||||
|
||||
@d EXTENT_EVAL_IFR 4
|
||||
@d EXTENT_EVAL_IFR 3
|
||||
|
||||
=
|
||||
void Inter::Evaluation::read(inter_construct *IC, inter_reading_state *IRS, inter_line_parse *ilp, inter_error_location *eloc, inter_error_message **E) {
|
||||
|
|
@ -43,8 +41,7 @@ void Inter::Evaluation::read(inter_construct *IC, inter_reading_state *IRS, inte
|
|||
}
|
||||
|
||||
inter_error_message *Inter::Evaluation::new(inter_reading_state *IRS, inter_symbol *routine, int level, inter_error_location *eloc) {
|
||||
inter_frame P = Inter::Frame::fill_2(IRS, EVALUATION_IST, 0,
|
||||
Inter::create_frame_list(IRS->read_into), eloc, (inter_t) level);
|
||||
inter_frame P = Inter::Frame::fill_1(IRS, EVALUATION_IST, 0, eloc, (inter_t) level);
|
||||
inter_error_message *E = Inter::Defn::verify_construct(P); if (E) return E;
|
||||
Inter::Frame::insert(P, IRS);
|
||||
return NULL;
|
||||
|
|
@ -74,5 +71,5 @@ inter_frame_list *Inter::Evaluation::concatenate_list(inter_symbol *label_name)
|
|||
inter_frame D = Inter::Symbols::defining_frame(label_name);
|
||||
if (Inter::Frame::valid(&D) == FALSE) return NULL;
|
||||
if (D.data[ID_IFLD] != EVALUATION_IST) return NULL;
|
||||
return Inter::find_frame_list(D.repo_segment->owning_repo, D.data[CODE_EVAL_IFLD]);
|
||||
return Inter::Defn::list_of_children(D);
|
||||
}
|
||||
|
|
|
|||
|
|
@ -14,8 +14,7 @@ void Inter::Inv::define(void) {
|
|||
I"inv", I"invs");
|
||||
IC->min_level = 1;
|
||||
IC->max_level = 100000000;
|
||||
IC->usage_permissions = INSIDE_CODE_PACKAGE;
|
||||
IC->children_field = OPERANDS_INV_IFLD;
|
||||
IC->usage_permissions = INSIDE_CODE_PACKAGE + CAN_HAVE_CHILDREN;
|
||||
METHOD_ADD(IC, CONSTRUCT_READ_MTID, Inter::Inv::read);
|
||||
METHOD_ADD(IC, CONSTRUCT_VERIFY_MTID, Inter::Inv::verify);
|
||||
METHOD_ADD(IC, CONSTRUCT_WRITE_MTID, Inter::Inv::write);
|
||||
|
|
@ -27,9 +26,8 @@ void Inter::Inv::define(void) {
|
|||
@d BLOCK_INV_IFLD 2
|
||||
@d METHOD_INV_IFLD 3
|
||||
@d INVOKEE_INV_IFLD 4
|
||||
@d OPERANDS_INV_IFLD 5
|
||||
|
||||
@d EXTENT_INV_IFR 6
|
||||
@d EXTENT_INV_IFR 5
|
||||
|
||||
@d INVOKED_PRIMITIVE 1
|
||||
@d INVOKED_ROUTINE 2
|
||||
|
|
@ -68,8 +66,8 @@ void Inter::Inv::read(inter_construct *IC, inter_reading_state *IRS, inter_line_
|
|||
}
|
||||
|
||||
inter_error_message *Inter::Inv::new_primitive(inter_reading_state *IRS, inter_symbol *routine, inter_symbol *invoked_name, inter_t level, inter_error_location *eloc) {
|
||||
inter_frame P = Inter::Frame::fill_4(IRS, INV_IST, 0, INVOKED_PRIMITIVE, Inter::SymbolsTables::id_from_symbol(IRS->read_into, NULL, invoked_name),
|
||||
Inter::create_frame_list(IRS->read_into), eloc, (inter_t) level);
|
||||
inter_frame P = Inter::Frame::fill_3(IRS, INV_IST, 0, INVOKED_PRIMITIVE, Inter::SymbolsTables::id_from_symbol(IRS->read_into, NULL, invoked_name),
|
||||
eloc, (inter_t) level);
|
||||
inter_error_message *E = Inter::Defn::verify_construct(P);
|
||||
if (E) return E;
|
||||
Inter::Frame::insert(P, IRS);
|
||||
|
|
@ -77,7 +75,7 @@ inter_error_message *Inter::Inv::new_primitive(inter_reading_state *IRS, inter_s
|
|||
}
|
||||
|
||||
inter_error_message *Inter::Inv::new_call(inter_reading_state *IRS, inter_symbol *routine, inter_symbol *invoked_name, inter_t level, inter_error_location *eloc) {
|
||||
inter_frame P = Inter::Frame::fill_4(IRS, INV_IST, 0, INVOKED_ROUTINE, Inter::SymbolsTables::id_from_IRS_and_symbol(IRS, invoked_name), Inter::create_frame_list(IRS->read_into), eloc, (inter_t) level);
|
||||
inter_frame P = Inter::Frame::fill_3(IRS, INV_IST, 0, INVOKED_ROUTINE, Inter::SymbolsTables::id_from_IRS_and_symbol(IRS, invoked_name), eloc, (inter_t) level);
|
||||
inter_error_message *E = Inter::Defn::verify_construct(P);
|
||||
if (E) return E;
|
||||
Inter::Frame::insert(P, IRS);
|
||||
|
|
@ -85,7 +83,7 @@ inter_error_message *Inter::Inv::new_call(inter_reading_state *IRS, inter_symbol
|
|||
}
|
||||
|
||||
inter_error_message *Inter::Inv::new_assembly(inter_reading_state *IRS, inter_symbol *routine, inter_t opcode_storage, inter_t level, inter_error_location *eloc) {
|
||||
inter_frame P = Inter::Frame::fill_4(IRS, INV_IST, 0, INVOKED_OPCODE, opcode_storage, Inter::create_frame_list(IRS->read_into), eloc, (inter_t) level);
|
||||
inter_frame P = Inter::Frame::fill_3(IRS, INV_IST, 0, INVOKED_OPCODE, opcode_storage, eloc, (inter_t) level);
|
||||
inter_error_message *E = Inter::Defn::verify_construct(P);
|
||||
if (E) return E;
|
||||
Inter::Frame::insert(P, IRS);
|
||||
|
|
@ -132,10 +130,10 @@ void Inter::Inv::verify_children(inter_construct *IC, inter_frame P, inter_error
|
|||
// *E = Inter::Verify::symbol(P, P.data[INVOKEE_INV_IFLD], CONSTANT_IST);
|
||||
// if (*E) return;
|
||||
// }
|
||||
inter_repository *I = P.repo_segment->owning_repo;
|
||||
inter_frame_list *ifl = Inter::find_frame_list(I, P.data[OPERANDS_INV_IFLD]);
|
||||
inter_frame_list *ifl = Inter::Defn::list_of_children(P);
|
||||
int arity_as_invoked = Inter::size_of_frame_list(ifl);
|
||||
#ifdef CORE_MODULE
|
||||
inter_repository *I = P.repo_segment->owning_repo;
|
||||
if ((Inter::Inv::arity(P) != -1) &&
|
||||
(Inter::Inv::arity(P) != arity_as_invoked)) {
|
||||
inter_symbol *invokee = Inter::Inv::invokee(P);
|
||||
|
|
|
|||
|
|
@ -14,8 +14,7 @@ void Inter::Label::define(void) {
|
|||
I"label", I"labels");
|
||||
IC->min_level = 0;
|
||||
IC->max_level = 100000000;
|
||||
IC->usage_permissions = INSIDE_CODE_PACKAGE;
|
||||
IC->children_field = CODE_LABEL_IFLD;
|
||||
IC->usage_permissions = INSIDE_CODE_PACKAGE + CAN_HAVE_CHILDREN;
|
||||
METHOD_ADD(IC, VERIFY_INTER_CHILDREN_MTID, Inter::Label::verify_children);
|
||||
METHOD_ADD(IC, CONSTRUCT_READ_MTID, Inter::Label::read);
|
||||
METHOD_ADD(IC, CONSTRUCT_VERIFY_MTID, Inter::Label::verify);
|
||||
|
|
@ -26,9 +25,8 @@ void Inter::Label::define(void) {
|
|||
|
||||
@d BLOCK_LABEL_IFLD 2
|
||||
@d DEFN_LABEL_IFLD 3
|
||||
@d CODE_LABEL_IFLD 4
|
||||
|
||||
@d EXTENT_LABEL_IFR 5
|
||||
@d EXTENT_LABEL_IFR 4
|
||||
|
||||
=
|
||||
void Inter::Label::read(inter_construct *IC, inter_reading_state *IRS, inter_line_parse *ilp, inter_error_location *eloc, inter_error_message **E) {
|
||||
|
|
@ -47,7 +45,7 @@ void Inter::Label::read(inter_construct *IC, inter_reading_state *IRS, inter_lin
|
|||
}
|
||||
|
||||
inter_error_message *Inter::Label::new(inter_reading_state *IRS, inter_symbol *routine, inter_symbol *lab_name, inter_t level, inter_error_location *eloc) {
|
||||
inter_frame P = Inter::Frame::fill_3(IRS, LABEL_IST, 0, Inter::SymbolsTables::id_from_IRS_and_symbol(IRS, lab_name), Inter::create_frame_list(IRS->read_into), eloc, level);
|
||||
inter_frame P = Inter::Frame::fill_2(IRS, LABEL_IST, 0, Inter::SymbolsTables::id_from_IRS_and_symbol(IRS, lab_name), eloc, level);
|
||||
inter_error_message *E = Inter::Defn::verify_construct(P); if (E) return E;
|
||||
Inter::Frame::insert(P, IRS);
|
||||
return NULL;
|
||||
|
|
|
|||
|
|
@ -14,8 +14,7 @@ void Inter::Reference::define(void) {
|
|||
I"reference", I"references");
|
||||
IC->min_level = 1;
|
||||
IC->max_level = 100000000;
|
||||
IC->usage_permissions = INSIDE_CODE_PACKAGE;
|
||||
IC->children_field = CODE_RCE_IFLD;
|
||||
IC->usage_permissions = INSIDE_CODE_PACKAGE + CAN_HAVE_CHILDREN;
|
||||
METHOD_ADD(IC, CONSTRUCT_READ_MTID, Inter::Reference::read);
|
||||
METHOD_ADD(IC, CONSTRUCT_VERIFY_MTID, Inter::Reference::verify);
|
||||
METHOD_ADD(IC, CONSTRUCT_WRITE_MTID, Inter::Reference::write);
|
||||
|
|
@ -25,9 +24,8 @@ void Inter::Reference::define(void) {
|
|||
@
|
||||
|
||||
@d BLOCK_RCE_IFLD 2
|
||||
@d CODE_RCE_IFLD 3
|
||||
|
||||
@d EXTENT_RCE_IFR 4
|
||||
@d EXTENT_RCE_IFR 3
|
||||
|
||||
=
|
||||
void Inter::Reference::read(inter_construct *IC, inter_reading_state *IRS, inter_line_parse *ilp, inter_error_location *eloc, inter_error_message **E) {
|
||||
|
|
@ -43,8 +41,7 @@ void Inter::Reference::read(inter_construct *IC, inter_reading_state *IRS, inter
|
|||
}
|
||||
|
||||
inter_error_message *Inter::Reference::new(inter_reading_state *IRS, inter_symbol *routine, int level, inter_error_location *eloc) {
|
||||
inter_frame P = Inter::Frame::fill_2(IRS, REFERENCE_IST, 0,
|
||||
Inter::create_frame_list(IRS->read_into), eloc, (inter_t) level);
|
||||
inter_frame P = Inter::Frame::fill_1(IRS, REFERENCE_IST, 0, eloc, (inter_t) level);
|
||||
inter_error_message *E = Inter::Defn::verify_construct(P); if (E) return E;
|
||||
Inter::Frame::insert(P, IRS);
|
||||
return NULL;
|
||||
|
|
@ -74,5 +71,5 @@ inter_frame_list *Inter::Reference::reference_list(inter_symbol *label_name) {
|
|||
inter_frame D = Inter::Symbols::defining_frame(label_name);
|
||||
if (Inter::Frame::valid(&D) == FALSE) return NULL;
|
||||
if (D.data[ID_IFLD] != REFERENCE_IST) return NULL;
|
||||
return Inter::find_frame_list(D.repo_segment->owning_repo, D.data[CODE_RCE_IFLD]);
|
||||
return Inter::Defn::list_of_children(D);
|
||||
}
|
||||
|
|
|
|||
Loading…
Reference in a new issue