mirror of
https://github.com/ganelson/inform.git
synced 2024-07-08 18:14:21 +03:00
416 lines
64 KiB
HTML
416 lines
64 KiB
HTML
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
|
|
<html>
|
|
<head>
|
|
<title>2/cnn</title>
|
|
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
|
|
<meta http-equiv="Content-Language" content="en-gb">
|
|
<link href="inweb.css" rel="stylesheet" rev="stylesheet" type="text/css">
|
|
</head>
|
|
<body>
|
|
|
|
<!--Weave of '2/trn' generated by 7-->
|
|
<ul class="crumbs"><li><a href="../webs.html">★</a></li><li><a href="index.html">inter</a></li><li><a href="index.html#2">Chapter 2: Interoperability</a></li><li><b>Transmigration</b></li></ul><p class="purpose">To move packages between repositories.</p>
|
|
|
|
<p class="inwebparagraph"><a id="SP1"></a><b>§1. </b></p>
|
|
|
|
|
|
<pre class="display">
|
|
<span class="reserved">int</span><span class="plain"> </span><span class="identifier">ipct_cache_count</span><span class="plain"> = 0;</span>
|
|
<span class="reserved">void</span><span class="plain"> </span><span class="functiontext">Inter::Transmigration::cache</span><span class="plain">(</span><span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">S</span><span class="plain">, </span><span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">V</span><span class="plain">) {</span>
|
|
<span class="identifier">S</span><span class="plain">-</span><span class="element">>linked_to</span><span class="plain"> = </span><span class="identifier">V</span><span class="plain">;</span>
|
|
<span class="identifier">S</span><span class="plain">-</span><span class="element">>link_time</span><span class="plain"> = </span><span class="identifier">ipct_cache_count</span><span class="plain">;</span>
|
|
<span class="plain">}</span>
|
|
|
|
<span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="functiontext">Inter::Transmigration::cached_equivalent</span><span class="plain">(</span><span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">S</span><span class="plain">) {</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">S</span><span class="plain">-</span><span class="element">>link_time</span><span class="plain"> == </span><span class="identifier">ipct_cache_count</span><span class="plain">) </span><span class="reserved">return</span><span class="plain"> </span><span class="identifier">S</span><span class="plain">-</span><span class="element">>linked_to</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">void</span><span class="plain"> </span><span class="functiontext">Inter::Transmigration::move</span><span class="plain">(</span><span class="reserved">inter_package</span><span class="plain"> *</span><span class="identifier">migrant</span><span class="plain">, </span><span class="reserved">inter_package</span><span class="plain"> *</span><span class="identifier">destination</span><span class="plain">, </span><span class="reserved">int</span><span class="plain"> </span><span class="identifier">tidy_origin</span><span class="plain">) {</span>
|
|
<span class="reserved">inter_tree</span><span class="plain"> *</span><span class="identifier">origin_tree</span><span class="plain"> = </span><span class="functiontext">Inter::Packages::tree</span><span class="plain">(</span><span class="identifier">migrant</span><span class="plain">);</span>
|
|
<span class="reserved">inter_tree</span><span class="plain"> *</span><span class="identifier">destination_tree</span><span class="plain"> = </span><span class="functiontext">Inter::Packages::tree</span><span class="plain">(</span><span class="identifier">destination</span><span class="plain">);</span>
|
|
<span class="reserved">inter_package</span><span class="plain"> *</span><span class="identifier">origin</span><span class="plain"> = </span><span class="functiontext">Inter::Packages::parent</span><span class="plain">(</span><span class="identifier">migrant</span><span class="plain">);</span>
|
|
<span class="reserved">inter_bookmark</span><span class="plain"> </span><span class="identifier">deletion_point</span><span class="plain">, </span><span class="identifier">insertion_point</span><span class="plain">, </span><span class="identifier">primitives_point</span><span class="plain">;</span>
|
|
<<span class="cwebmacro">Create these bookmarks</span> <span class="cwebmacronumber">1.1</span>><span class="plain">;</span>
|
|
<<span class="cwebmacro">Mark the insertion and deletion points with comments</span> <span class="cwebmacronumber">1.2</span>><span class="plain">;</span>
|
|
<<span class="cwebmacro">Physically move the subtree to its new home</span> <span class="cwebmacronumber">1.3</span>><span class="plain">;</span>
|
|
<<span class="cwebmacro">Correct any references from the migrant to the origin</span> <span class="cwebmacronumber">1.4</span>><span class="plain">;</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">tidy_origin</span><span class="plain">) </span><<span class="cwebmacro">Correct any references from the origin to the migrant</span> <span class="cwebmacronumber">1.5</span>><span class="plain">;</span>
|
|
<span class="reserved">inter_package</span><span class="plain"> *</span><span class="identifier">connectors</span><span class="plain"> = </span><span class="identifier">Site::connectors_package</span><span class="plain">(</span><span class="identifier">origin_tree</span><span class="plain">);</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">connectors</span><span class="plain">) {</span>
|
|
<span class="reserved">inter_symbols_table</span><span class="plain"> *</span><span class="identifier">T</span><span class="plain"> = </span><span class="functiontext">Inter::Packages::scope</span><span class="plain">(</span><span class="identifier">connectors</span><span class="plain">);</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">T</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">"package with no symbols"</span><span class="plain">);</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">T</span><span class="plain">-</span><span class="element">>size</span><span class="plain">; </span><span class="identifier">i</span><span class="plain">++) {</span>
|
|
<span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">symb</span><span class="plain"> = </span><span class="identifier">T</span><span class="plain">-</span><span class="element">>symbol_array</span><span class="plain">[</span><span class="identifier">i</span><span class="plain">];</span>
|
|
<span class="reserved">if</span><span class="plain"> ((</span><span class="identifier">symb</span><span class="plain">) && (</span><span class="functiontext">Inter::Symbols::get_scope</span><span class="plain">(</span><span class="identifier">symb</span><span class="plain">) == </span><span class="constant">SOCKET_ISYMS</span><span class="plain">)) {</span>
|
|
<span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">target</span><span class="plain"> = </span><span class="identifier">symb</span><span class="plain">-</span><span class="element">>equated_to</span><span class="plain">;</span>
|
|
<span class="reserved">while</span><span class="plain"> (</span><span class="identifier">target</span><span class="plain">-</span><span class="element">>equated_to</span><span class="plain">) </span><span class="identifier">target</span><span class="plain"> = </span><span class="identifier">target</span><span class="plain">-</span><span class="element">>equated_to</span><span class="plain">;</span>
|
|
<span class="reserved">inter_package</span><span class="plain"> *</span><span class="identifier">target_package</span><span class="plain"> = </span><span class="identifier">target</span><span class="plain">-</span><span class="element">>owning_table</span><span class="plain">-</span><span class="element">>owning_package</span><span class="plain">;</span>
|
|
<span class="reserved">while</span><span class="plain"> ((</span><span class="identifier">target_package</span><span class="plain">) && (</span><span class="identifier">target_package</span><span class="plain"> != </span><span class="identifier">migrant</span><span class="plain">)) {</span>
|
|
<span class="identifier">target_package</span><span class="plain"> = </span><span class="functiontext">Inter::Packages::parent</span><span class="plain">(</span><span class="identifier">target_package</span><span class="plain">);</span>
|
|
<span class="plain">}</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">target_package</span><span class="plain"> == </span><span class="identifier">migrant</span><span class="plain">) {</span>
|
|
<span class="identifier">LOGIF</span><span class="plain">(</span><span class="identifier">INTER_CONNECTORS</span><span class="plain">, </span><span class="string">"Origin offers socket inside migrant: $3 == $3\</span><span class="plain">n</span><span class="string">"</span><span class="plain">, </span><span class="identifier">symb</span><span class="plain">, </span><span class="identifier">target</span><span class="plain">);</span>
|
|
<span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">equivalent</span><span class="plain"> = </span><span class="functiontext">Inter::Connectors::find_socket</span><span class="plain">(</span><span class="identifier">destination_tree</span><span class="plain">, </span><span class="identifier">symb</span><span class="plain">-</span><span class="element">>symbol_name</span><span class="plain">);</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">equivalent</span><span class="plain">) {</span>
|
|
<span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">e_target</span><span class="plain"> = </span><span class="identifier">equivalent</span><span class="plain">-</span><span class="element">>equated_to</span><span class="plain">;</span>
|
|
<span class="reserved">while</span><span class="plain"> (</span><span class="identifier">e_target</span><span class="plain">-</span><span class="element">>equated_to</span><span class="plain">) </span><span class="identifier">e_target</span><span class="plain"> = </span><span class="identifier">e_target</span><span class="plain">-</span><span class="element">>equated_to</span><span class="plain">;</span>
|
|
<span class="reserved">if</span><span class="plain"> (!</span><span class="functiontext">Inter::Symbols::is_defined</span><span class="plain">(</span><span class="identifier">e_target</span><span class="plain">)) {</span>
|
|
<span class="identifier">LOGIF</span><span class="plain">(</span><span class="identifier">INTER_CONNECTORS</span><span class="plain">, </span><span class="string">"Able to match with $3 == $3\</span><span class="plain">n</span><span class="string">"</span><span class="plain">, </span><span class="identifier">equivalent</span><span class="plain">, </span><span class="identifier">equivalent</span><span class="plain">-</span><span class="element">>equated_to</span><span class="plain">);</span>
|
|
<span class="identifier">equivalent</span><span class="plain">-</span><span class="element">>equated_to</span><span class="plain"> = </span><span class="identifier">target</span><span class="plain">;</span>
|
|
<span class="identifier">e_target</span><span class="plain">-</span><span class="element">>equated_to</span><span class="plain"> = </span><span class="identifier">target</span><span class="plain">;</span>
|
|
<span class="plain">} </span><span class="reserved">else</span><span class="plain"> {</span>
|
|
<span class="identifier">LOGIF</span><span class="plain">(</span><span class="identifier">INTER_CONNECTORS</span><span class="plain">, </span><span class="string">"Clash of sockets\</span><span class="plain">n</span><span class="string">"</span><span class="plain">);</span>
|
|
<span class="plain">}</span>
|
|
<span class="plain">} </span><span class="reserved">else</span><span class="plain"> {</span>
|
|
<span class="functiontext">Inter::Connectors::socket</span><span class="plain">(</span><span class="identifier">destination_tree</span><span class="plain">, </span><span class="identifier">symb</span><span class="plain">-</span><span class="element">>symbol_name</span><span class="plain">, </span><span class="identifier">symb</span><span class="plain">);</span>
|
|
<span class="plain">}</span>
|
|
<span class="plain">}</span>
|
|
<span class="plain">}</span>
|
|
<span class="plain">}</span>
|
|
<span class="plain">}</span>
|
|
<span class="plain">}</span>
|
|
</pre>
|
|
|
|
<p class="inwebparagraph"></p>
|
|
|
|
<p class="endnote">The function Inter::Transmigration::cache is used in <a href="#SP3">§3</a>, <a href="#SP3_1">§3.1</a>, <a href="#SP3_2">§3.2</a>, <a href="#SP4_1">§4.1</a>.</p>
|
|
|
|
<p class="endnote">The function Inter::Transmigration::cached_equivalent is used in <a href="#SP3">§3</a>, <a href="#SP3_1">§3.1</a>, <a href="#SP3_2">§3.2</a>, <a href="#SP4_1">§4.1</a>.</p>
|
|
|
|
<p class="endnote">The function Inter::Transmigration::move appears nowhere else.</p>
|
|
|
|
<p class="inwebparagraph"><a id="SP_1"></a><b>§.1. </b><code class="display">
|
|
<<span class="cwebmacrodefn">Log sockets in origin tree</span> <span class="cwebmacronumber">.1</span>> =
|
|
</code></p>
|
|
|
|
|
|
<pre class="displaydefn">
|
|
<span class="identifier">LOG</span><span class="plain">(</span><span class="string">"\</span><span class="plain">n</span><span class="string">\</span><span class="plain">n</span><span class="string">\</span><span class="plain">n</span><span class="string">List of sockets in origin tree:\</span><span class="plain">n</span><span class="string">"</span><span class="plain">);</span>
|
|
<span class="reserved">inter_package</span><span class="plain"> *</span><span class="identifier">connectors</span><span class="plain"> = </span><span class="identifier">Site::connectors_package</span><span class="plain">(</span><span class="identifier">origin_tree</span><span class="plain">);</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">connectors</span><span class="plain">) {</span>
|
|
<span class="reserved">inter_symbols_table</span><span class="plain"> *</span><span class="identifier">T</span><span class="plain"> = </span><span class="functiontext">Inter::Packages::scope</span><span class="plain">(</span><span class="identifier">connectors</span><span class="plain">);</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">T</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">"package with no symbols"</span><span class="plain">);</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">T</span><span class="plain">-</span><span class="element">>size</span><span class="plain">; </span><span class="identifier">i</span><span class="plain">++) {</span>
|
|
<span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">symb</span><span class="plain"> = </span><span class="identifier">T</span><span class="plain">-</span><span class="element">>symbol_array</span><span class="plain">[</span><span class="identifier">i</span><span class="plain">];</span>
|
|
<span class="reserved">if</span><span class="plain"> ((</span><span class="identifier">symb</span><span class="plain">) && (</span><span class="functiontext">Inter::Symbols::get_scope</span><span class="plain">(</span><span class="identifier">symb</span><span class="plain">) == </span><span class="constant">SOCKET_ISYMS</span><span class="plain">)) {</span>
|
|
<span class="identifier">LOG</span><span class="plain">(</span><span class="string">"$3\</span><span class="plain">n</span><span class="string">"</span><span class="plain">, </span><span class="identifier">symb</span><span class="plain">);</span>
|
|
<span class="plain">}</span>
|
|
<span class="plain">}</span>
|
|
<span class="plain">}</span>
|
|
<span class="identifier">LOG</span><span class="plain">(</span><span class="string">"---\</span><span class="plain">n</span><span class="string">\</span><span class="plain">n</span><span class="string">"</span><span class="plain">);</span>
|
|
</pre>
|
|
|
|
<p class="inwebparagraph"></p>
|
|
|
|
<p class="endnote">This code is never used.</p>
|
|
|
|
<p class="inwebparagraph"><a id="SP1_1"></a><b>§1.1. </b><code class="display">
|
|
<<span class="cwebmacrodefn">Create these bookmarks</span> <span class="cwebmacronumber">1.1</span>> =
|
|
</code></p>
|
|
|
|
|
|
<pre class="displaydefn">
|
|
<span class="identifier">deletion_point</span><span class="plain"> =</span>
|
|
<span class="functiontext">Inter::Bookmarks::after_this_node</span><span class="plain">(</span><span class="identifier">migrant</span><span class="plain">-</span><span class="element">>package_head</span><span class="plain">-</span><span class="element">>tree</span><span class="plain">, </span><span class="identifier">migrant</span><span class="plain">-</span><span class="element">>package_head</span><span class="plain">);</span>
|
|
<span class="identifier">insertion_point</span><span class="plain"> =</span>
|
|
<span class="functiontext">Inter::Bookmarks::at_end_of_this_package</span><span class="plain">(</span><span class="identifier">destination</span><span class="plain">);</span>
|
|
<span class="reserved">inter_tree_node</span><span class="plain"> *</span><span class="identifier">prims</span><span class="plain"> = </span><span class="identifier">NULL</span><span class="plain">;</span>
|
|
<span class="identifier">LOOP_THROUGH_INTER_CHILDREN</span><span class="plain">(</span><span class="identifier">F</span><span class="plain">, </span><span class="identifier">destination</span><span class="plain">-</span><span class="element">>package_head</span><span class="plain">-</span><span class="element">>tree</span><span class="plain">-</span><span class="element">>root_node</span><span class="plain">)</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">F</span><span class="plain">-</span><span class="element">>W.data</span><span class="plain">[</span><span class="constant">ID_IFLD</span><span class="plain">] == </span><span class="constant">PRIMITIVE_IST</span><span class="plain">)</span>
|
|
<span class="identifier">prims</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">prims</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">"dest has no prims"</span><span class="plain">);</span>
|
|
<span class="identifier">primitives_point</span><span class="plain"> = </span><span class="functiontext">Inter::Bookmarks::after_this_node</span><span class="plain">(</span><span class="identifier">destination</span><span class="plain">-</span><span class="element">>package_head</span><span class="plain">-</span><span class="element">>tree</span><span class="plain">, </span><span class="identifier">prims</span><span class="plain">);</span>
|
|
</pre>
|
|
|
|
<p class="inwebparagraph"></p>
|
|
|
|
<p class="endnote">This code is used in <a href="#SP1">§1</a>.</p>
|
|
|
|
<p class="inwebparagraph"><a id="SP1_2"></a><b>§1.2. </b><code class="display">
|
|
<<span class="cwebmacrodefn">Mark the insertion and deletion points with comments</span> <span class="cwebmacronumber">1.2</span>> =
|
|
</code></p>
|
|
|
|
|
|
<pre class="displaydefn">
|
|
<span class="constant">inter_t</span><span class="plain"> </span><span class="identifier">C1</span><span class="plain"> = </span><span class="functiontext">Inter::Warehouse::create_text</span><span class="plain">(</span><span class="functiontext">Inter::Bookmarks::warehouse</span><span class="plain">(&</span><span class="identifier">deletion_point</span><span class="plain">), </span><span class="functiontext">Inter::Bookmarks::package</span><span class="plain">(&</span><span class="identifier">deletion_point</span><span class="plain">));</span>
|
|
<span class="identifier">WRITE_TO</span><span class="plain">(</span><span class="functiontext">Inter::Warehouse::get_text</span><span class="plain">(</span><span class="functiontext">Inter::Bookmarks::warehouse</span><span class="plain">(&</span><span class="identifier">deletion_point</span><span class="plain">), </span><span class="identifier">C1</span><span class="plain">),</span>
|
|
<span class="string">"Exported %S here"</span><span class="plain">, </span><span class="functiontext">Inter::Packages::name</span><span class="plain">(</span><span class="identifier">migrant</span><span class="plain">));</span>
|
|
<span class="functiontext">Inter::Comment::new</span><span class="plain">(&</span><span class="identifier">deletion_point</span><span class="plain">, (</span><span class="constant">inter_t</span><span class="plain">) </span><span class="functiontext">Inter::Packages::baseline</span><span class="plain">(</span><span class="identifier">migrant</span><span class="plain">), </span><span class="identifier">NULL</span><span class="plain">, </span><span class="identifier">C1</span><span class="plain">);</span>
|
|
|
|
<span class="constant">inter_t</span><span class="plain"> </span><span class="identifier">C2</span><span class="plain"> = </span><span class="functiontext">Inter::Warehouse::create_text</span><span class="plain">(</span><span class="functiontext">Inter::Bookmarks::warehouse</span><span class="plain">(&</span><span class="identifier">insertion_point</span><span class="plain">), </span><span class="functiontext">Inter::Bookmarks::package</span><span class="plain">(&</span><span class="identifier">insertion_point</span><span class="plain">));</span>
|
|
<span class="identifier">WRITE_TO</span><span class="plain">(</span><span class="functiontext">Inter::Warehouse::get_text</span><span class="plain">(</span><span class="functiontext">Inter::Bookmarks::warehouse</span><span class="plain">(&</span><span class="identifier">insertion_point</span><span class="plain">), </span><span class="identifier">C2</span><span class="plain">),</span>
|
|
<span class="string">"Imported %S here"</span><span class="plain">, </span><span class="functiontext">Inter::Packages::name</span><span class="plain">(</span><span class="identifier">migrant</span><span class="plain">));</span>
|
|
<span class="functiontext">Inter::Comment::new</span><span class="plain">(&</span><span class="identifier">insertion_point</span><span class="plain">, (</span><span class="constant">inter_t</span><span class="plain">) </span><span class="functiontext">Inter::Packages::baseline</span><span class="plain">(</span><span class="identifier">destination</span><span class="plain">) + 1, </span><span class="identifier">NULL</span><span class="plain">, </span><span class="identifier">C2</span><span class="plain">);</span>
|
|
</pre>
|
|
|
|
<p class="inwebparagraph"></p>
|
|
|
|
<p class="endnote">This code is used in <a href="#SP1">§1</a>.</p>
|
|
|
|
<p class="inwebparagraph"><a id="SP1_3"></a><b>§1.3. </b><code class="display">
|
|
<<span class="cwebmacrodefn">Physically move the subtree to its new home</span> <span class="cwebmacronumber">1.3</span>> =
|
|
</code></p>
|
|
|
|
|
|
<pre class="displaydefn">
|
|
<span class="functiontext">Inter::Packages::remove_subpackage_name</span><span class="plain">(</span><span class="functiontext">Inter::Packages::parent</span><span class="plain">(</span><span class="identifier">migrant</span><span class="plain">), </span><span class="identifier">migrant</span><span class="plain">);</span>
|
|
<span class="functiontext">Inter::Packages::add_subpackage_name</span><span class="plain">(</span><span class="identifier">destination</span><span class="plain">, </span><span class="identifier">migrant</span><span class="plain">);</span>
|
|
<span class="functiontext">Inter::Bookmarks::insert</span><span class="plain">(&</span><span class="identifier">insertion_point</span><span class="plain">, </span><span class="identifier">migrant</span><span class="plain">-</span><span class="element">>package_head</span><span class="plain">);</span>
|
|
</pre>
|
|
|
|
<p class="inwebparagraph"></p>
|
|
|
|
<p class="endnote">This code is used in <a href="#SP1">§1</a>.</p>
|
|
|
|
<p class="inwebparagraph"><a id="SP2"></a><b>§2. </b></p>
|
|
|
|
|
|
<pre class="display">
|
|
<span class="reserved">typedef</span><span class="plain"> </span><span class="reserved">struct</span><span class="plain"> </span><span class="reserved">ipct_state</span><span class="plain"> {</span>
|
|
<span class="reserved">inter_package</span><span class="plain"> *</span><span class="identifier">migrant</span><span class="plain">;</span>
|
|
<span class="reserved">inter_package</span><span class="plain"> *</span><span class="identifier">destination</span><span class="plain">;</span>
|
|
<span class="reserved">inter_bookmark</span><span class="plain"> *</span><span class="identifier">primitives_point</span><span class="plain">;</span>
|
|
<span class="reserved">inter_tree</span><span class="plain"> *</span><span class="identifier">origin_tree</span><span class="plain">;</span>
|
|
<span class="reserved">inter_tree</span><span class="plain"> *</span><span class="identifier">destination_tree</span><span class="plain">;</span>
|
|
<span class="plain">} </span><span class="reserved">ipct_state</span><span class="plain">;</span>
|
|
</pre>
|
|
|
|
<p class="inwebparagraph"></p>
|
|
|
|
<p class="endnote">The structure ipct_state is private to this section.</p>
|
|
|
|
<p class="inwebparagraph"><a id="SP_1"></a><b>§.1. </b><code class="display">
|
|
<<span class="cwebmacrodefn">Initialise the IPCT state</span> <span class="cwebmacronumber">.1</span>> =
|
|
</code></p>
|
|
|
|
|
|
<pre class="displaydefn">
|
|
<span class="identifier">ipct_cache_count</span><span class="plain">++;</span>
|
|
<span class="identifier">ipct</span><span class="element">.migrant</span><span class="plain"> = </span><span class="identifier">migrant</span><span class="plain">;</span>
|
|
<span class="identifier">ipct</span><span class="element">.destination</span><span class="plain"> = </span><span class="identifier">destination</span><span class="plain">;</span>
|
|
<span class="identifier">ipct</span><span class="element">.origin_tree</span><span class="plain"> = </span><span class="identifier">origin_tree</span><span class="plain">;</span>
|
|
<span class="identifier">ipct</span><span class="element">.destination_tree</span><span class="plain"> = </span><span class="identifier">destination_tree</span><span class="plain">;</span>
|
|
<span class="identifier">ipct</span><span class="element">.primitives_point</span><span class="plain"> = &</span><span class="identifier">primitives_point</span><span class="plain">;</span>
|
|
</pre>
|
|
|
|
<p class="inwebparagraph"></p>
|
|
|
|
<p class="endnote">This code is used in <a href="#SP1_4">§1.4</a>, <a href="#SP1_5">§1.5</a>.</p>
|
|
|
|
<p class="inwebparagraph"><a id="SP1_4"></a><b>§1.4. </b><code class="display">
|
|
<<span class="cwebmacrodefn">Correct any references from the migrant to the origin</span> <span class="cwebmacronumber">1.4</span>> =
|
|
</code></p>
|
|
|
|
|
|
<pre class="displaydefn">
|
|
<span class="reserved">ipct_state</span><span class="plain"> </span><span class="identifier">ipct</span><span class="plain">;</span>
|
|
<<span class="cwebmacro">Initialise the IPCT state</span> <span class="cwebmacronumber">.1</span>><span class="plain">;</span>
|
|
<span class="functiontext">Inter::Tree::traverse</span><span class="plain">(</span><span class="identifier">destination</span><span class="plain">-</span><span class="element">>package_head</span><span class="plain">-</span><span class="element">>tree</span><span class="plain">,</span>
|
|
<span class="functiontext">Inter::Transmigration::correct_migrant</span><span class="plain">, &</span><span class="identifier">ipct</span><span class="plain">, </span><span class="identifier">migrant</span><span class="plain">, 0);</span>
|
|
</pre>
|
|
|
|
<p class="inwebparagraph"></p>
|
|
|
|
<p class="endnote">This code is used in <a href="#SP1">§1</a>.</p>
|
|
|
|
<p class="inwebparagraph"><a id="SP3"></a><b>§3. </b></p>
|
|
|
|
|
|
<pre class="display">
|
|
<span class="reserved">void</span><span class="plain"> </span><span class="functiontext">Inter::Transmigration::correct_migrant</span><span class="plain">(</span><span class="reserved">inter_tree</span><span class="plain"> *</span><span class="identifier">I</span><span class="plain">, </span><span class="reserved">inter_tree_node</span><span class="plain"> *</span><span class="identifier">P</span><span class="plain">, </span><span class="reserved">void</span><span class="plain"> *</span><span class="identifier">state</span><span class="plain">) {</span>
|
|
<span class="reserved">ipct_state</span><span class="plain"> *</span><span class="identifier">ipct</span><span class="plain"> = (</span><span class="reserved">ipct_state</span><span class="plain"> *) </span><span class="identifier">state</span><span class="plain">;</span>
|
|
<span class="identifier">P</span><span class="plain">-</span><span class="element">>tree</span><span class="plain"> = </span><span class="identifier">I</span><span class="plain">;</span>
|
|
<span class="reserved">if</span><span class="plain"> ((</span><span class="identifier">P</span><span class="plain">-</span><span class="element">>W.data</span><span class="plain">[</span><span class="constant">ID_IFLD</span><span class="plain">] == </span><span class="constant">INV_IST</span><span class="plain">) && (</span><span class="identifier">P</span><span class="plain">-</span><span class="element">>W.data</span><span class="plain">[</span><span class="constant">METHOD_INV_IFLD</span><span class="plain">] == </span><span class="constant">INVOKED_PRIMITIVE</span><span class="plain">)) {</span>
|
|
<span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">primitive</span><span class="plain"> =</span>
|
|
<span class="functiontext">Inter::SymbolsTables::symbol_from_id</span><span class="plain">(</span><span class="functiontext">Inter::Tree::global_scope</span><span class="plain">(</span><span class="identifier">ipct</span><span class="plain">-</span><span class="element">>origin_tree</span><span class="plain">), </span><span class="identifier">P</span><span class="plain">-</span><span class="element">>W.data</span><span class="plain">[</span><span class="constant">INVOKEE_INV_IFLD</span><span class="plain">]);</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">primitive</span><span class="plain">) </span><<span class="cwebmacro">Correct the reference to this primitive</span> <span class="cwebmacronumber">3.1</span>><span class="plain">;</span>
|
|
<span class="plain">}</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">P</span><span class="plain">-</span><span class="element">>W.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">inter_package</span><span class="plain"> *</span><span class="identifier">pack</span><span class="plain"> = </span><span class="functiontext">Inter::Package::defined_by_frame</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">pack</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">"no package defined here"</span><span class="plain">);</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="functiontext">Inter::Packages::is_linklike</span><span class="plain">(</span><span class="identifier">pack</span><span class="plain">)) </span><span class="reserved">return</span><span class="plain">;</span>
|
|
<span class="reserved">inter_symbols_table</span><span class="plain"> *</span><span class="identifier">T</span><span class="plain"> = </span><span class="functiontext">Inter::Packages::scope</span><span class="plain">(</span><span class="identifier">pack</span><span class="plain">);</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">T</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">"package with no symbols"</span><span class="plain">);</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">T</span><span class="plain">-</span><span class="element">>size</span><span class="plain">; </span><span class="identifier">i</span><span class="plain">++) {</span>
|
|
<span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">symb</span><span class="plain"> = </span><span class="identifier">T</span><span class="plain">-</span><span class="element">>symbol_array</span><span class="plain">[</span><span class="identifier">i</span><span class="plain">];</span>
|
|
<span class="reserved">if</span><span class="plain"> ((</span><span class="identifier">symb</span><span class="plain">) && (</span><span class="identifier">symb</span><span class="plain">-</span><span class="element">>equated_to</span><span class="plain">)) {</span>
|
|
<span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">target</span><span class="plain"> = </span><span class="identifier">symb</span><span class="plain">-</span><span class="element">>equated_to</span><span class="plain">;</span>
|
|
<span class="reserved">while</span><span class="plain"> (</span><span class="identifier">target</span><span class="plain">-</span><span class="element">>equated_to</span><span class="plain">) </span><span class="identifier">target</span><span class="plain"> = </span><span class="identifier">target</span><span class="plain">-</span><span class="element">>equated_to</span><span class="plain">;</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="functiontext">Inter::Symbols::read_annotation</span><span class="plain">(</span><span class="identifier">target</span><span class="plain">, </span><span class="constant">VENEER_IANN</span><span class="plain">) > 0) {</span>
|
|
<span class="identifier">symb</span><span class="plain">-</span><span class="element">>equated_to</span><span class="plain"> = </span><span class="identifier">Veneer::find</span><span class="plain">(</span><span class="identifier">ipct</span><span class="plain">-</span><span class="element">>destination</span><span class="plain">-</span><span class="element">>package_head</span><span class="plain">-</span><span class="element">>tree</span><span class="plain">, </span><span class="identifier">target</span><span class="plain">-</span><span class="element">>symbol_name</span><span class="plain">, </span><span class="identifier">Produce::kind_to_symbol</span><span class="plain">(</span><span class="identifier">NULL</span><span class="plain">));</span>
|
|
<span class="plain">} </span><span class="reserved">else</span><span class="plain"> </span><span class="reserved">if</span><span class="plain"> (</span><span class="functiontext">Inter::Symbols::get_scope</span><span class="plain">(</span><span class="identifier">target</span><span class="plain">) == </span><span class="constant">PLUG_ISYMS</span><span class="plain">) {</span>
|
|
<span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">equivalent</span><span class="plain"> = </span><span class="functiontext">Inter::Transmigration::cached_equivalent</span><span class="plain">(</span><span class="identifier">target</span><span class="plain">);</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">equivalent</span><span class="plain"> == </span><span class="identifier">NULL</span><span class="plain">) {</span>
|
|
<span class="identifier">equivalent</span><span class="plain"> = </span><span class="functiontext">Inter::Connectors::find_plug</span><span class="plain">(</span><span class="identifier">ipct</span><span class="plain">-</span><span class="element">>destination</span><span class="plain">-</span><span class="element">>package_head</span><span class="plain">-</span><span class="element">>tree</span><span class="plain">, </span><span class="identifier">target</span><span class="plain">-</span><span class="element">>equated_name</span><span class="plain">);</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">equivalent</span><span class="plain"> == </span><span class="identifier">NULL</span><span class="plain">)</span>
|
|
<span class="identifier">equivalent</span><span class="plain"> = </span><span class="functiontext">Inter::Connectors::plug</span><span class="plain">(</span><span class="identifier">ipct</span><span class="plain">-</span><span class="element">>destination</span><span class="plain">-</span><span class="element">>package_head</span><span class="plain">-</span><span class="element">>tree</span><span class="plain">, </span><span class="identifier">target</span><span class="plain">-</span><span class="element">>equated_name</span><span class="plain">);</span>
|
|
<span class="functiontext">Inter::Transmigration::cache</span><span class="plain">(</span><span class="identifier">target</span><span class="plain">, </span><span class="identifier">equivalent</span><span class="plain">);</span>
|
|
<span class="plain">}</span>
|
|
<span class="identifier">symb</span><span class="plain">-</span><span class="element">>equated_to</span><span class="plain"> = </span><span class="identifier">equivalent</span><span class="plain">;</span>
|
|
<span class="plain">} </span><span class="reserved">else</span><span class="plain"> {</span>
|
|
<span class="reserved">inter_package</span><span class="plain"> *</span><span class="identifier">target_package</span><span class="plain"> = </span><span class="identifier">target</span><span class="plain">-</span><span class="element">>owning_table</span><span class="plain">-</span><span class="element">>owning_package</span><span class="plain">;</span>
|
|
<span class="reserved">while</span><span class="plain"> ((</span><span class="identifier">target_package</span><span class="plain">) && (</span><span class="identifier">target_package</span><span class="plain"> != </span><span class="identifier">ipct</span><span class="plain">-</span><span class="element">>migrant</span><span class="plain">)) {</span>
|
|
<span class="identifier">target_package</span><span class="plain"> = </span><span class="functiontext">Inter::Packages::parent</span><span class="plain">(</span><span class="identifier">target_package</span><span class="plain">);</span>
|
|
<span class="plain">}</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">target_package</span><span class="plain"> != </span><span class="identifier">ipct</span><span class="plain">-</span><span class="element">>migrant</span><span class="plain">)</span>
|
|
<<span class="cwebmacro">Correct the reference to this symbol</span> <span class="cwebmacronumber">3.2</span>><span class="plain">;</span>
|
|
<span class="plain">}</span>
|
|
<span class="plain">}</span>
|
|
<span class="plain">}</span>
|
|
<span class="plain">}</span>
|
|
<span class="plain">}</span>
|
|
</pre>
|
|
|
|
<p class="inwebparagraph"></p>
|
|
|
|
<p class="endnote">The function Inter::Transmigration::correct_migrant is used in <a href="#SP1_4">§1.4</a>.</p>
|
|
|
|
<p class="inwebparagraph"><a id="SP3_1"></a><b>§3.1. </b><code class="display">
|
|
<<span class="cwebmacrodefn">Correct the reference to this primitive</span> <span class="cwebmacronumber">3.1</span>> =
|
|
</code></p>
|
|
|
|
|
|
<pre class="displaydefn">
|
|
<span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">equivalent_primitive</span><span class="plain"> = </span><span class="functiontext">Inter::Transmigration::cached_equivalent</span><span class="plain">(</span><span class="identifier">primitive</span><span class="plain">);</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">equivalent_primitive</span><span class="plain"> == </span><span class="identifier">NULL</span><span class="plain">) {</span>
|
|
<span class="identifier">equivalent_primitive</span><span class="plain"> = </span><span class="functiontext">Inter::SymbolsTables::symbol_from_name</span><span class="plain">(</span><span class="functiontext">Inter::Tree::global_scope</span><span class="plain">(</span><span class="identifier">ipct</span><span class="plain">-</span><span class="element">>destination_tree</span><span class="plain">), </span><span class="identifier">primitive</span><span class="plain">-</span><span class="element">>symbol_name</span><span class="plain">);</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">equivalent_primitive</span><span class="plain"> == </span><span class="identifier">NULL</span><span class="plain">) </span><<span class="cwebmacro">Duplicate this primitive</span> <span class="cwebmacronumber">3.1.1</span>><span class="plain">;</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">equivalent_primitive</span><span class="plain">) </span><span class="functiontext">Inter::Transmigration::cache</span><span class="plain">(</span><span class="identifier">primitive</span><span class="plain">, </span><span class="identifier">equivalent_primitive</span><span class="plain">);</span>
|
|
<span class="plain">}</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">equivalent_primitive</span><span class="plain">)</span>
|
|
<span class="identifier">P</span><span class="plain">-</span><span class="element">>W.data</span><span class="plain">[</span><span class="constant">INVOKEE_INV_IFLD</span><span class="plain">] = </span><span class="functiontext">Inter::SymbolsTables::id_from_symbol_inner</span><span class="plain">(</span><span class="functiontext">Inter::Tree::global_scope</span><span class="plain">(</span><span class="identifier">ipct</span><span class="plain">-</span><span class="element">>destination_tree</span><span class="plain">), </span><span class="identifier">NULL</span><span class="plain">, </span><span class="identifier">equivalent_primitive</span><span class="plain">);</span>
|
|
</pre>
|
|
|
|
<p class="inwebparagraph"></p>
|
|
|
|
<p class="endnote">This code is used in <a href="#SP3">§3</a>.</p>
|
|
|
|
<p class="inwebparagraph"><a id="SP3_1_1"></a><b>§3.1.1. </b><code class="display">
|
|
<<span class="cwebmacrodefn">Duplicate this primitive</span> <span class="cwebmacronumber">3.1.1</span>> =
|
|
</code></p>
|
|
|
|
|
|
<pre class="displaydefn">
|
|
<span class="identifier">equivalent_primitive</span><span class="plain"> = </span><span class="functiontext">Inter::SymbolsTables::symbol_from_name_creating</span><span class="plain">(</span><span class="functiontext">Inter::Tree::global_scope</span><span class="plain">(</span><span class="identifier">ipct</span><span class="plain">-</span><span class="element">>destination_tree</span><span class="plain">), </span><span class="identifier">primitive</span><span class="plain">-</span><span class="element">>symbol_name</span><span class="plain">);</span>
|
|
<span class="reserved">inter_tree_node</span><span class="plain"> *</span><span class="identifier">D</span><span class="plain"> = </span><span class="functiontext">Inter::Node::fill_1</span><span class="plain">(</span><span class="identifier">ipct</span><span class="plain">-</span><span class="element">>primitives_point</span><span class="plain">, </span><span class="constant">PRIMITIVE_IST</span><span class="plain">, </span><span class="functiontext">Inter::SymbolsTables::id_from_symbol_inner</span><span class="plain">(</span><span class="functiontext">Inter::Tree::global_scope</span><span class="plain">(</span><span class="identifier">ipct</span><span class="plain">-</span><span class="element">>destination_tree</span><span class="plain">), </span><span class="identifier">NULL</span><span class="plain">, </span><span class="identifier">equivalent_primitive</span><span class="plain">), </span><span class="identifier">NULL</span><span class="plain">, 0);</span>
|
|
<span class="reserved">inter_tree_node</span><span class="plain"> *</span><span class="identifier">old_D</span><span class="plain"> = </span><span class="identifier">primitive</span><span class="plain">-</span><span class="element">>definition</span><span class="plain">;</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">=</span><span class="constant">CAT_PRIM_IFLD</span><span class="plain">; </span><span class="identifier">i</span><span class="plain"><</span><span class="identifier">old_D</span><span class="plain">-</span><span class="element">>W.extent</span><span class="plain">; </span><span class="identifier">i</span><span class="plain">++) {</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="functiontext">Inter::Node::extend</span><span class="plain">(</span><span class="identifier">D</span><span class="plain">, (</span><span class="constant">inter_t</span><span class="plain">) 1) == </span><span class="identifier">FALSE</span><span class="plain">) </span><span class="identifier">internal_error</span><span class="plain">(</span><span class="string">"can't extend"</span><span class="plain">);</span>
|
|
<span class="identifier">D</span><span class="plain">-</span><span class="element">>W.data</span><span class="plain">[</span><span class="identifier">i</span><span class="plain">] = </span><span class="identifier">old_D</span><span class="plain">-</span><span class="element">>W.data</span><span class="plain">[</span><span class="identifier">i</span><span class="plain">];</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="functiontext">Inter::Bookmarks::package</span><span class="plain">(</span><span class="identifier">ipct</span><span class="plain">-</span><span class="element">>primitives_point</span><span class="plain">), </span><span class="identifier">D</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="functiontext">Inter::Errors::issue</span><span class="plain">(</span><span class="identifier">E</span><span class="plain">);</span>
|
|
<span class="identifier">equivalent_primitive</span><span class="plain"> = </span><span class="identifier">NULL</span><span class="plain">;</span>
|
|
<span class="plain">} </span><span class="reserved">else</span><span class="plain"> {</span>
|
|
<span class="functiontext">Inter::Bookmarks::insert</span><span class="plain">(</span><span class="identifier">ipct</span><span class="plain">-</span><span class="element">>primitives_point</span><span class="plain">, </span><span class="identifier">D</span><span class="plain">);</span>
|
|
<span class="plain">}</span>
|
|
</pre>
|
|
|
|
<p class="inwebparagraph"></p>
|
|
|
|
<p class="endnote">This code is used in <a href="#SP3_1">§3.1</a>.</p>
|
|
|
|
<p class="inwebparagraph"><a id="SP3_2"></a><b>§3.2. </b><code class="display">
|
|
<<span class="cwebmacrodefn">Correct the reference to this symbol</span> <span class="cwebmacronumber">3.2</span>> =
|
|
</code></p>
|
|
|
|
|
|
<pre class="displaydefn">
|
|
<span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">equivalent</span><span class="plain"> = </span><span class="functiontext">Inter::Transmigration::cached_equivalent</span><span class="plain">(</span><span class="identifier">target</span><span class="plain">);</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">equivalent</span><span class="plain"> == </span><span class="identifier">NULL</span><span class="plain">) {</span>
|
|
<span class="identifier">TEMPORARY_TEXT</span><span class="plain">(</span><span class="identifier">URL</span><span class="plain">);</span>
|
|
<span class="functiontext">Inter::SymbolsTables::symbol_to_url_name</span><span class="plain">(</span><span class="identifier">URL</span><span class="plain">, </span><span class="identifier">target</span><span class="plain">);</span>
|
|
<span class="identifier">equivalent</span><span class="plain"> = </span><span class="functiontext">Inter::SymbolsTables::url_name_to_symbol</span><span class="plain">(</span><span class="identifier">ipct</span><span class="plain">-</span><span class="element">>destination</span><span class="plain">-</span><span class="element">>package_head</span><span class="plain">-</span><span class="element">>tree</span><span class="plain">, </span><span class="identifier">NULL</span><span class="plain">, </span><span class="identifier">URL</span><span class="plain">);</span>
|
|
<span class="reserved">if</span><span class="plain"> ((</span><span class="identifier">equivalent</span><span class="plain"> == </span><span class="identifier">NULL</span><span class="plain">) && (</span><span class="functiontext">Inter::Kind::is</span><span class="plain">(</span><span class="identifier">target</span><span class="plain">)))</span>
|
|
<span class="identifier">equivalent</span><span class="plain"> = </span><span class="functiontext">Inter::Packages::search_resources_exhaustively</span><span class="plain">(</span><span class="identifier">ipct</span><span class="plain">-</span><span class="element">>destination</span><span class="plain">-</span><span class="element">>package_head</span><span class="plain">-</span><span class="element">>tree</span><span class="plain">, </span><span class="identifier">target</span><span class="plain">-</span><span class="element">>symbol_name</span><span class="plain">);</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">equivalent</span><span class="plain"> == </span><span class="identifier">NULL</span><span class="plain">)</span>
|
|
<span class="identifier">equivalent</span><span class="plain"> = </span><span class="functiontext">Inter::Connectors::plug</span><span class="plain">(</span><span class="identifier">ipct</span><span class="plain">-</span><span class="element">>destination_tree</span><span class="plain">, </span><span class="identifier">URL</span><span class="plain">);</span>
|
|
<span class="identifier">DISCARD_TEXT</span><span class="plain">(</span><span class="identifier">URL</span><span class="plain">);</span>
|
|
<span class="functiontext">Inter::Transmigration::cache</span><span class="plain">(</span><span class="identifier">target</span><span class="plain">, </span><span class="identifier">equivalent</span><span class="plain">);</span>
|
|
<span class="plain">}</span>
|
|
<span class="identifier">symb</span><span class="plain">-</span><span class="element">>equated_to</span><span class="plain"> = </span><span class="identifier">equivalent</span><span class="plain">;</span>
|
|
</pre>
|
|
|
|
<p class="inwebparagraph"></p>
|
|
|
|
<p class="endnote">This code is used in <a href="#SP3">§3</a>.</p>
|
|
|
|
<p class="inwebparagraph"><a id="SP1_5"></a><b>§1.5. </b><code class="display">
|
|
<<span class="cwebmacrodefn">Correct any references from the origin to the migrant</span> <span class="cwebmacronumber">1.5</span>> =
|
|
</code></p>
|
|
|
|
|
|
<pre class="displaydefn">
|
|
<span class="reserved">ipct_state</span><span class="plain"> </span><span class="identifier">ipct</span><span class="plain">;</span>
|
|
<<span class="cwebmacro">Initialise the IPCT state</span> <span class="cwebmacronumber">.1</span>><span class="plain">;</span>
|
|
<span class="functiontext">Inter::Tree::traverse</span><span class="plain">(</span><span class="identifier">origin</span><span class="plain">-</span><span class="element">>package_head</span><span class="plain">-</span><span class="element">>tree</span><span class="plain">,</span>
|
|
<span class="functiontext">Inter::Transmigration::correct_origin</span><span class="plain">, &</span><span class="identifier">ipct</span><span class="plain">, </span><span class="identifier">NULL</span><span class="plain">, 0);</span>
|
|
</pre>
|
|
|
|
<p class="inwebparagraph"></p>
|
|
|
|
<p class="endnote">This code is used in <a href="#SP1">§1</a>.</p>
|
|
|
|
<p class="inwebparagraph"><a id="SP4"></a><b>§4. </b></p>
|
|
|
|
|
|
<pre class="display">
|
|
<span class="reserved">void</span><span class="plain"> </span><span class="functiontext">Inter::Transmigration::correct_origin</span><span class="plain">(</span><span class="reserved">inter_tree</span><span class="plain"> *</span><span class="identifier">I</span><span class="plain">, </span><span class="reserved">inter_tree_node</span><span class="plain"> *</span><span class="identifier">P</span><span class="plain">, </span><span class="reserved">void</span><span class="plain"> *</span><span class="identifier">state</span><span class="plain">) {</span>
|
|
<span class="reserved">ipct_state</span><span class="plain"> *</span><span class="identifier">ipct</span><span class="plain"> = (</span><span class="reserved">ipct_state</span><span class="plain"> *) </span><span class="identifier">state</span><span class="plain">;</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">P</span><span class="plain">-</span><span class="element">>W.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">inter_package</span><span class="plain"> *</span><span class="identifier">pack</span><span class="plain"> = </span><span class="functiontext">Inter::Package::defined_by_frame</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">pack</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">"no package defined here"</span><span class="plain">);</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="functiontext">Inter::Packages::is_linklike</span><span class="plain">(</span><span class="identifier">pack</span><span class="plain">)) </span><span class="reserved">return</span><span class="plain">;</span>
|
|
<span class="reserved">inter_symbols_table</span><span class="plain"> *</span><span class="identifier">T</span><span class="plain"> = </span><span class="functiontext">Inter::Packages::scope</span><span class="plain">(</span><span class="identifier">pack</span><span class="plain">);</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">T</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">"package with no symbols"</span><span class="plain">);</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">T</span><span class="plain">-</span><span class="element">>size</span><span class="plain">; </span><span class="identifier">i</span><span class="plain">++) {</span>
|
|
<span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">symb</span><span class="plain"> = </span><span class="identifier">T</span><span class="plain">-</span><span class="element">>symbol_array</span><span class="plain">[</span><span class="identifier">i</span><span class="plain">];</span>
|
|
<span class="reserved">if</span><span class="plain"> ((</span><span class="identifier">symb</span><span class="plain">) && (</span><span class="identifier">symb</span><span class="plain">-</span><span class="element">>equated_to</span><span class="plain">)) {</span>
|
|
<span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">target</span><span class="plain"> = </span><span class="identifier">symb</span><span class="plain">-</span><span class="element">>equated_to</span><span class="plain">;</span>
|
|
<span class="reserved">while</span><span class="plain"> (</span><span class="identifier">target</span><span class="plain">-</span><span class="element">>equated_to</span><span class="plain">) </span><span class="identifier">target</span><span class="plain"> = </span><span class="identifier">target</span><span class="plain">-</span><span class="element">>equated_to</span><span class="plain">;</span>
|
|
<span class="reserved">inter_package</span><span class="plain"> *</span><span class="identifier">target_package</span><span class="plain"> = </span><span class="identifier">target</span><span class="plain">-</span><span class="element">>owning_table</span><span class="plain">-</span><span class="element">>owning_package</span><span class="plain">;</span>
|
|
<span class="reserved">while</span><span class="plain"> ((</span><span class="identifier">target_package</span><span class="plain">) && (</span><span class="identifier">target_package</span><span class="plain"> != </span><span class="identifier">ipct</span><span class="plain">-</span><span class="element">>migrant</span><span class="plain">)) {</span>
|
|
<span class="identifier">target_package</span><span class="plain"> = </span><span class="functiontext">Inter::Packages::parent</span><span class="plain">(</span><span class="identifier">target_package</span><span class="plain">);</span>
|
|
<span class="plain">}</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">target_package</span><span class="plain"> == </span><span class="identifier">ipct</span><span class="plain">-</span><span class="element">>migrant</span><span class="plain">)</span>
|
|
<<span class="cwebmacro">Correct the origin reference to this migrant symbol</span> <span class="cwebmacronumber">4.1</span>><span class="plain">;</span>
|
|
<span class="plain">}</span>
|
|
<span class="plain">}</span>
|
|
<span class="plain">}</span>
|
|
<span class="plain">}</span>
|
|
</pre>
|
|
|
|
<p class="inwebparagraph"></p>
|
|
|
|
<p class="endnote">The function Inter::Transmigration::correct_origin is used in <a href="#SP1_5">§1.5</a>.</p>
|
|
|
|
<p class="inwebparagraph"><a id="SP4_1"></a><b>§4.1. </b><code class="display">
|
|
<<span class="cwebmacrodefn">Correct the origin reference to this migrant symbol</span> <span class="cwebmacronumber">4.1</span>> =
|
|
</code></p>
|
|
|
|
|
|
<pre class="displaydefn">
|
|
<span class="reserved">inter_symbol</span><span class="plain"> *</span><span class="identifier">equivalent</span><span class="plain"> = </span><span class="functiontext">Inter::Transmigration::cached_equivalent</span><span class="plain">(</span><span class="identifier">target</span><span class="plain">);</span>
|
|
<span class="reserved">if</span><span class="plain"> (</span><span class="identifier">equivalent</span><span class="plain"> == </span><span class="identifier">NULL</span><span class="plain">) {</span>
|
|
<span class="identifier">TEMPORARY_TEXT</span><span class="plain">(</span><span class="identifier">URL</span><span class="plain">);</span>
|
|
<span class="functiontext">Inter::SymbolsTables::symbol_to_url_name</span><span class="plain">(</span><span class="identifier">URL</span><span class="plain">, </span><span class="identifier">target</span><span class="plain">);</span>
|
|
<span class="identifier">equivalent</span><span class="plain"> = </span><span class="functiontext">Inter::Connectors::plug</span><span class="plain">(</span><span class="identifier">ipct</span><span class="plain">-</span><span class="element">>origin_tree</span><span class="plain">, </span><span class="identifier">URL</span><span class="plain">);</span>
|
|
<span class="identifier">DISCARD_TEXT</span><span class="plain">(</span><span class="identifier">URL</span><span class="plain">);</span>
|
|
<span class="functiontext">Inter::Transmigration::cache</span><span class="plain">(</span><span class="identifier">target</span><span class="plain">, </span><span class="identifier">equivalent</span><span class="plain">);</span>
|
|
<span class="plain">}</span>
|
|
<span class="identifier">symb</span><span class="plain">-</span><span class="element">>equated_to</span><span class="plain"> = </span><span class="identifier">equivalent</span><span class="plain">;</span>
|
|
</pre>
|
|
|
|
<p class="inwebparagraph"></p>
|
|
|
|
<p class="endnote">This code is used in <a href="#SP4">§4</a>.</p>
|
|
|
|
<hr class="tocbar">
|
|
<ul class="toc"><li><a href="2-cnn.html">Back to 'Connectors'</a></li><li><i>(This section ends Chapter 2: Interoperability.)</i></li></ul><hr class="tocbar">
|
|
<!--End of weave-->
|
|
</body>
|
|
</html>
|
|
|