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-08-02 21:04:24 +03:00
< title > Nonlocal Variables< / 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-05-09 01:13:45 +03:00
< link href = "../docs-assets/Preform-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-08-26 12:52:50 +03:00
< li > < a href = "../core-module/index.html" > core< / a > < / li >
< li > < a href = "../assertions-module/index.html" > assertions< / a > < / li >
2021-02-06 20:00:34 +02:00
< li > < a href = "../values-module/index.html" > values< / a > < / li >
< li > < a href = "index.html" > < span class = "selectedlink" > knowledge< / span > < / a > < / li >
2020-08-26 12:52:50 +03:00
< 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 >
2020-03-19 02:11:25 +02:00
< li > < a href = "../building-module/index.html" > building< / a > < / li >
< li > < a href = "../codegen-module/index.html" > codegen< / 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-20 01:36:18 +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-20 01:36:18 +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-20 01:36:18 +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-08-02 21:04:24 +03:00
<!-- Weave of 'Nonlocal Variables' generated by Inweb -->
2020-05-03 03:01:21 +03:00
< div class = "breadcrumbs" >
2021-02-12 00:53:43 +02:00
< ul class = "crumbs" > < li > < a href = "../index.html" > Home< / a > < / li > < li > < a href = "../compiler.html" > Inform7< / a > < / li > < li > < a href = "index.html" > knowledge< / a > < / li > < li > < a href = "index.html#2" > Chapter 2: Instances and Variables< / a > < / li > < li > < b > Nonlocal Variables< / b > < / li > < / ul > < / div >
2020-08-02 21:04:24 +03:00
< p class = "purpose" > To manage variables whose scope is wider than the current rule.< / p >
2019-03-17 14:40:57 +02:00
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP1" class = "paragraph-anchor" > < / a > < b > § 1. < / b > Though the following structure is rather cluttered, the idea is simple
2020-08-02 21:04:24 +03:00
enough: a non-local variable — it may be global, or may belong to a rulebook,
an action, or an activity — is like a property, but simpler. It belongs to
no particular object, so we don't need to worry about permissions for it to
exist; we can simply record inferences about its value.
2019-03-17 14:40:57 +02:00
< / p >
2020-06-29 22:08:47 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-02 21:04:24 +03:00
< 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" > nonlocal_variable_emission< / 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_name< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > iname_form< / 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" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > textual_form< / 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" > nothing_form< / 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" > stv_ID< / 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" > stv_index< / 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" > allow_outside< / 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" > use_own_iname< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > nonlocal_variable_emission< / span > < span class = "plain-syntax" > ;< / span >
2020-06-29 22:08:47 +03:00
2020-08-02 21:04:24 +03:00
< 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" > nonlocal_variable< / 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" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > name< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > text of the name< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv_created_at< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > sentence creating the variable< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > var_documentation_symbol< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > reference to manual, if any< / span >
2020-06-29 22:08:47 +03:00
2021-02-07 14:44:02 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > stacked_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > scope< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > where it exists, or < / span > < span class = "extract" > < span class = "extract-syntax" > NULL< / span > < / span > < span class = "comment-syntax" > for everywhere< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv_kind< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > what kind of value it holds< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > inference_subject< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv_knowledge< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > what we know about its initial value< / span >
2020-06-29 22:08:47 +03:00
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > constant_at_run_time< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > for instance, for "story title"< / span >
2020-06-29 22:08:47 +03:00
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > inference_subject< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > alias_to_infs< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > like "player" to "yourself"< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > housed_in_variables_array< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > i.e. < / span > < span class = "extract" > < span class = "extract-syntax" > FALSE< / span > < / span > < span class = "comment-syntax" > if stored elsewhere< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > var_is_initialisable_anyway< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > despite being stored elsewhere, that is< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > var_is_bibliographic< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > one of the bibliographic constants set at the end< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > var_is_allowed_to_be_zero< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > for an empty enumerated kind, despite non-safety< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv_iname< / 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" > nlv_name_translated< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > has this been given storage as an I6 variable?< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > nonlocal_variable_emission< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rvalue_nve< / 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" > nonlocal_variable_emission< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > lvalue_nve< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv_write_schema< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > or < / span > < span class = "extract" > < span class = "extract-syntax" > NULL< / span > < / span > < span class = "comment-syntax" > to assign to the L-value form< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > substitution_marker< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > to prevent infinite regress when substituting< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > CLASS_DEFINITION< / span >
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > ;< / span >
2020-06-29 22:08:47 +03:00
< / pre >
2021-02-13 01:46:18 +02:00
< ul class = "endnotetexts" > < li > The structure nonlocal_variable_emission is accessed in 4/vs and here.< / li > < li > The structure nonlocal_variable is accessed in 3/prp, 3/ep, 3/vp, 3/spr, 4/vs, 5/inf, 5/cmw and here.< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP2" class = "paragraph-anchor" > < / a > < b > § 2. < / b > These three special NLVs are used for the "notable" hacky Standard Rules
2020-08-02 21:04:24 +03:00
variables mentioned below:
2019-03-17 14:40:57 +02:00
< / p >
2020-07-31 13:24:59 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-02 21:04:24 +03:00
< span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > i6_glob_VAR< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > command_prompt_VAR< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > the command prompt text< / span >
< span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > parameter_object_VAR< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP3" class = "paragraph-anchor" > < / a > < b > § 3. < / b > We record the one most recently made:
2019-03-17 14:40:57 +02:00
< / p >
2020-08-02 21:04:24 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > latest_nonlocal_variable< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
2020-08-26 12:52:50 +03:00
< span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > NonlocalVariables::get_latest< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > latest_nonlocal_variable< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP4" class = "paragraph-anchor" > < / a > < b > § 4. < / b > These are variable names which Inform provides special support for; it
2020-08-02 21:04:24 +03:00
recognises the English names when they are defined by the Standard Rules. (So
there is no need to translate this to other languages.) The first two are
hacky constructs which only the SR should ever refer to.
2019-03-17 14:40:57 +02:00
< / p >
2020-05-09 01:13:45 +03:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
2020-08-02 21:04:24 +03:00
< span class = "Preform-function-syntax" > < notable-variables> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ::=< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > i6-varying-global< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > i6-nothing-constant< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > command< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > prompt< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > parameter-object< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-17 13:51:27 +03:00
< ul class = "endnotetexts" > < li > This is < a href = "../words-module/4-ap.html" class = "internal" > Preform grammar< / a > , not regular C code.< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP5" class = "paragraph-anchor" > < / a > < b > § 5. < / b > We can create a new variable provided we give its name, kind and scope.
2020-08-02 21:04:24 +03:00
When the scope isn't global, the variable is said to be "stacked", which is a
reference to how it's stored at run-time.
2019-03-17 14:40:57 +02:00
< / p >
2020-08-02 21:04:24 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-02-11 00:20:57 +02:00
< span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > NonlocalVariables::new_global< / 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" > NonlocalVariables::new_global< / span > < / span > :< br / > Assert Propositions - < a href = "1-ap.html#SP6_5_2" > § 6.5.2< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < span class = "constant-syntax" > PROTECTED_MODEL_PROCEDURE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < a href = "2-nv.html#SP6" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::new< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > );< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
2021-02-07 14:44:02 +02:00
< span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > NonlocalVariables::new_stacked< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > stacked_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > scope< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > scope< / 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" > "not a stacked nonlocal_variable at all"< / span > < span class = "plain-syntax" > );< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < a href = "2-nv.html#SP6" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::new< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > scope< / span > < span class = "plain-syntax" > );< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP6" class = "paragraph-anchor" > < / a > < b > § 6. < / b > < / p >
2019-03-17 14:40:57 +02:00
2020-08-02 21:04:24 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-02-12 15:33:19 +02:00
< span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > NonlocalVariables::new< / 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" > NonlocalVariables::new< / span > < / span > :< br / > < a href = "2-nv.html#SP5" > § 5< / a > , < a href = "2-nv.html#SP17" > § 17< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > stacked_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > scope< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K< / 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" > "created variable without kind"< / span > < span class = "plain-syntax" > );< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Kinds::Behaviour::definite< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ) < / span > < span class = "named-paragraph-container code-font" > < a href = "2-nv.html#SP6_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Issue problem message for an indefinite variable< / span > < span class = "named-paragraph-number" > 6.1< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2019-03-17 14:40:57 +02:00
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > CREATE< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > );< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-nv.html#SP6_3" class = "named-paragraph-link" > < span class = "named-paragraph" > Actually create the nonlocal variable< / span > < span class = "named-paragraph-number" > 6.3< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2019-03-17 14:40:57 +02:00
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > latest_nonlocal_variable< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ;< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-nv.html#SP6_2" class = "named-paragraph-link" > < span class = "named-paragraph" > Take note if the notable variables turn up here< / span > < span class = "named-paragraph-number" > 6.2< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Plugins::Call::new_variable_notify< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > );< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOGIF< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > VARIABLE_CREATIONS< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "Created non-library variable: $Z\n"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > );< / span >
2019-03-17 14:40:57 +02:00
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP6_1" class = "paragraph-anchor" > < / a > < b > § 6.1. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Issue problem message for an indefinite variable< / span > < span class = "named-paragraph-number" > 6.1< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +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" >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_wording< / span > < span class = "plain-syntax" > (1, < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > );< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_kind< / span > < span class = "plain-syntax" > (2, < / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > StandardProblems::handmade_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_IndefiniteVariable< / span > < span class = "plain-syntax" > ));< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::issue_problem_segment< / span > < span class = "plain-syntax" > (< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "I am unable to create the variable '%1', because its kind (%2) is too "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "vague. I need to know exactly what kind of value goes into each "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "variable: for instance, it's not enough to say 'L is a list of values "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "that varies', because I don't know what the entries have to be - 'L "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "is a list of numbers that varies' would be better."< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::issue_problem_end< / span > < span class = "plain-syntax" > ();< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-02-06 20:00:34 +02:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-nv.html#SP6" > § 6< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP6_2" class = "paragraph-anchor" > < / a > < b > § 6.2. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Take note if the notable variables turn up here< / span > < span class = "named-paragraph-number" > 6.2< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +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" >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "function-syntax" > < notable-variables> < / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > switch< / span > < span class = "plain-syntax" > (< / span > < span class = "function-syntax" > < < r> > < / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > i6_glob_VAR< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ; < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > i6_nothing_VAR< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ; < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 2< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > command_prompt_VAR< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ; < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 3< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > parameter_object_VAR< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ; < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
2021-02-06 20:00:34 +02:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-nv.html#SP6" > § 6< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP6_3" class = "paragraph-anchor" > < / a > < b > § 6.3. < / b > Note that we only register the name of the variable as a meaning if it's
2020-08-02 21:04:24 +03:00
global, because it otherwise may mean different things in different places.
The knowledge about a variable is initially just that it is certainly a
variable; this means it inherits from the inference subject representing
all variables, and that in turn is good because it means it gets permission
to have the "initial value" property.
< / p >
2020-08-09 20:39:31 +03:00
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Actually create the nonlocal variable< / span > < span class = "named-paragraph-number" > 6.3< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-08-02 21:04:24 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > var_documentation_symbol< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Index::DocReferences::position_of_symbol< / span > < span class = "plain-syntax" > (& < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nlv_created_at< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > current_sentence< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nlv_kind< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > rvalue_nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > textual_form< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Str::new< / span > < span class = "plain-syntax" > (); < / span > < span class = "comment-syntax" > we won't decide their run-time storage until later< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > rvalue_nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > iname_form< / 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" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > lvalue_nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > textual_form< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Str::new< / span > < span class = "plain-syntax" > ();< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > lvalue_nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > iname_form< / 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" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > housed_in_variables_array< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nlv_iname< / 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" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nlv_name_translated< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > alias_to_infs< / 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" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nlv_write_schema< / 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" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > constant_at_run_time< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > var_is_initialisable_anyway< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > var_is_allowed_to_be_zero< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > scope< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > scope< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > substitution_marker< / 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" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > Wordings::nonempty< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > )) & & (< / span > < span class = "identifier-syntax" > scope< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > )) < / span > < span class = "comment-syntax" > that is, if it's a global< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Nouns::new_proper_noun< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > NEUTER_GENDER< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > ADD_TO_LEXICON_NTOPT< / span > < span class = "plain-syntax" > ,< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > VARIABLE_MC< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Lvalues::new_actual_NONLOCAL_VARIABLE< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ), < / span > < span class = "identifier-syntax" > Task::language_of_syntax< / span > < span class = "plain-syntax" > ());< / span >
2021-02-12 15:33:19 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nlv_knowledge< / span > < span class = "plain-syntax" > = < / span > < a href = "4-vs.html#SP1" class = "function-link" > < span class = "function-syntax" > VariableSubjects::new< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > );< / span >
2020-08-02 21:04:24 +03:00
< / pre >
2021-02-06 20:00:34 +02:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-nv.html#SP6" > § 6< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP7" class = "paragraph-anchor" > < / a > < b > § 7. < / b > So much for creation; and here's how we log them:
2020-08-02 21:04:24 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
2021-02-06 20:00:34 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::log< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < a href = "2-nv.html#SP7" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::write< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > DL< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > );< / span >
2020-08-07 12:39:22 +03:00
< span class = "plain-syntax" > }< / span >
2020-08-26 12:52:50 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::write< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUTPUT_STREAM< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-07 12:39:22 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) { < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "< null variable> "< / span > < span class = "plain-syntax" > ); < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > ; }< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "'%W'(%s)"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > , (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > constant_at_run_time< / span > < span class = "plain-syntax" > )?< / span > < span class = "string-syntax" > "const"< / span > < span class = "plain-syntax" > :< / span > < span class = "string-syntax" > "var"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Kinds::Textual::write< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nlv_kind< / span > < span class = "plain-syntax" > );< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP8" class = "paragraph-anchor" > < / a > < b > § 8. < / b > It turns out to be convenient to have this routine around. Note that
2020-08-02 21:04:24 +03:00
parsing only picks up globals (see note on name registration above).
2020-05-03 03:01:21 +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" >
2021-02-07 14:44:02 +02:00
< span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > NonlocalVariables::parse< / 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" > NonlocalVariables::parse< / span > < / span > :< br / > < a href = "2-nv.html#SP9" > § 9< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Articles::remove_the< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "function-syntax" > < s-global-variable> < / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > val< / span > < span class = "plain-syntax" > = < / span > < span class = "function-syntax" > < < rp> > < / 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" > Node::get_constant_nonlocal_variable< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > val< / 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" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP9" class = "paragraph-anchor" > < / a > < b > § 9. < / b > We need the flexibility to store the variable's value in a range of
2020-08-02 21:04:24 +03:00
different ways at run-time. One way this is used is to allow the source
text (generally the Standard Rules) to say that an already-existing I6
variable should hold it:
2020-05-03 03:01:21 +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" >
2020-08-26 12:52:50 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::translates< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > p2< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > = < / span > < a href = "2-nv.html#SP8" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::parse< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > );< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) || (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > scope< / 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" > "Tried %W\n"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > );< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > StandardProblems::sentence_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_NonQuantityTranslated< / span > < span class = "plain-syntax" > ),< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "this is not the name of a variable"< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "or at any rate not one global in scope."< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nlv_name_translated< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > StandardProblems::sentence_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_QuantityTranslatedAlready< / span > < span class = "plain-syntax" > ),< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "this variable has already been translated"< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "so there must be some duplication somewhere."< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nlv_name_translated< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TEMPORARY_TEXT< / 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" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > name< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "%N"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Wordings::first_wn< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Node::get_text< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > p2< / 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" > name< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "nothing"< / span > < span class = "plain-syntax" > )) {< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < a href = "2-nv.html#SP10" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::set_I6_identifier< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > , < / span > < a href = "2-nv.html#SP10" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::nve_from_nothing< / span > < / a > < span class = "plain-syntax" > ());< / span >
< span class = "plain-syntax" > < / span > < a href = "2-nv.html#SP10" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::set_I6_identifier< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > , < / span > < a href = "2-nv.html#SP10" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::nve_from_nothing< / span > < / a > < 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 >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > as_iname< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Produce::find_by_name< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > name< / span > < span class = "plain-syntax" > );< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < a href = "2-nv.html#SP10" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::set_I6_identifier< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > , < / span > < a href = "2-nv.html#SP10" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::nve_from_iname< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > as_iname< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > < / span > < a href = "2-nv.html#SP10" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::set_I6_identifier< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > , < / span > < a href = "2-nv.html#SP10" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::nve_from_iname< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > as_iname< / span > < span class = "plain-syntax" > ));< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > DISCARD_TEXT< / 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" > LOGIF< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > VARIABLE_CREATIONS< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "Translated variable: $Z as %N\n"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Wordings::first_wn< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Node::get_text< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > p2< / span > < span class = "plain-syntax" > )));< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP10" class = "paragraph-anchor" > < / a > < b > § 10. < / b > In general, the following allows us to set the R-value and L-value forms
2020-08-02 21:04:24 +03:00
of the variable's storage. An R-value is the form of the variable on the
right-hand side of an assignment, that is, when we're reading it; an L-value
is the form used when we're setting it. Often these will be the same, but
not always.
2019-03-17 14:40:57 +02:00
< / p >
2020-08-02 21:04:24 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-02-12 15:33:19 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::set_I6_identifier< / 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" > NonlocalVariables::set_I6_identifier< / span > < / span > :< br / > < a href = "2-nv.html#SP9" > § 9< / a > , < a href = "2-nv.html#SP12" > § 12< / a > , < a href = "2-nv.html#SP17" > § 17< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > left< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > nonlocal_variable_emission< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Str::len< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > textual_form< / span > < span class = "plain-syntax" > ) > < / span > < span class = "constant-syntax" > 30< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > internal_error< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "name too long"< / 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" > nlv< / 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" > "null nlv"< / 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" > left< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > lvalue_nve< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > ; < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > rvalue_nve< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > housed_in_variables_array< / 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" > nonlocal_variable_emission< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::new_nve< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > nonlocal_variable_emission< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > iname_form< / 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" > nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > textual_form< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Str::new< / span > < span class = "plain-syntax" > ();< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > stv_ID< / span > < span class = "plain-syntax" > = -1;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > stv_index< / span > < span class = "plain-syntax" > = -1;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > allow_outside< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > use_own_iname< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > nothing_form< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2021-02-07 14:44:02 +02:00
< span class = "reserved-syntax" > nonlocal_variable_emission< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::nve_from_nothing< / 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" > NonlocalVariables::nve_from_nothing< / span > < / span > :< br / > < a href = "2-nv.html#SP9" > § 9< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > nonlocal_variable_emission< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > = < / span > < a href = "2-nv.html#SP10" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::new_nve< / span > < / a > < span class = "plain-syntax" > ();< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > textual_form< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "nothing"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > nothing_form< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2021-02-12 15:33:19 +02:00
< span class = "reserved-syntax" > nonlocal_variable_emission< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::nve_from_iname< / 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" > NonlocalVariables::nve_from_iname< / span > < / span > :< br / > < a href = "2-nv.html#SP9" > § 9< / a > , < a href = "2-nv.html#SP17" > § 17< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > iname< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > nonlocal_variable_emission< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > = < / span > < a href = "2-nv.html#SP10" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::new_nve< / span > < / a > < span class = "plain-syntax" > ();< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > iname_form< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > iname< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > textual_form< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "%n"< / span > < 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" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2021-02-07 14:44:02 +02:00
< span class = "reserved-syntax" > nonlocal_variable_emission< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::nve_from_mstack< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > N< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > index< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > allow_outside< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > nonlocal_variable_emission< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > = < / span > < a href = "2-nv.html#SP10" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::new_nve< / span > < / a > < span class = "plain-syntax" > ();< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > allow_outside< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > textual_form< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "(MStack--> MstVON(%d,%d))"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > N< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > index< / 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" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > textual_form< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "(MStack--> MstVO(%d,%d))"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > N< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > index< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > stv_ID< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > N< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > stv_index< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > index< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > allow_outside< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > allow_outside< / 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" > nve< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2021-02-07 14:44:02 +02:00
< span class = "reserved-syntax" > nonlocal_variable_emission< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::nve_from_pos< / 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" > NonlocalVariables::nve_from_pos< / span > < / span > :< br / > < a href = "2-nv.html#SP12" > § 12< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > nonlocal_variable_emission< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > = < / span > < a href = "2-nv.html#SP10" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::new_nve< / span > < / a > < span class = "plain-syntax" > ();< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > use_own_iname< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP11" class = "paragraph-anchor" > < / a > < b > § 11. < / b > Later, when we actually need to know where these are being stored, we assign
2020-08-02 21:04:24 +03:00
run-time locations to any variable without them:
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-02-12 15:33:19 +02:00
< span class = "identifier-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > NonlocalVariables::identifier< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Str::len< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > rvalue_nve< / span > < span class = "plain-syntax" > .< / span > < span class = "identifier-syntax" > textual_form< / span > < span class = "plain-syntax" > ) == < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < a href = "2-nv.html#SP12" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::allocate_storage< / span > < / a > < 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::len< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > rvalue_nve< / span > < span class = "plain-syntax" > .< / span > < span class = "identifier-syntax" > textual_form< / span > < span class = "plain-syntax" > ) == < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < span class = "named-paragraph-container code-font" > < a href = "2-nv.html#SP11_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Issue a missing meaning problem< / span > < span class = "named-paragraph-number" > 11.1< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > rvalue_nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > textual_form< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2021-02-06 20:00:34 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::emit_lvalue< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > lvalue_nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > iname_form< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::val_iname< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > K_value< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > lvalue_nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > iname_form< / span > < span class = "plain-syntax" > );< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > lvalue_nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > stv_ID< / span > < span class = "plain-syntax" > > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::inv_primitive< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > LOOKUP_BIP< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::down< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > ());< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::val_iname< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > K_value< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Hierarchy::find< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > MSTACK_HL< / 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" > ex< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > MSTVO_HL< / 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" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > lvalue_nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > allow_outside< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > ex< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > MSTVON_HL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::inv_call_iname< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > Hierarchy::find< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > ex< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::down< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > ());< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::val< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > K_number< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > LITERAL_IVAL< / span > < span class = "plain-syntax" > , (< / span > < span class = "identifier-syntax" > inter_ti< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > lvalue_nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > stv_ID< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::val< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > K_number< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > LITERAL_IVAL< / span > < span class = "plain-syntax" > , (< / span > < span class = "identifier-syntax" > inter_ti< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > lvalue_nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > stv_index< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::up< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > ());< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::up< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > ());< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > lvalue_nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > use_own_iname< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-12 15:33:19 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::val_iname< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > K_value< / span > < span class = "plain-syntax" > , < / span > < a href = "2-nv.html#SP25" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::iname< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ));< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > lvalue_nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > nothing_form< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::val_symbol< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > K_value< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Site::veneer_symbol< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > NOTHING_VSYMB< / span > < span class = "plain-syntax" > ));< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > internal_error< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "improperly formed nve"< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP11_1" class = "paragraph-anchor" > < / a > < b > § 11.1. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Issue a missing meaning problem< / span > < span class = "named-paragraph-number" > 11.1< / span > < / span > < span class = "comment-syntax" > =< / span >
2019-03-17 14:40:57 +02:00
< / p >
2020-08-02 21:04:24 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_source< / span > < span class = "plain-syntax" > (1, < / span > < span class = "identifier-syntax" > current_sentence< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_wording< / span > < span class = "plain-syntax" > (2, < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > );< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > StandardProblems::handmade_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > BelievedImpossible< / span > < span class = "plain-syntax" > ));< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::issue_problem_segment< / span > < span class = "plain-syntax" > (< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "The sentence %1 seems to need the value '%2', but that currently "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "has no definition."< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::issue_problem_end< / 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 = "string-syntax" > "self"< / span > < span class = "plain-syntax" > ;< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-02-06 20:00:34 +02:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-nv.html#SP11" > § 11< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP12" class = "paragraph-anchor" > < / a > < b > § 12. < / b > And the allocation is done here. Variables not stored anywhere else are
2020-08-02 21:04:24 +03:00
marked to be housed in an array, though it's really up to the code-generator
tp make that decision:
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-02-12 15:33:19 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::allocate_storage< / 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" > NonlocalVariables::allocate_storage< / span > < / span > :< br / > < a href = "2-nv.html#SP11" > § 11< / a > < br / > Variable Subjects - < a href = "4-vs.html#SP4" > § 4< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > var< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > var< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > nonlocal_variable< / 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::len< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > var< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > lvalue_nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > textual_form< / span > < span class = "plain-syntax" > ) == < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) || (< / span > < span class = "identifier-syntax" > Str::len< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > var< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > rvalue_nve< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > textual_form< / span > < span class = "plain-syntax" > ) == < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > )) & & < / span >
< span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > var< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > constant_at_run_time< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ) || (< / span > < span class = "identifier-syntax" > var< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > var_is_bibliographic< / span > < span class = "plain-syntax" > ))) {< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < a href = "2-nv.html#SP10" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::set_I6_identifier< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > var< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > , < / span > < a href = "2-nv.html#SP10" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::nve_from_pos< / span > < / a > < span class = "plain-syntax" > ());< / span >
< span class = "plain-syntax" > < / span > < a href = "2-nv.html#SP10" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::set_I6_identifier< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > var< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > , < / span > < a href = "2-nv.html#SP10" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::nve_from_pos< / span > < / a > < span class = "plain-syntax" > ());< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > var< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > housed_in_variables_array< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / 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 >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP13" class = "paragraph-anchor" > < / a > < b > § 13. < / b > In extreme cases, even that flexibility isn't enough. For example, the
2020-08-02 21:04:24 +03:00
"location" variable is rigged so that changing it causes code in the I6
template to be called, because the world model must be kept consistent when
the player character moves room. So it's even possible to set an explicit
I6 schema for how to change a variable:
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-02 21:04:24 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::set_write_schema< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > sch< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nlv_write_schema< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > sch< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2020-07-31 13:24:59 +03:00
2020-08-26 12:52:50 +03:00
< span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > NonlocalVariables::get_write_schema< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < a href = "2-nv.html#SP13" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::warn_about_change< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > );< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / 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" > 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" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nlv_write_schema< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2020-05-03 03:01:21 +03:00
2020-08-26 12:52:50 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::warn_about_change< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > ifdef< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > IF_MODULE< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > score_VAR< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > score_VAR< / span > < span class = "plain-syntax" > )) {< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > global_compilation_settings< / span > < span class = "plain-syntax" > .< / span > < span class = "identifier-syntax" > scoring_option_set< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ) || (< / span > < span class = "identifier-syntax" > global_compilation_settings< / span > < span class = "plain-syntax" > .< / span > < span class = "identifier-syntax" > scoring_option_set< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NOT_APPLICABLE< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > StandardProblems::sentence_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_CantChangeScore< / span > < span class = "plain-syntax" > ),< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "this is a story with no scoring"< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "so it makes no sense to change the 'score' value. You can add "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "scoring to the story by including the sentence 'Use scoring.', "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "in which case this problem message will go away; or you can "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "remove it with 'Use no scoring.' (Until 2011, the default was "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "to have scoring, but now it's not to have scoring.)"< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > endif< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-02-12 15:33:19 +02:00
< p class = "commentary firstcommentary" > < a id = "SP14" class = "paragraph-anchor" > < / a > < b > § 14. < / b > So, as we've seen, each variable is an inference subject. The initial knowledge
2020-08-02 21:04:24 +03:00
about it is that it's a variable, and as such, has permission to have the
"variable initial value" property. So:
2020-05-03 03:01:21 +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" >
2021-02-12 15:33:19 +02:00
< span class = "reserved-syntax" > inference_subject< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > NonlocalVariables::to_subject< / 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" > NonlocalVariables::to_subject< / span > < / span > :< br / > < a href = "2-nv.html#SP18" > § 18< / a > < br / > Variable Subjects - < a href = "4-vs.html#SP2" > § 2< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / 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" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nlv_knowledge< / span > < span class = "plain-syntax" > ;< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > }< / span >
2020-05-03 03:01:21 +03:00
2020-08-02 21:04:24 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::allow_to_be_zero< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > var_is_allowed_to_be_zero< / 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 >
2019-03-17 14:40:57 +02:00
< / pre >
2021-02-12 15:33:19 +02:00
< p class = "commentary firstcommentary" > < a id = "SP15" class = "paragraph-anchor" > < / a > < b > § 15. < / b > Now for some basic properties:
2019-03-17 14:40:57 +02:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-02-12 15:33:19 +02:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::is_global< / 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" > NonlocalVariables::is_global< / span > < / span > :< br / > < a href = "2-nv.html#SP24" > § 24< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > scope< / span > < span class = "plain-syntax" > ) < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2020-08-02 21:04:24 +03:00
< / pre >
2021-02-12 15:33:19 +02:00
< p class = "commentary firstcommentary" > < a id = "SP16" class = "paragraph-anchor" > < / a > < b > § 16. < / b > The kind can in fact be changed after creation, though this never happens
2020-08-02 21:04:24 +03:00
to variables declared in source text: it allows us to have a few globals which
are reused for different purposes and are typeless.
< / p >
2020-05-03 03:01:21 +03:00
2020-08-02 21:04:24 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-02-12 15:33:19 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::set_kind< / 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" > NonlocalVariables::set_kind< / span > < / span > :< br / > < a href = "2-nv.html#SP17" > § 17< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / 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" > "set kind for null variable"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nlv_kind< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2021-02-12 15:33:19 +02:00
< span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > NonlocalVariables::kind< / 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" > NonlocalVariables::kind< / span > < / span > :< br / > Variable Subjects - < a href = "4-vs.html#SP3" > § 3< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / 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" > 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" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nlv_kind< / 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 >
2021-02-12 15:33:19 +02:00
< p class = "commentary firstcommentary" > < a id = "SP17" class = "paragraph-anchor" > < / a > < b > § 17. < / b > Here's an example of that kind-setting in action:
2020-05-03 03:01:21 +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" >
2020-08-02 21:04:24 +03:00
< span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > NonlocalVariables::temporary_from_iname< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > temp_iname< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < a href = "2-nv.html#SP10" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::set_I6_identifier< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > i6_glob_VAR< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > , < / span > < a href = "2-nv.html#SP10" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::nve_from_iname< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > temp_iname< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > < / span > < a href = "2-nv.html#SP10" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::set_I6_identifier< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > i6_glob_VAR< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > , < / span > < a href = "2-nv.html#SP10" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::nve_from_iname< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > temp_iname< / span > < span class = "plain-syntax" > ));< / span >
2021-02-12 15:33:19 +02:00
< span class = "plain-syntax" > < / span > < a href = "2-nv.html#SP16" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::set_kind< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > i6_glob_VAR< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > );< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > i6_glob_VAR< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2020-05-03 03:01:21 +03:00
2020-08-02 21:04:24 +03:00
< span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > NonlocalVariables::temporary_from_nve< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > nonlocal_variable_emission< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < a href = "2-nv.html#SP10" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::set_I6_identifier< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > i6_glob_VAR< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-nv.html#SP10" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::set_I6_identifier< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > i6_glob_VAR< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > nve< / span > < span class = "plain-syntax" > );< / span >
2021-02-12 15:33:19 +02:00
< span class = "plain-syntax" > < / span > < a href = "2-nv.html#SP16" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::set_kind< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > i6_glob_VAR< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > );< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > i6_glob_VAR< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2020-05-03 03:01:21 +03:00
2020-08-02 21:04:24 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > formal_par_vars_made< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > formal_par_VAR< / span > < span class = "plain-syntax" > [8];< / span >
2020-08-26 12:52:50 +03:00
< span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > NonlocalVariables::temporary_formal< / 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" > ) {< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > formal_par_vars_made< / 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" > 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" > < 8; < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ++) {< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > formal_par_VAR< / span > < span class = "plain-syntax" > [< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ] = < / span > < a href = "2-nv.html#SP6" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::new< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > EMPTY_WORDING< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_object< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > );< / span >
2021-02-12 15:33:19 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > iname< / span > < span class = "plain-syntax" > = < / span > < a href = "2-nv.html#SP17" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::formal_par< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > );< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > formal_par_VAR< / span > < span class = "plain-syntax" > [< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ]-> < / span > < span class = "element-syntax" > nlv_iname< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > iname< / span > < span class = "plain-syntax" > ;< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < a href = "2-nv.html#SP10" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::set_I6_identifier< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > formal_par_VAR< / span > < span class = "plain-syntax" > [< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ], < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > , < / span > < a href = "2-nv.html#SP10" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::nve_from_iname< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > iname< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > < / span > < a href = "2-nv.html#SP10" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::set_I6_identifier< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > formal_par_VAR< / span > < span class = "plain-syntax" > [< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ], < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > , < / span > < a href = "2-nv.html#SP10" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::nve_from_iname< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > iname< / span > < span class = "plain-syntax" > ));< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > formal_par_vars_made< / 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 >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > formal_par_VAR< / span > < 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" > nlv< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2020-05-03 03:01:21 +03:00
2020-08-26 12:52:50 +03:00
< span class = "identifier-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > NonlocalVariables::formal_par< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > n< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > switch< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > n< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > : < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Hierarchy::find< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > formal_par0_HL< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > : < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Hierarchy::find< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > formal_par1_HL< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 2< / span > < span class = "plain-syntax" > : < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Hierarchy::find< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > formal_par2_HL< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 3< / span > < span class = "plain-syntax" > : < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Hierarchy::find< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > formal_par3_HL< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 4< / span > < span class = "plain-syntax" > : < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Hierarchy::find< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > formal_par4_HL< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 5< / span > < span class = "plain-syntax" > : < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Hierarchy::find< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > formal_par5_HL< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 6< / span > < span class = "plain-syntax" > : < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Hierarchy::find< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > formal_par6_HL< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 7< / span > < span class = "plain-syntax" > : < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Hierarchy::find< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > formal_par7_HL< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > internal_error< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "bad formal par number"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-02-12 15:33:19 +02:00
< p class = "commentary firstcommentary" > < a id = "SP18" class = "paragraph-anchor" > < / a > < b > § 18. < / b > This is a curiosity, used to force the textual contents of a bibliographic
2020-08-02 21:04:24 +03:00
data variable (such as "story title") to be treated as text.
2020-05-03 03:01:21 +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" >
2020-08-02 21:04:24 +03:00
< span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::treat_as_plain_text_word< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > inference< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > ;< / span >
2021-02-12 15:33:19 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > inference_subject< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > infs< / span > < span class = "plain-syntax" > = < / span > < a href = "2-nv.html#SP14" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::to_subject< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > );< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > POSITIVE_KNOWLEDGE_LOOP< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > infs< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > PROPERTY_INF< / span > < span class = "plain-syntax" > )< / span >
2021-02-12 00:53:43 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "5-inf.html#SP9" class = "function-link" > < span class = "function-syntax" > World::Inferences::get_property< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > P_variable_initial_value< / span > < span class = "plain-syntax" > )< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Node::get_text< / span > < span class = "plain-syntax" > (< / span >
2021-02-12 00:53:43 +02:00
< span class = "plain-syntax" > < / span > < a href = "5-inf.html#SP9" class = "function-link" > < span class = "function-syntax" > World::Inferences::set_property_value_kind< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_text< / span > < span class = "plain-syntax" > ));< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > EMPTY_WORDING< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
2021-02-12 15:33:19 +02:00
< p class = "commentary firstcommentary" > < a id = "SP19" class = "paragraph-anchor" > < / a > < b > § 19. < / b > "Constant" means that no change is permitted at run-time; "initialisable"
2020-08-02 21:04:24 +03:00
means that a value can be set by an assertion in the source text.
< / p >
2020-05-03 03:01:21 +03:00
2020-08-02 21:04:24 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-02-12 15:33:19 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::make_constant< / 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" > NonlocalVariables::make_constant< / span > < / span > :< br / > Assert Propositions - < a href = "1-ap.html#SP6_5_2" > § 6.5.2< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > bib< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / 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 such var"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > constant_at_run_time< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > var_is_initialisable_anyway< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > var_is_bibliographic< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > bib< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2020-05-03 03:01:21 +03:00
2020-08-02 21:04:24 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::make_initalisable< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > var_is_initialisable_anyway< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2020-05-03 03:01:21 +03:00
2021-02-06 20:00:34 +02:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::is_constant< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / 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 such var"< / 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" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > constant_at_run_time< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2020-05-03 03:01:21 +03:00
2020-08-26 12:52:50 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::must_be_constant< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > constant_at_run_time< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > StandardProblems::sentence_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_CantChangeConstants< / span > < span class = "plain-syntax" > ),< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "this is a name for a value which never changes during the story"< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "so it can't be altered with 'now'."< / 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" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2020-08-02 21:04:24 +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 >
2021-02-12 15:33:19 +02:00
< p class = "commentary firstcommentary" > < a id = "SP20" class = "paragraph-anchor" > < / a > < b > § 20. < / b > Substitution is the process of replacing a constant variable with its value,
2020-08-02 21:04:24 +03:00
and leaving everything else alone.
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > substitution_session_id< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
2021-02-12 15:33:19 +02:00
< span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > NonlocalVariables::substitute_constants< / 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" > NonlocalVariables::substitute_constants< / span > < / span > :< br / > < a href = "2-nv.html#SP22" > § 22< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > spec< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > depth< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > substitution_session_id< / 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" > TRUE< / 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" > depth< / span > < span class = "plain-syntax" > ++ > < / span > < span class = "constant-syntax" > 20< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > internal_error< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "ill-founded constants"< / span > < span class = "plain-syntax" > );< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Lvalues::get_nonlocal_variable_if_any< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > spec< / span > < span class = "plain-syntax" > );< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > constant_at_run_time< / 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" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > substitution_marker< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > substitution_session_id< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_source< / span > < span class = "plain-syntax" > (1, < / span > < span class = "identifier-syntax" > current_sentence< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_wording< / span > < span class = "plain-syntax" > (2, < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > );< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_kind< / span > < span class = "plain-syntax" > (3, < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nlv_kind< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > StandardProblems::handmade_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_MeaningRecursive< / span > < span class = "plain-syntax" > ));< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::issue_problem_segment< / span > < span class = "plain-syntax" > (< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "The sentence %1 tells me that '%2', which should be %3 "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "that varies, is to have an initial value which can't "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "be worked out without going round in circles."< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::issue_problem_end< / span > < span class = "plain-syntax" > ();< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > substitution_marker< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > substitution_session_id< / span > < span class = "plain-syntax" > ;< / span >
2021-02-12 15:33:19 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > sspec< / span > < span class = "plain-syntax" > = < / span > < a href = "4-vs.html#SP2" class = "function-link" > < span class = "function-syntax" > VariableSubjects::get_initial_value< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > );< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Node::is< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > sspec< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > UNKNOWN_NT< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ) { < / span > < span class = "identifier-syntax" > spec< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > sspec< / span > < span class = "plain-syntax" > ; < / span > < span class = "reserved-syntax" > continue< / span > < span class = "plain-syntax" > ; }< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > spec< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-02-12 15:33:19 +02:00
< p class = "commentary firstcommentary" > < a id = "SP21" class = "paragraph-anchor" > < / a > < b > § 21. < / b > From the point of view of computer science, aliasing is a terrible thing.
2020-08-02 21:04:24 +03:00
This is the ability to tie the name of a variable to that of something
else, and is motivated by the existence of nouns in English which are
neither quite proper nor common; "the player" in Inform is an example.
2020-05-03 03:01:21 +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" >
2021-02-12 15:33:19 +02:00
< span class = "reserved-syntax" > inference_subject< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > NonlocalVariables::get_alias< / 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" > NonlocalVariables::get_alias< / span > < / span > :< br / > Assert Propositions - < a href = "1-ap.html#SP9" > § 9< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-12 15:33:19 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > val< / span > < span class = "plain-syntax" > = < / span > < a href = "4-vs.html#SP2" class = "function-link" > < span class = "function-syntax" > VariableSubjects::get_initial_value< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > );< / span >
2021-02-12 00:53:43 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > inference_subject< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > vals< / span > < span class = "plain-syntax" > = < / span > < a href = "4-is.html#SP13" class = "function-link" > < span class = "function-syntax" > InferenceSubjects::from_specification< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > val< / span > < span class = "plain-syntax" > );< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > vals< / span > < span class = "plain-syntax" > ) < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > vals< / 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" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > alias_to_infs< / 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" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2021-02-06 20:00:34 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::set_alias< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > inference_subject< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > infs< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > alias_to_infs< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > infs< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-02-12 15:33:19 +02:00
< p class = "commentary firstcommentary" > < a id = "SP22" class = "paragraph-anchor" > < / a > < b > § 22. < / b > The following routine compiles the correct initial value for the given
2020-08-02 21:04:24 +03:00
variable. If it has no known initial value, it is given the initial
value for its kind where possible: note that this may not be possible
if the source text says something like
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-08-02 21:04:24 +03:00
< blockquote >
< p > Thickness is a kind of value. The carpet nap is a thickness that varies.< / p >
< / blockquote >
< p class = "commentary" > without specifying any thicknesses: the set of legal thickness values
is empty, so the carpet nap variable cannot be created in a way
which makes its kind safe. Hence the error messages.
2020-05-03 03:01:21 +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" >
2020-08-02 21:04:24 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::emit_initial_value< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > value_holster< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Holsters::new< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > INTER_DATA_VHMODE< / span > < span class = "plain-syntax" > );< / span >
2021-02-12 15:33:19 +02:00
< span class = "plain-syntax" > < / span > < a href = "2-nv.html#SP22" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::compile_initial_value_vh< / span > < / a > < span class = "plain-syntax" > (& < / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > );< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_ti< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > v1< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > v2< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Holsters::unholster_pair< / span > < span class = "plain-syntax" > (& < / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > v1< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > v2< / span > < span class = "plain-syntax" > );< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Emit::array_generic_entry< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > v1< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > v2< / span > < span class = "plain-syntax" > );< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > }< / span >
2020-05-03 03:01:21 +03:00
2021-02-07 14:44:02 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::emit_initial_value_as_val< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > value_holster< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Holsters::new< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > INTER_VAL_VHMODE< / span > < span class = "plain-syntax" > );< / span >
2021-02-12 15:33:19 +02:00
< span class = "plain-syntax" > < / span > < a href = "2-nv.html#SP22" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::compile_initial_value_vh< / span > < / a > < span class = "plain-syntax" > (& < / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > );< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Holsters::to_val_mode< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > (), & < / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2021-02-12 15:33:19 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::seek_initial_value< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > iname< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > inter_ti< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > v1< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > inter_ti< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > v2< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > ival_emission< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > IE< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Emit::begin_ival_emission< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > iname< / span > < span class = "plain-syntax" > );< / span >
2021-02-12 15:33:19 +02:00
< span class = "plain-syntax" > < / span > < a href = "2-nv.html#SP22" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::compile_initial_value_vh< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::ival_holster< / span > < span class = "plain-syntax" > (& < / span > < span class = "identifier-syntax" > IE< / span > < span class = "plain-syntax" > ), < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > );< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Emit::end_ival_emission< / span > < span class = "plain-syntax" > (& < / span > < span class = "identifier-syntax" > IE< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > v1< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > v2< / 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
2020-08-02 21:04:24 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::compile_initial_value_vh< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > value_holster< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > val< / span > < span class = "plain-syntax" > =< / span >
2021-02-12 15:33:19 +02:00
< span class = "plain-syntax" > < / span > < a href = "2-nv.html#SP20" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::substitute_constants< / span > < / a > < span class = "plain-syntax" > (< / span >
< span class = "plain-syntax" > < / span > < a href = "4-vs.html#SP2" class = "function-link" > < span class = "function-syntax" > VariableSubjects::get_initial_value< / span > < / a > < span class = "plain-syntax" > (< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Node::is< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > val< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > UNKNOWN_NT< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > current_sentence< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nlv_created_at< / span > < span class = "plain-syntax" > ;< / span >
2021-02-12 15:33:19 +02:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-nv.html#SP22_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Initialise with the default value of its kind< / span > < span class = "named-paragraph-number" > 22.1< / span > < / a > < / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > {< / span >
2021-02-12 15:33:19 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > current_sentence< / span > < span class = "plain-syntax" > = < / span > < a href = "4-vs.html#SP2" class = "function-link" > < span class = "function-syntax" > VariableSubjects::origin_of_initial_value< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > );< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Lvalues::get_storage_form< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > val< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > NONLOCAL_VARIABLE_NT< / span > < span class = "plain-syntax" > )< / span >
2021-02-12 15:33:19 +02:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-nv.html#SP22_2" class = "named-paragraph-link" > < span class = "named-paragraph" > Issue a problem for one variable set equal to another< / span > < span class = "named-paragraph-number" > 22.2< / span > < / a > < / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Specifications::Compiler::compile_constant_to_kind_vh< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > val< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nlv_kind< / span > < span class = "plain-syntax" > );< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-02-12 15:33:19 +02:00
< p class = "commentary firstcommentary" > < a id = "SP22_1" class = "paragraph-anchor" > < / a > < b > § 22.1. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Initialise with the default value of its kind< / span > < span class = "named-paragraph-number" > 22.1< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-08-02 21:04:24 +03:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-02-12 15:33:19 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > RTKinds::compile_default_value_vh< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nlv_kind< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "variable"< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > var_is_allowed_to_be_zero< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Holsters::holster_pair< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > LITERAL_IVAL< / 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" > else< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Kinds::Behaviour::get_name< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nlv_kind< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_wording< / span > < span class = "plain-syntax" > (1, < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_wording< / span > < span class = "plain-syntax" > (2, < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > );< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > StandardProblems::handmade_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_EmptyDataType< / span > < span class = "plain-syntax" > ));< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::issue_problem_segment< / span > < span class = "plain-syntax" > (< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "I am unable to put any value into the variable '%1', because "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "%2 is a kind of value with no actual values."< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::issue_problem_end< / span > < span class = "plain-syntax" > ();< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
2021-02-12 15:33:19 +02:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-nv.html#SP22" > § 22< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP22_2" class = "paragraph-anchor" > < / a > < b > § 22.2. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Issue a problem for one variable set equal to another< / span > < span class = "named-paragraph-number" > 22.2< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-08-02 21:04:24 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > the_other< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Node::get_constant_nonlocal_variable< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > val< / 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" > the_other< / 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 = "plain-syntax" > < / span > < span class = "string-syntax" > "Tried to compile initial value of variable as null variable"< / 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" > the_other< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_source< / span > < span class = "plain-syntax" > (1, < / span > < span class = "identifier-syntax" > current_sentence< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_wording< / span > < span class = "plain-syntax" > (2, < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > );< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_kind< / span > < span class = "plain-syntax" > (3, < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nlv_kind< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > StandardProblems::handmade_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_InitialiseQ2< / span > < span class = "plain-syntax" > ));< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::issue_problem_segment< / span > < span class = "plain-syntax" > (< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "The sentence %1 tells me that '%2', which should be %3 "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "that varies, is to have an initial value equal to itself - "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "this is such an odd thing to say that I think I must have "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "misunderstood."< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::issue_problem_end< / span > < span class = "plain-syntax" > ();< / span >
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_source< / span > < span class = "plain-syntax" > (1, < / span > < span class = "identifier-syntax" > current_sentence< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_wording< / span > < span class = "plain-syntax" > (2, < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > );< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_kind< / span > < span class = "plain-syntax" > (3, < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nlv_kind< / span > < span class = "plain-syntax" > );< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_wording< / span > < span class = "plain-syntax" > (4, < / span > < span class = "identifier-syntax" > the_other< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > );< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_kind< / span > < span class = "plain-syntax" > (5, < / span > < span class = "identifier-syntax" > the_other< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nlv_kind< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > StandardProblems::handmade_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_InitialiseQ1< / span > < span class = "plain-syntax" > ));< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::issue_problem_segment< / span > < span class = "plain-syntax" > (< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "The sentence %1 tells me that '%2', which should be %3 "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "that varies, is to have an initial value equal to '%4', "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "which in turn is %5 that varies. At the start of play, "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "variable values have to be set equal to definite constants, "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "so this is not allowed."< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::issue_problem_end< / 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 >
2021-02-12 15:33:19 +02:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-nv.html#SP22" > § 22< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP23" class = "paragraph-anchor" > < / a > < b > § 23. < / b > The index of all the global variables doesn't actually include all of them,
2020-08-02 21:04:24 +03:00
because there are "K understood" variables for every kind which can be
understood, and a list of those would be tediously repetitive — it would
duplicate most of the list of base kinds. So the index shows just one such
variable. Inform recognises these variables by parsing their names against
the following:
< / p >
2019-03-17 14:40:57 +02:00
2020-05-09 01:13:45 +03:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
2020-08-02 21:04:24 +03:00
< span class = "Preform-function-syntax" > < value-understood-variable-name> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ::=< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-kind> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > understood< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-17 13:51:27 +03:00
< ul class = "endnotetexts" > < li > This is < a href = "../words-module/4-ap.html" class = "internal" > Preform grammar< / a > , not regular C code.< / li > < / ul >
2021-02-12 15:33:19 +02:00
< p class = "commentary firstcommentary" > < a id = "SP24" class = "paragraph-anchor" > < / a > < b > § 24. < / b > And here is the indexing code:
2020-08-02 21:04:24 +03:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-02 21:04:24 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::index_all< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUTPUT_STREAM< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > heading< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > definition_area< / span > < span class = "plain-syntax" > , *< / span > < span class = "identifier-syntax" > current_area< / 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" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Index::anchor< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "NAMES"< / 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" > understood_note_given< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > )< / span >
2021-02-12 15:33:19 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > Wordings::first_wn< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > ) > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) & & (< / span > < a href = "2-nv.html#SP15" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::is_global< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ))) {< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "function-syntax" > < value-understood-variable-name> (nlv-> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > ))< / span >
2021-02-12 15:33:19 +02:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-nv.html#SP24_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Index a K understood variable< / span > < span class = "named-paragraph-number" > 24.1< / span > < / a > < / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span >
2021-02-12 15:33:19 +02:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-nv.html#SP24_2" class = "named-paragraph-link" > < span class = "named-paragraph" > Index a regular variable< / span > < span class = "named-paragraph-number" > 24.2< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / 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 >
2021-02-12 15:33:19 +02:00
< p class = "commentary firstcommentary" > < a id = "SP24_1" class = "paragraph-anchor" > < / a > < b > § 24.1. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Index a K understood variable< / span > < span class = "named-paragraph-number" > 24.1< / span > < / span > < span class = "comment-syntax" > =< / span >
2019-03-17 14:40:57 +02:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > understood_note_given< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > understood_note_given< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "< i> kind< /i> understood - < i> value< /i> "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_TAG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "br"< / 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 >
2021-02-12 15:33:19 +02:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-nv.html#SP24" > § 24< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP24_2" class = "paragraph-anchor" > < / a > < b > § 24.2. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Index a regular variable< / span > < span class = "named-paragraph-number" > 24.2< / span > < / span > < span class = "comment-syntax" > =< / span >
2019-03-17 14:40:57 +02:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > definition_area< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Headings::of_wording< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / 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" > Headings::indexed< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > definition_area< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ) < / span > < span class = "reserved-syntax" > continue< / 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" > definition_area< / span > < span class = "plain-syntax" > != < / span > < span class = "identifier-syntax" > current_area< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Headings::get_text< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > definition_area< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Wordings::nonempty< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > Phrases::Index::index_definition_area< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > );< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > current_area< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > definition_area< / span > < span class = "plain-syntax" > ;< / span >
2021-02-12 15:33:19 +02:00
< span class = "plain-syntax" > < / span > < a href = "2-nv.html#SP25" class = "function-link" > < span class = "function-syntax" > NonlocalVariables::index_single< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > );< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_TAG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "br"< / span > < span class = "plain-syntax" > );< / span >
< / pre >
2021-02-12 15:33:19 +02:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-nv.html#SP24" > § 24< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP25" class = "paragraph-anchor" > < / a > < b > § 25. < / b > < / p >
2020-08-02 21:04:24 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-02-12 15:33:19 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > NonlocalVariables::index_single< / 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" > NonlocalVariables::index_single< / span > < / span > :< br / > < a href = "2-nv.html#SP24_2" > § 24.2< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUTPUT_STREAM< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-02 21:04:24 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "%+W"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Index::link< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Wordings::first_wn< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / 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" > Wordings::nonempty< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > var_documentation_symbol< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TEMPORARY_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > ixt< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > ixt< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "%+W"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Wordings::one_word< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Wordings::first_wn< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > var_documentation_symbol< / span > < span class = "plain-syntax" > )));< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Index::DocReferences::link< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > ixt< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > DISCARD_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > ixt< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > " - < i> "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Kinds::Textual::write< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nlv_kind< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "< /i> "< / span > < span class = "plain-syntax" > );< / span >
2020-05-11 21:14:00 +03:00
< span class = "plain-syntax" > }< / span >
2021-02-12 15:33:19 +02:00
< span class = "identifier-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > NonlocalVariables::iname< / 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" > NonlocalVariables::iname< / span > < / span > :< br / > < a href = "2-nv.html#SP11" > § 11< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nlv< / 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" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nlv_iname< / 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" > package_request< / 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" > Hierarchy::package< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > CompilationUnits::find< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nlv_created_at< / span > < span class = "plain-syntax" > ), < / span > < span class = "identifier-syntax" > VARIABLES_HAP< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Hierarchy::markup_wording< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > VARIABLE_NAME_HMD< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nlv_iname< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Hierarchy::make_iname_with_memo< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > VARIABLE_HL< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / 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" > nlv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nlv_iname< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2020-05-11 21:14:00 +03:00
< / pre >
2020-05-03 03:01:21 +03:00
< nav role = "progress" > < div class = "progresscontainer" >
2021-02-13 01:46:18 +02:00
< ul class = "progressbar" > < li class = "progressprev" > < a href = "2-oi.html" > ❮ < / a > < / li > < li class = "progresschapter" > < a href = "P-wtmd.html" > P< / a > < / li > < li class = "progresschapter" > < a href = "1-km.html" > 1< / a > < / li > < li class = "progresscurrentchapter" > 2< / li > < li class = "progresssection" > < a href = "2-ins.html" > ins< / a > < / li > < li class = "progresssection" > < a href = "2-iaa.html" > iaa< / a > < / li > < li class = "progresssection" > < a href = "2-pfi.html" > pfi< / a > < / li > < li class = "progresssection" > < a href = "2-oi.html" > oi< / a > < / li > < li class = "progresscurrent" > nv< / li > < li class = "progresschapter" > < a href = "3-prp.html" > 3< / a > < / li > < li class = "progresschapter" > < a href = "4-is.html" > 4< / a > < / li > < li class = "progresschapter" > < a href = "5-pp.html" > 5< / a > < / li > < li class = "progressnext" > < a href = "3-prp.html" > ❯ < / a > < / li > < / ul > < / div >
2020-05-03 03:01:21 +03:00
< / nav > <!-- End of weave -->
2019-03-17 14:40:57 +02:00
2020-03-19 02:11:25 +02:00
< / main >
2019-03-17 14:40:57 +02:00
< / body >
< / html >
