2019-08-02 20:51:21 +03:00
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
< html >
< head >
2019-08-04 14:19:47 +03:00
< title > 2/cnn< / title >
2019-08-02 20:51:21 +03:00
< 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 >
2019-08-04 15:04:42 +03:00
< 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 >
2019-08-02 20:51:21 +03:00
< 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 >
2019-08-04 15:04:42 +03:00
< 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 >
2019-08-02 20:51:21 +03:00
< < 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 >
2019-08-04 15:04:42 +03:00
< < 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 >
2019-09-01 13:50:12 +03:00
< 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 >
2019-08-02 20:51:21 +03:00
< span class = "plain" > }< / span >
< / pre >
< p class = "inwebparagraph" > < / p >
2019-09-01 13:50:12 +03:00
< 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 >
2019-08-02 20:51:21 +03:00
2019-09-01 13:50:12 +03:00
< 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 >
2019-08-02 20:51:21 +03:00
< p class = "endnote" > The function Inter::Transmigration::move appears nowhere else.< / p >
2019-09-07 22:43:31 +03:00
< 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 >
2019-08-02 20:51:21 +03:00
< 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 >
2019-08-04 15:04:42 +03:00
< p class = "inwebparagraph" > < a id = "SP2" > < / a > < b > § 2. < / b > < / p >
2019-08-02 20:51:21 +03:00
< 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 >
2019-08-04 15:04:42 +03:00
< 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 >
2019-08-02 20:51:21 +03:00
< 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 >
2019-08-04 15:04:42 +03:00
< 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 > > =
2019-08-02 20:51:21 +03:00
< / 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 >
2019-08-04 15:04:42 +03:00
< 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 >
2019-08-02 20:51:21 +03:00
< 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 >
2019-08-04 15:04:42 +03:00
< / 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 >
2019-08-02 20:51:21 +03:00
< 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 >
2019-08-04 15:04:42 +03:00
< p class = "inwebparagraph" > < a id = "SP3" > < / a > < b > § 3. < / b > < / p >
2019-08-02 20:51:21 +03:00
< 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 >
2019-08-04 15:04:42 +03:00
< 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 >
2019-08-02 20:51:21 +03:00
< 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 >
2019-09-07 22:43:31 +03:00
< 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 >
2019-09-01 13:50:12 +03:00
< 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 >
2019-08-02 20:51:21 +03:00
< 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 >
2019-08-04 15:04:42 +03:00
< p class = "endnote" > The function Inter::Transmigration::correct_migrant is used in < a href = "#SP1_4" > § 1.4< / a > .< / p >
2019-08-02 20:51:21 +03:00
2019-08-04 15:04:42 +03:00
< 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 > > =
2019-08-02 20:51:21 +03:00
< / 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 >
2019-08-04 15:04:42 +03:00
< 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 >
2019-08-02 20:51:21 +03:00
< 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 >
2019-08-04 15:04:42 +03:00
< 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 >
2019-08-02 20:51:21 +03:00
< / pre >
< p class = "inwebparagraph" > < / p >
2019-08-04 15:04:42 +03:00
< p class = "endnote" > This code is used in < a href = "#SP3" > § 3< / a > .< / p >
2019-08-02 20:51:21 +03:00
2019-08-04 15:04:42 +03:00
< 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 > > =
2019-08-02 20:51:21 +03:00
< / code > < / p >
< pre class = "displaydefn" >
2019-08-04 15:04:42 +03:00
< 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 >
2019-08-02 20:51:21 +03:00
< 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 >
2019-08-04 15:04:42 +03:00
< p class = "endnote" > This code is used in < a href = "#SP3_1" > § 3.1< / a > .< / p >
2019-08-02 20:51:21 +03:00
2019-08-04 15:04:42 +03:00
< 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 > > =
2019-08-02 20:51:21 +03:00
< / 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 >
2019-09-07 22:43:31 +03:00
< 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 >
2019-08-02 20:51:21 +03:00
< 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 >
2019-08-20 16:48:45 +03:00
< 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 >
2019-08-02 20:51:21 +03:00
< 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 >
2019-08-04 15:04:42 +03:00
< p class = "endnote" > This code is used in < a href = "#SP3" > § 3< / a > .< / p >
2019-08-02 20:51:21 +03:00
2019-08-04 15:04:42 +03:00
< 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 > > =
2019-08-02 20:51:21 +03:00
< / code > < / p >
< pre class = "displaydefn" >
< span class = "reserved" > ipct_state< / span > < span class = "plain" > < / span > < span class = "identifier" > ipct< / span > < span class = "plain" > ;< / span >
2019-08-04 15:04:42 +03:00
< < span class = "cwebmacro" > Initialise the IPCT state< / span > < span class = "cwebmacronumber" > .1< / span > > < span class = "plain" > ;< / span >
2019-08-02 20:51:21 +03:00
< 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 >
2019-08-04 15:04:42 +03:00
< p class = "inwebparagraph" > < a id = "SP4" > < / a > < b > § 4. < / b > < / p >
2019-08-02 20:51:21 +03:00
< 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 >
2019-08-04 15:04:42 +03:00
< < span class = "cwebmacro" > Correct the origin reference to this migrant symbol< / span > < span class = "cwebmacronumber" > 4.1< / span > > < span class = "plain" > ;< / span >
2019-08-02 20:51:21 +03:00
< span class = "plain" > }< / span >
< span class = "plain" > }< / span >
< span class = "plain" > }< / span >
< span class = "plain" > }< / span >
< / pre >
< p class = "inwebparagraph" > < / p >
2019-08-04 15:04:42 +03:00
< p class = "endnote" > The function Inter::Transmigration::correct_origin is used in < a href = "#SP1_5" > § 1.5< / a > .< / p >
2019-08-02 20:51:21 +03:00
2019-08-04 15:04:42 +03:00
< 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 > > =
2019-08-02 20:51:21 +03:00
< / 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 >
2019-08-04 15:04:42 +03:00
< 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 >
2019-08-20 16:48:45 +03:00
< 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 >
2019-08-04 15:04:42 +03:00
< span class = "identifier" > DISCARD_TEXT< / span > < span class = "plain" > (< / span > < span class = "identifier" > URL< / span > < span class = "plain" > );< / span >
2019-08-02 20:51:21 +03:00
< 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 >
2019-08-04 15:04:42 +03:00
< p class = "endnote" > This code is used in < a href = "#SP4" > § 4< / a > .< / p >
2019-08-02 20:51:21 +03:00
< hr class = "tocbar" >
2019-08-04 14:19:47 +03:00
< 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" >
2019-08-02 20:51:21 +03:00
<!-- End of weave -->
< / body >
< / html >