2019-03-17 14:40:57 +02:00
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
< html >
< head >
2020-04-14 19:56:54 +03:00
< title > Packaging< / title >
2020-05-03 03:20:55 +03:00
< link href = "../docs-assets/Breadcrumbs.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-03-19 02:11:25 +02:00
< meta name = "viewport" content = "width=device-width initial-scale=1" >
2019-03-17 14:40:57 +02:00
< meta http-equiv = "Content-Type" content = "text/html; charset=utf-8" >
< meta http-equiv = "Content-Language" content = "en-gb" >
2020-05-03 03:01:21 +03:00
2020-05-03 03:20:55 +03:00
< link href = "../docs-assets/Contents.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Progress.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Navigation.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Fonts.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Base.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-05-03 03:01:21 +03:00
< script >
function togglePopup(material_id) {
var popup = document.getElementById(material_id);
popup.classList.toggle("show");
}
< / script >
2020-05-03 03:20:55 +03:00
< link href = "../docs-assets/Popups.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Colours.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-04-14 19:56:54 +03:00
2019-03-17 14:40:57 +02:00
< / head >
2020-05-03 03:01:21 +03:00
< body class = "commentary-font" >
2020-03-19 02:11:25 +02:00
< nav role = "navigation" >
2020-04-14 19:56:54 +03:00
< h1 > < a href = "../index.html" >
2020-05-03 18:34:53 +03:00
< img src = "../docs-assets/Inform.png" height = 72" >
2020-04-14 19:56:54 +03:00
< / a > < / h1 >
< ul > < li > < a href = "../compiler.html" > compiler tools< / a > < / li >
2020-03-19 02:11:25 +02:00
< li > < a href = "../other.html" > other tools< / a > < / li >
< li > < a href = "../extensions.html" > extensions and kits< / a > < / li >
< li > < a href = "../units.html" > unit test tools< / a > < / li >
2020-04-14 19:56:54 +03:00
< / ul > < h2 > Compiler Webs< / h2 > < ul >
2020-03-19 02:11:25 +02:00
< li > < a href = "../inbuild/index.html" > inbuild< / a > < / li >
< li > < a href = "../inform7/index.html" > inform7< / a > < / li >
< li > < a href = "../inter/index.html" > inter< / a > < / li >
2020-04-14 19:56:54 +03:00
< / ul > < h2 > Inbuild Modules< / h2 > < ul >
< li > < a href = "../supervisor-module/index.html" > supervisor< / a > < / li >
< / ul > < h2 > Inform7 Modules< / h2 > < ul >
2020-03-19 02:11:25 +02:00
< li > < a href = "../core-module/index.html" > core< / a > < / li >
2020-08-27 17:50:24 +03:00
< li > < a href = "../assertions-module/index.html" > assertions< / a > < / li >
< li > < a href = "../values-module/index.html" > values< / a > < / li >
< li > < a href = "../knowledge-module/index.html" > knowledge< / a > < / li >
< li > < a href = "../imperative-module/index.html" > imperative< / a > < / li >
< li > < a href = "../runtime-module/index.html" > runtime< / a > < / li >
2020-03-19 02:11:25 +02:00
< li > < a href = "../if-module/index.html" > if< / a > < / li >
< li > < a href = "../multimedia-module/index.html" > multimedia< / a > < / li >
< li > < a href = "../index-module/index.html" > index< / a > < / li >
2020-04-14 19:56:54 +03:00
< / ul > < h2 > Inter Modules< / h2 > < ul >
< li > < a href = "../bytecode-module/index.html" > bytecode< / a > < / li >
< li > < a href = "index.html" > < span class = "selectedlink" > building< / span > < / a > < / li >
2021-08-10 13:01:03 +03:00
< li > < a href = "../pipeline-module/index.html" > pipeline< / a > < / li >
< li > < a href = "../final-module/index.html" > final< / a > < / li >
2020-05-20 02:02:28 +03:00
< / ul > < h2 > Services< / h2 > < ul >
2020-04-14 19:56:54 +03:00
< li > < a href = "../arch-module/index.html" > arch< / a > < / li >
2020-08-27 17:50:24 +03:00
< li > < a href = "../calculus-module/index.html" > calculus< / a > < / li >
2020-04-14 19:56:54 +03:00
< li > < a href = "../html-module/index.html" > html< / a > < / li >
2020-05-20 02:02:28 +03:00
< li > < a href = "../inflections-module/index.html" > inflections< / a > < / li >
2020-08-27 17:50:24 +03:00
< li > < a href = "../kinds-module/index.html" > kinds< / a > < / li >
2020-05-20 02:02:28 +03:00
< li > < a href = "../linguistics-module/index.html" > linguistics< / a > < / li >
< li > < a href = "../problems-module/index.html" > problems< / a > < / li >
2020-08-27 17:50:24 +03:00
< li > < a href = "../syntax-module/index.html" > syntax< / a > < / li >
< li > < a href = "../words-module/index.html" > words< / a > < / li >
2020-03-19 02:11:25 +02:00
< li > < a href = "../../../inweb/docs/foundation-module/index.html" > foundation< / a > < / li >
2020-04-14 19:56:54 +03:00
< / ul >
2020-03-19 02:11:25 +02:00
< / nav >
< main role = "main" >
2020-05-03 03:01:21 +03:00
<!-- Weave of 'Packaging' generated by Inweb -->
< div class = "breadcrumbs" >
< ul class = "crumbs" > < li > < a href = "../index.html" > Home< / a > < / li > < li > < a href = "../compiler.html" > Inter Modules< / a > < / li > < li > < a href = "index.html" > building< / a > < / li > < li > < a href = "index.html#1" > Chapter 1: Architecture< / a > < / li > < li > < b > Packaging< / b > < / li > < / ul > < / div >
< p class = "purpose" > To manage requests to build Inter packages, and then to generate inames within them; and to create modules and submodules.< / p >
2019-04-22 17:06:29 +03:00
2022-01-14 01:49:42 +02:00
< ul class = "toc" > < li > < a href = "1-pck.html#SP2" > § 2. Package requests< / a > < / li > < li > < a href = "1-pck.html#SP11" > § 11. Bubbles< / a > < / li > < li > < a href = "1-pck.html#SP12" > § 12. Outside the packages< / a > < / li > < li > < a href = "1-pck.html#SP13" > § 13. Entry and exit< / a > < / li > < li > < a href = "1-pck.html#SP14" > § 14. Incarnation< / a > < / li > < li > < a href = "1-pck.html#SP15" > § 15. Functions< / a > < / li > < / ul > < hr class = "tocbar" >
2019-04-22 17:06:29 +03:00
2022-01-10 01:00:15 +02:00
< p class = "commentary firstcommentary" > < a id = "SP1" class = "paragraph-anchor" > < / a > < b > § 1. < / b > The maximum here is beyond plenty: it's not the maximum hierarchical depth
of the Inter output, it's the maximum number of times that Inform interrupts
itself during compilation.
< / p >
< pre class = "definitions code-font" > < span class = "definition-keyword" > define< / span > < span class = "constant-syntax" > MAX_PACKAGING_ENTRY_DEPTH< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 128< / span >
< / pre >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "reserved-syntax" > typedef< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > site_packaging_data< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > packaging_state< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > current_state< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_bookmark< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > packaging_entry_stack< / span > < span class = "plain-syntax" > [< / span > < span class = "constant-syntax" > MAX_PACKAGING_ENTRY_DEPTH< / span > < span class = "plain-syntax" > ];< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > packaging_entry_sp< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > dictionary< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > hls_indexed_by_name< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > ifndef< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > NO_DEFINED_HL_VALUES< / span >
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > define< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > NO_DEFINED_HL_VALUES< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 1< / span >
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > endif< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > hierarchy_location< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > hls_indexed_by_id< / span > < span class = "plain-syntax" > [< / span > < span class = "identifier-syntax" > NO_DEFINED_HL_VALUES< / span > < span class = "plain-syntax" > ];< / span >
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > ifndef< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > NO_DEFINED_HAP_VALUES< / span >
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > define< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > NO_DEFINED_HAP_VALUES< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 1< / span >
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > endif< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > hierarchy_attachment_point< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > haps_indexed_by_id< / span > < span class = "plain-syntax" > [< / span > < span class = "identifier-syntax" > NO_DEFINED_HAP_VALUES< / span > < span class = "plain-syntax" > ];< / span >
2022-01-14 01:49:42 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_bookmark< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > pragmas_bookmark< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_bookmark< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > package_types_bookmark< / span > < span class = "plain-syntax" > ;< / span >
2022-01-10 01:00:15 +02:00
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > site_packaging_data< / span > < span class = "plain-syntax" > ;< / span >
2022-01-14 01:49:42 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Packaging::clear_pdata< / span > < button class = "popup" onclick = "togglePopup('usagePopup1')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup1" > Usage of < span class = "code-font" > < span class = "function-syntax" > Packaging::clear_pdata< / span > < / span > :< br / > Building Module - < a href = "1-bm.html#SP4" > § 4< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inter_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ) {< / span >
2022-01-10 01:00:15 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > building_site< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > B< / span > < span class = "plain-syntax" > = & (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > site< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > B< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > spdata< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > current_state< / span > < span class = "plain-syntax" > = < / span > < a href = "1-pck.html#SP7" class = "function-link" > < span class = "function-syntax" > Packaging::stateless< / span > < / a > < span class = "plain-syntax" > ();< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > B< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > spdata< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > packaging_entry_sp< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > for< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > =0; < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > < < / span > < span class = "identifier-syntax" > NO_DEFINED_HL_VALUES< / span > < span class = "plain-syntax" > ; < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ++) < / span > < span class = "identifier-syntax" > B< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > spdata< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > hls_indexed_by_id< / span > < span class = "plain-syntax" > [< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ] = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > B< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > spdata< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > hls_indexed_by_name< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Dictionaries::new< / span > < span class = "plain-syntax" > (512, < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > for< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > =0; < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > < < / span > < span class = "identifier-syntax" > NO_DEFINED_HAP_VALUES< / span > < span class = "plain-syntax" > ; < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ++) < / span > < span class = "identifier-syntax" > B< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > spdata< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > haps_indexed_by_id< / span > < span class = "plain-syntax" > [< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ] = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < a href = "1-pck.html#SP10" class = "function-link" > < span class = "function-syntax" > Packaging::initialise_state< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > );< / span >
2022-01-14 01:49:42 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > B< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > spdata< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > pragmas_bookmark< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Inter::Bookmarks::at_start_of_this_repository< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > B< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > spdata< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > package_types_bookmark< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Inter::Bookmarks::at_start_of_this_repository< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
2022-01-14 12:56:42 +02:00
< span class = "identifier-syntax" > inter_bookmark< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > Packaging::pragmas< / span > < button class = "popup" onclick = "togglePopup('usagePopup2')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup2" > Usage of < span class = "code-font" > < span class = "function-syntax" > Packaging::pragmas< / span > < / span > :< br / > Large-Scale Structure - < a href = "1-ls.html#SP15" > § 15< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inter_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ) {< / span >
2022-01-14 01:49:42 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > & (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > site< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > spdata< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > pragmas_bookmark< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Packaging::set_pragmas< / span > < button class = "popup" onclick = "togglePopup('usagePopup3')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup3" > Usage of < span class = "code-font" > < span class = "function-syntax" > Packaging::set_pragmas< / span > < / span > :< br / > < a href = "1-pck.html#SP12" > § 12< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inter_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > inter_bookmark< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > IBM< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > site< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > spdata< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > pragmas_bookmark< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > IBM< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2022-01-15 01:44:06 +02:00
< span class = "identifier-syntax" > inter_bookmark< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > Packaging::package_types< / span > < button class = "popup" onclick = "togglePopup('usagePopup4')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup4" > Usage of < span class = "code-font" > < span class = "function-syntax" > Packaging::package_types< / span > < / span > :< br / > Large-Scale Structure - < a href = "1-ls.html#SP16" > § 16< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inter_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ) {< / span >
2022-01-14 01:49:42 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > & (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > site< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > spdata< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > package_types_bookmark< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Packaging::set_package_types< / span > < button class = "popup" onclick = "togglePopup('usagePopup5')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup5" > Usage of < span class = "code-font" > < span class = "function-syntax" > Packaging::set_package_types< / span > < / span > :< br / > < a href = "1-pck.html#SP12" > § 12< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inter_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > inter_bookmark< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > IBM< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > site< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > spdata< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > package_types_bookmark< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > IBM< / span > < span class = "plain-syntax" > ;< / span >
2022-01-10 01:00:15 +02:00
< span class = "plain-syntax" > }< / span >
< / pre >
< ul class = "endnotetexts" > < li > The structure site_packaging_data is accessed in 1/hl and here.< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP2" class = "paragraph-anchor" > < / a > < b > § 2. Package requests. < / b > In the same way that inames are created as shadows of eventual inter symbols,
2019-04-20 02:28:48 +03:00
and omly converted into the real thing on demand, "package requests" are
shadowy packages. The process of turning them into real inter packages is
called "incarnation".
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "definitions code-font" > < span class = "definition-keyword" > define< / span > < span class = "constant-syntax" > MAX_PRCS_AT_ONCE< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 11< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "reserved-syntax" > typedef< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > package_request< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > for_tree< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > eventual_name< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_symbol< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > eventual_type< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_package< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > actual_package< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > package_request< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > parent_request< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_bookmark< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > write_position< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > linked_list< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > iname_generators< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > of < / span > < span class = "extract" > < span class = "extract-syntax" > inter_name_generator< / span > < / span >
2020-05-09 15:07:39 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > CLASS_DEFINITION< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > package_request< / span > < span class = "plain-syntax" > ;< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-03 03:01:21 +03:00
< ul class = "endnotetexts" > < li > The structure package_request is accessed in 1/hl and here.< / li > < / ul >
2022-01-10 01:00:15 +02:00
< p class = "commentary firstcommentary" > < a id = "SP3" class = "paragraph-anchor" > < / a > < b > § 3. < / b > < / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2022-01-16 01:49:25 +02:00
< span class = "reserved-syntax" > package_request< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > Packaging::request< / span > < button class = "popup" onclick = "togglePopup('usagePopup6')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup6" > Usage of < span class = "code-font" > < span class = "function-syntax" > Packaging::request< / span > < / span > :< br / > < a href = "1-pck.html#SP15" > § 15< / a > , < a href = "1-pck.html#SP16" > § 16< / a > < br / > Large-Scale Structure - < a href = "1-ls.html#SP4" > § 4< / a > , < a href = "1-ls.html#SP5" > § 5< / a > , < a href = "1-ls.html#SP6" > § 6< / a > , < a href = "1-ls.html#SP11" > § 11< / a > , < a href = "1-ls.html#SP14" > § 14< / a > < br / > Hierarchy Locations - < a href = "1-hl.html#SP15" > § 15< / a > , < a href = "1-hl.html#SP16" > § 16< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inter_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > name< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > inter_symbol< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > pt< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > package_request< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > CREATE< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > package_request< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > for_tree< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > eventual_name< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > name< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > eventual_type< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > pt< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > actual_package< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > parent_request< / span > < span class = "plain-syntax" > = < / span > < a href = "1-in.html#SP7" class = "function-link" > < span class = "function-syntax" > InterNames::location< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > name< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > write_position< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Inter::Bookmarks::at_start_of_this_repository< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > iname_generators< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-04-20 02:28:48 +03:00
< / pre >
2022-01-10 01:00:15 +02:00
< p class = "commentary firstcommentary" > < a id = "SP4" class = "paragraph-anchor" > < / a > < b > § 4. < / b > In the debugging log, package requests are printed in a form looking a
2019-04-20 02:28:48 +03:00
little like URLs, except that they run in the reverse order, innermost first
and outermost last: to make this more visually clear, backslashes rather
than forward slashes are used as dividers.
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2022-01-14 01:49:42 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Packaging::log< / span > < button class = "popup" onclick = "togglePopup('usagePopup7')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup7" > Usage of < span class = "code-font" > < span class = "function-syntax" > Packaging::log< / span > < / span > :< br / > Building Module - < a href = "1-bm.html#SP3_3" > § 3.3< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUTPUT_STREAM< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > vR< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > package_request< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > = (< / span > < span class = "reserved-syntax" > package_request< / span > < span class = "plain-syntax" > *) < / span > < span class = "identifier-syntax" > vR< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > LOG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "< null-package> "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > c< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > while< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > c< / span > < span class = "plain-syntax" > ++ > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > LOG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "\\"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > actual_package< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "%S"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Inter::Packages::name< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > actual_package< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "'%n'"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > eventual_name< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > parent_request< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2022-01-10 01:00:15 +02:00
< p class = "commentary firstcommentary" > < a id = "SP5" class = "paragraph-anchor" > < / a > < b > § 5. < / b > The following allows a sequence of different inames to be generated inside a
2020-05-03 03:01:21 +03:00
package: for example, < span class = "extract" > < span class = "extract-syntax" > Packaging::make_iname_within(R, I"acorn")< / span > < / span > produces a
sequence of inames < span class = "extract" > < span class = "extract-syntax" > acorn1< / span > < / span > , < span class = "extract" > < span class = "extract-syntax" > acorn2< / span > < / span > , ..., as it's called over and over again.
2019-04-22 17:06:29 +03:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2022-01-16 01:49:25 +02:00
< span class = "reserved-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > Packaging::make_iname_within< / span > < button class = "popup" onclick = "togglePopup('usagePopup8')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup8" > Usage of < span class = "code-font" > < span class = "function-syntax" > Packaging::make_iname_within< / span > < / span > :< br / > Hierarchy Locations - < a href = "1-hl.html#SP16" > § 16< / a > < br / > Producing Inter - < a href = "3-prd.html#SP3" > § 3< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > package_request< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > what_for< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > internal_error< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "no request"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > iname_generators< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > iname_generators< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NEW_LINKED_LIST< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > inter_name_generator< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > inter_name_generator< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > gen< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER_LINKED_LIST< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > gen< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > inter_name_generator< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > iname_generators< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Str::eq< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > what_for< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > gen< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name_stem< / span > < span class = "plain-syntax" > ))< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < a href = "1-in.html#SP6" class = "function-link" > < span class = "function-syntax" > InterNames::generated_in< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > gen< / span > < span class = "plain-syntax" > , -1, < / span > < span class = "identifier-syntax" > EMPTY_WORDING< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > gen< / span > < span class = "plain-syntax" > = < / span > < a href = "1-in.html#SP1" class = "function-link" > < span class = "function-syntax" > InterNames::multiple_use_generator< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > what_for< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > ADD_TO_LINKED_LIST< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > gen< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > inter_name_generator< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > iname_generators< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < a href = "1-in.html#SP6" class = "function-link" > < span class = "function-syntax" > InterNames::generated_in< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > gen< / span > < span class = "plain-syntax" > , -1, < / span > < span class = "identifier-syntax" > EMPTY_WORDING< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
2019-04-22 17:06:29 +03:00
< / pre >
2022-01-10 01:00:15 +02:00
< p class = "commentary firstcommentary" > < a id = "SP6" class = "paragraph-anchor" > < / a > < b > § 6. < / b > At any given time, emission of Inter is occurring to a particular position
2019-04-20 12:51:59 +03:00
(in some incarnated package) and in the context of a given enclosure. This
is summarised by the following state:
2019-04-20 02:28:48 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "reserved-syntax" > typedef< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > packaging_state< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_bookmark< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > saved_IRS< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > package_request< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > saved_enclosure< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > packaging_state< / span > < span class = "plain-syntax" > ;< / span >
2019-04-20 02:28:48 +03:00
< / pre >
2020-05-03 03:01:21 +03:00
< ul class = "endnotetexts" > < li > The structure packaging_state is private to this section.< / li > < / ul >
2022-01-10 01:00:15 +02:00
< p class = "commentary firstcommentary" > < a id = "SP7" class = "paragraph-anchor" > < / a > < b > § 7. < / b > It is not legal to write to the following state, which exists only to
2019-04-20 02:28:48 +03:00
initialise variables to neutral contents (and thus to avoid warnings
generated because clang is not able to prove that they will not be used
in an uninitialised state — though in fact they will not).
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2022-01-14 01:49:42 +02:00
< span class = "reserved-syntax" > packaging_state< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Packaging::stateless< / span > < button class = "popup" onclick = "togglePopup('usagePopup9')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup9" > Usage of < span class = "code-font" > < span class = "function-syntax" > Packaging::stateless< / span > < / span > :< br / > < a href = "1-pck.html#SP1" > § 1< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > packaging_state< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PS< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PS< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > saved_IRS< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PS< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > saved_enclosure< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PS< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-04-20 02:28:48 +03:00
< / pre >
2022-01-10 01:00:15 +02:00
< p class = "commentary firstcommentary" > < a id = "SP8" class = "paragraph-anchor" > < / a > < b > § 8. < / b > We will store the current state at all times in the building site:
2019-04-20 02:28:48 +03:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2022-01-14 01:49:42 +02:00
< span class = "identifier-syntax" > inter_bookmark< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > Packaging::at< / span > < button class = "popup" onclick = "togglePopup('usagePopup10')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup10" > Usage of < span class = "code-font" > < span class = "function-syntax" > Packaging::at< / span > < / span > :< br / > < a href = "1-pck.html#SP11" > § 11< / a > , < a href = "1-pck.html#SP12" > § 12< / a > , < a href = "1-pck.html#SP14" > § 14< / a > < br / > Producing Inter - < a href = "3-prd.html#SP2" > § 2< / a > , < a href = "3-prd.html#SP3" > § 3< / a > , < a href = "3-prd.html#SP4" > § 4< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inter_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ) {< / span >
2022-01-10 01:00:15 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > site< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > spdata< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > current_state< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > saved_IRS< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
2022-01-14 01:49:42 +02:00
< span class = "reserved-syntax" > package_request< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > Packaging::enclosure< / span > < button class = "popup" onclick = "togglePopup('usagePopup11')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup11" > Usage of < span class = "code-font" > < span class = "function-syntax" > Packaging::enclosure< / span > < / span > :< br / > < a href = "1-pck.html#SP13" > § 13< / a > , < a href = "1-pck.html#SP14" > § 14< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inter_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ) {< / span >
2022-01-10 01:00:15 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > site< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > spdata< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > current_state< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > saved_enclosure< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2022-01-10 01:00:15 +02:00
< p class = "commentary firstcommentary" > < a id = "SP9" class = "paragraph-anchor" > < / a > < b > § 9. < / b > States are intentionally very lightweight, and in particular they contain
2019-07-14 12:44:07 +03:00
pointers to the IBM structures rather than containing a copy thereof. But
2019-04-20 02:28:48 +03:00
those pointers have to point somewhere, and this is where: to a stack of
2019-07-14 12:44:07 +03:00
IBM structures.
2019-04-20 02:28:48 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2022-01-14 01:49:42 +02:00
< span class = "identifier-syntax" > inter_bookmark< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > Packaging::push_IRS< / span > < button class = "popup" onclick = "togglePopup('usagePopup12')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup12" > Usage of < span class = "code-font" > < span class = "function-syntax" > Packaging::push_IRS< / span > < / span > :< br / > < a href = "1-pck.html#SP10" > § 10< / a > , < a href = "1-pck.html#SP13" > § 13< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inter_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > inter_bookmark< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > IBM< / span > < span class = "plain-syntax" > ) {< / span >
2022-01-10 01:00:15 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > site< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > spdata< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > packaging_entry_sp< / span > < span class = "plain-syntax" > > = < / span > < span class = "constant-syntax" > MAX_PACKAGING_ENTRY_DEPTH< / span > < span class = "plain-syntax" > )< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > internal_error< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "packaging entry too deep"< / span > < span class = "plain-syntax" > );< / span >
2022-01-10 01:00:15 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > site< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > spdata< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > packaging_entry_stack< / span > < span class = "plain-syntax" > [< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > site< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > spdata< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > packaging_entry_sp< / span > < span class = "plain-syntax" > ] = < / span > < span class = "identifier-syntax" > IBM< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > & (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > site< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > spdata< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > packaging_entry_stack< / span > < span class = "plain-syntax" > [< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > site< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > spdata< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > packaging_entry_sp< / span > < span class = "plain-syntax" > ++]);< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2022-01-14 01:49:42 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Packaging::pop_IRS< / span > < button class = "popup" onclick = "togglePopup('usagePopup13')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup13" > Usage of < span class = "code-font" > < span class = "function-syntax" > Packaging::pop_IRS< / span > < / span > :< br / > < a href = "1-pck.html#SP13" > § 13< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inter_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ) {< / span >
2022-01-10 01:00:15 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > site< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > spdata< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > packaging_entry_sp< / span > < span class = "plain-syntax" > < = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > internal_error< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "package stack underflow"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > site< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > spdata< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > packaging_entry_sp< / span > < span class = "plain-syntax" > --;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2019-04-20 02:28:48 +03:00
< / pre >
2022-01-10 01:00:15 +02:00
< p class = "commentary firstcommentary" > < a id = "SP10" class = "paragraph-anchor" > < / a > < b > § 10. < / b > The current state has the following invariant: the IBM part always points to
2020-05-03 03:01:21 +03:00
a validly initialised < span class = "extract" > < span class = "extract-syntax" > inter_bookmark< / span > < / span > , and the enclosure part is always
either < span class = "extract" > < span class = "extract-syntax" > NULL< / span > < / span > or a package request which has an enclosing package type. (In
fact, it is null only fleetingly: as soon as the < span class = "extract" > < span class = "extract-syntax" > main< / span > < / span > package is created,
2019-04-20 12:51:59 +03:00
very early on, the enclosure is always an enclosing package.)
2019-04-20 02:28:48 +03:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2022-01-14 01:49:42 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Packaging::initialise_state< / span > < button class = "popup" onclick = "togglePopup('usagePopup14')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup14" > Usage of < span class = "code-font" > < span class = "function-syntax" > Packaging::initialise_state< / span > < / span > :< br / > < a href = "1-pck.html#SP1" > § 1< / a > , < a href = "1-pck.html#SP12" > § 12< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inter_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ) {< / span >
2022-01-10 01:00:15 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > site< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > spdata< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > current_state< / span > < span class = "plain-syntax" > .< / span > < span class = "identifier-syntax" > saved_IRS< / span > < span class = "plain-syntax" > =< / span >
< span class = "plain-syntax" > < / span > < a href = "1-pck.html#SP9" class = "function-link" > < span class = "function-syntax" > Packaging::push_IRS< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Inter::Bookmarks::at_start_of_this_repository< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > site< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > spdata< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > current_state< / span > < span class = "plain-syntax" > .< / span > < span class = "identifier-syntax" > saved_enclosure< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2022-01-14 01:49:42 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Packaging::set_state< / span > < button class = "popup" onclick = "togglePopup('usagePopup15')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup15" > Usage of < span class = "code-font" > < span class = "function-syntax" > Packaging::set_state< / span > < / span > :< br / > < a href = "1-pck.html#SP13" > § 13< / a > , < a href = "1-pck.html#SP14" > § 14< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inter_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > inter_bookmark< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > package_request< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > PR< / span > < span class = "plain-syntax" > ) {< / span >
2022-01-10 01:00:15 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > site< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > spdata< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > current_state< / span > < span class = "plain-syntax" > .< / span > < span class = "identifier-syntax" > saved_IRS< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > while< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > PR< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > PR< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > parent_request< / span > < span class = "plain-syntax" > ) & & < / span >
< span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Inter::Symbols::read_annotation< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PR< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > eventual_type< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > ENCLOSING_IANN< / span > < span class = "plain-syntax" > ) != < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > ))< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PR< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > PR< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > parent_request< / span > < span class = "plain-syntax" > ;< / span >
2022-01-10 01:00:15 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > site< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > spdata< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > current_state< / span > < span class = "plain-syntax" > .< / span > < span class = "identifier-syntax" > saved_enclosure< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > PR< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2019-04-20 12:51:59 +03:00
< / pre >
2022-01-10 01:00:15 +02:00
< p class = "commentary firstcommentary" > < a id = "SP11" class = "paragraph-anchor" > < / a > < b > § 11. Bubbles. < / b > Inter code is stored in memory as a singly-linked list. This is fast and
2019-04-20 12:51:59 +03:00
compact, but can make it awkward to insert material other than at the end,
particularly if one insertion leads to another close by, midway in the
process — which is exactly what can happen when incarnating a nested set
of packages.
< / p >
2020-05-03 03:01:21 +03:00
< p class = "commentary" > We avoid all such difficulties by placing "bubbles" at positions in the
2019-04-20 12:51:59 +03:00
linked list where we will later need to return and place new material.
A bubble is simply a pair of nops (no operations); any later inserted
material will be placed between them.
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2022-01-14 01:49:42 +02:00
< span class = "identifier-syntax" > inter_bookmark< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Packaging::bubble< / span > < button class = "popup" onclick = "togglePopup('usagePopup16')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup16" > Usage of < span class = "code-font" > < span class = "function-syntax" > Packaging::bubble< / span > < / span > :< br / > < a href = "1-pck.html#SP12" > § 12< / a > , < a href = "1-pck.html#SP13" > § 13< / a > , < a href = "1-pck.html#SP14" > § 14< / a > < br / > Large-Scale Structure - < a href = "1-ls.html#SP6" > § 6< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inter_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < a href = "3-prd.html#SP2" class = "function-link" > < span class = "function-syntax" > Produce::nop< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > );< / span >
2022-01-10 01:00:15 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_bookmark< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > b< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Inter::Bookmarks::snapshot< / span > < span class = "plain-syntax" > (< / span > < a href = "1-pck.html#SP8" class = "function-link" > < span class = "function-syntax" > Packaging::at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ));< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < a href = "3-prd.html#SP2" class = "function-link" > < span class = "function-syntax" > Produce::nop< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > b< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "identifier-syntax" > inter_bookmark< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Packaging::bubble_at< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inter_bookmark< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > IBM< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < a href = "3-prd.html#SP2" class = "function-link" > < span class = "function-syntax" > Produce::nop_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > IBM< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_bookmark< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > b< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Inter::Bookmarks::snapshot< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > IBM< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "3-prd.html#SP2" class = "function-link" > < span class = "function-syntax" > Produce::nop_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > IBM< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > b< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-04-20 12:51:59 +03:00
< / pre >
2022-01-10 01:00:15 +02:00
< p class = "commentary firstcommentary" > < a id = "SP12" class = "paragraph-anchor" > < / a > < b > § 12. Outside the packages. < / b > The Inter specification calls for just a handful of resources to be placed
2020-05-03 03:01:21 +03:00
at the top level, outside even the < span class = "extract" > < span class = "extract-syntax" > main< / span > < / span > package. Using bubbles, we leave
room to insert those resources, then incarnate < span class = "extract" > < span class = "extract-syntax" > main< / span > < / span > and enter it.
2019-04-20 12:51:59 +03:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Packaging::outside_all_packages< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inter_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ) {< / span >
2022-01-10 01:00:15 +02:00
< span class = "plain-syntax" > < / span > < a href = "1-pck.html#SP10" class = "function-link" > < span class = "function-syntax" > Packaging::initialise_state< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < a href = "3-prd.html#SP2" class = "function-link" > < span class = "function-syntax" > Produce::version< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > );< / span >
2019-08-24 13:21:48 +03:00
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < a href = "3-prd.html#SP2" class = "function-link" > < span class = "function-syntax" > Produce::comment< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Package types:"< / span > < span class = "plain-syntax" > );< / span >
2022-01-14 01:49:42 +02:00
< span class = "plain-syntax" > < / span > < a href = "1-pck.html#SP1" class = "function-link" > < span class = "function-syntax" > Packaging::set_package_types< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < a href = "1-pck.html#SP11" class = "function-link" > < span class = "function-syntax" > Packaging::bubble< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ));< / span >
2019-04-20 12:51:59 +03:00
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < a href = "3-prd.html#SP2" class = "function-link" > < span class = "function-syntax" > Produce::comment< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Pragmas:"< / span > < span class = "plain-syntax" > );< / span >
2022-01-14 01:49:42 +02:00
< span class = "plain-syntax" > < / span > < a href = "1-pck.html#SP1" class = "function-link" > < span class = "function-syntax" > Packaging::set_pragmas< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < a href = "1-pck.html#SP11" class = "function-link" > < span class = "function-syntax" > Packaging::bubble< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ));< / span >
2019-04-20 12:51:59 +03:00
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < a href = "3-prd.html#SP2" class = "function-link" > < span class = "function-syntax" > Produce::comment< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Primitives:"< / span > < span class = "plain-syntax" > );< / span >
2022-01-14 12:56:42 +02:00
< span class = "plain-syntax" > < / span > < a href = "1-ip.html#SP10" class = "function-link" > < span class = "function-syntax" > Primitives::declare_standard_set< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < a href = "1-pck.html#SP8" class = "function-link" > < span class = "function-syntax" > Packaging::at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ));< / span >
2019-04-20 12:51:59 +03:00
2022-01-15 01:44:06 +02:00
< span class = "plain-syntax" > < / span > < a href = "1-ls.html#SP16" class = "function-link" > < span class = "function-syntax" > LargeScale::package_type< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "_plain"< / span > < span class = "plain-syntax" > ); < / span > < span class = "comment-syntax" > To ensure this is the first emitted ptype< / span >
< span class = "plain-syntax" > < / span > < a href = "1-ls.html#SP16" class = "function-link" > < span class = "function-syntax" > LargeScale::package_type< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "_code"< / span > < span class = "plain-syntax" > ); < / span > < span class = "comment-syntax" > And this the second< / span >
< span class = "plain-syntax" > < / span > < a href = "1-ls.html#SP16" class = "function-link" > < span class = "function-syntax" > LargeScale::package_type< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "_linkage"< / span > < span class = "plain-syntax" > ); < / span > < span class = "comment-syntax" > And this the third< / span >
2019-04-20 12:51:59 +03:00
2022-01-14 01:49:42 +02:00
< span class = "plain-syntax" > < / span > < a href = "1-pck.html#SP13" class = "function-link" > < span class = "function-syntax" > Packaging::enter< / span > < / a > < span class = "plain-syntax" > (< / span > < a href = "1-ls.html#SP4" class = "function-link" > < span class = "function-syntax" > LargeScale::main_request< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > )); < / span > < span class = "comment-syntax" > Which we never exit< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2019-04-20 12:51:59 +03:00
< / pre >
2022-01-10 01:00:15 +02:00
< p class = "commentary firstcommentary" > < a id = "SP13" class = "paragraph-anchor" > < / a > < b > § 13. Entry and exit. < / b > Each PR contains a "write position". This is where emitted Inter code will go;
2019-04-20 12:51:59 +03:00
and it means that not all of the code inside a package needs to be written
at the same time. We can come and go as we please, adding code to packages
all over the hierarchy, simply by switching to the write position in the
package we wsnt to extend next.
< / p >
2020-05-03 03:01:21 +03:00
< p class = "commentary" > That switching is called "entering" a package. Every entry must be followed
2019-04-20 12:51:59 +03:00
by a matching exit, which restores the write position to where it was before
2020-05-03 03:01:21 +03:00
the entry. (The one exception is that the entry into < span class = "extract" > < span class = "extract-syntax" > main< / span > < / span > , made above,
2019-04-20 12:51:59 +03:00
is never followed by an exit.)
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2022-01-14 01:49:42 +02:00
< span class = "reserved-syntax" > packaging_state< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Packaging::enter_home_of< / span > < button class = "popup" onclick = "togglePopup('usagePopup17')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup17" > Usage of < span class = "code-font" > < span class = "function-syntax" > Packaging::enter_home_of< / span > < / span > :< br / > Producing Inter - < a href = "3-prd.html#SP3" > § 3< / a > , < a href = "3-prd.html#SP4" > § 4< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > N< / span > < span class = "plain-syntax" > ) {< / span >
2022-01-10 01:00:15 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < a href = "1-pck.html#SP13" class = "function-link" > < span class = "function-syntax" > Packaging::enter< / span > < / a > < span class = "plain-syntax" > (< / span > < a href = "1-in.html#SP7" class = "function-link" > < span class = "function-syntax" > InterNames::location< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > N< / span > < span class = "plain-syntax" > ));< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2022-01-14 01:49:42 +02:00
< span class = "reserved-syntax" > packaging_state< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Packaging::enter< / span > < button class = "popup" onclick = "togglePopup('usagePopup18')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup18" > Usage of < span class = "code-font" > < span class = "function-syntax" > Packaging::enter< / span > < / span > :< br / > < a href = "1-pck.html#SP12" > § 12< / a > < br / > Large-Scale Structure - < a href = "1-ls.html#SP6" > § 6< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > package_request< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOGIF< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PACKAGING< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "Entering $X\n"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > );< / span >
2022-01-10 01:00:15 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > packaging_state< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > save< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > for_tree< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > site< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > spdata< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > current_state< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < a href = "1-pck.html#SP14" class = "function-link" > < span class = "function-syntax" > Packaging::incarnate< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "1-pck.html#SP10" class = "function-link" > < span class = "function-syntax" > Packaging::set_state< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > for_tree< / span > < span class = "plain-syntax" > , & (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > write_position< / span > < span class = "plain-syntax" > ), < / span > < a href = "1-pck.html#SP8" class = "function-link" > < span class = "function-syntax" > Packaging::enclosure< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > for_tree< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_bookmark< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > bubble< / span > < span class = "plain-syntax" > = < / span > < a href = "1-pck.html#SP9" class = "function-link" > < span class = "function-syntax" > Packaging::push_IRS< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > for_tree< / span > < span class = "plain-syntax" > , < / span > < a href = "1-pck.html#SP11" class = "function-link" > < span class = "function-syntax" > Packaging::bubble< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > for_tree< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > < / span > < a href = "1-pck.html#SP10" class = "function-link" > < span class = "function-syntax" > Packaging::set_state< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > for_tree< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > bubble< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOGIF< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PACKAGING< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "[%d] Current enclosure is $X\n"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > for_tree< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > site< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > spdata< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > packaging_entry_sp< / span > < span class = "plain-syntax" > , < / span > < a href = "1-pck.html#SP8" class = "function-link" > < span class = "function-syntax" > Packaging::enclosure< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > for_tree< / span > < span class = "plain-syntax" > ));< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > save< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2022-01-14 01:49:42 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Packaging::exit< / span > < button class = "popup" onclick = "togglePopup('usagePopup19')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup19" > Usage of < span class = "code-font" > < span class = "function-syntax" > Packaging::exit< / span > < / span > :< br / > Large-Scale Structure - < a href = "1-ls.html#SP6" > § 6< / a > < br / > Producing Inter - < a href = "3-prd.html#SP3" > § 3< / a > , < a href = "3-prd.html#SP4" > § 4< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inter_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > packaging_state< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > save< / span > < span class = "plain-syntax" > ) {< / span >
2022-01-10 01:00:15 +02:00
< span class = "plain-syntax" > < / span > < a href = "1-pck.html#SP10" class = "function-link" > < span class = "function-syntax" > Packaging::set_state< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > save< / span > < span class = "plain-syntax" > .< / span > < span class = "identifier-syntax" > saved_IRS< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > save< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > saved_enclosure< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "1-pck.html#SP9" class = "function-link" > < span class = "function-syntax" > Packaging::pop_IRS< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOGIF< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PACKAGING< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "[%d] Back to $X\n"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > site< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > spdata< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > packaging_entry_sp< / span > < span class = "plain-syntax" > , < / span > < a href = "1-pck.html#SP8" class = "function-link" > < span class = "function-syntax" > Packaging::enclosure< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ));< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2019-04-20 02:28:48 +03:00
< / pre >
2022-01-10 01:00:15 +02:00
< p class = "commentary firstcommentary" > < a id = "SP14" class = "paragraph-anchor" > < / a > < b > § 14. Incarnation. < / b > The subtlety here is that if a package is incarnated, its parent must be
2019-04-20 12:51:59 +03:00
incarnated first, and we need to make sure that their bubbles do not lie
inside each other: if they did, material compiled to the parent and to the
child would end up interleaved, in a way which violates the Inter
specification.
< / p >
2019-04-20 02:28:48 +03:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2022-01-14 01:49:42 +02:00
< span class = "identifier-syntax" > inter_package< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > Packaging::incarnate< / span > < button class = "popup" onclick = "togglePopup('usagePopup20')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup20" > Usage of < span class = "code-font" > < span class = "function-syntax" > Packaging::incarnate< / span > < / span > :< br / > < a href = "1-pck.html#SP13" > § 13< / a > < br / > Large-Scale Structure - < a href = "1-ls.html#SP4" > § 4< / a > , < a href = "1-ls.html#SP5" > § 5< / a > , < a href = "1-ls.html#SP6" > § 6< / a > < br / > Inter Namespace - < a href = "1-in.html#SP7" > § 7< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > package_request< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > internal_error< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "can't incarnate null request"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > actual_package< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOGIF< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PACKAGING< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "Request to make incarnate $X\n"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > for_tree< / span > < span class = "plain-syntax" > ;< / span >
2022-01-10 01:00:15 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > package_request< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > = < / span > < a href = "1-pck.html#SP8" class = "function-link" > < span class = "function-syntax" > Packaging::enclosure< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ); < / span > < span class = "comment-syntax" > This will not change< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > parent_request< / span > < span class = "plain-syntax" > ) {< / span >
2022-01-10 01:00:15 +02:00
< span class = "plain-syntax" > < / span > < a href = "1-pck.html#SP14" class = "function-link" > < span class = "function-syntax" > Packaging::incarnate< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > parent_request< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_bookmark< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > save_IRS< / span > < span class = "plain-syntax" > = < / span > < a href = "1-pck.html#SP8" class = "function-link" > < span class = "function-syntax" > Packaging::at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "1-pck.html#SP10" class = "function-link" > < span class = "function-syntax" > Packaging::set_state< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , & (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > parent_request< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > write_position< / span > < span class = "plain-syntax" > ), < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_bookmark< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > package_bubble< / span > < span class = "plain-syntax" > = < / span > < a href = "1-pck.html#SP11" class = "function-link" > < span class = "function-syntax" > Packaging::bubble< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "1-pck.html#SP10" class = "function-link" > < span class = "function-syntax" > Packaging::set_state< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > package_bubble< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > actual_package< / span > < span class = "plain-syntax" > = < / span > < a href = "3-prd.html#SP2" class = "function-link" > < span class = "function-syntax" > Produce::package< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > eventual_name< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > eventual_type< / span > < span class = "plain-syntax" > );< / span >
2022-01-10 01:00:15 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > write_position< / span > < span class = "plain-syntax" > = < / span > < a href = "1-pck.html#SP11" class = "function-link" > < span class = "function-syntax" > Packaging::bubble< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "1-pck.html#SP10" class = "function-link" > < span class = "function-syntax" > Packaging::set_state< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > save_IRS< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > {< / span >
2022-01-10 01:00:15 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_bookmark< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > package_bubble< / span > < span class = "plain-syntax" > = < / span > < a href = "1-pck.html#SP11" class = "function-link" > < span class = "function-syntax" > Packaging::bubble< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > package_bubble< / span > < span class = "plain-syntax" > = < / span > < a href = "1-pck.html#SP11" class = "function-link" > < span class = "function-syntax" > Packaging::bubble< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_bookmark< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > save_IRS< / span > < span class = "plain-syntax" > = < / span > < a href = "1-pck.html#SP8" class = "function-link" > < span class = "function-syntax" > Packaging::at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "1-pck.html#SP10" class = "function-link" > < span class = "function-syntax" > Packaging::set_state< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > package_bubble< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > actual_package< / span > < span class = "plain-syntax" > = < / span > < a href = "3-prd.html#SP2" class = "function-link" > < span class = "function-syntax" > Produce::package< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > eventual_name< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > eventual_type< / span > < span class = "plain-syntax" > );< / span >
2022-01-10 01:00:15 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > write_position< / span > < span class = "plain-syntax" > = < / span > < a href = "1-pck.html#SP11" class = "function-link" > < span class = "function-syntax" > Packaging::bubble< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "1-pck.html#SP10" class = "function-link" > < span class = "function-syntax" > Packaging::set_state< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > save_IRS< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOGIF< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PACKAGING< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "Made incarnate $X bookmark $5\n"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > , & (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > write_position< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > actual_package< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2022-01-14 01:49:42 +02:00
< p class = "commentary firstcommentary" > < a id = "SP15" class = "paragraph-anchor" > < / a > < b > § 15. Functions. < / b > Inter code has a standard layout for functions: an outer, enclosing, package of type
2020-05-03 03:01:21 +03:00
< span class = "extract" > < span class = "extract-syntax" > _function< / span > < / span > , inside which is an iname < span class = "extract" > < span class = "extract-syntax" > call< / span > < / span > for the actual code to call. All such
2019-04-22 17:06:29 +03:00
functions are produced by the following routines:
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2022-01-16 01:49:25 +02:00
< span class = "reserved-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > Packaging::function< / span > < button class = "popup" onclick = "togglePopup('usagePopup21')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup21" > Usage of < span class = "code-font" > < span class = "function-syntax" > Packaging::function< / span > < / span > :< br / > Hierarchy Locations - < a href = "1-hl.html#SP14_2" > § 14.2< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inter_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > function_iname< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > temp_iname< / span > < span class = "plain-syntax" > ) {< / span >
2022-01-15 01:44:06 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > package_request< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > P< / span > < span class = "plain-syntax" > = < / span > < a href = "1-pck.html#SP3" class = "function-link" > < span class = "function-syntax" > Packaging::request< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > function_iname< / span > < span class = "plain-syntax" > , < / span > < a href = "1-ls.html#SP16" class = "function-link" > < span class = "function-syntax" > LargeScale::package_type< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "_function"< / span > < span class = "plain-syntax" > ));< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > iname< / span > < span class = "plain-syntax" > = < / span > < a href = "1-in.html#SP5" class = "function-link" > < span class = "function-syntax" > InterNames::explicitly_named< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "call"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > P< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > temp_iname< / span > < span class = "plain-syntax" > ) {< / span >
2020-06-28 01:18:54 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TEMPORARY_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > )< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "%n"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > temp_iname< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "3-prd.html#SP2" class = "function-link" > < span class = "function-syntax" > Produce::change_translation< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > iname< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > );< / span >
2020-06-28 01:18:54 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > DISCARD_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > )< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > iname< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2022-01-16 01:49:25 +02:00
< span class = "reserved-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > Packaging::function_text< / span > < button class = "popup" onclick = "togglePopup('usagePopup22')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup22" > Usage of < span class = "code-font" > < span class = "function-syntax" > Packaging::function_text< / span > < / span > :< br / > Hierarchy Locations - < a href = "1-hl.html#SP8_1_3" > § 8.1.3< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inter_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > function_iname< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > translation< / span > < span class = "plain-syntax" > ) {< / span >
2022-01-15 01:44:06 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > package_request< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > P< / span > < span class = "plain-syntax" > = < / span > < a href = "1-pck.html#SP3" class = "function-link" > < span class = "function-syntax" > Packaging::request< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > function_iname< / span > < span class = "plain-syntax" > , < / span > < a href = "1-ls.html#SP16" class = "function-link" > < span class = "function-syntax" > LargeScale::package_type< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "_function"< / span > < span class = "plain-syntax" > ));< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > iname< / span > < span class = "plain-syntax" > = < / span > < a href = "1-in.html#SP5" class = "function-link" > < span class = "function-syntax" > InterNames::explicitly_named< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "call"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > P< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > translation< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < a href = "3-prd.html#SP2" class = "function-link" > < span class = "function-syntax" > Produce::change_translation< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > iname< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > translation< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > iname< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2022-01-14 01:49:42 +02:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Packaging::housed_in_function< / span > < button class = "popup" onclick = "togglePopup('usagePopup23')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup23" > Usage of < span class = "code-font" > < span class = "function-syntax" > Packaging::housed_in_function< / span > < / span > :< br / > Producing Inter - < a href = "3-prd.html#SP3" > § 3< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inter_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > iname< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > iname< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > package_request< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > P< / span > < span class = "plain-syntax" > = < / span > < a href = "1-in.html#SP7" class = "function-link" > < span class = "function-syntax" > InterNames::location< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > iname< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > P< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
2022-01-15 01:44:06 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > P< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > eventual_type< / span > < span class = "plain-syntax" > == < / span > < a href = "1-ls.html#SP16" class = "function-link" > < span class = "function-syntax" > LargeScale::package_type< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "_function"< / span > < span class = "plain-syntax" > )) < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2022-01-14 01:49:42 +02:00
< p class = "commentary firstcommentary" > < a id = "SP16" class = "paragraph-anchor" > < / a > < b > § 16. < / b > Datum is very similar.
2019-04-22 17:06:29 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2022-01-16 01:49:25 +02:00
< span class = "reserved-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > Packaging::datum_text< / span > < button class = "popup" onclick = "togglePopup('usagePopup24')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup24" > Usage of < span class = "code-font" > < span class = "function-syntax" > Packaging::datum_text< / span > < / span > :< br / > Hierarchy Locations - < a href = "1-hl.html#SP8_1_3" > § 8.1.3< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inter_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > function_iname< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > translation< / span > < span class = "plain-syntax" > ) {< / span >
2022-01-15 01:44:06 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > package_request< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > P< / span > < span class = "plain-syntax" > = < / span > < a href = "1-pck.html#SP3" class = "function-link" > < span class = "function-syntax" > Packaging::request< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > function_iname< / span > < span class = "plain-syntax" > , < / span > < a href = "1-ls.html#SP16" class = "function-link" > < span class = "function-syntax" > LargeScale::package_type< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "_data"< / span > < span class = "plain-syntax" > ));< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > iname< / span > < span class = "plain-syntax" > = < / span > < a href = "1-in.html#SP5" class = "function-link" > < span class = "function-syntax" > InterNames::explicitly_named< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > translation< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > P< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > iname< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-04-22 17:06:29 +03:00
< / pre >
2020-05-03 03:01:21 +03:00
< nav role = "progress" > < div class = "progresscontainer" >
2022-01-15 01:44:06 +02:00
< ul class = "progressbar" > < li class = "progressprev" > < a href = "1-trn.html" > ❮ < / a > < / li > < li class = "progresschapter" > < a href = "P-wtmd.html" > P< / a > < / li > < li class = "progresscurrentchapter" > 1< / li > < li class = "progresssection" > < a href = "1-bm.html" > bm< / a > < / li > < li class = "progresssection" > < a href = "1-ls.html" > ls< / a > < / li > < li class = "progresssection" > < a href = "1-ip.html" > ip< / a > < / li > < li class = "progresssection" > < a href = "1-hl.html" > hl< / a > < / li > < li class = "progresssection" > < a href = "1-lr.html" > lr< / a > < / li > < li class = "progresssection" > < a href = "1-trn.html" > trn< / a > < / li > < li class = "progresscurrent" > pck< / li > < li class = "progresssection" > < a href = "1-in.html" > in< / a > < / li > < li class = "progresschapter" > < a href = "2-is.html" > 2< / a > < / li > < li class = "progresschapter" > < a href = "3-prd.html" > 3< / a > < / li > < li class = "progressnext" > < a href = "1-in.html" > ❯ < / a > < / li > < / ul > < / div >
2020-05-03 03:01:21 +03:00
< / nav > <!-- End of weave -->
2019-04-22 17:06:29 +03:00
2020-03-19 02:11:25 +02:00
< / main >
2019-03-17 14:40:57 +02:00
< / body >
< / html >
