2019-03-17 14:40:57 +02:00
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
< html >
< head >
2020-04-14 19:56:54 +03:00
< title > Describing Kinds< / 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 15:07:39 +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-03-19 02:11:25 +02:00
< li > < a href = "../core-module/index.html" > core< / a > < / li >
2020-08-27 17:50:24 +03:00
< li > < a href = "../assertions-module/index.html" > assertions< / a > < / li >
< li > < a href = "../values-module/index.html" > values< / a > < / li >
< li > < a href = "../knowledge-module/index.html" > knowledge< / a > < / li >
< li > < a href = "../imperative-module/index.html" > imperative< / a > < / li >
< li > < a href = "../runtime-module/index.html" > runtime< / a > < / li >
2020-03-19 02:11:25 +02:00
< li > < a href = "../if-module/index.html" > if< / a > < / li >
< li > < a href = "../multimedia-module/index.html" > multimedia< / a > < / li >
< li > < a href = "../index-module/index.html" > index< / a > < / li >
2020-04-14 19:56:54 +03:00
< / ul > < h2 > Inter Modules< / h2 > < ul >
< li > < a href = "../bytecode-module/index.html" > bytecode< / a > < / li >
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-27 17:50:24 +03:00
< li > < a href = "../calculus-module/index.html" > calculus< / a > < / li >
2020-04-14 19:56:54 +03:00
< li > < a href = "../html-module/index.html" > html< / a > < / li >
2020-05-20 02:02:28 +03:00
< li > < a href = "../inflections-module/index.html" > inflections< / a > < / li >
2020-08-27 17:50:24 +03:00
< li > < a href = "index.html" > < span class = "selectedlink" > kinds< / span > < / a > < / li >
2020-05-20 02:02:28 +03:00
< li > < a href = "../linguistics-module/index.html" > linguistics< / a > < / li >
< li > < a href = "../problems-module/index.html" > problems< / a > < / li >
2020-08-27 17:50:24 +03:00
< li > < a href = "../syntax-module/index.html" > syntax< / a > < / li >
< li > < a href = "../words-module/index.html" > words< / a > < / li >
2020-03-19 02:11:25 +02:00
< li > < a href = "../../../inweb/docs/foundation-module/index.html" > foundation< / a > < / li >
2020-04-14 19:56:54 +03:00
< / ul >
2020-03-19 02:11:25 +02:00
< / nav >
< main role = "main" >
2020-05-03 03:01:21 +03:00
<!-- Weave of 'Describing Kinds' generated by Inweb -->
< div class = "breadcrumbs" >
2020-08-08 19:40:02 +03:00
< ul class = "crumbs" > < li > < a href = "../index.html" > Home< / a > < / li > < li > < a href = "../compiler.html" > Services< / a > < / li > < li > < a href = "index.html" > kinds< / a > < / li > < li > < a href = "index.html#2" > Chapter 2: Kinds< / a > < / li > < li > < b > Describing Kinds< / b > < / li > < / ul > < / div >
2020-08-12 15:05:44 +03:00
< p class = "purpose" > Translating kinds to and from textual descriptions.< / p >
2019-03-17 14:40:57 +02:00
2020-08-18 00:57:45 +03:00
< ul class = "toc" > < li > < a href = "2-dk.html#SP1" > § 1. The K-grammar< / a > < / li > < li > < a href = "2-dk.html#SP15" > § 15. Kinds of kind< / a > < / li > < li > < a href = "2-dk.html#SP16" > § 16. Parsing kind variables< / a > < / li > < li > < a href = "2-dk.html#SP21" > § 21. Textual descriptions< / a > < / li > < / ul > < hr class = "tocbar" >
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. The K-grammar. < / b > This is a Preform grammar for textual descriptions of kinds. In effect it's
2020-08-12 15:05:44 +03:00
a mini-language of its own, with a specification closer to traditional
computer-science norms than Inform's free-wheeling approach — this is not
an accident. It allows for awkward functional-programming needs in a way
which vaguer natural language syntax would not.
2019-03-17 14:40:57 +02:00
< / p >
2020-08-12 15:05:44 +03:00
< p class = "commentary" > All K-grammar nonterminals begin with the "k-" prefix, and their pointer results
are to < a href = "2-knd.html#SP1" class = "internal" > kind< / a > < span class = "extract" > < span class = "extract-syntax" > structures.
< / span > < / span > < / p >
2019-03-17 14:40:57 +02:00
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP2" class = "paragraph-anchor" > < / a > < b > § 2. < / b > For speed, we parse some kind names as single words, and others as common
nouns, which is slower:
< / p >
< pre class = "definitions code-font" > < span class = "definition-keyword" > define< / span > < span class = "constant-syntax" > KIND_SLOW_MC< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 0x00000008< / span > < span class = "plain-syntax" > < / span > < span class = "comment-syntax" > e.g., < / span > < span class = "extract" > < span class = "extract-syntax" > weight< / span > < / span >
< span class = "definition-keyword" > define< / span > < span class = "constant-syntax" > KIND_FAST_MC< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 0x01000000< / span > < span class = "plain-syntax" > < / span > < span class = "comment-syntax" > number, text, relation, rule, ...< / span >
< / pre >
< p class = "commentary firstcommentary" > < a id = "SP3" class = "paragraph-anchor" > < / a > < b > § 3. < / b > The K-grammar actually has two modes: normal, and phrase-token-mode. Normal
2019-03-17 14:40:57 +02:00
mode is aptly named: it's almost always the one we're using. Phrase token
mode is used only when parsing definitions of phrases, like so:
< / p >
< blockquote >
< p > To repeat with (LV - nonexisting K variable) running from (V1 - arithmetic value of kind K) to (V2 - K)< / p >
< / blockquote >
2020-05-03 03:01:21 +03:00
< p class = "commentary" > Here the tokens "nonexisting K variable" and so on are parsed as
2019-03-17 14:40:57 +02:00
specifications, but in such a way that any kinds mentioned are parsed in
phrase-token-mode. The difference is that this enables them to refer to kind
variables such as K which are still being defined; in normal mode, that would
only be allowed if K already existed.
< / p >
2020-08-12 15:05:44 +03:00
< pre class = "definitions code-font" > < span class = "definition-keyword" > define< / span > < span class = "constant-syntax" > NORMAL_KIND_PARSING< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 1< / span >
< span class = "definition-keyword" > define< / span > < span class = "constant-syntax" > PHRASE_TOKEN_KIND_PARSING< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 2< / span >
< / pre >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kind_parsing_mode< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > NORMAL_KIND_PARSING< / span > < span class = "plain-syntax" > ;< / span >
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP4" class = "paragraph-anchor" > < / a > < b > § 4. < / b > This tests which mode we are in, consuming no words:
2020-08-12 15:05:44 +03:00
< / p >
2020-05-09 15:07:39 +03:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
< span class = "Preform-function-syntax" > < if-parsing-phrase-tokens> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > internal< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > 0< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > {< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > if< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > kind_parsing_mode< / span > < span class = "Preform-plain-syntax" > != < / span > < span class = "Preform-constant-syntax" > NORMAL_KIND_PARSING< / span > < span class = "Preform-plain-syntax" > ) < / span > < span class = "Preform-reserved-syntax" > return< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > TRUE< / span > < span class = "Preform-plain-syntax" > ;< / span >
2020-07-28 21:19:38 +03:00
< span class = "Preform-plain-syntax" > ==> { < / span > < span class = "Preform-identifier-syntax" > fail< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > nonterminal< / span > < span class = "Preform-plain-syntax" > };< / span >
2020-05-09 15:07:39 +03:00
< span class = "Preform-plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-19 13:46:13 +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 > And the following internal is in fact only < k-kind> but inside phrase
2019-03-17 14:40:57 +02:00
token parsing mode; it's used when parsing the kind to be decided by a
phrase (which, like phrase tokens, can involve the variables).
< / p >
2020-05-09 15:07:39 +03:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
2021-03-30 12:50:04 +03:00
< span class = "Preform-function-syntax" > < k-kind-prototype> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > internal< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > {< / span >
2020-05-09 15:07:39 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > int< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > s< / span > < span class = "Preform-plain-syntax" > = < / span > < span class = "Preform-identifier-syntax" > kind_parsing_mode< / span > < span class = "Preform-plain-syntax" > ;< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > kind_parsing_mode< / span > < span class = "Preform-plain-syntax" > = < / span > < span class = "Preform-constant-syntax" > PHRASE_TOKEN_KIND_PARSING< / span > < span class = "Preform-plain-syntax" > ;< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > int< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > t< / span > < span class = "Preform-plain-syntax" > = < / span > < span class = "Preform-function-syntax" > < k-kind> < / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > W< / span > < span class = "Preform-plain-syntax" > );< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > kind_parsing_mode< / span > < span class = "Preform-plain-syntax" > = < / span > < span class = "Preform-identifier-syntax" > s< / span > < span class = "Preform-plain-syntax" > ;< / span >
2020-07-28 21:19:38 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > if< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > t< / span > < span class = "Preform-plain-syntax" > ) { ==> { -, < / span > < span class = "Preform-function-syntax" > < < rp> > < / span > < span class = "Preform-plain-syntax" > }; < / span > < span class = "Preform-reserved-syntax" > return< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > TRUE< / span > < span class = "Preform-plain-syntax" > ; }< / span >
< span class = "Preform-plain-syntax" > ==> { < / span > < span class = "Preform-identifier-syntax" > fail< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > nonterminal< / span > < span class = "Preform-plain-syntax" > };< / span >
2020-05-09 15:07:39 +03:00
< span class = "Preform-plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-19 13:46:13 +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 = "SP6" class = "paragraph-anchor" > < / a > < b > § 6. < / b > And here is that "name of kind..." construction, which is valid only in
2019-03-17 14:40:57 +02:00
phrase tokens.
< / p >
2020-05-09 15:07:39 +03:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
< span class = "Preform-function-syntax" > < k-kind-as-name-token> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ::=< / span >
2020-07-28 21:19:38 +03:00
< 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-as-name-token> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > )< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { pass 1 }< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > name< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > of< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > kind< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > of< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-kind-abbreviating> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { pass 1 }< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > name< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > of< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > kind< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-kind-abbreviating> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { pass 1 }< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > name< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > of< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > kind< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > of< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ...< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { -, NULL }< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > name< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > of< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > kind< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ...< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { -, NULL }< / span >
2020-05-09 15:07:39 +03:00
< span class = "Preform-function-syntax" > < k-kind-abbreviating> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ::=< / span >
2020-08-18 00:57:45 +03:00
< 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-abbreviating> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > )< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { pass 1 }< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-kind-of-kind> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-formal-variable> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { -, Kinds::var_construction(R[2], RP[1]) }< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-kind> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { pass 1 }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-19 13:46:13 +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 = "SP7" class = "paragraph-anchor" > < / a > < b > § 7. < / b > So now we can begin properly. Every valid kind matches < k-kind> :
2019-03-17 14:40:57 +02:00
< / p >
2020-05-09 15:07:39 +03:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
< span class = "Preform-function-syntax" > < k-kind> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ::=< / span >
2020-07-28 21:19:38 +03:00
< 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-reserved-syntax" > )< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { pass 1 }< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > ^< if-parsing-phrase-tokens> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-kind-variable> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { pass 2 }< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < if-parsing-phrase-tokens> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-variable-definition> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { pass 2 }< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-base-kind> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { pass 1 }< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-irregular-kind-construction> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { pass 1 }< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-kind-construction> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { pass 1 }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-19 13:46:13 +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 = "SP8" class = "paragraph-anchor" > < / a > < b > § 8. < / b > And, as a convenient shorthand:
2019-03-17 14:40:57 +02:00
< / p >
2020-05-09 15:07:39 +03:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
< span class = "Preform-function-syntax" > < k-kind-articled> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ::=< / span >
2020-07-28 21:19:38 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < indefinite-article> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-kind> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { pass 2 }< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-kind> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { pass 1 }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-19 13:46:13 +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 = "SP9" class = "paragraph-anchor" > < / a > < b > § 9. < / b > In phrase-token mode, kind variables are treated as formal symbols, not as
2019-03-17 14:40:57 +02:00
the kinds which are their current values:
< / p >
2020-05-09 15:07:39 +03:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
< span class = "Preform-function-syntax" > < k-variable-definition> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ::=< / span >
2020-08-18 00:57:45 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-formal-variable> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { pass 1 }< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-kind-of-kind> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > of< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > kind< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-formal-variable> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { -, Kinds::var_construction(R[2], RP[1]) }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-19 13:46:13 +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 = "SP10" class = "paragraph-anchor" > < / a > < b > § 10. < / b > Some base kinds with one-word names have that word flagged with a direct
2019-03-17 14:40:57 +02:00
pointer to the kind, for speed of parsing. Names of base kinds, such as
2020-08-12 15:05:44 +03:00
< span class = "extract" > < span class = "Preform-extract-syntax" > number< / span > < / span > or < span class = "extract" > < span class = "Preform-extract-syntax" > vehicle< / span > < / span > , can be registered in two different ways (according
2019-03-17 14:40:57 +02:00
to whether they come from the source text or from template files), so we then
make two further checks:
< / p >
2020-05-09 15:07:39 +03:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
< span class = "Preform-function-syntax" > < k-base-kind> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > internal< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > {< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > kind< / span > < span class = "Preform-plain-syntax" > *< / span > < span class = "Preform-identifier-syntax" > K< / span > < span class = "Preform-plain-syntax" > = < / span > < span class = "Preform-identifier-syntax" > NULL< / span > < span class = "Preform-plain-syntax" > ;< / span >
2020-07-28 21:19:38 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > if< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > Wordings::empty< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > W< / span > < span class = "Preform-plain-syntax" > )) { ==> { < / span > < span class = "Preform-identifier-syntax" > fail< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > nonterminal< / span > < span class = "Preform-plain-syntax" > }; }< / span >
2020-08-12 15:05:44 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > if< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > Wordings::length< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > W< / span > < span class = "Preform-plain-syntax" > ) == < / span > < span class = "Preform-constant-syntax" > 1< / span > < span class = "Preform-plain-syntax" > )< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > K< / span > < span class = "Preform-plain-syntax" > = < / span > < a href = "2-knd.html#SP22" class = "function-link" > < span class = "Preform-function-syntax" > Kinds::read_kind_marking_from_vocabulary< / span > < / a > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > Lexer::word< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > Wordings::first_wn< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > W< / span > < span class = "Preform-plain-syntax" > )));< / span >
2020-05-09 15:07:39 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > if< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > K< / span > < span class = "Preform-plain-syntax" > == < / span > < span class = "Preform-identifier-syntax" > NULL< / span > < span class = "Preform-plain-syntax" > ) {< / span >
2020-07-28 21:19:38 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > if< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-function-syntax" > < definite-article> < / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > Wordings::first_word< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > W< / span > < span class = "Preform-plain-syntax" > ))) { ==> { < / span > < span class = "Preform-identifier-syntax" > fail< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > nonterminal< / span > < span class = "Preform-plain-syntax" > }; }< / span >
2020-05-30 16:33:19 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > parse_node< / span > < span class = "Preform-plain-syntax" > *< / span > < span class = "Preform-identifier-syntax" > p< / span > < span class = "Preform-plain-syntax" > = < / span > < span class = "Preform-identifier-syntax" > Lexicon::retrieve< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-constant-syntax" > KIND_SLOW_MC< / span > < span class = "Preform-plain-syntax" > , < / span > < span class = "Preform-identifier-syntax" > W< / span > < span class = "Preform-plain-syntax" > );< / span >
2020-05-09 15:07:39 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > if< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > p< / span > < span class = "Preform-plain-syntax" > ) {< / span >
2020-05-11 17:21:29 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > excerpt_meaning< / span > < span class = "Preform-plain-syntax" > *< / span > < span class = "Preform-identifier-syntax" > em< / span > < span class = "Preform-plain-syntax" > = < / span > < span class = "Preform-identifier-syntax" > Node::get_meaning< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > p< / span > < span class = "Preform-plain-syntax" > );< / span >
2020-07-04 01:01:02 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > general_pointer< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > m< / span > < span class = "Preform-plain-syntax" > = < / span > < span class = "Preform-identifier-syntax" > Lexicon::get_data< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > em< / span > < span class = "Preform-plain-syntax" > );< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > if< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > m< / span > < span class = "Preform-plain-syntax" > .< / span > < span class = "Preform-identifier-syntax" > run_time_type_code< / span > < span class = "Preform-plain-syntax" > == < / span > < span class = "Preform-identifier-syntax" > noun_usage_CLASS< / span > < span class = "Preform-plain-syntax" > ) {< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > noun_usage< / span > < span class = "Preform-plain-syntax" > *< / span > < span class = "Preform-identifier-syntax" > nu< / span > < span class = "Preform-plain-syntax" > = < / span > < span class = "Preform-identifier-syntax" > RETRIEVE_POINTER_noun_usage< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > m< / span > < span class = "Preform-plain-syntax" > );< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > m< / span > < span class = "Preform-plain-syntax" > = < / span > < span class = "Preform-identifier-syntax" > nu< / span > < span class = "Preform-plain-syntax" > -> < / span > < span class = "Preform-identifier-syntax" > noun_used< / span > < span class = "Preform-plain-syntax" > -> < / span > < span class = "Preform-identifier-syntax" > meaning< / span > < span class = "Preform-plain-syntax" > ;< / span >
< span class = "Preform-plain-syntax" > }< / span >
2020-08-12 15:05:44 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > K< / span > < span class = "Preform-plain-syntax" > = < / span > < a href = "2-knd.html#SP6" class = "function-link" > < span class = "Preform-function-syntax" > Kinds::base_construction< / span > < / a > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > RETRIEVE_POINTER_kind_constructor< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > m< / span > < span class = "Preform-plain-syntax" > ));< / span >
2020-05-09 15:07:39 +03:00
< span class = "Preform-plain-syntax" > } < / span > < span class = "Preform-reserved-syntax" > else< / span > < span class = "Preform-plain-syntax" > {< / span >
2020-05-30 16:33:19 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > p< / span > < span class = "Preform-plain-syntax" > = < / span > < span class = "Preform-identifier-syntax" > Lexicon::retrieve< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > NOUN_MC< / span > < span class = "Preform-plain-syntax" > , < / span > < span class = "Preform-identifier-syntax" > W< / span > < span class = "Preform-plain-syntax" > );< / span >
2020-05-09 15:07:39 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > if< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > p< / span > < span class = "Preform-plain-syntax" > ) {< / span >
2020-07-04 16:17:00 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > noun_usage< / span > < span class = "Preform-plain-syntax" > *< / span > < span class = "Preform-identifier-syntax" > nu< / span > < span class = "Preform-plain-syntax" > = < / span > < span class = "Preform-identifier-syntax" > Nouns::disambiguate< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > p< / span > < span class = "Preform-plain-syntax" > , < / span > < span class = "Preform-identifier-syntax" > TRUE< / span > < span class = "Preform-plain-syntax" > );< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > noun< / span > < span class = "Preform-plain-syntax" > *< / span > < span class = "Preform-identifier-syntax" > nt< / span > < span class = "Preform-plain-syntax" > = (< / span > < span class = "Preform-identifier-syntax" > nu< / span > < span class = "Preform-plain-syntax" > )?(< / span > < span class = "Preform-identifier-syntax" > nu< / span > < span class = "Preform-plain-syntax" > -> < / span > < span class = "Preform-identifier-syntax" > noun_used< / span > < span class = "Preform-plain-syntax" > ):< / span > < span class = "Preform-identifier-syntax" > NULL< / span > < span class = "Preform-plain-syntax" > ;< / span >
2020-08-12 15:05:44 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > if< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > nt< / span > < span class = "Preform-plain-syntax" > ) < / span > < span class = "Preform-identifier-syntax" > K< / span > < span class = "Preform-plain-syntax" > = < / span > < a href = "2-knd.html#SP6" class = "function-link" > < span class = "Preform-function-syntax" > Kinds::base_construction< / span > < / a > < span class = "Preform-plain-syntax" > (< / span >
2020-06-29 04:17:54 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > RETRIEVE_POINTER_kind_constructor< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > Nouns::meaning< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > nt< / span > < span class = "Preform-plain-syntax" > )));< / span >
2020-05-09 15:07:39 +03:00
< span class = "Preform-plain-syntax" > }< / span >
< span class = "Preform-plain-syntax" > }< / span >
< span class = "Preform-plain-syntax" > }< / span >
2020-07-28 21:19:38 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > if< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > K< / span > < span class = "Preform-plain-syntax" > ) { ==> { -, < / span > < span class = "Preform-identifier-syntax" > K< / span > < span class = "Preform-plain-syntax" > }; < / span > < span class = "Preform-reserved-syntax" > return< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > TRUE< / span > < span class = "Preform-plain-syntax" > ; }< / span >
< span class = "Preform-plain-syntax" > ==> { < / span > < span class = "Preform-identifier-syntax" > fail< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > nonterminal< / span > < span class = "Preform-plain-syntax" > };< / span >
2020-05-09 15:07:39 +03:00
< span class = "Preform-plain-syntax" > }< / span >
2020-05-03 03:01:21 +03:00
< / pre >
2020-05-19 13:46:13 +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 = "SP11" class = "paragraph-anchor" > < / a > < b > § 11. < / b > "Object based rulebook" has been on a voyage of unhyphenation: in the early
2020-08-12 15:05:44 +03:00
public beta of Inform 7, it was "object-based-rulebook" (at that time,
built-in kinds had to have one-word names); then it became "object-based
2019-03-17 14:40:57 +02:00
rulebook", when one-word adjectives were allowed to modify the names of
built-in kinds; and now it is preferably "object based rulebook". But the
2020-08-12 15:05:44 +03:00
previous syntax is permitted as an alias to keep old source text working. And
2020-08-18 00:57:45 +03:00
similarly for the others here, except "either-or property", which is a 2010
2020-08-12 15:05:44 +03:00
addition.
2019-03-17 14:40:57 +02:00
< / p >
2020-05-09 15:07:39 +03:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
< span class = "Preform-function-syntax" > < k-irregular-kind-construction> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ::=< / span >
2020-08-18 00:57:45 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > indexed< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > text< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { -, K_text }< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > indexed< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > texts< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { -, K_text }< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > stored< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > action< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-dk.html#SP11_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Stored action< / span > < span class = "named-paragraph-number" > 11.1< / span > < / a > < / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > stored< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > actions< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-dk.html#SP11_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Stored action< / span > < span class = "named-paragraph-number" > 11.1< / span > < / a > < / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > object-based< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > rulebook< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > producing< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < indefinite-article> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-kind> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-dk.html#SP11_2" class = "named-paragraph-link" > < span class = "named-paragraph" > Rulebook obj on 2< / span > < span class = "named-paragraph-number" > 11.2< / span > < / a > < / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > object-based< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > rulebook< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > producing< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-kind> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-dk.html#SP11_3" class = "named-paragraph-link" > < span class = "named-paragraph" > Rulebook obj on 1< / span > < span class = "named-paragraph-number" > 11.3< / span > < / a > < / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > object-based< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > rulebook< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-dk.html#SP11_4" class = "named-paragraph-link" > < span class = "named-paragraph" > Rulebook obj on void< / span > < span class = "named-paragraph-number" > 11.4< / span > < / a > < / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > action-based< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > rulebook< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-dk.html#SP11_5" class = "named-paragraph-link" > < span class = "named-paragraph" > Action rulebook< / span > < span class = "named-paragraph-number" > 11.5< / span > < / a > < / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > object-based< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > rule< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > producing< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < indefinite-article> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-kind> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-dk.html#SP11_6" class = "named-paragraph-link" > < span class = "named-paragraph" > Rule obj on 2< / span > < span class = "named-paragraph-number" > 11.6< / span > < / a > < / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > object-based< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > rule< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > producing< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-kind> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-dk.html#SP11_7" class = "named-paragraph-link" > < span class = "named-paragraph" > Rule obj on 1< / span > < span class = "named-paragraph-number" > 11.7< / span > < / a > < / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > object-based< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > rule< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-dk.html#SP11_8" class = "named-paragraph-link" > < span class = "named-paragraph" > Rule obj on void< / span > < span class = "named-paragraph-number" > 11.8< / span > < / a > < / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > action-based< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > rule< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-dk.html#SP11_9" class = "named-paragraph-link" > < span class = "named-paragraph" > Action rule< / span > < span class = "named-paragraph-number" > 11.9< / span > < / a > < / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > either-or< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > property< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-dk.html#SP11_10" class = "named-paragraph-link" > < span class = "named-paragraph" > Property on truth state< / span > < span class = "named-paragraph-number" > 11.10< / span > < / a > < / span >
2020-05-03 03:01:21 +03:00
< / pre >
2020-05-19 13:46:13 +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 = "SP11_1" class = "paragraph-anchor" > < / a > < b > § 11.1. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Stored action< / span > < span class = "named-paragraph-number" > 11.1< / span > < / span > < span class = "Preform-comment-syntax" > =< / span >
2020-07-28 21:19:38 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
2021-02-27 02:41:51 +02:00
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > ifdef< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > IF_MODULE< / span >
2020-07-28 21:19:38 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K_stored_action< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) { ==> { < / span > < span class = "identifier-syntax" > fail< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > production< / span > < span class = "plain-syntax" > }; }< / span >
< span class = "plain-syntax" > ==> { -, < / span > < span class = "identifier-syntax" > K_stored_action< / span > < span class = "plain-syntax" > };< / span >
2021-02-27 02:41:51 +02:00
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > endif< / span >
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > ifndef< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > IF_MODULE< / span >
< span class = "plain-syntax" > ==> { < / span > < span class = "identifier-syntax" > fail< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > production< / span > < span class = "plain-syntax" > };< / span >
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > endif< / span >
2020-07-28 21:19:38 +03:00
< / pre >
2020-08-09 20:39:31 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-dk.html#SP11" > § 11< / a > (twice).< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP11_2" class = "paragraph-anchor" > < / a > < b > § 11.2. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Rulebook obj on 2< / span > < span class = "named-paragraph-number" > 11.2< / span > < / span > < span class = "comment-syntax" > =< / span >
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > ==> { -, < / span > < a href = "2-knd.html#SP6_3" class = "function-link" > < span class = "function-syntax" > Kinds::binary_con< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > CON_rulebook< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_object< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > RP< / span > < span class = "plain-syntax" > [2]) }< / span >
< / pre >
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-dk.html#SP11" > § 11< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP11_3" class = "paragraph-anchor" > < / a > < b > § 11.3. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Rulebook obj on 1< / span > < span class = "named-paragraph-number" > 11.3< / span > < / span > < span class = "comment-syntax" > =< / span >
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > ==> { -, < / span > < a href = "2-knd.html#SP6_3" class = "function-link" > < span class = "function-syntax" > Kinds::binary_con< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > CON_rulebook< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_object< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > RP< / span > < span class = "plain-syntax" > [1]) }< / span >
< / pre >
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-dk.html#SP11" > § 11< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP11_4" class = "paragraph-anchor" > < / a > < b > § 11.4. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Rulebook obj on void< / span > < span class = "named-paragraph-number" > 11.4< / span > < / span > < span class = "comment-syntax" > =< / span >
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > ==> { -, < / span > < a href = "2-knd.html#SP6_3" class = "function-link" > < span class = "function-syntax" > Kinds::binary_con< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > CON_rulebook< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_object< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_void< / span > < span class = "plain-syntax" > ) }< / span >
< / pre >
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-dk.html#SP11" > § 11< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP11_5" class = "paragraph-anchor" > < / a > < b > § 11.5. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Action rulebook< / span > < span class = "named-paragraph-number" > 11.5< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-07-28 21:19:38 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
2021-02-27 02:41:51 +02:00
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > ifdef< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > IF_MODULE< / span >
2020-07-28 21:19:38 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K_action_name< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) { ==> { < / span > < span class = "identifier-syntax" > fail< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > production< / span > < span class = "plain-syntax" > }; }< / span >
2020-08-18 00:57:45 +03:00
< span class = "plain-syntax" > ==> { -, < / span > < a href = "2-knd.html#SP6_3" class = "function-link" > < span class = "function-syntax" > Kinds::binary_con< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > CON_rulebook< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_action_name< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_void< / span > < span class = "plain-syntax" > ) };< / span >
2021-02-27 02:41:51 +02:00
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > endif< / span >
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > ifndef< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > IF_MODULE< / span >
< span class = "plain-syntax" > ==> { < / span > < span class = "identifier-syntax" > fail< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > production< / span > < span class = "plain-syntax" > };< / span >
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > endif< / span >
2020-08-18 00:57:45 +03:00
< / pre >
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-dk.html#SP11" > § 11< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP11_6" class = "paragraph-anchor" > < / a > < b > § 11.6. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Rule obj on 2< / span > < span class = "named-paragraph-number" > 11.6< / span > < / span > < span class = "comment-syntax" > =< / span >
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > ==> { -, < / span > < a href = "2-knd.html#SP6_3" class = "function-link" > < span class = "function-syntax" > Kinds::binary_con< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > CON_rule< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_object< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > RP< / span > < span class = "plain-syntax" > [2]) }< / span >
< / pre >
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-dk.html#SP11" > § 11< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP11_7" class = "paragraph-anchor" > < / a > < b > § 11.7. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Rule obj on 1< / span > < span class = "named-paragraph-number" > 11.7< / span > < / span > < span class = "comment-syntax" > =< / span >
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > ==> { -, < / span > < a href = "2-knd.html#SP6_3" class = "function-link" > < span class = "function-syntax" > Kinds::binary_con< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > CON_rule< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_object< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > RP< / span > < span class = "plain-syntax" > [1]) }< / span >
2020-07-28 21:19:38 +03:00
< / pre >
2020-08-09 20:39:31 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-dk.html#SP11" > § 11< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP11_8" class = "paragraph-anchor" > < / a > < b > § 11.8. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Rule obj on void< / span > < span class = "named-paragraph-number" > 11.8< / span > < / span > < span class = "comment-syntax" > =< / span >
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > ==> { -, < / span > < a href = "2-knd.html#SP6_3" class = "function-link" > < span class = "function-syntax" > Kinds::binary_con< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > CON_rule< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_object< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_void< / span > < span class = "plain-syntax" > ) }< / span >
< / pre >
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-dk.html#SP11" > § 11< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP11_9" class = "paragraph-anchor" > < / a > < b > § 11.9. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Action rule< / span > < span class = "named-paragraph-number" > 11.9< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-07-28 21:19:38 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
2021-02-27 02:41:51 +02:00
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > ifdef< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > IF_MODULE< / span >
2020-07-28 21:19:38 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K_action_name< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) { ==> { < / span > < span class = "identifier-syntax" > fail< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > production< / span > < span class = "plain-syntax" > }; }< / span >
2020-08-18 00:57:45 +03:00
< span class = "plain-syntax" > ==> { -, < / span > < a href = "2-knd.html#SP6_3" class = "function-link" > < span class = "function-syntax" > Kinds::binary_con< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > CON_rule< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_action_name< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_void< / span > < span class = "plain-syntax" > ) };< / span >
2021-02-27 02:41:51 +02:00
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > endif< / span >
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > ifndef< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > IF_MODULE< / span >
< span class = "plain-syntax" > ==> { < / span > < span class = "identifier-syntax" > fail< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > production< / span > < span class = "plain-syntax" > };< / span >
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > endif< / span >
2020-08-18 00:57:45 +03:00
< / pre >
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-dk.html#SP11" > § 11< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP11_10" class = "paragraph-anchor" > < / a > < b > § 11.10. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Property on truth state< / span > < span class = "named-paragraph-number" > 11.10< / span > < / span > < span class = "comment-syntax" > =< / span >
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > ==> { -, < / span > < a href = "2-knd.html#SP6_3" class = "function-link" > < span class = "function-syntax" > Kinds::unary_con< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > CON_property< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_truth_state< / span > < span class = "plain-syntax" > ) }< / span >
2020-07-28 21:19:38 +03:00
< / pre >
2020-08-09 20:39:31 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-dk.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 > This loop looks a little slow, but there are only about 10 proper constructors.
2020-05-03 03:01:21 +03:00
< / p >
2020-05-09 15:07:39 +03:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
< span class = "Preform-function-syntax" > < k-kind-construction> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > internal< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > {< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > kind_constructor< / span > < span class = "Preform-plain-syntax" > *< / span > < span class = "Preform-identifier-syntax" > con< / span > < span class = "Preform-plain-syntax" > ;< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > LOOP_OVER< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > con< / span > < span class = "Preform-plain-syntax" > , < / span > < span class = "Preform-reserved-syntax" > kind_constructor< / span > < span class = "Preform-plain-syntax" > )< / span >
2021-05-15 01:28:50 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > if< / span > < span class = "Preform-plain-syntax" > (< / span > < a href = "4-kc2.html#SP15" class = "function-link" > < span class = "Preform-function-syntax" > KindConstructors::arity< / span > < / a > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > con< / span > < span class = "Preform-plain-syntax" > ) > < / span > < span class = "Preform-constant-syntax" > 0< / span > < span class = "Preform-plain-syntax" > ) {< / span >
2020-05-09 15:07:39 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > wording< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > X< / span > < span class = "Preform-plain-syntax" > = < / span > < span class = "Preform-identifier-syntax" > W< / span > < span class = "Preform-plain-syntax" > ;< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > wording< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > Y< / span > < span class = "Preform-plain-syntax" > = < / span > < span class = "Preform-identifier-syntax" > EMPTY_WORDING< / span > < span class = "Preform-plain-syntax" > ;< / span >
2020-08-09 20:39:31 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > if< / span > < span class = "Preform-plain-syntax" > (< / span > < a href = "2-dk.html#SP14" class = "function-link" > < span class = "Preform-function-syntax" > Kinds::Textual::parse_constructor_name< / span > < / a > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > con< / span > < span class = "Preform-plain-syntax" > , & < / span > < span class = "Preform-identifier-syntax" > X< / span > < span class = "Preform-plain-syntax" > , & < / span > < span class = "Preform-identifier-syntax" > Y< / span > < span class = "Preform-plain-syntax" > ))< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-dk.html#SP12_1" class = "named-paragraph-link" > < span class = "named-paragraph" > See if this partial kind-constructor match works out< / span > < span class = "named-paragraph-number" > 12.1< / span > < / a > < / span > < span class = "Preform-plain-syntax" > ;< / span >
2020-05-09 15:07:39 +03:00
< span class = "Preform-plain-syntax" > }< / span >
2020-07-28 21:19:38 +03:00
< span class = "Preform-plain-syntax" > ==> { < / span > < span class = "Preform-identifier-syntax" > fail< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > nonterminal< / span > < span class = "Preform-plain-syntax" > };< / span >
2020-05-09 15:07:39 +03:00
< span class = "Preform-plain-syntax" > }< / span >
2020-05-03 03:01:21 +03:00
< / pre >
2020-05-19 13:46:13 +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 = "SP12_1" class = "paragraph-anchor" > < / a > < b > § 12.1. < / b > So at this point we have a match of the fixed words in the constructor.
2019-03-17 14:40:57 +02:00
For example, we might have "list of ...", where the X excerpt represents
the "..." and the Y excerpt is empty; or "... based rule producing ...",
where both X and Y are non-empty; or even something like "relation",
where both X and Y are empty.
< / p >
2020-05-03 03:01:21 +03:00
< p class = "commentary" > We try to match X and Y against kinds, filling in defaults if either is
2019-03-17 14:40:57 +02:00
unspecified because a short form of the constructor is used (e.g.,
"relation" instead of "relation of ..." or "relation of ... to ...").
< / p >
2020-08-09 20:39:31 +03:00
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > See if this partial kind-constructor match works out< / span > < span class = "named-paragraph-number" > 12.1< / span > < / span > < span class = "Preform-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" >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > KX< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > K_value< / span > < span class = "plain-syntax" > , *< / span > < span class = "identifier-syntax" > KY< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > K_value< / span > < span class = "plain-syntax" > ;< / span >
2020-08-11 13:55:39 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > variance< / span > < span class = "plain-syntax" > [0] == < / span > < span class = "constant-syntax" > CONTRAVARIANT< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > KX< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > K_nil< / span > < span class = "plain-syntax" > ;< / span >
2021-05-15 01:28:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < a href = "4-kc2.html#SP15" class = "function-link" > < span class = "function-syntax" > KindConstructors::arity< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > ) == < / span > < span class = "constant-syntax" > 2< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > variance< / span > < span class = "plain-syntax" > [1] == < / span > < span class = "constant-syntax" > CONTRAVARIANT< / span > < span class = "plain-syntax" > ))< / span >
2020-08-11 13:55:39 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > KY< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > K_nil< / span > < span class = "plain-syntax" > ;< / span >
2019-03-17 14:40:57 +02:00
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-dk.html#SP12_1_1" class = "named-paragraph-link" > < span class = "named-paragraph" > The rule and rulebook constructors default to actions for X< / span > < span class = "named-paragraph-number" > 12.1.1< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Wordings::nonempty< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > X< / span > < span class = "plain-syntax" > )) {< / span >
2021-05-15 01:28:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > tupling< / span > < span class = "plain-syntax" > = < / span > < a href = "4-kc2.html#SP15" class = "function-link" > < span class = "function-syntax" > KindConstructors::tupling< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > );< / span >
2020-08-18 00:57:45 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > tupling< / span > < span class = "plain-syntax" > == < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "function-syntax" > < k-single-term> < / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > X< / span > < span class = "plain-syntax" > ))) < / span > < span class = "identifier-syntax" > KX< / 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" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > tupling< / span > < span class = "plain-syntax" > == < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "function-syntax" > < k-optional-term> < / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > X< / span > < span class = "plain-syntax" > ))) < / span > < span class = "identifier-syntax" > KX< / 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" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > tupling< / span > < span class = "plain-syntax" > > = < / span > < span class = "constant-syntax" > 2< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "function-syntax" > < k-tupled-term> < / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > X< / span > < span class = "plain-syntax" > ))) < / span > < span class = "identifier-syntax" > KX< / span > < span class = "plain-syntax" > = < / span > < span class = "function-syntax" > < < rp> > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > KX< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / 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" > Wordings::nonempty< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Y< / span > < span class = "plain-syntax" > )) {< / span >
2021-05-15 01:28:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > tupling< / span > < span class = "plain-syntax" > = < / span > < a href = "4-kc2.html#SP15" class = "function-link" > < span class = "function-syntax" > KindConstructors::tupling< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > );< / span >
2020-08-18 00:57:45 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > tupling< / span > < span class = "plain-syntax" > == < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "function-syntax" > < k-single-term> < / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Y< / span > < span class = "plain-syntax" > ))) < / span > < span class = "identifier-syntax" > KY< / 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" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > tupling< / span > < span class = "plain-syntax" > == < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "function-syntax" > < k-optional-term> < / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Y< / span > < span class = "plain-syntax" > ))) < / span > < span class = "identifier-syntax" > KY< / 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" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > tupling< / span > < span class = "plain-syntax" > > = < / span > < span class = "constant-syntax" > 2< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "function-syntax" > < k-tupled-term> < / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Y< / span > < span class = "plain-syntax" > ))) < / span > < span class = "identifier-syntax" > KY< / span > < span class = "plain-syntax" > = < / span > < span class = "function-syntax" > < < rp> > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > KY< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-dk.html#SP12_1_2" class = "named-paragraph-link" > < span class = "named-paragraph" > The relation constructor defaults to Y matching X, if X is specified< / span > < span class = "named-paragraph-number" > 12.1.2< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2019-03-17 14:40:57 +02:00
2021-05-15 01:28:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < a href = "4-kc2.html#SP15" class = "function-link" > < span class = "function-syntax" > KindConstructors::arity< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > ) == < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > KX< / span > < span class = "plain-syntax" > )) {< / span >
2020-08-18 00:57:45 +03:00
< span class = "plain-syntax" > ==> { -, < / span > < a href = "2-knd.html#SP6_3" class = "function-link" > < span class = "function-syntax" > Kinds::unary_con< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > KX< / 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 >
2021-05-15 01:28:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < a href = "4-kc2.html#SP15" class = "function-link" > < span class = "function-syntax" > KindConstructors::arity< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > ) == < / span > < span class = "constant-syntax" > 2< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > KX< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > KY< / span > < span class = "plain-syntax" > )) {< / span >
2020-08-18 00:57:45 +03:00
< span class = "plain-syntax" > ==> { -, < / span > < a href = "2-knd.html#SP6_3" class = "function-link" > < span class = "function-syntax" > Kinds::binary_con< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > KX< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > KY< / 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 >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-09 20:39:31 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-dk.html#SP12" > § 12< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP12_1_1" class = "paragraph-anchor" > < / a > < b > § 12.1.1. < / b > Ordinarily missing X or Y are filled in as "value", but...
2019-03-17 14:40:57 +02:00
< / p >
2020-08-09 20:39:31 +03:00
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > The rule and rulebook constructors default to actions for X< / span > < span class = "named-paragraph-number" > 12.1.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" >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > CON_rule< / span > < span class = "plain-syntax" > ) || (< / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > CON_rulebook< / span > < span class = "plain-syntax" > )) {< / span >
2021-02-27 02:41:51 +02:00
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > ifdef< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > IF_MODULE< / span >
2020-08-11 13:55:39 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K_action_name< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > KX< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > K_action_name< / span > < span class = "plain-syntax" > ; < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > KX< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > K_void< / span > < span class = "plain-syntax" > ;< / span >
2021-02-27 02:41:51 +02:00
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > endif< / span >
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > ifndef< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > IF_MODULE< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > KX< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > K_void< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > endif< / span >
2020-08-11 13:55:39 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > KY< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > K_void< / 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-09 20:39:31 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-dk.html#SP12_1" > § 12.1< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP12_1_2" class = "paragraph-anchor" > < / a > < b > § 12.1.2. < / b > And...
2019-03-17 14:40:57 +02:00
< / p >
2020-08-09 20:39:31 +03:00
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > The relation constructor defaults to Y matching X, if X is specified< / span > < span class = "named-paragraph-number" > 12.1.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" >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > CON_relation< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > Wordings::empty< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Y< / span > < span class = "plain-syntax" > ))) < / span > < span class = "identifier-syntax" > KY< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > KX< / span > < span class = "plain-syntax" > ;< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-09 20:39:31 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-dk.html#SP12_1" > § 12.1< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP13" class = "paragraph-anchor" > < / a > < b > § 13. < / b > Where the materials used in construction are not quite kinds, but can
2019-03-17 14:40:57 +02:00
be more varied.
< / p >
2020-05-09 15:07:39 +03:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
2020-08-18 00:57:45 +03:00
< span class = "Preform-function-syntax" > < k-single-term> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ::=< / 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-single-term> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > )< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { pass 1 }< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < article> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-single-term> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { pass 2 }< / span >
2020-07-28 21:19:38 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-kind> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { pass 1 }< / span >
2020-05-09 15:07:39 +03:00
2020-08-18 00:57:45 +03:00
< span class = "Preform-function-syntax" > < k-optional-term> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ::=< / 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-optional-term> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > )< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { pass 1 }< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < article> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-optional-term> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { pass 2 }< / span >
2020-07-28 21:19:38 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > nothing< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { -, K_nil }< / span >
2021-02-27 02:41:51 +02:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > action< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-dk.html#SP13_1" class = "named-paragraph-link" > < span class = "named-paragraph" > The action term< / span > < span class = "named-paragraph-number" > 13.1< / span > < / a > < / span >
2020-07-28 21:19:38 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-kind> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { pass 1 }< / span >
2020-05-09 15:07:39 +03:00
2020-08-18 00:57:45 +03:00
< span class = "Preform-function-syntax" > < k-tupled-term> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ::=< / span >
2020-07-28 21:19:38 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > (< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-tuple-list> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > )< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { pass 1 }< / span >
2020-08-13 00:59:18 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > nothing< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { -, K_void }< / span >
2020-08-18 00:57:45 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-single-term> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { -, Kinds::binary_con(CON_TUPLE_ENTRY, RP[1], K_void) }< / span >
2020-05-09 15:07:39 +03:00
< span class = "Preform-function-syntax" > < k-tuple-list> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ::=< / span >
2020-08-18 00:57:45 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-single-term> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > ,< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-tuple-list> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { -, Kinds::binary_con(CON_TUPLE_ENTRY, RP[1], RP[2]) }< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-single-term> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { -, Kinds::binary_con(CON_TUPLE_ENTRY, RP[1], K_void) }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-19 13:46:13 +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-27 02:41:51 +02:00
< p class = "commentary firstcommentary" > < a id = "SP13_1" class = "paragraph-anchor" > < / a > < b > § 13.1. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > The action term< / span > < span class = "named-paragraph-number" > 13.1< / span > < / span > < span class = "Preform-comment-syntax" > =< / span >
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< 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 = "identifier-syntax" > K_action_name< / span > < span class = "plain-syntax" > };< / span >
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > endif< / span >
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > ifndef< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > IF_MODULE< / span >
< span class = "plain-syntax" > ==> { < / span > < span class = "identifier-syntax" > fail< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > production< / span > < span class = "plain-syntax" > };< / span >
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > endif< / span >
< / pre >
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-dk.html#SP13" > § 13< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP14" class = "paragraph-anchor" > < / a > < b > § 14. < / b > The following looks at a word range and tries to find text making a kind
2019-03-17 14:40:57 +02:00
construction: if it does, it adjusts the word ranges to the kind(s) being
2021-02-27 02:41:51 +02:00
constructed on, and returns < span class = "extract" > < span class = "extract-syntax" > TRUE< / span > < / span > ; if it fails, it returns < span class = "extract" > < span class = "extract-syntax" > FALSE< / span > < / span > . For
2019-03-17 14:40:57 +02:00
instance, given "list of marbles", it adjusts the word range to "marbles"
2021-02-27 02:41:51 +02:00
and returns < span class = "extract" > < span class = "extract-syntax" > TRUE< / span > < / 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-09 20:39:31 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Kinds::Textual::parse_constructor_name< / 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" > Kinds::Textual::parse_constructor_name< / span > < / span > :< br / > < a href = "2-dk.html#SP12" > § 12< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > kind_constructor< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > KW< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > LW< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< 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" > KW< / 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" > p< / span > < span class = "plain-syntax" > =1; < / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > < =2; < / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > ++) {< / span >
2021-05-15 01:28:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > NW< / span > < span class = "plain-syntax" > = < / span > < a href = "4-kc2.html#SP10" class = "function-link" > < span class = "function-syntax" > KindConstructors::get_name< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > , (< / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > ==1)?< / span > < span class = "identifier-syntax" > FALSE:TRUE< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Wordings::nonempty< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > NW< / 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" > full_length< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Wordings::length< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > NW< / 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" > k1< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Wordings::first_wn< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > NW< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > KW< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > EMPTY_WORDING< / span > < span class = "plain-syntax" > ; *< / span > < span class = "identifier-syntax" > LW< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > EMPTY_WORDING< / span > < span class = "plain-syntax" > ;< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-dk.html#SP14_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Try this as a constructor name< / span > < span class = "named-paragraph-number" > 14.1< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > KW< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > EMPTY_WORDING< / span > < span class = "plain-syntax" > ; *< / span > < span class = "identifier-syntax" > LW< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > EMPTY_WORDING< / 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" > FALSE< / 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 = "SP14_1" class = "paragraph-anchor" > < / a > < b > § 14.1. < / b > Note that the name text for a constructor is likely to have a form like so:
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" >
< span class = "plain-syntax" > relation STROKE relation of k to l STROKE relation of k< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-03 03:01:21 +03:00
< p class = "commentary" > with multiple possibilities divided by strokes; each possibility must be
2019-03-17 14:40:57 +02:00
checked for.
< / p >
2020-08-09 20:39:31 +03:00
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Try this as a constructor name< / span > < span class = "named-paragraph-number" > 14.1< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > base< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > length< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > full_length< / 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" > k< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > for< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > k< / span > < span class = "plain-syntax" > =0; < / span > < span class = "identifier-syntax" > k< / span > < span class = "plain-syntax" > < < / span > < span class = "identifier-syntax" > full_length< / span > < span class = "plain-syntax" > ; < / span > < span class = "identifier-syntax" > k< / 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" > Lexer::word< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > k1< / span > < span class = "plain-syntax" > +< / span > < span class = "identifier-syntax" > k< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > STROKE_V< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > length< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > k< / span > < span class = "plain-syntax" > - < / span > < span class = "identifier-syntax" > base< / span > < span class = "plain-syntax" > ;< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > length< / 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-dk.html#SP14_1_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Try one option among the constructor's names< / span > < span class = "named-paragraph-number" > 14.1.1< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-09 15:07:39 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > base< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > k< / span > < span class = "plain-syntax" > +1;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > length< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > full_length< / span > < span class = "plain-syntax" > - < / span > < span class = "identifier-syntax" > base< / span > < span class = "plain-syntax" > ;< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > length< / 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-dk.html#SP14_1_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Try one option among the constructor's names< / span > < span class = "named-paragraph-number" > 14.1.1< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< / pre >
2020-08-09 20:39:31 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-dk.html#SP14" > § 14< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP14_1_1" class = "paragraph-anchor" > < / a > < b > § 14.1.1. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Try one option among the constructor's names< / span > < span class = "named-paragraph-number" > 14.1.1< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Wordings::length< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > ) > = < / span > < span class = "identifier-syntax" > length< / 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" > i< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > failed< / 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 = "identifier-syntax" > i< / span > < span class = "plain-syntax" > =0, < / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > =< / span > < span class = "identifier-syntax" > Wordings::first_wn< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > ); < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > < < / span > < span class = "identifier-syntax" > length< / span > < span class = "plain-syntax" > ; < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ++) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > vocabulary_entry< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > ve< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Lexer::word< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > k1< / span > < span class = "plain-syntax" > +< / span > < span class = "identifier-syntax" > base< / 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" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > ve< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > CAPITAL_K_V< / span > < span class = "plain-syntax" > ) || (< / span > < span class = "identifier-syntax" > ve< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > CAPITAL_L_V< / 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" > from< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > length< / span > < span class = "plain-syntax" > -1) { < / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Wordings::last_wn< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > )+1; }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > bl< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > while< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > < = < / span > < span class = "identifier-syntax" > Wordings::last_wn< / 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" > vocabulary_entry< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nw< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Lexer::word< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nw< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > OPENBRACKET_V< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > bl< / span > < span class = "plain-syntax" > ++;< / span >
< 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" > nw< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > CLOSEBRACKET_V< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > bl< / span > < span class = "plain-syntax" > --;< / span >
< 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" > bl< / 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" > nw< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > Lexer::word< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > k1< / span > < span class = "plain-syntax" > +< / span > < span class = "identifier-syntax" > base< / span > < span class = "plain-syntax" > +< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > +1)) < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > p< / 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" > p< / span > < span class = "plain-syntax" > > < / span > < span class = "identifier-syntax" > Wordings::last_wn< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > )) { < / span > < span class = "identifier-syntax" > failed< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > TRUE< / 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 > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > ve< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > CAPITAL_K_V< / span > < span class = "plain-syntax" > ) { *< / span > < span class = "identifier-syntax" > KW< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Wordings::new< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > -1); }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > { *< / span > < span class = "identifier-syntax" > LW< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Wordings::new< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > -1); }< / span >
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > ve< / span > < span class = "plain-syntax" > != < / span > < span class = "identifier-syntax" > Lexer::word< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > ++)) { < / span > < span class = "identifier-syntax" > failed< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > TRUE< / 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 >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > != < / span > < span class = "identifier-syntax" > Wordings::last_wn< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > )+1) < / span > < span class = "identifier-syntax" > failed< / 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" > failed< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > FALSE< / 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 >
< span class = "plain-syntax" > }< / span >
< / pre >
2020-08-09 20:39:31 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-dk.html#SP14_1" > § 14.1< / a > (twice).< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP15" class = "paragraph-anchor" > < / a > < b > § 15. Kinds of kind. < / b > This is actually just < k-kind> in disguise, but only lets the result through
2019-03-17 14:40:57 +02:00
if it's a kind of kind, like "arithmetic value"; something like "number"
or "list of texts" will fail.
< / p >
2020-05-09 15:07:39 +03:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
< span class = "Preform-function-syntax" > < k-kind-of-kind> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ::=< / span >
2021-02-06 20:00:34 +02:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < k-kind> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { pass 1 }; if (Kinds::Behaviour::is_kind_of_kind(RP[1]) == FALSE) return FALSE;< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-19 13:46:13 +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 = "SP16" class = "paragraph-anchor" > < / a > < b > § 16. Parsing kind variables. < / b > As a small detour, here's how we deal with the pleasingly simple names A to Z
2019-03-17 14:40:57 +02:00
for kind variables, converting them to and from the numbers 1 to 26:
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Kinds::Textual::parse_variable< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > vocabulary_entry< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > ve< / 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" > ve< / 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 = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < a href = "2-dk.html#SP16" class = "function-link" > < span class = "function-syntax" > Kinds::Textual::parse_kind_variable_name< / span > < / a > < span class = "plain-syntax" > (< / span >
2020-05-27 01:02:00 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Vocabulary::get_exemplar< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > ve< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > TRUE< / 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-09 20:39:31 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Kinds::Textual::parse_kind_variable_name< / 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" > Kinds::Textual::parse_kind_variable_name< / span > < / span > :< br / > < a href = "2-dk.html#SP17" > § 17< / a > , < a href = "2-dk.html#SP18" > § 18< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > allow_lower< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "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" > p< / span > < span class = "plain-syntax" > [1] == < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) || ((< / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > [1] == < / span > < span class = "character-syntax" > 's'< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > [2] == < / 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" > p< / span > < span class = "plain-syntax" > [0] > = < / span > < span class = "character-syntax" > 'A'< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > [0] < = < / span > < span class = "character-syntax" > 'Z'< / span > < span class = "plain-syntax" > )) < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > [0] - < / span > < span class = "character-syntax" > 'A'< / span > < span class = "plain-syntax" > + < / span > < span class = "constant-syntax" > 1< / 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" > allow_lower< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > [0] > = < / span > < span class = "character-syntax" > 'a'< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > [0] < = < / span > < span class = "character-syntax" > 'z'< / span > < span class = "plain-syntax" > )) < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > [0] - < / span > < span class = "character-syntax" > 'a'< / span > < span class = "plain-syntax" > + < / span > < span class = "constant-syntax" > 1< / 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 = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2020-08-09 20:39:31 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Kinds::Textual::parse_kind_variable_name_singular< / 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" > Kinds::Textual::parse_kind_variable_name_singular< / span > < / span > :< br / > < a href = "2-dk.html#SP19" > § 19< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > [1] == < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > [0] > = < / span > < span class = "character-syntax" > 'A'< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > [0] < = < / span > < span class = "character-syntax" > 'Z'< / 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" > p< / span > < span class = "plain-syntax" > [0] - < / span > < span class = "character-syntax" > 'A'< / span > < span class = "plain-syntax" > + < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP17" class = "paragraph-anchor" > < / a > < b > § 17. < / b > Kind variables are written with the letters A to Z. That provides for only
2020-08-12 15:05:44 +03:00
26 of them, but it's very, very rare to need more than 2, in practice.
2019-03-17 14:40:57 +02:00
< / p >
2020-05-03 03:01:21 +03:00
< p class = "commentary" > The following nonterminal matches only those kind variables whose values are
2019-03-17 14:40:57 +02:00
actually set, and it returns those values. This is how kind variables are
parsed almost all of the time.
< / p >
2020-05-09 15:07:39 +03:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
< span class = "Preform-function-syntax" > < k-kind-variable> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > internal< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > 1< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > {< / span >
2020-08-18 00:57:45 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > int< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > k< / span > < span class = "Preform-plain-syntax" > = < / span > < a href = "2-dk.html#SP16" class = "function-link" > < span class = "Preform-function-syntax" > Kinds::Textual::parse_kind_variable_name< / span > < / a > < span class = "Preform-plain-syntax" > (< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > Lexer::word_raw_text< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > Wordings::first_wn< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > W< / span > < span class = "Preform-plain-syntax" > )), < / span > < span class = "Preform-identifier-syntax" > FALSE< / span > < span class = "Preform-plain-syntax" > );< / span >
2020-05-09 15:07:39 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > if< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > k< / span > < span class = "Preform-plain-syntax" > != < / span > < span class = "Preform-constant-syntax" > 0< / span > < span class = "Preform-plain-syntax" > ) {< / span >
2020-08-12 15:05:44 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > kind< / span > < span class = "Preform-plain-syntax" > *< / span > < span class = "Preform-identifier-syntax" > K< / span > < span class = "Preform-plain-syntax" > = < / span > < a href = "2-knd.html#SP23" class = "function-link" > < span class = "Preform-function-syntax" > Kinds::variable_from_context< / span > < / a > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > k< / span > < span class = "Preform-plain-syntax" > );< / span >
2020-07-28 21:19:38 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > if< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > K< / span > < span class = "Preform-plain-syntax" > ) { ==> { < / span > < span class = "Preform-identifier-syntax" > k< / span > < span class = "Preform-plain-syntax" > , < / span > < span class = "Preform-identifier-syntax" > K< / span > < span class = "Preform-plain-syntax" > }; < / span > < span class = "Preform-reserved-syntax" > return< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > TRUE< / span > < span class = "Preform-plain-syntax" > ; }< / span >
2020-05-09 15:07:39 +03:00
< span class = "Preform-plain-syntax" > }< / span >
2020-07-28 21:19:38 +03:00
< span class = "Preform-plain-syntax" > ==> { < / span > < span class = "Preform-identifier-syntax" > fail< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > nonterminal< / span > < span class = "Preform-plain-syntax" > };< / span >
2020-05-09 15:07:39 +03:00
< span class = "Preform-plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-19 13:46:13 +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 = "SP18" class = "paragraph-anchor" > < / a > < b > § 18. < / b > But we can also formally parse A to Z as their own abstract identities;
2019-03-17 14:40:57 +02:00
now they always parse, regardless of what might be stored in them, and
they aren't replaced with their values (which they may not even have).
< / p >
2020-05-09 15:07:39 +03:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
2020-08-18 00:57:45 +03:00
< span class = "Preform-function-syntax" > < k-formal-variable> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > internal< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > 1< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > {< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > int< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > k< / span > < span class = "Preform-plain-syntax" > = < / span > < a href = "2-dk.html#SP16" class = "function-link" > < span class = "Preform-function-syntax" > Kinds::Textual::parse_kind_variable_name< / span > < / a > < span class = "Preform-plain-syntax" > (< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > Lexer::word_raw_text< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > Wordings::first_wn< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > W< / span > < span class = "Preform-plain-syntax" > )), < / span > < span class = "Preform-identifier-syntax" > FALSE< / span > < span class = "Preform-plain-syntax" > );< / span >
2020-05-09 15:07:39 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > if< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > k< / span > < span class = "Preform-plain-syntax" > != < / span > < span class = "Preform-constant-syntax" > 0< / span > < span class = "Preform-plain-syntax" > ) {< / span >
2020-08-18 00:57:45 +03:00
< span class = "Preform-plain-syntax" > ==> { < / span > < span class = "Preform-identifier-syntax" > k< / span > < span class = "Preform-plain-syntax" > , < / span > < a href = "2-knd.html#SP6_2" class = "function-link" > < span class = "Preform-function-syntax" > Kinds::var_construction< / span > < / a > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > k< / span > < span class = "Preform-plain-syntax" > , < / span > < span class = "Preform-identifier-syntax" > NULL< / span > < span class = "Preform-plain-syntax" > ) };< / span >
2020-07-28 21:19:38 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > return< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > TRUE< / span > < span class = "Preform-plain-syntax" > ;< / span >
2020-05-09 15:07:39 +03:00
< span class = "Preform-plain-syntax" > }< / span >
2020-07-28 21:19:38 +03:00
< span class = "Preform-plain-syntax" > ==> { < / span > < span class = "Preform-identifier-syntax" > fail< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > nonterminal< / span > < span class = "Preform-plain-syntax" > };< / span >
2020-05-09 15:07:39 +03:00
< span class = "Preform-plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-19 13:46:13 +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 = "SP19" class = "paragraph-anchor" > < / a > < b > § 19. < / b > And it's also convenient to have:
2019-03-17 14:40:57 +02:00
< / p >
2020-05-09 15:07:39 +03:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
2020-08-18 00:57:45 +03:00
< span class = "Preform-function-syntax" > < k-formal-variable-singular> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > internal< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > 1< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > {< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > int< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > k< / span > < span class = "Preform-plain-syntax" > = < / span > < a href = "2-dk.html#SP16" class = "function-link" > < span class = "Preform-function-syntax" > Kinds::Textual::parse_kind_variable_name_singular< / span > < / a > < span class = "Preform-plain-syntax" > (< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > Lexer::word_raw_text< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > Wordings::first_wn< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > W< / span > < span class = "Preform-plain-syntax" > )));< / span >
2020-05-09 15:07:39 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > if< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > k< / span > < span class = "Preform-plain-syntax" > != < / span > < span class = "Preform-constant-syntax" > 0< / span > < span class = "Preform-plain-syntax" > ) {< / span >
2020-08-18 00:57:45 +03:00
< span class = "Preform-plain-syntax" > ==> { < / span > < span class = "Preform-identifier-syntax" > k< / span > < span class = "Preform-plain-syntax" > , < / span > < a href = "2-knd.html#SP6_2" class = "function-link" > < span class = "Preform-function-syntax" > Kinds::var_construction< / span > < / a > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > k< / span > < span class = "Preform-plain-syntax" > , < / span > < span class = "Preform-identifier-syntax" > NULL< / span > < span class = "Preform-plain-syntax" > ) };< / span >
2020-07-28 21:19:38 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > return< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > TRUE< / span > < span class = "Preform-plain-syntax" > ;< / span >
2020-05-09 15:07:39 +03:00
< span class = "Preform-plain-syntax" > }< / span >
2020-07-28 21:19:38 +03:00
< span class = "Preform-plain-syntax" > ==> { < / span > < span class = "Preform-identifier-syntax" > fail< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-identifier-syntax" > nonterminal< / span > < span class = "Preform-plain-syntax" > };< / span >
2020-05-09 15:07:39 +03:00
< span class = "Preform-plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-19 13:46:13 +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 = "SP20" class = "paragraph-anchor" > < / a > < b > § 20. < / b > For efficiency's sake, we don't actually parse directly using this
2019-03-17 14:40:57 +02:00
nonterminal, but it's needed all the same because of Preform's optimisations.
< / p >
2020-05-09 15:07:39 +03:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
< span class = "Preform-function-syntax" > < k-kind-variable-texts> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ::=< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > a/as< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > b/bs< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > c/cs< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > d/ds< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > e/es< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > f/fs< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > g/gs< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > h/hs< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > i/is< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > j/js< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > k/ks< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > l/ls< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > m/ms< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > n/ns< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > o/os< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > p/ps< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > q/qs< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > r/rs< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > s/ss< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > t/ts< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > u/us< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > v/vs< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > w/ws< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > x/xs< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > y/ys< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > z/zs< / span >
2020-05-03 03:01:21 +03:00
< / pre >
2020-05-19 13:46:13 +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 = "SP21" class = "paragraph-anchor" > < / a > < b > § 21. Textual descriptions. < / b > The following pretty-printer is inverse to the code which parses text and
2020-05-09 15:07:39 +03:00
turns it into a < span class = "extract" > < span class = "Preform-extract-syntax" > kind< / span > < / span > structure, or very nearly so. We use common
2019-03-17 14:40:57 +02:00
code to handle all of the reasons why we might want to spell out a kind
in words — the log, the index, problem messages, comments in code, and
so on. For example:
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Kinds::Textual::log< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-dk.html#SP22" class = "function-link" > < span class = "function-syntax" > Kinds::Textual::write< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > DL< / 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 >
2020-08-08 19:40:02 +03:00
2020-08-09 20:39:31 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Kinds::Textual::logger< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUTPUT_STREAM< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > vK< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-08 19:40:02 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > = (< / span > < span class = "reserved-syntax" > kind< / span > < span class = "plain-syntax" > *) < / span > < span class = "identifier-syntax" > vK< / span > < span class = "plain-syntax" > ;< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-dk.html#SP22" class = "function-link" > < span class = "function-syntax" > Kinds::Textual::write< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > );< / span >
2020-08-08 19:40:02 +03:00
< span class = "plain-syntax" > }< / span >
2020-08-09 20:39:31 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Kinds::Textual::writer< / 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" > Kinds::Textual::writer< / span > < / span > :< br / > Kinds Module - < a href = "1-km.html#SP3" > § 3< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUTPUT_STREAM< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > format_string< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > vK< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-08 19:40:02 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > = (< / span > < span class = "reserved-syntax" > kind< / span > < span class = "plain-syntax" > *) < / span > < span class = "identifier-syntax" > vK< / span > < span class = "plain-syntax" > ;< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-dk.html#SP22" class = "function-link" > < span class = "function-syntax" > Kinds::Textual::write< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > );< / span >
2020-08-08 19:40:02 +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 = "SP22" class = "paragraph-anchor" > < / a > < b > § 22. < / b > Thus we have a basic pretty-printer...
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-18 00:57:45 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Kinds::Textual::write< / 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" > Kinds::Textual::write< / span > < / span > :< br / > < a href = "2-dk.html#SP21" > § 21< / a > , < a href = "2-dk.html#SP24_1_2" > § 24.1.2< / a > < br / > Dimensions - < a href = "3-dmn.html#SP26" > § 26< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUTPUT_STREAM< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-dk.html#SP24" class = "function-link" > < span class = "function-syntax" > Kinds::Textual::write_inner< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / 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 = "identifier-syntax" > FALSE< / 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-05-03 03:01:21 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Kinds::Textual::write_plural< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUTPUT_STREAM< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-dk.html#SP24" class = "function-link" > < span class = "function-syntax" > Kinds::Textual::write_inner< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / 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 = "SP23" class = "paragraph-anchor" > < / a > < b > § 23. < / b > ...and also one which prefaces the kind name with an article.
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" >
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Kinds::Textual::write_articled< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUTPUT_STREAM< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > ) {< / span >
2020-06-28 01:18:54 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TEMPORARY_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > TEMP< / span > < span class = "plain-syntax" > )< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-dk.html#SP24" class = "function-link" > < span class = "function-syntax" > Kinds::Textual::write_inner< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > TEMP< / 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 = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > );< / span >
2020-05-24 18:15:15 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > ArticleInflection::preface_by_article< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > TEMP< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > DefaultLanguage::get< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ));< / span >
2020-06-28 01:18:54 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > DISCARD_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > TEMP< / 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 = "SP24" class = "paragraph-anchor" > < / a > < b > § 24. < / b > In all cases we make use of the following recursive method:
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-09 20:39:31 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Kinds::Textual::write_inner< / 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" > Kinds::Textual::write_inner< / span > < / span > :< br / > < a href = "2-dk.html#SP22" > § 22< / a > , < a href = "2-dk.html#SP23" > § 23< / a > , < a href = "2-dk.html#SP24_1_1" > § 24.1.1< / a > , < a href = "2-dk.html#SP24_1_2" > § 24.1.2< / a > , < a href = "2-dk.html#SP25" > § 25< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUTPUT_STREAM< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > plural_form< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > substituting< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K< / 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" > "nothing"< / span > < span class = "plain-syntax" > ); < / span > < span class = "reserved-syntax" > return< / 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" > K< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > K_nil< / span > < span class = "plain-syntax" > ) { < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "nothing"< / span > < span class = "plain-syntax" > ); < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > ; }< / span >
2020-08-13 00:59:18 +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" > K_void< / span > < span class = "plain-syntax" > ) { < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "nothing"< / span > < span class = "plain-syntax" > ); < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > ; }< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > kind_constructor< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
2020-08-12 15:05:44 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "2-knd.html#SP13" class = "function-link" > < span class = "function-syntax" > Kinds::is_proper_constructor< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > = < / span > < a href = "2-knd.html#SP11" class = "function-link" > < span class = "function-syntax" > Kinds::get_construct< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > );< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-dk.html#SP24_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Write punctuation kinds out to the stream< / span > < span class = "named-paragraph-number" > 24.1< / span > < / a > < / 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" > con< / span > < span class = "plain-syntax" > ) < / span > < span class = "named-paragraph-container code-font" > < a href = "2-dk.html#SP24_3" class = "named-paragraph-link" > < span class = "named-paragraph" > Write constructor kinds out to the stream< / span > < span class = "named-paragraph-number" > 24.3< / span > < / a > < / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-dk.html#SP24_2" class = "named-paragraph-link" > < span class = "named-paragraph" > Write base kinds out to the stream< / span > < span class = "named-paragraph-number" > 24.2< / span > < / a > < / 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 = "SP24_1" class = "paragraph-anchor" > < / a > < b > § 24.1. < / b > Note that we do cheat in one case, in our resolve to have only a single
2019-03-17 14:40:57 +02:00
written form for kinds in all contexts — we give a low-level description of
an intermediate value in the debugging log. But such a thing can't be exposed
higher up in Inform, so it's no loss to the index, problem messages, etc.,
to miss out on this detail.
< / p >
2020-08-09 20:39:31 +03:00
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Write punctuation kinds out to the stream< / span > < span class = "named-paragraph-number" > 24.1< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-12 15:05:44 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > kind_constructor< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > = < / span > < a href = "2-knd.html#SP11" class = "function-link" > < span class = "function-syntax" > Kinds::get_construct< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > );< / span >
2020-08-11 13:55:39 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > CON_VOID< / span > < span class = "plain-syntax" > ) { < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "void"< / span > < span class = "plain-syntax" > ); < / span > < span class = "reserved-syntax" > return< / 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" > con< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > CON_NIL< / span > < span class = "plain-syntax" > ) { < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "nil"< / span > < span class = "plain-syntax" > ); < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > ; }< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > CON_TUPLE_ENTRY< / span > < span class = "plain-syntax" > ) { < / span > < span class = "named-paragraph-container code-font" > < a href = "2-dk.html#SP24_1_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Describe a continuing tuple< / span > < span class = "named-paragraph-number" > 24.1.1< / span > < / a > < / span > < span class = "plain-syntax" > ; < / span > < span class = "reserved-syntax" > return< / 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" > con< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > CON_KIND_VARIABLE< / span > < span class = "plain-syntax" > ) { < / span > < span class = "named-paragraph-container code-font" > < a href = "2-dk.html#SP24_1_2" class = "named-paragraph-link" > < span class = "named-paragraph" > Describe a kind variable, either by name or by value< / span > < span class = "named-paragraph-number" > 24.1.2< / span > < / a > < / span > < span class = "plain-syntax" > ; < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > ; }< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > CON_INTERMEDIATE< / 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" > OUT< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > DL< / span > < span class = "plain-syntax" > )< / span >
2021-05-15 01:28:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "$Q"< / span > < span class = "plain-syntax" > , < / span > < a href = "2-uk.html#SP17" class = "function-link" > < span class = "function-syntax" > Kinds::Behaviour::get_dimensional_form< / span > < / a > < 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 > < span class = "reserved-syntax" > else< / span >
2020-08-18 00:57:45 +03:00
< span class = "plain-syntax" > < / span > < a href = "3-dmn.html#SP26" class = "function-link" > < span class = "function-syntax" > Kinds::Dimensions::index_unit_sequence< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > ,< / span >
2021-05-15 01:28:50 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-uk.html#SP17" class = "function-link" > < span class = "function-syntax" > Kinds::Behaviour::get_dimensional_form< / span > < / a > < 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 >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
2020-08-09 20:39:31 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-dk.html#SP24" > § 24< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP24_1_1" class = "paragraph-anchor" > < / a > < b > § 24.1.1. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Describe a continuing tuple< / span > < span class = "named-paragraph-number" > 24.1.1< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > head< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > , *< / span > < span class = "identifier-syntax" > tail< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
2020-08-12 15:05:44 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-knd.html#SP15" class = "function-link" > < span class = "function-syntax" > Kinds::binary_construction_material< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > head< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > tail< / span > < span class = "plain-syntax" > );< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-dk.html#SP24" class = "function-link" > < span class = "function-syntax" > Kinds::Textual::write_inner< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > head< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > substituting< / span > < span class = "plain-syntax" > );< / span >
2020-08-13 00:59:18 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "2-knd.html#SP11" class = "function-link" > < span class = "function-syntax" > Kinds::get_construct< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > tail< / span > < span class = "plain-syntax" > ) != < / span > < span class = "identifier-syntax" > CON_VOID< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > ", "< / span > < span class = "plain-syntax" > );< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-dk.html#SP24" class = "function-link" > < span class = "function-syntax" > Kinds::Textual::write_inner< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > tail< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > substituting< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
< / pre >
2020-08-09 20:39:31 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-dk.html#SP24_1" > § 24.1< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP24_1_2" class = "paragraph-anchor" > < / a > < b > § 24.1.2. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Describe a kind variable, either by name or by value< / span > < span class = "named-paragraph-number" > 24.1.2< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-12 15:05:44 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > vn< / span > < span class = "plain-syntax" > = < / span > < a href = "2-knd.html#SP12" class = "function-link" > < span class = "function-syntax" > Kinds::get_variable_number< / span > < / a > < 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 > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > substituting< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > vn< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > )) {< / span >
2020-08-12 15:05:44 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > subst< / span > < span class = "plain-syntax" > = < / span > < a href = "2-knd.html#SP23" class = "function-link" > < span class = "function-syntax" > Kinds::variable_from_context< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > vn< / span > < span class = "plain-syntax" > );< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > subst< / span > < span class = "plain-syntax" > ) { < / span > < a href = "2-dk.html#SP24" class = "function-link" > < span class = "function-syntax" > Kinds::Textual::write_inner< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > subst< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > plural_form< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ); < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > ; }< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "%c"< / span > < span class = "plain-syntax" > , < / span > < span class = "character-syntax" > 'A'< / span > < span class = "plain-syntax" > + < / span > < span class = "identifier-syntax" > vn< / span > < span class = "plain-syntax" > - < / span > < span class = "constant-syntax" > 1< / 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" > plural_form< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "s"< / span > < span class = "plain-syntax" > );< / span >
2020-08-12 15:05:44 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > S< / span > < span class = "plain-syntax" > = < / span > < a href = "2-knd.html#SP12" class = "function-link" > < span class = "function-syntax" > Kinds::get_variable_stipulation< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K< / 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" > S< / span > < span class = "plain-syntax" > ) & & (< / span > < a href = "2-knd.html#SP24" class = "function-link" > < span class = "function-syntax" > Kinds::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > S< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_value< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > )) {< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > " ["< / span > < span class = "plain-syntax" > ); < / span > < a href = "2-dk.html#SP22" class = "function-link" > < span class = "function-syntax" > Kinds::Textual::write< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > S< / span > < span class = "plain-syntax" > ); < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "]"< / span > < span class = "plain-syntax" > ); }< / span >
2020-05-03 03:01:21 +03:00
< / pre >
2020-08-09 20:39:31 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-dk.html#SP24_1" > § 24.1< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< 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" > Write base kinds out to the stream< / span > < span class = "named-paragraph-number" > 24.2< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-12 15:05:44 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "2-knd.html#SP24" class = "function-link" > < span class = "function-syntax" > Kinds::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_pointer_value< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "pointer value"< / span > < span class = "plain-syntax" > );< / span >
< 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 > < a href = "2-knd.html#SP24" class = "function-link" > < span class = "function-syntax" > Kinds::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_stored_value< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "stored value"< / span > < span class = "plain-syntax" > );< / span >
2020-08-12 01:59:29 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < 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 > < a href = "2-uk.html#SP1" class = "function-link" > < span class = "function-syntax" > Kinds::Behaviour::get_name< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > plural_form< / span > < span class = "plain-syntax" > ));< / span >
2020-05-03 03:01:21 +03:00
< / pre >
2020-08-09 20:39:31 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-dk.html#SP24" > § 24< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP24_3" class = "paragraph-anchor" > < / a > < b > § 24.3. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Write constructor kinds out to the stream< / span > < span class = "named-paragraph-number" > 24.3< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > first_base< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > , *< / span > < span class = "identifier-syntax" > second_base< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
2021-05-15 01:28:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "4-kc2.html#SP15" class = "function-link" > < span class = "function-syntax" > KindConstructors::arity< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > ) == < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > )< / span >
2020-08-12 15:05:44 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > first_base< / span > < span class = "plain-syntax" > = < / span > < a href = "2-knd.html#SP14" class = "function-link" > < span class = "function-syntax" > Kinds::unary_construction_material< / span > < / a > < 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 > < span class = "reserved-syntax" > else< / span >
2020-08-12 15:05:44 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-knd.html#SP15" class = "function-link" > < span class = "function-syntax" > Kinds::binary_construction_material< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > first_base< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > second_base< / span > < span class = "plain-syntax" > );< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-dk.html#SP24_3_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Make a special case for either/or properties< / span > < span class = "named-paragraph-number" > 24.3.1< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > KW< / span > < span class = "plain-syntax" > = < / span > < a href = "2-uk.html#SP1" class = "function-link" > < span class = "function-syntax" > Kinds::Behaviour::get_name< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > plural_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" > k1< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Wordings::first_wn< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > KW< / 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" > full_length< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Wordings::length< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > KW< / 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" > from< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > ;< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-dk.html#SP24_3_2" class = "named-paragraph-link" > < span class = "named-paragraph" > Choose which form of the constructor to use when writing this out< / span > < span class = "named-paragraph-number" > 24.3.2< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-dk.html#SP24_3_3" class = "named-paragraph-link" > < span class = "named-paragraph" > Actually write out the chosen form of the constructor< / span > < span class = "named-paragraph-number" > 24.3.3< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< / pre >
2020-08-09 20:39:31 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-dk.html#SP24" > § 24< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP24_3_1" class = "paragraph-anchor" > < / a > < b > § 24.3.1. < / b > Since Inform reads "either/or property" as syntactic sugar for "truth
2019-03-17 14:40:57 +02:00
state valued property", we'll also write it: it's a much more familiar
usage.
< / p >
2020-08-09 20:39:31 +03:00
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Make a special case for either/or properties< / span > < span class = "named-paragraph-number" > 24.3.1< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-12 15:05:44 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > CON_property< / span > < span class = "plain-syntax" > ) & & (< / span > < a href = "2-knd.html#SP24" class = "function-link" > < span class = "function-syntax" > Kinds::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > first_base< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_truth_state< / span > < span class = "plain-syntax" > ))) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "either/or property"< / 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 >
< / pre >
2020-08-09 20:39:31 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-dk.html#SP24_3" > § 24.3< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP24_3_2" class = "paragraph-anchor" > < / a > < b > § 24.3.2. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Choose which form of the constructor to use when writing this out< / span > < span class = "named-paragraph-number" > 24.3.2< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-18 00:57:45 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > k_present< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > l_present< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > these initialisations have no effect but avoid warnings< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > choice_from< / span > < span class = "plain-syntax" > [2][2], < / span > < span class = "identifier-syntax" > choice_to< / span > < span class = "plain-syntax" > [2][2];< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-dk.html#SP24_3_2_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Determine the possible forms for writing this constructor< / span > < span class = "named-paragraph-number" > 24.3.2.1< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > k_present< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > ; < / span > < span class = "identifier-syntax" > l_present< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 1< / 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" > con< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > CON_rule< / span > < span class = "plain-syntax" > ) || (< / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > CON_rulebook< / span > < span class = "plain-syntax" > )) {< / span >
2021-02-27 02:41:51 +02:00
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > ifdef< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > IF_MODULE< / span >
2020-08-12 15:05:44 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "2-knd.html#SP24" class = "function-link" > < span class = "function-syntax" > Kinds::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > first_base< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_action_name< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > k_present< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
2021-02-27 02:41:51 +02: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 > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > {< / span >
2020-08-12 15:05:44 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "2-knd.html#SP24" class = "function-link" > < span class = "function-syntax" > Kinds::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > first_base< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_nil< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > k_present< / 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 > < a href = "2-knd.html#SP24" class = "function-link" > < span class = "function-syntax" > Kinds::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > first_base< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_void< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > k_present< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2020-08-12 15:05:44 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > CON_property< / span > < span class = "plain-syntax" > ) & & (< / span > < a href = "2-knd.html#SP24" class = "function-link" > < span class = "function-syntax" > Kinds::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > first_base< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_value< / span > < span class = "plain-syntax" > ))) < / span > < span class = "identifier-syntax" > k_present< / 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" > con< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > CON_table_column< / span > < span class = "plain-syntax" > ) & & (< / span > < a href = "2-knd.html#SP24" class = "function-link" > < span class = "function-syntax" > Kinds::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > first_base< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_value< / span > < span class = "plain-syntax" > ))) < / span > < span class = "identifier-syntax" > k_present< / 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" > con< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > CON_relation< / span > < span class = "plain-syntax" > ) & & (< / span > < a href = "2-knd.html#SP24" class = "function-link" > < span class = "function-syntax" > Kinds::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > first_base< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > second_base< / span > < span class = "plain-syntax" > ))) < / span > < span class = "identifier-syntax" > l_present< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
2021-05-15 01:28:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "4-kc2.html#SP15" class = "function-link" > < span class = "function-syntax" > KindConstructors::arity< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > ) == < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > l_present< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
2020-08-12 15:05:44 +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 > < a href = "2-knd.html#SP24" class = "function-link" > < span class = "function-syntax" > Kinds::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > second_base< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_nil< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > l_present< / 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 = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "2-knd.html#SP24" class = "function-link" > < span class = "function-syntax" > Kinds::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > second_base< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_void< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > l_present< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > choice_from< / span > < span class = "plain-syntax" > [< / span > < span class = "identifier-syntax" > k_present< / span > < span class = "plain-syntax" > ][< / span > < span class = "identifier-syntax" > l_present< / span > < span class = "plain-syntax" > ] == -1) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > k_present< / span > < span class = "plain-syntax" > == < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > choice_from< / span > < span class = "plain-syntax" > [1][< / span > < span class = "identifier-syntax" > l_present< / span > < span class = "plain-syntax" > ] > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > k_present< / span > < span class = "plain-syntax" > ++;< / span >
< 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" > l_present< / span > < span class = "plain-syntax" > == < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > choice_from< / span > < span class = "plain-syntax" > [< / span > < span class = "identifier-syntax" > k_present< / span > < span class = "plain-syntax" > ][1] > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > l_present< / span > < span class = "plain-syntax" > ++;< / span >
< 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" > k_present< / span > < span class = "plain-syntax" > == < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > l_present< / span > < span class = "plain-syntax" > == < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > choice_from< / span > < span class = "plain-syntax" > [1][1] > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > k_present< / span > < span class = "plain-syntax" > ++; < / span > < span class = "identifier-syntax" > l_present< / span > < span class = "plain-syntax" > ++;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > choice_from< / span > < span class = "plain-syntax" > [< / span > < span class = "identifier-syntax" > k_present< / span > < span class = "plain-syntax" > ][< / span > < span class = "identifier-syntax" > l_present< / span > < span class = "plain-syntax" > ];< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > choice_to< / span > < span class = "plain-syntax" > [< / span > < span class = "identifier-syntax" > k_present< / span > < span class = "plain-syntax" > ][< / span > < span class = "identifier-syntax" > l_present< / 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" > from< / span > < span class = "plain-syntax" > < < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) || (< / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > > = < / span > < span class = "identifier-syntax" > full_length< / span > < span class = "plain-syntax" > ) || (< / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > < < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) || (< / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > > = < / span > < span class = "identifier-syntax" > full_length< / span > < span class = "plain-syntax" > ) || (< / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > < < / span > < span class = "identifier-syntax" > from< / 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" > "%W: %d, %d, %d\n"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > KW< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > full_length< / 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" > "constructor form choice failed"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
2020-08-09 20:39:31 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-dk.html#SP24_3" > § 24.3< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP24_3_2_1" class = "paragraph-anchor" > < / a > < b > § 24.3.2.1. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Determine the possible forms for writing this constructor< / span > < span class = "named-paragraph-number" > 24.3.2.1< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > choice_from< / span > < span class = "plain-syntax" > [0][0] = -1; < / span > < span class = "identifier-syntax" > choice_from< / span > < span class = "plain-syntax" > [0][1] = -1;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > choice_from< / span > < span class = "plain-syntax" > [1][0] = -1; < / span > < span class = "identifier-syntax" > choice_from< / span > < span class = "plain-syntax" > [1][1] = -1;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > for< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > =0, < / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > = -1; < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > < < / span > < span class = "identifier-syntax" > full_length< / 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" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > == -1) { < / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ; < / span > < span class = "identifier-syntax" > k_present< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ; < / span > < span class = "identifier-syntax" > l_present< / 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" > Lexer::word< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > k1< / span > < span class = "plain-syntax" > +< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > CAPITAL_K_V< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > k_present< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 1< / 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" > Lexer::word< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > k1< / span > < span class = "plain-syntax" > +< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > CAPITAL_L_V< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > l_present< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > ;< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Lexer::word< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > k1< / span > < span class = "plain-syntax" > +< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > STROKE_V< / span > < span class = "plain-syntax" > ) < / span > < span class = "named-paragraph-container code-font" > < a href = "2-dk.html#SP24_3_2_1_1" class = "named-paragraph-link" > < span class = "named-paragraph" > End this constructor possibility< / span > < span class = "named-paragraph-number" > 24.3.2.1.1< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-dk.html#SP24_3_2_1_1" class = "named-paragraph-link" > < span class = "named-paragraph" > End this constructor possibility< / span > < span class = "named-paragraph-number" > 24.3.2.1.1< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< / pre >
2020-08-09 20:39:31 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-dk.html#SP24_3_2" > § 24.3.2< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP24_3_2_1_1" class = "paragraph-anchor" > < / a > < b > § 24.3.2.1.1. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > End this constructor possibility< / span > < span class = "named-paragraph-number" > 24.3.2.1.1< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > choice_from< / span > < span class = "plain-syntax" > [< / span > < span class = "identifier-syntax" > k_present< / span > < span class = "plain-syntax" > ][< / span > < span class = "identifier-syntax" > l_present< / span > < span class = "plain-syntax" > ] = < / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > choice_to< / span > < span class = "plain-syntax" > [< / span > < span class = "identifier-syntax" > k_present< / span > < span class = "plain-syntax" > ][< / span > < span class = "identifier-syntax" > l_present< / span > < span class = "plain-syntax" > ] = < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > -1;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > = -1;< / span >
< / pre >
2020-08-09 20:39:31 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-dk.html#SP24_3_2_1" > § 24.3.2.1< / a > (twice).< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP24_3_3" class = "paragraph-anchor" > < / a > < b > § 24.3.3. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Actually write out the chosen form of the constructor< / span > < span class = "named-paragraph-number" > 24.3.3< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< 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 >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > for< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > =< / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > ; < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > < =< / span > < span class = "identifier-syntax" > to< / 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" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > > < / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > " "< / span > < span class = "plain-syntax" > );< / span >
2020-08-12 15:05:44 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Lexer::word< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > k1< / span > < span class = "plain-syntax" > +< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > CAPITAL_K_V< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < a href = "2-dk.html#SP25" class = "function-link" > < span class = "function-syntax" > Kinds::Textual::desc_base< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > first_base< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > substituting< / span > < span class = "plain-syntax" > );< / span >
< 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" > Lexer::word< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > k1< / span > < span class = "plain-syntax" > +< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > CAPITAL_L_V< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < a href = "2-dk.html#SP25" class = "function-link" > < span class = "function-syntax" > Kinds::Textual::desc_base< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > second_base< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > substituting< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "%V"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Lexer::word< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > k1< / span > < span class = "plain-syntax" > +< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
2020-08-09 20:39:31 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-dk.html#SP24_3" > § 24.3< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP25" class = "paragraph-anchor" > < / a > < b > § 25. < / b > < / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-12 15:05:44 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Kinds::Textual::desc_base< / 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" > Kinds::Textual::desc_base< / span > < / span > :< br / > < a href = "2-dk.html#SP24_3_3" > § 24.3.3< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUTPUT_STREAM< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > kind_constructor< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > con< / 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" > b< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > substituting< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K< / 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" > "nothing"< / span > < span class = "plain-syntax" > ); < / span > < span class = "reserved-syntax" > return< / 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" > K< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > K_nil< / span > < span class = "plain-syntax" > ) { < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "nothing"< / span > < span class = "plain-syntax" > ); < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > ; }< / span >
2020-08-11 13:55:39 +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" > K_void< / span > < span class = "plain-syntax" > ) { < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "nothing"< / span > < span class = "plain-syntax" > ); < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > ; }< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > pluralised< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
2021-05-15 01:28:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > tupled< / span > < span class = "plain-syntax" > = < / span > < a href = "4-kc2.html#SP15" class = "function-link" > < span class = "function-syntax" > KindConstructors::tupling< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > b< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > bracketed< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
2020-08-12 15:05:44 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > tupled< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > ) & & (< / span > < a href = "2-knd.html#SP11" class = "function-link" > < span class = "function-syntax" > Kinds::get_construct< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > CON_TUPLE_ENTRY< / span > < span class = "plain-syntax" > )) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > first_base< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > , *< / span > < span class = "identifier-syntax" > second_base< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
2020-08-12 15:05:44 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-knd.html#SP15" class = "function-link" > < span class = "function-syntax" > Kinds::binary_construction_material< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > first_base< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > second_base< / 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" > second_base< / span > < span class = "plain-syntax" > ) & & (< / span > < a href = "2-knd.html#SP11" class = "function-link" > < span class = "function-syntax" > Kinds::get_construct< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > second_base< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > CON_TUPLE_ENTRY< / span > < span class = "plain-syntax" > ))< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > bracketed< / 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-12 15:05:44 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > b< / span > < span class = "plain-syntax" > == < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > CON_phrase< / span > < span class = "plain-syntax" > ) & & (< / span > < a href = "2-knd.html#SP11" class = "function-link" > < span class = "function-syntax" > Kinds::get_construct< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > CON_phrase< / span > < span class = "plain-syntax" > ))< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > bracketed< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > bracketed< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "("< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > tupled< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > ) || (< / span > < span class = "identifier-syntax" > con< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > CON_phrase< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > pluralised< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-dk.html#SP24" class = "function-link" > < span class = "function-syntax" > Kinds::Textual::write_inner< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > pluralised< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > substituting< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > bracketed< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > ")"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
< nav role = "progress" > < div class = "progresscontainer" >
2020-08-19 20:32:30 +03:00
< ul class = "progressbar" > < li class = "progressprev" > < a href = "2-tlok.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-knd.html" > knd< / a > < / li > < li class = "progresssection" > < a href = "2-fk.html" > fk< / a > < / li > < li class = "progresssection" > < a href = "2-tlok.html" > tlok< / a > < / li > < li class = "progresscurrent" > dk< / li > < li class = "progresssection" > < a href = "2-uk.html" > uk< / a > < / li > < li class = "progresschapter" > < a href = "3-dmn.html" > 3< / a > < / li > < li class = "progresschapter" > < a href = "4-abgtn.html" > 4< / a > < / li > < li class = "progressnext" > < a href = "2-uk.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 >