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 > Rules< / 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" >
2020-05-03 03:01:21 +03:00
< script >
MathJax = {
tex: {
inlineMath: '$', '$'], ['\\(', '\\)'
},
svg: {
fontCache: 'global'
}
};
< / script >
< script type = "text/javascript" id = "MathJax-script" async
src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-svg.js">
< / script >
2020-05-03 03:20:55 +03:00
< link href = "../docs-assets/Colours.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2021-03-20 02:08:32 +02:00
< link href = "../docs-assets/Preform-Colours.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-04-14 19:56:54 +03:00
2019-03-17 14:40:57 +02:00
< / head >
2020-05-03 03:01:21 +03:00
< body class = "commentary-font" >
2020-03-19 02:11:25 +02:00
< nav role = "navigation" >
2020-04-14 19:56:54 +03:00
< h1 > < a href = "../index.html" >
2020-05-03 18:34:53 +03:00
< img src = "../docs-assets/Inform.png" height = 72" >
2020-04-14 19:56:54 +03:00
< / a > < / h1 >
< ul > < li > < a href = "../compiler.html" > compiler tools< / a > < / li >
2020-03-19 02:11:25 +02:00
< li > < a href = "../other.html" > other tools< / a > < / li >
< li > < a href = "../extensions.html" > extensions and kits< / a > < / li >
< li > < a href = "../units.html" > unit test tools< / a > < / li >
2020-04-14 19:56:54 +03:00
< / ul > < h2 > Compiler Webs< / h2 > < ul >
2020-03-19 02:11:25 +02:00
< li > < a href = "../inbuild/index.html" > inbuild< / a > < / li >
< li > < a href = "../inform7/index.html" > inform7< / a > < / li >
< li > < a href = "../inter/index.html" > inter< / a > < / li >
2020-04-14 19:56:54 +03:00
< / ul > < h2 > Inbuild Modules< / h2 > < ul >
< li > < a href = "../supervisor-module/index.html" > supervisor< / a > < / li >
< / ul > < h2 > Inform7 Modules< / h2 > < ul >
2020-08-26 12:52:50 +03:00
< li > < a href = "../core-module/index.html" > core< / a > < / li >
< li > < a href = "../assertions-module/index.html" > assertions< / a > < / li >
< li > < a href = "../values-module/index.html" > values< / a > < / li >
2021-02-07 14:44:02 +02:00
< li > < a href = "../knowledge-module/index.html" > knowledge< / a > < / li >
< li > < a href = "index.html" > < span class = "selectedlink" > imperative< / span > < / a > < / li >
2020-08-26 12:52:50 +03:00
< li > < a href = "../runtime-module/index.html" > runtime< / a > < / li >
2020-03-19 02:11:25 +02:00
< li > < a href = "../if-module/index.html" > if< / a > < / li >
< li > < a href = "../multimedia-module/index.html" > multimedia< / a > < / li >
< li > < a href = "../index-module/index.html" > index< / a > < / li >
2020-04-14 19:56:54 +03:00
< / ul > < h2 > Inter Modules< / h2 > < ul >
< li > < a href = "../bytecode-module/index.html" > bytecode< / a > < / li >
2020-03-19 02:11:25 +02:00
< li > < a href = "../building-module/index.html" > building< / a > < / li >
< li > < a href = "../codegen-module/index.html" > codegen< / a > < / li >
2020-05-20 02:02:28 +03:00
< / ul > < h2 > Services< / h2 > < ul >
2020-04-14 19:56:54 +03:00
< li > < a href = "../arch-module/index.html" > arch< / a > < / li >
2020-08-20 01:36:18 +03:00
< li > < a href = "../calculus-module/index.html" > calculus< / a > < / li >
2020-04-14 19:56:54 +03:00
< li > < a href = "../html-module/index.html" > html< / a > < / li >
2020-05-20 02:02:28 +03:00
< li > < a href = "../inflections-module/index.html" > inflections< / a > < / li >
2020-08-20 01:36:18 +03:00
< li > < a href = "../kinds-module/index.html" > kinds< / a > < / li >
2020-05-20 02:02:28 +03:00
< li > < a href = "../linguistics-module/index.html" > linguistics< / a > < / li >
< li > < a href = "../problems-module/index.html" > problems< / a > < / li >
2020-08-20 01:36:18 +03:00
< li > < a href = "../syntax-module/index.html" > syntax< / a > < / li >
< li > < a href = "../words-module/index.html" > words< / a > < / li >
2020-03-19 02:11:25 +02:00
< li > < a href = "../../../inweb/docs/foundation-module/index.html" > foundation< / a > < / li >
2020-04-14 19:56:54 +03:00
< / ul >
2020-03-19 02:11:25 +02:00
< / nav >
< main role = "main" >
2020-05-03 03:01:21 +03:00
<!-- Weave of 'Rules' generated by Inweb -->
< div class = "breadcrumbs" >
2021-02-07 14:44:02 +02:00
< ul class = "crumbs" > < li > < a href = "../index.html" > Home< / a > < / li > < li > < a href = "../compiler.html" > Inform7< / a > < / li > < li > < a href = "index.html" > imperative< / a > < / li > < li > < a href = "index.html#2" > Chapter 2: Rules and Rulebooks< / a > < / li > < li > < b > Rules< / b > < / li > < / ul > < / div >
2021-03-20 02:08:32 +02:00
< p class = "purpose" > Rules contain imperative code which is executed when certain actions, activities or other processes are being followed.< / p >
2019-03-17 14:40:57 +02:00
2021-03-20 02:08:32 +02:00
< ul class = "toc" > < li > < a href = "2-rls.html#SP1" > § 1. Introduction< / a > < / li > < li > < a href = "2-rls.html#SP3" > § 3. Names of rules< / a > < / li > < li > < a href = "2-rls.html#SP6" > § 6. The kind of a rule< / a > < / li > < li > < a href = "2-rls.html#SP8" > § 8. Defining rules with imperative I7 code< / a > < / li > < li > < a href = "2-rls.html#SP12" > § 12. Applicability constraints< / a > < / li > < li > < a href = "2-rls.html#SP13" > § 13. Logging< / a > < / li > < li > < a href = "2-rls.html#SP14" > § 14. Specificity of rules< / a > < / li > < li > < a href = "2-rls.html#SP16" > § 16. Automatic placement into rulebooks< / a > < / li > < li > < a href = "2-rls.html#SP17" > § 17. Check safety of placement constraints< / a > < / li > < li > < a href = "2-rls.html#SP18" > § 18. Actor testing< / a > < / li > < / ul > < hr class = "tocbar" >
2019-03-17 14:40:57 +02:00
2021-03-20 02:08:32 +02:00
< p class = "commentary firstcommentary" > < a id = "SP1" class = "paragraph-anchor" > < / a > < b > § 1. Introduction. < / b > Rule and phrase definitions have a similar syntax, in some ways — they open
with a declaration, there's a colon, and then we (often) have a block of
imperative code to show what they do:
2019-03-17 14:40:57 +02:00
< / p >
2021-03-20 02:08:32 +02:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "identifier-syntax" > RULE< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PHRASE< / span >
< span class = "identifier-syntax" > Before< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > eating< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > To< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > extinguish< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > - < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > candle< / span > < span class = "plain-syntax" > ):< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > say< / span > < span class = "plain-syntax" > < / span > < span class = "string-syntax" > "The candle flickers ominously."< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > now< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > unlit< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > say< / span > < span class = "plain-syntax" > < / span > < span class = "string-syntax" > "Suddenly [the C] blows out."< / span >
< / pre >
< p class = "commentary" > Despite the similarities, rules are not the same thing as phrases. Some rules,
such as the one in this example, give a definition which looks like the body
of a phrase, and indeed inside the compiler it is stored as such, in the
< span class = "extract" > < span class = "extract-syntax" > defn_as_phrase< / span > < / span > field of a < a href = "2-rls.html#SP1" class = "internal" > rule< / a > . But other rules are written quite
differently:
2019-03-17 14:40:57 +02:00
< / p >
2021-03-20 02:08:32 +02:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "identifier-syntax" > The< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > can< / span > < span class = "plain-syntax" > '< / span > < span class = "identifier-syntax" > t< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > reach< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inside< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rooms< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rule< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > translates< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > into< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I6< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > as< / span > < span class = "plain-syntax" > |< / span > < span class = "string-syntax" > "CANT_REACH_INSIDE_ROOMS_R"< / span > < span class = "plain-syntax" > |.< / span >
< / pre >
< p class = "commentary" > and this one is defined by a low-level Inter function, and not a phrase at all.
In any case, rules and phrases have quite different header syntax, and have
different dynamics altogether. In short, then: rules are not phrases.
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" > typedef< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > name< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > name of the rule being booked< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > explicitly_named< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > was this rule explicitly named when created?< / span >
2021-03-20 02:08:32 +02:00
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > kind_of_rule< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > determined from its rulebook(s)< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > rulebook< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > kind_of_rule_set_from< / span > < span class = "plain-syntax" > ;< / span >
2019-03-17 14:40:57 +02:00
2021-03-20 02:08:32 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > phrase< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > defn_as_phrase< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > if defined by an I7 phrase< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > stacked_variable_owner_list< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > variables_visible_in_definition< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > if so< / span >
2019-03-17 14:40:57 +02:00
2021-03-20 02:08:32 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > booking< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > automatic_booking< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > how this is placed in rulebooks< / span >
2019-03-17 14:40:57 +02:00
2021-03-20 02:08:32 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > linked_list< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > applicability_conditions< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > of < / span > < a href = "2-rls.html#SP11" class = "internal" > applicability_condition< / a >
2019-03-17 14:40:57 +02:00
2021-03-20 02:08:32 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > rule_response< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > responses< / span > < span class = "plain-syntax" > [26]; < / span > < span class = "comment-syntax" > responses (A), (B), ...< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rule_indexing_data< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > indexing_data< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rule_compilation_data< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > compilation_data< / span > < span class = "plain-syntax" > ;< / span >
2020-05-09 15:07:39 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > CLASS_DEFINITION< / span >
2021-03-20 02:08:32 +02:00
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > ;< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-03-20 02:08:32 +02:00
< ul class = "endnotetexts" > < li > The structure rule is accessed in 2/rlb, 2/fao, 2/sv, 2/act, 3/pu, 3/prcd, 3/dptd, 3/po, 3/pav, 6/cii, 6/cste and here.< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP2" class = "paragraph-anchor" > < / a > < b > § 2. < / b > Rules are created before their definitions can be parsed or compiled. A
typical rule like so:
2019-03-17 14:40:57 +02:00
< / p >
< blockquote >
< p > Before eating (this is the must say grace rule): ...< / p >
< / blockquote >
2021-03-20 02:08:32 +02:00
< p class = "commentary" > causes "must say grace rule" to be registered as a constant value early in
Inform's run, allowing it to be a property value, or a table entry, for
example. Note that the rule may just as well be nameless, as it would have
been if the "(this is... )" part had been omitted.
2019-03-17 14:40:57 +02:00
< / p >
2021-03-20 02:08:32 +02:00
< p class = "commentary" > Some rules are nameless, and there can be any number of those. But if a rule
does have a name, then that name must be unique. The following fetches the
rule called < span class = "extract" > < span class = "extract-syntax" > W< / span > < / span > , creating it if necessary.
2019-03-17 14:40:57 +02:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-03-20 02:08:32 +02:00
< span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > Rules::obtain< / 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" > Rules::obtain< / span > < / span > :< br / > < a href = "2-rls.html#SP19" > § 19< / a > < br / > Phrase Usage - < a href = "3-pu.html#SP4" > § 4< / a > , < a href = "3-pu.html#SP5" > § 5< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > named< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Wordings::nonempty< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Articles::remove_the< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > = < / span > < a href = "2-rls.html#SP5" class = "function-link" > < span class = "function-syntax" > Rules::by_name< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > ) < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > CREATE< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / 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 = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > explicitly_named< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > named< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > kind_of_rule< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
2021-03-20 02:08:32 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > kind_of_rule_set_from< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > defn_as_phrase< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
2021-03-20 02:08:32 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > variables_visible_in_definition< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > automatic_booking< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
2021-03-20 02:08:32 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > applicability_conditions< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NEW_LINKED_LIST< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > applicability_condition< / 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" > l< / span > < span class = "plain-syntax" > =0; < / span > < span class = "identifier-syntax" > l< / span > < span class = "plain-syntax" > < 26; < / span > < span class = "identifier-syntax" > l< / span > < span class = "plain-syntax" > ++) < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > responses< / span > < span class = "plain-syntax" > [< / span > < span class = "identifier-syntax" > l< / span > < span class = "plain-syntax" > ] = < / span > < a href = "2-rls.html#SP18" class = "function-link" > < span class = "function-syntax" > Rules::new_rule_response< / span > < / a > < span class = "plain-syntax" > ();< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > compilation_data< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > RTRules::new_compilation_data< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > indexing_data< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > IXRules::new_indexing_data< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > Wordings::nonempty< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > )) & & (< / span > < a href = "2-rls.html#SP3" class = "function-link" > < span class = "function-syntax" > Rules::vet_name< / span > < / a > < 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" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > name< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < a href = "2-rls.html#SP5" class = "function-link" > < span class = "function-syntax" > Rules::register_name< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-03-20 02:08:32 +02:00
< p class = "commentary firstcommentary" > < a id = "SP3" class = "paragraph-anchor" > < / a > < b > § 3. Names of rules. < / b > Rule names must pass the following sanity check:
2019-03-17 14:40:57 +02:00
< / p >
2021-03-20 02:08:32 +02:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PM_RuleWithComma_issued_at< / span > < span class = "plain-syntax" > = -1;< / span >
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Rules::vet_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" > Rules::vet_name< / span > < / span > :< br / > < a href = "2-rls.html#SP2" > § 2< / a > < br / > Phrase Usage - < a href = "3-pu.html#SP10_4" > § 10.4< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "function-syntax" > < unsuitable-name> < / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_RuleWithComma_issued_at< / 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 = "plain-syntax" > < / span > < span class = "identifier-syntax" > PM_RuleWithComma_issued_at< / 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 = "plain-syntax" > < / span > < span class = "identifier-syntax" > StandardProblems::sentence_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (),< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_RuleWithComma< / span > < span class = "plain-syntax" > ),< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "a rule name is not allowed to contain punctuation, or to consist only "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "of an article like 'a' or 'an', or to contain double-quoted text"< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "because this leads to too much ambiguity later on."< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
< p class = "commentary firstcommentary" > < a id = "SP4" class = "paragraph-anchor" > < / a > < b > § 4. < / b > The names of rules become proper nouns in the lexicon. There are typically some
hundreds of these and we make a modest speed gain by registering rule names which
end in "rule" slightly differently. (Not all rule names do: those for timed events do not.)
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2021-03-20 02:08:32 +02:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
< span class = "Preform-function-syntax" > < rule-name-formal> < / 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-constant-syntax" > rule< / span >
< / pre >
< ul class = "endnotetexts" > < li > This is < a href = "../words-module/4-ap.html" class = "internal" > Preform grammar< / a > , not regular C code.< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP5" class = "paragraph-anchor" > < / a > < b > § 5. < / b > < / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-03-20 02:08:32 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Rules::register_name< / 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" > Rules::register_name< / span > < / span > :< br / > < a href = "2-rls.html#SP2" > § 2< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > unsigned< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mc< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > RULE_MC< / span > < span class = "plain-syntax" > ;< / span >
2021-03-20 02:08:32 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "function-syntax" > < rule-name-formal> (R-> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > mc< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > MISCELLANEOUS_MC< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Nouns::new_proper_noun< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > NEUTER_GENDER< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > ADD_TO_LEXICON_NTOPT< / span > < span class = "plain-syntax" > ,< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mc< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Rvalues::from_rule< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > ), < / span > < span class = "identifier-syntax" > Task::language_of_syntax< / span > < span class = "plain-syntax" > ());< / span >
2021-03-20 02:08:32 +02:00
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
2021-03-20 02:08:32 +02:00
< span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > Rules::by_name< / 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" > Rules::by_name< / span > < / span > :< br / > < a href = "2-rls.html#SP2" > § 2< / a > , < a href = "2-rls.html#SP20" > § 20< / a > < br / > Phrase Usage - < a href = "3-pu.html#SP5" > § 5< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > ) {< / span >
2020-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::empty< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > )) < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Articles::remove_the< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > );< / span >
2021-03-20 02:08:32 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > unsigned< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mc< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > RULE_MC< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "function-syntax" > < rule-name-formal> < / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > mc< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > MISCELLANEOUS_MC< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Lexicon::retrieve< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mc< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Rvalues::is_CONSTANT_construction< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > CON_rule< / 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" > Rvalues::to_rule< / 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" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-03-20 02:08:32 +02:00
< p class = "commentary firstcommentary" > < a id = "SP6" class = "paragraph-anchor" > < / a > < b > § 6. The kind of a rule. < / b > Given that Inform authors can refer to (named) rules as constant values, they
need to have kinds, and it is not obvious what those should be. Clearly
some form of "K-based rule producing L" would be reasonable, but leaving K
and L just to be "value" — as the earliest versions of Inform 7 did, in the
mid-2000s — would be indefinite. Constants should always have definite kinds,
because otherwise kind inference will fail on phrases like:
< / p >
< blockquote >
< p > let R be the foo rule;< / p >
< / blockquote >
< p class = "commentary" > So we have to give each rule a definite kind. Unfortunately for us, there is
no indication of that kind in its declaration, as such: we must infer the
kind from how the rule is used, that is, from the rulebook it is put into.
And since a rule can be in multiple rulebooks, we have to check that this
does not lead to an inconsistency.
< / p >
< p class = "commentary" > The following function is called when a rule is added to a rulebook:
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-03-20 02:08:32 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Rules::set_kind_from< / 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" > Rules::set_kind_from< / span > < / span > :< br / > Rule Bookings - < a href = "2-rb.html#SP7" > § 7< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > rulebook< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > RB< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > = < / span > < a href = "2-rlb.html#SP9" class = "function-link" > < span class = "function-syntax" > Rulebooks::contains_kind< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > RB< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > kind_of_rule< / 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" > Kinds::compatible< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > kind_of_rule< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > ) != < / span > < span class = "identifier-syntax" > ALWAYS_MATCH< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > B1< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > , *< / span > < span class = "identifier-syntax" > B2< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > , *< / span > < span class = "identifier-syntax" > P1< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > , *< / span > < span class = "identifier-syntax" > P2< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Kinds::binary_construction_material< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > kind_of_rule< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > B1< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > P1< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Kinds::binary_construction_material< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > B2< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > P2< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_source< / span > < span class = "plain-syntax" > (1, < / span > < span class = "identifier-syntax" > current_sentence< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_wording< / span > < span class = "plain-syntax" > (2, < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_kind< / span > < span class = "plain-syntax" > (3, < / span > < span class = "identifier-syntax" > B1< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_kind< / span > < span class = "plain-syntax" > (4, < / span > < span class = "identifier-syntax" > P1< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_kind< / span > < span class = "plain-syntax" > (5, < / span > < span class = "identifier-syntax" > B2< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_kind< / span > < span class = "plain-syntax" > (6, < / span > < span class = "identifier-syntax" > P2< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_wording_as_source< / span > < span class = "plain-syntax" > (7, < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > kind_of_rule_set_from< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > primary_name< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_wording_as_source< / span > < span class = "plain-syntax" > (8, < / span > < span class = "identifier-syntax" > RB< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > primary_name< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > StandardProblems::handmade_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (),< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_RuleInIncompatibleRulebooks< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::issue_problem_segment< / span > < span class = "plain-syntax" > (< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "You've asked to put the rule '%2' into the rulebook %8, which is based "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "on %5 and produces %6; but it was originally written to go into a "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "rulebook of a different kind, %7, which is based on %3 and produces %4. "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "Because those kinds are different, '%2' can't go into %8."< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::issue_problem_end< / span > < span class = "plain-syntax" > ();< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
2021-03-20 02:08:32 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > kind_of_rule< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > kind_of_rule_set_from< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > RB< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-03-20 02:08:32 +02:00
< p class = "commentary firstcommentary" > < a id = "SP7" class = "paragraph-anchor" > < / a > < b > § 7. < / b > If a rule has no known kind — if it is not in a rulebook, for example —
then the following says it is an action-based rule producing nothing, unless
we are in Basic Inform only, in which case it is a nothing-based rule producing
nothing.
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-26 12:52:50 +03:00
< span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > Rules::to_kind< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > kind_of_rule< / 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" > NULL< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-20 01:20:09 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PluginManager::active< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > actions_plugin< / span > < span class = "plain-syntax" > ))< / span >
2020-08-18 00:57:45 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Kinds::binary_con< / span > < 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 >
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 > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Kinds::binary_con< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > CON_rule< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_void< / 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 >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-03-20 02:08:32 +02:00
< p class = "commentary firstcommentary" > < a id = "SP8" class = "paragraph-anchor" > < / a > < b > § 8. Defining rules with imperative I7 code. < / b > Once a rule has been created, it can be given a definition body in the form
of a < a href = "3-phr.html#SP3" class = "internal" > phrase< / a > as follows:
2019-03-17 14:40:57 +02:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-03-20 02:08:32 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Rules::set_defn_as_phrase< / 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" > Rules::set_defn_as_phrase< / span > < / span > :< br / > Phrase Usage - < a href = "3-pu.html#SP5" > § 5< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > phrase< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > ph< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > defn_as_phrase< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > ph< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2021-03-20 02:08:32 +02:00
< span class = "reserved-syntax" > phrase< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > Rules::get_defn_as_phrase< / 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" > Rules::get_defn_as_phrase< / span > < / span > :< br / > Rule Bookings - < a href = "2-rb.html#SP7" > § 7< / a > , < a href = "2-rb.html#SP16" > § 16< / a > , < a href = "2-rb.html#SP17" > § 17< / a > , < a href = "2-rb.html#SP24" > § 24< / a > < br / > Rulebooks - < a href = "2-rlb.html#SP18" > § 18< / a > < br / > Phrase Usage - < a href = "3-pu.html#SP5_2" > § 5.2< / a > < br / > Compile Invocations Inline - < a href = "6-cii.html#SP3_1_1_4_12" > § 3.1.1.4.12< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > defn_as_phrase< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-03-20 02:08:32 +02:00
< p class = "commentary firstcommentary" > < a id = "SP9" class = "paragraph-anchor" > < / a > < b > § 9. < / b > Inside such a definition, certain stacked variables may be in scope. For
example, if a rule is in an activity rulebook, then it will be able to see
the variables belonging to that activity.
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-03-20 02:08:32 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Rules::put_variables_in_scope< / span > < button class = "popup" onclick = "togglePopup('usagePopup8')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup8" > Usage of < span class = "code-font" > < span class = "function-syntax" > Rules::put_variables_in_scope< / span > < / span > :< br / > Rulebooks - < a href = "2-rlb.html#SP18" > § 18< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > stacked_variable_owner_list< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > stvol< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > variables_visible_in_definition< / span > < span class = "plain-syntax" > =< / span >
< span class = "plain-syntax" > < / span > < a href = "2-sv.html#SP3" class = "function-link" > < span class = "function-syntax" > StackedVariables::append_owner_list< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > variables_visible_in_definition< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > stvol< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2021-03-20 02:08:32 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Rules::put_action_variables_in_scope< / span > < button class = "popup" onclick = "togglePopup('usagePopup9')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup9" > Usage of < span class = "code-font" > < span class = "function-syntax" > Rules::put_action_variables_in_scope< / span > < / span > :< br / > Rulebooks - < a href = "2-rlb.html#SP18" > § 18< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > ifdef< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > IF_MODULE< / span >
< span class = "plain-syntax" > < / span > < a href = "2-rls.html#SP9" class = "function-link" > < span class = "function-syntax" > Rules::put_variables_in_scope< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > all_nonempty_stacked_action_vars< / 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" > all_action_processing_vars< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > internal_error< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "APROC not ready"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-rls.html#SP9" class = "function-link" > < span class = "function-syntax" > Rules::put_variables_in_scope< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > all_action_processing_vars< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > endif< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-03-20 02:08:32 +02:00
< p class = "commentary firstcommentary" > < a id = "SP10" class = "paragraph-anchor" > < / a > < b > § 10. < / b > < / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-03-20 02:08:32 +02:00
< span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > rule_being_compiled< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > rule whose phrase's definition is being compiled< / span >
< span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > adopted_rule_for_compilation< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > when a new response is being compiled< / span >
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > adopted_marker_for_compilation< / span > < span class = "plain-syntax" > = -1; < / span > < span class = "comment-syntax" > when a new response is being compiled< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-03-20 02:08:32 +02:00
< p class = "commentary firstcommentary" > < a id = "SP11" class = "paragraph-anchor" > < / a > < b > § 11. < / b > Applicability conditions are a way to control the behaviour of rules written
in somebody else's source text: for example, in the Standard Rules, or in an
extension. They were introduced to the language in January 2011 to replace
the functionality previously provided by procedural rules. For example,
< / p >
< blockquote >
< p > The can't reach inside rooms rule does nothing if the player wears the black hat.< / p >
< / blockquote >
< p class = "commentary" > We can either cancel the rule ("does nothing") or substitute another rule
for it, and this can be either conditional or unconditional. There can be any
number of conditions attached to a given rule, so these are stored in a list.
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-03-20 02:08:32 +02:00
< span class = "reserved-syntax" > typedef< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > applicability_condition< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > text_of_condition< / 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" > sense_of_applicability< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > < / span > < span class = "extract" > < span class = "extract-syntax" > TRUE< / span > < / span > < span class = "comment-syntax" > if condition must hold for rule to have effect< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > substituted_rule< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > rule to use instead if not, or < / span > < span class = "extract" > < span class = "extract-syntax" > NULL< / span > < / span > < span class = "comment-syntax" > to do nothing< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > where_imposed< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > applicability_condition< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > next_applicability_condition< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > CLASS_DEFINITION< / span >
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > applicability_condition< / span > < span class = "plain-syntax" > ;< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-03-20 02:08:32 +02:00
< ul class = "endnotetexts" > < li > The structure applicability_condition is private to this section.< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP12" class = "paragraph-anchor" > < / a > < b > § 12. Applicability constraints. < / b > < / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-03-20 02:08:32 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Rules::impose_constraint< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > S< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > sense< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > applicability_condition< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > nac< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > CREATE< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > applicability_condition< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-rls.html#SP12_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Initialise the applicability condition< / span > < span class = "named-paragraph-number" > 12.1< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-rls.html#SP12_2" class = "named-paragraph-link" > < span class = "named-paragraph" > Add it to the list applying to R< / span > < span class = "named-paragraph-number" > 12.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 >
2021-03-20 02:08:32 +02:00
< p class = "commentary firstcommentary" > < a id = "SP12_1" class = "paragraph-anchor" > < / a > < b > § 12.1. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Initialise the applicability condition< / span > < span class = "named-paragraph-number" > 12.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" >
2021-03-20 02:08:32 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nac< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > text_of_condition< / 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" > nac< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > sense_of_applicability< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > sense< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nac< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > next_applicability_condition< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nac< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > where_imposed< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > current_sentence< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nac< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > substituted_rule< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > S< / span > < span class = "plain-syntax" > ;< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-03-20 02:08:32 +02:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-rls.html#SP12" > § 12< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP12_2" class = "paragraph-anchor" > < / a > < b > § 12.2. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Add it to the list applying to R< / span > < span class = "named-paragraph-number" > 12.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" >
2021-03-20 02:08:32 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > ADD_TO_LINKED_LIST< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > nac< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > applicability_condition< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > applicability_conditions< / span > < span class = "plain-syntax" > );< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-03-20 02:08:32 +02:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-rls.html#SP12" > § 12< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP13" class = "paragraph-anchor" > < / a > < b > § 13. Logging. < / b > < / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-03-20 02:08:32 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Rules::log< / span > < button class = "popup" onclick = "togglePopup('usagePopup10')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup10" > Usage of < span class = "code-font" > < span class = "function-syntax" > Rules::log< / span > < / span > :< br / > Rule Bookings - < a href = "2-rb.html#SP4" > § 4< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) { < / span > < span class = "identifier-syntax" > LOG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "< null-rule> "< / 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" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > defn_as_phrase< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > LOG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "[$R]"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > defn_as_phrase< / span > < span class = "plain-syntax" > );< / span >
2021-03-20 02:08:32 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > compilation_data< / span > < span class = "plain-syntax" > .< / span > < span class = "identifier-syntax" > rule_extern_iname< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > LOG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "[%n]"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > compilation_data< / span > < span class = "plain-syntax" > .< / span > < span class = "identifier-syntax" > rule_extern_iname< / 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" > LOG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "[-]"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-03-20 02:08:32 +02:00
< p class = "commentary firstcommentary" > < a id = "SP14" class = "paragraph-anchor" > < / a > < b > § 14. Specificity of rules. < / b > The following is one of Inform's standardised comparison routines, which
2019-03-17 14:40:57 +02:00
takes a pair of objects A, B and returns 1 if A makes a more specific
2020-04-14 19:56:54 +03:00
description than B, 0 if they seem equally specific, or \(-1\) if B makes a
2019-03-17 14:40:57 +02:00
more specific description than A. This is transitive, and intended to be
used in sorting algorithms.
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-03-20 02:08:32 +02:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Rules::compare_specificity< / span > < button class = "popup" onclick = "togglePopup('usagePopup11')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup11" > Usage of < span class = "code-font" > < span class = "function-syntax" > Rules::compare_specificity< / span > < / span > :< br / > Rule Bookings - < a href = "2-rb.html#SP9" > § 9< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R1< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R2< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > dflag< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-07 14:44:02 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > phrase< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > ph1< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > R1< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > defn_as_phrase< / span > < span class = "plain-syntax" > , *< / span > < span class = "identifier-syntax" > ph2< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > R2< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > defn_as_phrase< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > ph_runtime_context_data< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > phrcd1< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > , *< / span > < span class = "identifier-syntax" > phrcd2< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > ph1< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > phrcd1< / span > < span class = "plain-syntax" > = & (< / span > < span class = "identifier-syntax" > ph1< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > runtime_context_data< / 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" > ph2< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > phrcd2< / span > < span class = "plain-syntax" > = & (< / span > < span class = "identifier-syntax" > ph2< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > runtime_context_data< / 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" > rv< / span > < span class = "plain-syntax" > = < / span > < a href = "3-prcd.html#SP7" class = "function-link" > < span class = "function-syntax" > Phrases::Context::compare_specificity< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > phrcd1< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > phrcd2< / 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" > dflag< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-10 19:33:41 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > rv< / span > < span class = "plain-syntax" > != < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > LOG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "Decided by Law %S that "< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > c_s_stage_law< / 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" > LOG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "Decided that "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > switch< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > rv< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > -1: < / span > < span class = "identifier-syntax" > LOG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "(2) is more specific than (1)\n"< / span > < span class = "plain-syntax" > ); < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > LOG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "they are equally specific\n"< / span > < span class = "plain-syntax" > ); < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > LOG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "(1) is more specific than (2)\n"< / 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" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rv< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-03-20 02:08:32 +02:00
< p class = "commentary firstcommentary" > < a id = "SP15" class = "paragraph-anchor" > < / a > < b > § 15. < / b > It may seem unlikely, but it's possible for two rules to refer to the
2019-03-17 14:40:57 +02:00
same routine at runtime, if two or more I7 names have been declared which
refer to the same I6 routine. So, we have the following. (It is used only
late on in the run, and never applied to undefined rules.)
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-03-20 02:08:32 +02:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Rules::eq< / span > < button class = "popup" onclick = "togglePopup('usagePopup12')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup12" > Usage of < span class = "code-font" > < span class = "function-syntax" > Rules::eq< / span > < / span > :< br / > Rule Bookings - < a href = "2-rb.html#SP13_2" > § 13.2< / a > , < a href = "2-rb.html#SP13_3" > § 13.3< / a > , < a href = "2-rb.html#SP13_6_1" > § 13.6.1< / a > , < a href = "2-rb.html#SP14" > § 14< / a > , < a href = "2-rb.html#SP16" > § 16< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R1< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R2< / 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" > R2< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > defn_as_phrase< / span > < span class = "plain-syntax" > != < / span > < span class = "identifier-syntax" > R1< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > defn_as_phrase< / 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 >
2021-03-20 02:08:32 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > R1< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > compilation_data< / span > < span class = "plain-syntax" > .< / span > < span class = "identifier-syntax" > rule_extern_iname< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > R2< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > compilation_data< / span > < span class = "plain-syntax" > .< / span > < span class = "identifier-syntax" > rule_extern_iname< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Str::eq< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R1< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > compilation_data< / span > < span class = "plain-syntax" > .< / span > < span class = "identifier-syntax" > rule_extern_iname_as_text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > R2< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > compilation_data< / span > < span class = "plain-syntax" > .< / span > < span class = "identifier-syntax" > rule_extern_iname_as_text< / span > < span class = "plain-syntax" > ))< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2021-03-20 02:08:32 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > R1< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > compilation_data< / span > < span class = "plain-syntax" > .< / span > < span class = "identifier-syntax" > rule_extern_iname< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > R2< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > compilation_data< / span > < span class = "plain-syntax" > .< / span > < span class = "identifier-syntax" > rule_extern_iname< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > )) < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP16" class = "paragraph-anchor" > < / a > < b > § 16. Automatic placement into rulebooks. < / b > Some BRs are given their placements with explicit sentences like:
2019-03-17 14:40:57 +02:00
< / p >
< blockquote >
< p > The can't reach inside closed containers rule is listed in the reaching inside rules.< / p >
< / blockquote >
2020-05-03 03:01:21 +03:00
< p class = "commentary" > But others have their placements made implicitly in their definitions:
2019-03-17 14:40:57 +02:00
< / p >
< blockquote >
< p > Before eating something: ...< / p >
< / blockquote >
2020-05-03 03:01:21 +03:00
< p class = "commentary" > (which creates a nameless rule and implicitly places it in the "before"
2019-03-17 14:40:57 +02:00
rulebook). The process of placing those is called "automatic placement".
< / p >
2020-05-03 03:01:21 +03:00
< p class = "commentary" > Automatic placement occurs in declaration order. This is important, because
2019-03-17 14:40:57 +02:00
it ensures that it is declaration order which the rule-sorting code falls back
on when it can see no other justification for placing one rule either side
of another.
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-03-20 02:08:32 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Rules::request_automatic_placement< / span > < button class = "popup" onclick = "togglePopup('usagePopup13')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup13" > Usage of < span class = "code-font" > < span class = "function-syntax" > Rules::request_automatic_placement< / span > < / span > :< br / > Phrases - < a href = "3-phr.html#SP5_7" > § 5.7< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > automatic_booking< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > )< / span >
2021-02-07 14:44:02 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > automatic_booking< / span > < span class = "plain-syntax" > = < / span > < a href = "2-rb.html#SP3" class = "function-link" > < span class = "function-syntax" > Rules::Bookings::new< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-rb.html#SP6" class = "function-link" > < span class = "function-syntax" > Rules::Bookings::request_automatic_placement< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > automatic_booking< / 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 = "SP17" class = "paragraph-anchor" > < / a > < b > § 17. Check safety of placement constraints. < / b > This is more interesting than it might seem. We allow a rule based on nothing
2019-03-17 14:40:57 +02:00
to substitute for a rule based on some value (or an action) because of course
it's perfectly typesafe to ignore the basis value entirely.
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-03-20 02:08:32 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Rules::check_placement_safety< / span > < button class = "popup" onclick = "togglePopup('usagePopup14')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup14" > Usage of < span class = "code-font" > < span class = "function-syntax" > Rules::check_placement_safety< / span > < / span > :< br / > Rulebooks - < a href = "2-rlb.html#SP19" > § 19< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > KR< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > kind_of_rule< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > applicability_condition< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > ac< / span > < span class = "plain-syntax" > ;< / span >
2021-03-20 02:08:32 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER_LINKED_LIST< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > ac< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > applicability_condition< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > applicability_conditions< / 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" > ac< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > substituted_rule< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > KS< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > ac< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > substituted_rule< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > kind_of_rule< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > B1< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > , *< / span > < span class = "identifier-syntax" > B2< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > , *< / span > < span class = "identifier-syntax" > P1< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > , *< / span > < span class = "identifier-syntax" > P2< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Kinds::binary_construction_material< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > KR< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > B1< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > P1< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Kinds::binary_construction_material< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > KS< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > B2< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > P2< / span > < span class = "plain-syntax" > );< / span >
2020-08-12 01:59:29 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Kinds::eq< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > B1< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > B1< / 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 = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Kinds::eq< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > B2< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > B2< / 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 = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Kinds::eq< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > P1< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > P1< / 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 = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Kinds::eq< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > P2< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > P2< / 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 = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Kinds::eq< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > B2< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_void< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > B2< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > B1< / span > < span class = "plain-syntax" > ;< / span >
2020-08-18 00:57:45 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K1< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Kinds::binary_con< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > CON_rule< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > B1< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > P1< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K2< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Kinds::binary_con< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > CON_rule< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > B2< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > P2< / span > < span class = "plain-syntax" > );< / span >
2020-08-12 01:59:29 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Kinds::compatible< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K2< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K1< / span > < span class = "plain-syntax" > ) != < / span > < span class = "identifier-syntax" > ALWAYS_MATCH< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_source< / span > < span class = "plain-syntax" > (1, < / span > < span class = "identifier-syntax" > ac< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > where_imposed< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_wording< / span > < span class = "plain-syntax" > (2, < / span > < span class = "identifier-syntax" > ac< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > substituted_rule< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_wording< / span > < span class = "plain-syntax" > (3, < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > );< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_kind< / span > < span class = "plain-syntax" > (4, < / span > < span class = "identifier-syntax" > KR< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_kind< / span > < span class = "plain-syntax" > (5, < / span > < span class = "identifier-syntax" > KS< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > StandardProblems::handmade_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_RulesCantInterchange< / span > < span class = "plain-syntax" > ));< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::issue_problem_segment< / span > < span class = "plain-syntax" > (< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "In the sentence %1 you've asked to use the rule '%2' in "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "place of '%3', but one is based on %4 whereas the other "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "is %5, and those aren't interchangeable."< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::issue_problem_end< / span > < span class = "plain-syntax" > ();< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-03-20 02:08:32 +02:00
< p class = "commentary firstcommentary" > < a id = "SP18" class = "paragraph-anchor" > < / a > < b > § 18. Actor testing. < / b > With some rules (those which have I7 definitions and which are action based),
2020-05-03 03:01:21 +03:00
it's possible to change the way that applicability testing is done. Since this
can only affect rules we compile ourselves, we ignore all of these calls for
rules with I6 definitions, i.e., where < span class = "extract" > < span class = "extract-syntax" > defn_as_phrase< / span > < / span > is < span class = "extract" > < span class = "extract-syntax" > NULL< / span > < / span > .
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-03-20 02:08:32 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Rules::set_always_test_actor< / span > < button class = "popup" onclick = "togglePopup('usagePopup15')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup15" > Usage of < span class = "code-font" > < span class = "function-syntax" > Rules::set_always_test_actor< / span > < / span > :< br / > Focus and Outcome - < a href = "2-fao.html#SP11" > § 11< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > defn_as_phrase< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-07 14:44:02 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > ph_runtime_context_data< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > phrcd< / span > < span class = "plain-syntax" > = & (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > defn_as_phrase< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > runtime_context_data< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "3-prcd.html#SP3" class = "function-link" > < span class = "function-syntax" > Phrases::Context::set_always_test_actor< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > phrcd< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
2021-03-20 02:08:32 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Rules::set_never_test_actor< / span > < button class = "popup" onclick = "togglePopup('usagePopup16')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup16" > Usage of < span class = "code-font" > < span class = "function-syntax" > Rules::set_never_test_actor< / span > < / span > :< br / > Rulebooks - < a href = "2-rlb.html#SP18" > § 18< / a > < br / > Focus and Outcome - < a href = "2-fao.html#SP11" > § 11< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > defn_as_phrase< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-07 14:44:02 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > ph_runtime_context_data< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > phrcd< / span > < span class = "plain-syntax" > = & (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > defn_as_phrase< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > runtime_context_data< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "3-prcd.html#SP3" class = "function-link" > < span class = "function-syntax" > Phrases::Context::set_never_test_actor< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > phrcd< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
2021-03-20 02:08:32 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Rules::set_marked_for_anyone< / span > < button class = "popup" onclick = "togglePopup('usagePopup17')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup17" > Usage of < span class = "code-font" > < span class = "function-syntax" > Rules::set_marked_for_anyone< / span > < / span > :< br / > Rule Bookings - < a href = "2-rb.html#SP8" > § 8< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > defn_as_phrase< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-07 14:44:02 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > ph_runtime_context_data< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > phrcd< / span > < span class = "plain-syntax" > = & (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > defn_as_phrase< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > runtime_context_data< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "3-prcd.html#SP3" class = "function-link" > < span class = "function-syntax" > Phrases::Context::set_marked_for_anyone< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > phrcd< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
2021-03-20 02:08:32 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Rules::suppress_action_testing< / span > < button class = "popup" onclick = "togglePopup('usagePopup18')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup18" > Usage of < span class = "code-font" > < span class = "function-syntax" > Rules::suppress_action_testing< / span > < / span > :< br / > Rulebooks - < a href = "2-rlb.html#SP18" > § 18< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > defn_as_phrase< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-07 14:44:02 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > ph_runtime_context_data< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > phrcd< / span > < span class = "plain-syntax" > = & (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > defn_as_phrase< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > runtime_context_data< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "3-prcd.html#SP4" class = "function-link" > < span class = "function-syntax" > Phrases::Context::suppress_action_testing< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > phrcd< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
2021-03-20 02:08:32 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Rules::copy_actor_test_flags< / span > < button class = "popup" onclick = "togglePopup('usagePopup19')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup19" > Usage of < span class = "code-font" > < span class = "function-syntax" > Rules::copy_actor_test_flags< / span > < / span > :< br / > Rulebooks - < a href = "2-rlb.html#SP18" > § 18< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R_to< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R_from< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > R_from< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) || (< / span > < span class = "identifier-syntax" > R_to< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > internal_error< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "improper catf"< / span > < span class = "plain-syntax" > );< / span >
2021-02-07 14:44:02 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > ph_runtime_context_data< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > phrcd_from< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R_from< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > defn_as_phrase< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > phrcd_from< / span > < span class = "plain-syntax" > = & (< / span > < span class = "identifier-syntax" > R_from< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > defn_as_phrase< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > runtime_context_data< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > ph_runtime_context_data< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > phrcd_to< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R_to< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > defn_as_phrase< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > phrcd_to< / span > < span class = "plain-syntax" > = & (< / span > < span class = "identifier-syntax" > R_to< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > defn_as_phrase< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > runtime_context_data< / 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" > phrcd_to< / 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" > phrcd_from< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) ||< / span >
2021-02-07 14:44:02 +02:00
< span class = "plain-syntax" > ((< / span > < a href = "3-prcd.html#SP3" class = "function-link" > < span class = "function-syntax" > Phrases::Context::get_marked_for_anyone< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > phrcd_from< / span > < span class = "plain-syntax" > )) & & < / span >
< span class = "plain-syntax" > (< / span > < a href = "3-prcd.html#SP3" class = "function-link" > < span class = "function-syntax" > Phrases::Context::get_marked_for_anyone< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > phrcd_to< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ))) {< / span >
< span class = "plain-syntax" > < / span > < a href = "3-prcd.html#SP3" class = "function-link" > < span class = "function-syntax" > Phrases::Context::clear_always_test_actor< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > phrcd_to< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "3-prcd.html#SP3" class = "function-link" > < span class = "function-syntax" > Phrases::Context::set_never_test_actor< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > phrcd_to< / 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 >
2020-08-26 12:52:50 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Rules::rule_is_named< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > explicitly_named< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2021-03-20 02:08:32 +02:00
< span class = "reserved-syntax" > typedef< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > rule_response< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > response_message< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > message< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > used< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > content< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > rule_response< / span > < span class = "plain-syntax" > ;< / span >
< span class = "reserved-syntax" > rule_response< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Rules::new_rule_response< / span > < button class = "popup" onclick = "togglePopup('usagePopup20')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup20" > Usage of < span class = "code-font" > < span class = "function-syntax" > Rules::new_rule_response< / span > < / span > :< br / > < a href = "2-rls.html#SP2" > § 2< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > rule_response< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rr< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rr< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > message< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rr< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > used< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rr< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > content< / 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" > rr< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2020-08-26 12:52:50 +03:00
< span class = "identifier-syntax" > response_message< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > Rules::rule_defines_response< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > code< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > code< / span > < span class = "plain-syntax" > < < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
2021-03-20 02:08:32 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > responses< / span > < span class = "plain-syntax" > [< / span > < span class = "identifier-syntax" > code< / span > < span class = "plain-syntax" > ].< / span > < span class = "element-syntax" > message< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2020-08-26 12:52:50 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Rules::check_response_usages< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > rule< / 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" > l< / span > < span class = "plain-syntax" > =0; < / span > < span class = "identifier-syntax" > l< / span > < span class = "plain-syntax" > < 26; < / span > < span class = "identifier-syntax" > l< / span > < span class = "plain-syntax" > ++) {< / span >
2021-03-20 02:08:32 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > responses< / span > < span class = "plain-syntax" > [< / span > < span class = "identifier-syntax" > l< / span > < span class = "plain-syntax" > ].< / span > < span class = "identifier-syntax" > used< / span > < span class = "plain-syntax" > ) & & < / span >
< span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > responses< / span > < span class = "plain-syntax" > [< / span > < span class = "identifier-syntax" > l< / span > < span class = "plain-syntax" > ].< / span > < span class = "identifier-syntax" > message< / 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" > TEMPORARY_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > offers< / 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" > c< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > for< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > l< / span > < span class = "plain-syntax" > =0; < / span > < span class = "identifier-syntax" > l< / span > < span class = "plain-syntax" > < 26; < / span > < span class = "identifier-syntax" > l< / span > < span class = "plain-syntax" > ++)< / span >
2021-03-20 02:08:32 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > responses< / span > < span class = "plain-syntax" > [< / span > < span class = "identifier-syntax" > l< / span > < span class = "plain-syntax" > ].< / span > < span class = "element-syntax" > message< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > c< / span > < span class = "plain-syntax" > ++;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > c< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > offers< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > ", "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > offers< / 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" > l< / span > < span class = "plain-syntax" > );< / 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" > letter< / span > < span class = "plain-syntax" > )< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PUT_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > letter< / span > < span class = "plain-syntax" > , < / span > < span class = "character-syntax" > 'A'< / span > < span class = "plain-syntax" > +< / span > < span class = "identifier-syntax" > l< / span > < span class = "plain-syntax" > );< / span >
2021-03-20 02:08:32 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_source< / span > < span class = "plain-syntax" > (1, < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > responses< / span > < span class = "plain-syntax" > [< / span > < span class = "identifier-syntax" > l< / span > < span class = "plain-syntax" > ].< / span > < span class = "element-syntax" > used< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_wording< / span > < span class = "plain-syntax" > (2, < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_stream< / span > < span class = "plain-syntax" > (3, < / span > < span class = "identifier-syntax" > letter< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > c< / span > < span class = "plain-syntax" > == < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > Problems::quote_text< / span > < span class = "plain-syntax" > (4, < / span > < span class = "string-syntax" > "no lettered responses at all"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::quote_stream< / span > < span class = "plain-syntax" > (4, < / span > < span class = "identifier-syntax" > offers< / span > < span class = "plain-syntax" > );< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > StandardProblems::handmade_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_NoSuchResponse< / span > < span class = "plain-syntax" > ));< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::issue_problem_segment< / span > < span class = "plain-syntax" > (< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "You wrote %1, but the '%2' doesn't have a response "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "lettered '%3'. (It has %4.)"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::issue_problem_end< / span > < span class = "plain-syntax" > ();< / span >
2020-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" > letter< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > DISCARD_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > offers< / 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 = "plain-syntax" > }< / span >
2020-08-26 12:52:50 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Rules::now_rule_defines_response< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > code< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > response_message< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > resp< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > internal_error< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "null rule defines response"< / span > < span class = "plain-syntax" > );< / span >
2021-03-20 02:08:32 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > responses< / span > < span class = "plain-syntax" > [< / span > < span class = "identifier-syntax" > code< / span > < span class = "plain-syntax" > ].< / span > < span class = "element-syntax" > message< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > resp< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2020-08-26 12:52:50 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Rules::now_rule_needs_response< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > code< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > internal_error< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "null rule uses response"< / span > < span class = "plain-syntax" > );< / span >
2021-03-20 02:08:32 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > responses< / span > < span class = "plain-syntax" > [< / span > < span class = "identifier-syntax" > code< / span > < span class = "plain-syntax" > ].< / span > < span class = "element-syntax" > used< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > current_sentence< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Wordings::nonempty< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > responses< / span > < span class = "plain-syntax" > [< / span > < span class = "identifier-syntax" > code< / span > < span class = "plain-syntax" > ].< / span > < span class = "element-syntax" > content< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2020-08-26 12:52:50 +03:00
< span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Rules::get_response_value< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > code< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > internal_error< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "null rule uses response"< / span > < span class = "plain-syntax" > );< / span >
2021-03-20 02:08:32 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > responses< / span > < span class = "plain-syntax" > [< / span > < span class = "identifier-syntax" > code< / span > < span class = "plain-syntax" > ].< / span > < span class = "element-syntax" > content< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2020-08-26 12:52:50 +03:00
< span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > Rules::get_response_sentence< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > code< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > internal_error< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "null rule uses response"< / span > < span class = "plain-syntax" > );< / span >
2021-03-20 02:08:32 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > responses< / span > < span class = "plain-syntax" > [< / span > < span class = "identifier-syntax" > code< / span > < span class = "plain-syntax" > ].< / span > < span class = "element-syntax" > used< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
< / pre >
2021-03-20 02:08:32 +02:00
< ul class = "endnotetexts" > < li > The structure rule_response is accessed in 3/prcd and here.< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP19" class = "paragraph-anchor" > < / a > < b > § 19. < / b > Booked rules can be declared wrapping I6 routines which we assume
2020-08-04 02:13:50 +03:00
are defined either in the I6 template or in an I6 inclusion.
< / p >
< p class = "commentary" > The following is called early in the run on sentences like "The can't act
in the dark rule translates into I6 as < span class = "extract" > < span class = "extract-syntax" > "CANT_ACT_IN_THE_DARK_R"< / span > < / span > ." The
node < span class = "extract" > < span class = "extract-syntax" > p-> down-> next< / span > < / span > is the I7 name, and < span class = "extract" > < span class = "extract-syntax" > p-> down-> next-> next< / span > < / span > is the I6
name, whose double-quotes have already been removed.
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-26 12:52:50 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Rules::declare_I6_written_rule< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > p2< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-04 02:13:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I6_name< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Lexer::word_text< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Wordings::first_wn< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Node::get_text< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > p2< / span > < span class = "plain-syntax" > )));< / span >
2021-03-20 02:08:32 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > rule< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > = < / span > < a href = "2-rls.html#SP2" class = "function-link" > < span class = "function-syntax" > Rules::obtain< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > RTRules::set_Inter_identifier< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I6_name< / span > < span class = "plain-syntax" > );< / span >
2020-08-04 02:13:50 +03:00
< span class = "plain-syntax" > }< / span >
< / pre >
2021-03-20 02:08:32 +02:00
< p class = "commentary firstcommentary" > < a id = "SP20" class = "paragraph-anchor" > < / a > < b > § 20. < / b > In order to parse sentences about how rules are placed in rulebooks, we
2020-08-04 02:13:50 +03:00
need to be able to parse the relevant names. (The definite article can
optionally be used.)
< / p >
2021-03-20 02:08:32 +02:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
< span class = "Preform-function-syntax" > < rulebook-name> < / 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-identifier-syntax" > W< / span > < span class = "Preform-plain-syntax" > = < / span > < span class = "Preform-identifier-syntax" > Articles::remove_the< / 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" > 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-identifier-syntax" > RULEBOOK_MC< / 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-reserved-syntax" > if< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > Rvalues::is_CONSTANT_construction< / 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" > CON_rulebook< / span > < span class = "Preform-plain-syntax" > )) {< / span >
< span class = "Preform-plain-syntax" > ==> { -, < / span > < span class = "Preform-identifier-syntax" > Rvalues::to_rulebook< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > p< / span > < span class = "Preform-plain-syntax" > ) };< / 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-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 >
< span class = "Preform-plain-syntax" > }< / span >
< span class = "Preform-function-syntax" > < rule-name> < / 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-identifier-syntax" > W< / span > < span class = "Preform-plain-syntax" > = < / span > < span class = "Preform-identifier-syntax" > Articles::remove_the< / 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-reserved-syntax" > rule< / span > < span class = "Preform-plain-syntax" > *< / span > < span class = "Preform-identifier-syntax" > R< / span > < span class = "Preform-plain-syntax" > = < / span > < a href = "2-rls.html#SP5" class = "function-link" > < span class = "Preform-function-syntax" > Rules::by_name< / span > < / a > < 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-reserved-syntax" > if< / span > < span class = "Preform-plain-syntax" > (< / span > < span class = "Preform-identifier-syntax" > R< / span > < span class = "Preform-plain-syntax" > ) {< / span >
< span class = "Preform-plain-syntax" > ==> { -, < / span > < span class = "Preform-identifier-syntax" > R< / span > < span class = "Preform-plain-syntax" > };< / 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-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 >
< span class = "Preform-plain-syntax" > }< / span >
< / pre >
< 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-05-03 03:01:21 +03:00
< nav role = "progress" > < div class = "progresscontainer" >
2021-02-07 14:44:02 +02:00
< ul class = "progressbar" > < li class = "progressprev" > < a href = "1-im.html" > ❮ < / a > < / li > < li class = "progresschapter" > < a href = "P-wtmd.html" > P< / a > < / li > < li class = "progresschapter" > < a href = "1-im.html" > 1< / a > < / li > < li class = "progresscurrentchapter" > 2< / li > < li class = "progresscurrent" > rls< / li > < li class = "progresssection" > < a href = "2-rb.html" > rb< / a > < / li > < li class = "progresssection" > < a href = "2-rlb.html" > rlb< / a > < / li > < li class = "progresssection" > < a href = "2-fao.html" > fao< / a > < / li > < li class = "progresssection" > < a href = "2-sv.html" > sv< / a > < / li > < li class = "progresssection" > < a href = "2-act.html" > act< / a > < / li > < li class = "progresschapter" > < a href = "3-itp.html" > 3< / a > < / li > < li class = "progresschapter" > < a href = "4-lv.html" > 4< / a > < / li > < li class = "progresschapter" > < a href = "5-cfs.html" > 5< / a > < / li > < li class = "progresschapter" > < a href = "6-inv.html" > 6< / a > < / li > < li class = "progressnext" > < a href = "2-rb.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-05-03 03:01:21 +03:00
< / main >
< / body >
< / html >
2019-03-17 14:40:57 +02:00
