2019-03-17 14:40:57 +02:00
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
< html >
< head >
2020-08-26 12:52:50 +03:00
< title > Index Extensions< / title >
2020-05-03 03:20:55 +03:00
< link href = "../docs-assets/Breadcrumbs.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-03-19 02:11:25 +02:00
< meta name = "viewport" content = "width=device-width initial-scale=1" >
2019-03-17 14:40:57 +02:00
< meta http-equiv = "Content-Type" content = "text/html; charset=utf-8" >
< meta http-equiv = "Content-Language" content = "en-gb" >
2020-05-03 03:01:21 +03:00
2020-05-03 03:20:55 +03:00
< link href = "../docs-assets/Contents.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Progress.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Navigation.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Fonts.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Base.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-05-03 03:01:21 +03:00
< script >
function togglePopup(material_id) {
var popup = document.getElementById(material_id);
popup.classList.toggle("show");
}
< / script >
2020-05-03 03:20:55 +03:00
< link href = "../docs-assets/Popups.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Colours.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-04-14 19:56:54 +03:00
2019-03-17 14:40:57 +02:00
< / head >
2020-05-03 03:01:21 +03:00
< body class = "commentary-font" >
2020-03-19 02:11:25 +02:00
< nav role = "navigation" >
2020-04-14 19:56:54 +03:00
< h1 > < a href = "../index.html" >
2020-05-03 18:34:53 +03:00
< img src = "../docs-assets/Inform.png" height = 72" >
2020-04-14 19:56:54 +03:00
< / a > < / h1 >
< ul > < li > < a href = "../compiler.html" > compiler tools< / a > < / li >
2020-03-19 02:11:25 +02:00
< li > < a href = "../other.html" > other tools< / a > < / li >
< li > < a href = "../extensions.html" > extensions and kits< / a > < / li >
< li > < a href = "../units.html" > unit test tools< / a > < / li >
2020-04-14 19:56:54 +03:00
< / ul > < h2 > Compiler Webs< / h2 > < ul >
2020-03-19 02:11:25 +02:00
< li > < a href = "../inbuild/index.html" > inbuild< / a > < / li >
< li > < a href = "../inform7/index.html" > inform7< / a > < / li >
< li > < a href = "../inter/index.html" > inter< / a > < / li >
2020-04-14 19:56:54 +03:00
< / ul > < h2 > Inbuild Modules< / h2 > < ul >
< li > < a href = "../supervisor-module/index.html" > supervisor< / a > < / li >
< / ul > < h2 > Inform7 Modules< / h2 > < ul >
2020-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 >
< li > < a href = "../knowledge-module/index.html" > knowledge< / a > < / li >
< li > < a href = "../imperative-module/index.html" > imperative< / a > < / li >
< li > < a href = "../runtime-module/index.html" > runtime< / a > < / li >
2020-03-19 02:11:25 +02:00
< li > < a href = "../if-module/index.html" > if< / a > < / li >
< li > < a href = "../multimedia-module/index.html" > multimedia< / a > < / li >
2020-08-26 12:52:50 +03:00
< li > < a href = "index.html" > < span class = "selectedlink" > index< / span > < / a > < / li >
2020-04-14 19:56:54 +03:00
< / ul > < h2 > Inter Modules< / h2 > < ul >
< li > < a href = "../bytecode-module/index.html" > bytecode< / a > < / li >
2020-03-19 02:11:25 +02:00
< li > < a href = "../building-module/index.html" > building< / a > < / li >
< li > < a href = "../codegen-module/index.html" > codegen< / a > < / li >
2020-05-20 02:02:28 +03:00
< / ul > < h2 > Services< / h2 > < ul >
2020-04-14 19:56:54 +03:00
< li > < a href = "../arch-module/index.html" > arch< / a > < / li >
2020-08-20 01:36:18 +03:00
< li > < a href = "../calculus-module/index.html" > calculus< / a > < / li >
2020-04-14 19:56:54 +03:00
< li > < a href = "../html-module/index.html" > html< / a > < / li >
2020-05-20 02:02:28 +03:00
< li > < a href = "../inflections-module/index.html" > inflections< / a > < / li >
2020-08-20 01:36:18 +03:00
< li > < a href = "../kinds-module/index.html" > kinds< / a > < / li >
2020-05-20 02:02:28 +03:00
< li > < a href = "../linguistics-module/index.html" > linguistics< / a > < / li >
< li > < a href = "../problems-module/index.html" > problems< / a > < / li >
2020-08-20 01:36:18 +03:00
< li > < a href = "../syntax-module/index.html" > syntax< / a > < / li >
< li > < a href = "../words-module/index.html" > words< / a > < / li >
2020-03-19 02:11:25 +02:00
< li > < a href = "../../../inweb/docs/foundation-module/index.html" > foundation< / a > < / li >
2020-04-14 19:56:54 +03:00
< / ul >
2020-03-19 02:11:25 +02:00
< / nav >
< main role = "main" >
2020-08-26 12:52:50 +03:00
<!-- Weave of 'Index Extensions' generated by Inweb -->
2020-05-03 03:01:21 +03:00
< div class = "breadcrumbs" >
2021-02-06 20:00:34 +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" > index< / a > < / li > < li > < a href = "index.html#2" > Chapter 2: Indexing< / a > < / li > < li > < b > Index Extensions< / b > < / li > < / ul > < / div >
2020-05-03 03:01:21 +03:00
< p class = "purpose" > To keep details of the extensions currently loaded, their authors, titles, versions and rubrics, and to index and credit them suitably.< / p >
2019-03-17 14:40:57 +02:00
2020-08-26 12:52:50 +03:00
< ul class = "toc" > < li > < a href = "2-ie.html#SP1" > § 1. Indexing extensions in the Contents index< / a > < / li > < / ul > < hr class = "tocbar" >
2020-05-03 03:01:21 +03:00
2020-08-26 12:52:50 +03:00
< p class = "commentary firstcommentary" > < a id = "SP1" class = "paragraph-anchor" > < / a > < b > § 1. Indexing extensions in the Contents index. < / b > The routine below places a list of extensions used in the Contents index,
2019-03-17 14:40:57 +02:00
giving only minimal entries about them.
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-05-31 19:45:44 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > IndexExtensions::index< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUTPUT_STREAM< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > ); < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "EXTENSIONS"< / span > < span class = "plain-syntax" > ); < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-ie.html#SP1" class = "function-link" > < span class = "function-syntax" > IndexExtensions::index_extensions_from< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / 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" > inform_extension< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > inform_extension< / 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" > Extensions::is_standard< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > )< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-ie.html#SP1" class = "function-link" > < span class = "function-syntax" > IndexExtensions::index_extensions_from< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > inform_extension< / 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" > Extensions::is_standard< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > ))< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-ie.html#SP1" class = "function-link" > < span class = "function-syntax" > IndexExtensions::index_extensions_from< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > ); < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
2020-08-26 12:52:50 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > IndexExtensions::index_extensions_from< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUTPUT_STREAM< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > inform_extension< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > from< / 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" > show_head< / 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" > inform_extension< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > inform_extension< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inform_extension< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > owner< / 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" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > N< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Extensions::get_inclusion_sentence< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > );< / span >
2020-05-11 17:21:29 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Wordings::nonempty< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Node::get_text< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > N< / span > < span class = "plain-syntax" > ))) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > source_location< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > sl< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Wordings::location< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Node::get_text< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > N< / span > < span class = "plain-syntax" > ));< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > sl< / span > < span class = "plain-syntax" > .< / span > < span class = "identifier-syntax" > file_of_origin< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > owner< / 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" > else< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > owner< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Extensions::corresponding_to< / span > < span class = "plain-syntax" > (< / span >
2020-05-11 17:21:29 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Lexer::file_of_origin< / 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" > N< / 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" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > owner< / span > < span class = "plain-syntax" > != < / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > ) < / span > < span class = "reserved-syntax" > continue< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > show_head< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-10 19:33:41 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML::open_indented_p< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > 2< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "hanging"< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML::begin_colour< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "808080"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "Included "< / 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" > Extensions::is_standard< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "automatically by Inform"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "from the source text"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "by the extension %S"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > as_copy< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > work< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > title< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > show_head< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML::end_colour< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN_WITH< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "ul"< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "class=\"leaders\""< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN_WITH< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "li"< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "class=\"leaded indent2\""< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "span"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "%S "< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > as_copy< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > work< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > title< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Works::begin_extension_link< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > as_copy< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > work< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_TAG_WITH< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "img"< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "border=0 src=inform:/doc_images/help.png"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Works::end_extension_link< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > as_copy< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > work< / 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" > Extensions::is_standard< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ) { < / span > < span class = "comment-syntax" > give author and inclusion links, but not for SR< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > " by %X"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > as_copy< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > work< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > author_name< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > VersionNumbers::is_null< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > as_copy< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > version< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / 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" > HTML_OPEN_WITH< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "span"< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "class=\"smaller\""< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > semantic_version_number< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > as_copy< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > version< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "version %v"< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "span"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Str::len< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > extra_credit_as_lexed< / span > < span class = "plain-syntax" > ) > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / 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" > HTML_OPEN_WITH< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "span"< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "class=\"smaller\""< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "(%S)"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > extra_credit_as_lexed< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "span"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "span"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "span"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "%d words"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > TextFromFiles::total_word_count< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > read_into_file< / span > < span class = "plain-syntax" > ));< / span >
2021-05-31 19:45:44 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > Index::link< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Wordings::first_wn< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Node::get_text< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Extensions::get_inclusion_sentence< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > ))));< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "span"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "li"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "ul"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "\n"< / 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 >
2020-08-26 12:52:50 +03:00
< p class = "commentary firstcommentary" > < a id = "SP2" class = "paragraph-anchor" > < / a > < b > § 2. < / b > Nothing can prevent a certain repetitiousness intruding here, but there is
2020-02-27 03:43:11 +02:00
just enough local knowledge required to make it foolhardy to try to automate
this from a dump of the excerpt meanings table (say). The ordering of
paragraphs, as in Roget's Thesaurus, tries to proceed from solid things
through to diffuse linguistic ones. But the reader of the resulting
documentation page could be forgiven for thinking it a miscellany.
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 = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > IndexExtensions::document_in_detail< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUTPUT_STREAM< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > inform_extension< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-09 01:13:45 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > ExtensionDictionary::erase_entries_concerning< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > ExtensionDictionary::time_stamp< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > );< / span >
2020-02-27 03:43:11 +02:00
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-ie.html#SP2_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Document and dictionary the kinds made in extension< / span > < span class = "named-paragraph-number" > 2.1< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-ie.html#SP2_2" class = "named-paragraph-link" > < span class = "named-paragraph" > Document and dictionary the objects made in extension< / span > < span class = "named-paragraph-number" > 2.2< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-02-27 03:43:11 +02:00
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-ie.html#SP2_3" class = "named-paragraph-link" > < span class = "named-paragraph" > Document and dictionary the global variables made in extension< / span > < span class = "named-paragraph-number" > 2.3< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-ie.html#SP2_4" class = "named-paragraph-link" > < span class = "named-paragraph" > Document and dictionary the enumerated constant values made in extension< / span > < span class = "named-paragraph-number" > 2.4< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-02-27 03:43:11 +02:00
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-ie.html#SP2_5" class = "named-paragraph-link" > < span class = "named-paragraph" > Document and dictionary the kinds of action made in extension< / span > < span class = "named-paragraph-number" > 2.5< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-ie.html#SP2_6" class = "named-paragraph-link" > < span class = "named-paragraph" > Document and dictionary the actions made in extension< / span > < span class = "named-paragraph-number" > 2.6< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-02-27 03:43:11 +02:00
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-ie.html#SP2_7" class = "named-paragraph-link" > < span class = "named-paragraph" > Document and dictionary the verbs made in extension< / span > < span class = "named-paragraph-number" > 2.7< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-ie.html#SP2_8" class = "named-paragraph-link" > < span class = "named-paragraph" > Document and dictionary the adjectival phrases made in extension< / span > < span class = "named-paragraph-number" > 2.8< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-ie.html#SP2_9" class = "named-paragraph-link" > < span class = "named-paragraph" > Document and dictionary the property names made in extension< / span > < span class = "named-paragraph-number" > 2.9< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2019-03-17 14:40:57 +02:00
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "2-ie.html#SP2_10" class = "named-paragraph-link" > < span class = "named-paragraph" > Document and dictionary the use options made in extension< / span > < span class = "named-paragraph-number" > 2.10< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-26 12:52:50 +03:00
< p class = "commentary firstcommentary" > < a id = "SP2_1" class = "paragraph-anchor" > < / a > < b > § 2.1. < / b > Off we go, then. Kinds of object:
2020-05-03 03:01:21 +03:00
< / p >
2020-08-26 12:52:50 +03:00
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Document and dictionary the kinds made in extension< / span > < span class = "named-paragraph-number" > 2.1< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kc< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER_BASE_KINDS< / 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" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > S< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Kinds::Behaviour::get_creating_sentence< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > S< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-11 17:21:29 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Lexer::file_of_origin< / 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" > S< / span > < span class = "plain-syntax" > ))) == < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > read_into_file< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Kinds::Behaviour::get_name< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > );< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kc< / span > < span class = "plain-syntax" > = < / span > < a href = "2-ie.html#SP3" class = "function-link" > < span class = "function-syntax" > IndexExtensions::document_headword< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > kc< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "Kinds"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "kind"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > );< / span >
2020-08-12 01:59:29 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > S< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Latticework::super< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > S< / 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" > Kinds::Behaviour::get_name< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > S< / 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" > 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" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > " (a kind of %+W)"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > W< / 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 > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > kc< / span > < span class = "plain-syntax" > != < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
2020-02-27 03:43:11 +02:00
< / pre >
2020-08-26 12:52:50 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-ie.html#SP2" > § 2< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP2_2" class = "paragraph-anchor" > < / a > < b > § 2.2. < / b > Actual objects:
2020-05-03 03:01:21 +03:00
< / p >
2020-08-26 12:52:50 +03:00
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Document and dictionary the objects made in extension< / span > < span class = "named-paragraph-number" > 2.2< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > instance< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kc< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
2021-02-13 01:46:18 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER_INSTANCES< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_object< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > OW< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Instances::get_name< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > Instances::get_creating_sentence< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > )) & & (< / span > < span class = "identifier-syntax" > Wordings::nonempty< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OW< / 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" > Lexer::file_of_origin< / span > < span class = "plain-syntax" > (< / span >
2020-08-26 12:52:50 +03:00
< 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" > Instances::get_creating_sentence< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ))))< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > read_into_file< / 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" > name_of_its_kind< / span > < span class = "plain-syntax" > )< / span >
2020-08-26 12:52:50 +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" > Instances::to_kind< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Kinds::Behaviour::get_name< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > k< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > name_of_its_kind< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "%+W"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > );< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kc< / span > < span class = "plain-syntax" > = < / span > < a href = "2-ie.html#SP3" class = "function-link" > < span class = "function-syntax" > IndexExtensions::document_headword< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > kc< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > ,< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "Physical creations"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > name_of_its_kind< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > OW< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > " (a %S)"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > name_of_its_kind< / 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" > name_of_its_kind< / 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 > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > kc< / span > < span class = "plain-syntax" > != < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-26 12:52:50 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-ie.html#SP2" > § 2< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP2_3" class = "paragraph-anchor" > < / a > < b > § 2.3. < / b > Global variables:
2020-05-03 03:01:21 +03:00
< / p >
2020-08-26 12:52:50 +03:00
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Document and dictionary the global variables made in extension< / span > < span class = "named-paragraph-number" > 2.3< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > q< / 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" > kc< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > q< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > nonlocal_variable< / span > < span class = "plain-syntax" > )< / span >
2021-02-26 00:56:58 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > Wordings::first_wn< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > q< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > ) > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) & & < / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > NonlocalVariables::is_global< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > q< / span > < span class = "plain-syntax" > )) & & < / span >
2021-02-26 00:56:58 +02:00
< span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Lexer::file_of_origin< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Wordings::first_wn< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > q< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > )) == < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > read_into_file< / span > < span class = "plain-syntax" > ) & & < / span >
< span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Headings::indexed< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Headings::of_wording< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > q< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > )))) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "function-syntax" > < value-understood-variable-name> (q-> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > )< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kc< / span > < span class = "plain-syntax" > = < / span > < a href = "2-ie.html#SP3" class = "function-link" > < span class = "function-syntax" > IndexExtensions::document_headword< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > ,< / span >
2021-02-26 00:56:58 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kc< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "Values that vary"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "value"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > q< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / 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" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > kc< / span > < span class = "plain-syntax" > != < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-26 12:52:50 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-ie.html#SP2" > § 2< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP2_4" class = "paragraph-anchor" > < / a > < b > § 2.4. < / b > Constants:
2019-03-17 14:40:57 +02:00
< / p >
2020-08-26 12:52:50 +03:00
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Document and dictionary the enumerated constant values made in extension< / span > < span class = "named-paragraph-number" > 2.4< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2020-02-27 03:43:11 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > instance< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > q< / 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" > kc< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
2021-02-13 01:46:18 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > q< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > instance< / 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::Behaviour::is_an_enumeration< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Instances::to_kind< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > q< / span > < span class = "plain-syntax" > ))) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > NW< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Instances::get_name< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > q< / 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" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > Wordings::nonempty< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > NW< / span > < span class = "plain-syntax" > )) & & (< / span > < span class = "identifier-syntax" > Lexer::file_of_origin< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Wordings::first_wn< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > NW< / span > < span class = "plain-syntax" > )) == < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > read_into_file< / span > < span class = "plain-syntax" > ))< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kc< / span > < span class = "plain-syntax" > = < / span > < a href = "2-ie.html#SP3" class = "function-link" > < span class = "function-syntax" > IndexExtensions::document_headword< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > kc< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "Values"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "value"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > NW< / span > < span class = "plain-syntax" > );< / 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" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > kc< / span > < span class = "plain-syntax" > != < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
2020-02-27 03:43:11 +02:00
< / pre >
2020-08-26 12:52:50 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-ie.html#SP2" > § 2< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP2_5" class = "paragraph-anchor" > < / a > < b > § 2.5. < / b > Kinds of action:
2020-02-27 03:43:11 +02:00
< / p >
2020-08-26 12:52:50 +03:00
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Document and dictionary the kinds of action made in extension< / span > < span class = "named-paragraph-number" > 2.5< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2020-02-27 03:43:11 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > ifdef< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > IF_MODULE< / span >
2021-02-27 18:52:18 +02:00
< span class = "plain-syntax" > < / span > < a href = "3-act.html#SP1" class = "function-link" > < span class = "function-syntax" > IXActions::index_named_patterns_for_extension< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > read_into_file< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > endif< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-26 12:52:50 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-ie.html#SP2" > § 2< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP2_6" class = "paragraph-anchor" > < / a > < b > § 2.6. < / b > Actions:
2019-03-17 14:40:57 +02:00
< / p >
2020-08-26 12:52:50 +03:00
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Document and dictionary the actions made in extension< / span > < span class = "named-paragraph-number" > 2.6< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > ifdef< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > IF_MODULE< / span >
2021-02-27 18:52:18 +02:00
< span class = "plain-syntax" > < / span > < a href = "3-ci.html#SP4" class = "function-link" > < span class = "function-syntax" > CommandsIndex::index_for_extension< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > read_into_file< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > endif< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-26 12:52:50 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-ie.html#SP2" > § 2< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP2_7" class = "paragraph-anchor" > < / a > < b > § 2.7. < / b > Verbs (this one we delegate):
2020-02-27 03:43:11 +02:00
< / p >
2019-03-17 14:40:57 +02:00
2020-08-26 12:52:50 +03:00
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Document and dictionary the verbs made in extension< / span > < span class = "named-paragraph-number" > 2.7< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-li.html#SP9" class = "function-link" > < span class = "function-syntax" > IndexLexicon::list_verbs_in_file< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > read_into_file< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > );< / span >
2020-02-27 03:43:11 +02:00
< / pre >
2020-08-26 12:52:50 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-ie.html#SP2" > § 2< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP2_8" class = "paragraph-anchor" > < / a > < b > § 2.8. < / b > Adjectival phrases:
2020-02-27 03:43:11 +02:00
< / p >
2020-08-26 12:52:50 +03:00
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Document and dictionary the adjectival phrases made in extension< / span > < span class = "named-paragraph-number" > 2.8< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2020-02-27 03:43:11 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-06-29 16:28:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > adjective< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > adj< / 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" > kc< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
2020-06-29 16:28:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > adj< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > adjective< / span > < span class = "plain-syntax" > ) {< / span >
2020-06-29 22:08:47 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Adjectives::get_nominative_singular< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > adj< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > Wordings::nonempty< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > )) & & < / span >
< span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Lexer::file_of_origin< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Wordings::first_wn< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > )) == < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > read_into_file< / span > < span class = "plain-syntax" > ))< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kc< / span > < span class = "plain-syntax" > = < / span > < a href = "2-ie.html#SP3" class = "function-link" > < span class = "function-syntax" > IndexExtensions::document_headword< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > kc< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "Adjectives"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "adjective"< / 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 = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > kc< / span > < span class = "plain-syntax" > != < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
2020-02-27 03:43:11 +02:00
< / pre >
2020-08-26 12:52:50 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-ie.html#SP2" > § 2< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP2_9" class = "paragraph-anchor" > < / a > < b > § 2.9. < / b > Other adjectives:
2020-02-27 03:43:11 +02:00
< / p >
2020-08-26 12:52:50 +03:00
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Document and dictionary the property names made in extension< / span > < span class = "named-paragraph-number" > 2.9< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2020-02-27 03:43:11 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > property< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > prn< / 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" > kc< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > prn< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > property< / span > < span class = "plain-syntax" > )< / span >
2021-02-26 00:56:58 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > Wordings::nonempty< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > prn< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > )) & & < / span >
2021-02-18 12:26:57 +02:00
< span class = "plain-syntax" > (< / span > < a href = "2-prp.html#SP2" class = "function-link" > < span class = "function-syntax" > IXProperties::is_shown_in_index< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > prn< / span > < span class = "plain-syntax" > )) & & < / span >
2021-02-26 00:56:58 +02:00
< span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Lexer::file_of_origin< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Wordings::first_wn< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > prn< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > )) == < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > read_into_file< / span > < span class = "plain-syntax" > ))< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kc< / span > < span class = "plain-syntax" > = < / span > < a href = "2-ie.html#SP3" class = "function-link" > < span class = "function-syntax" > IndexExtensions::document_headword< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > kc< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "Properties"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "property"< / span > < span class = "plain-syntax" > ,< / span >
2021-02-26 00:56:58 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > prn< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / 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" > kc< / span > < span class = "plain-syntax" > != < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
2020-02-27 03:43:11 +02:00
< / pre >
2020-08-26 12:52:50 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-ie.html#SP2" > § 2< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP2_10" class = "paragraph-anchor" > < / a > < b > § 2.10. < / b > Use options:
2020-02-27 03:43:11 +02:00
< / p >
2020-08-26 12:52:50 +03:00
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Document and dictionary the use options made in extension< / span > < span class = "named-paragraph-number" > 2.10< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2020-02-27 03:43:11 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > use_option< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > uo< / 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" > kc< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > uo< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > use_option< / span > < span class = "plain-syntax" > )< / span >
2021-02-26 00:56:58 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > Wordings::first_wn< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > uo< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > ) > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) & & < / span >
< span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Lexer::file_of_origin< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Wordings::first_wn< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > uo< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > )) == < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > read_into_file< / span > < span class = "plain-syntax" > ))< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kc< / span > < span class = "plain-syntax" > = < / span > < a href = "2-ie.html#SP3" class = "function-link" > < span class = "function-syntax" > IndexExtensions::document_headword< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > kc< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "Use options"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "use option"< / span > < span class = "plain-syntax" > ,< / span >
2021-02-26 00:56:58 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > uo< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name< / 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" > kc< / span > < span class = "plain-syntax" > != < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
2020-02-27 03:43:11 +02:00
< / pre >
2020-08-26 12:52:50 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "2-ie.html#SP2" > § 2< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP3" class = "paragraph-anchor" > < / a > < b > § 3. < / b > Finally, the utility routine which keeps count (hence < span class = "extract" > < span class = "extract-syntax" > kc< / span > < / span > ) and displays
2020-02-27 03:43:11 +02:00
suitable lists, while entering each entry in turn into the extension
dictionary.
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-05-31 19:45:44 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > IndexExtensions::document_headword< / 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" > IndexExtensions::document_headword< / span > < / span > :< br / > < a href = "2-ie.html#SP2_1" > § 2.1< / a > , < a href = "2-ie.html#SP2_2" > § 2.2< / a > , < a href = "2-ie.html#SP2_3" > § 2.3< / a > , < a href = "2-ie.html#SP2_4" > § 2.4< / a > , < a href = "2-ie.html#SP2_8" > § 2.8< / a > , < a href = "2-ie.html#SP2_9" > § 2.9< / a > , < a href = "2-ie.html#SP2_10" > § 2.10< / a > < br / > Actions - < a href = "3-act.html#SP1" > § 1< / a > < br / > Commands Index - < a href = "3-ci.html#SP4" > § 4< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUTPUT_STREAM< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kc< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > inform_extension< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > E< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > par_heading< / span > < span class = "plain-syntax" > ,< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > category< / 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 = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > kc< / span > < span class = "plain-syntax" > ++ == < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) { < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > ); < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "%s: "< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > par_heading< / span > < span class = "plain-syntax" > ); }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / 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< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "< b> %+W< /b> "< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > );< / span >
2020-05-09 01:13:45 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > ExtensionDictionary::new_entry_from_wording< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > category< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > E< / 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" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kc< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-03 03:01:21 +03:00
< nav role = "progress" > < div class = "progresscontainer" >
2021-06-02 23:13:46 +03:00
< ul class = "progressbar" > < li class = "progressprev" > < a href = "2-ki.html" > ❮ < / a > < / li > < li class = "progresschapter" > < a href = "1-im.html" > 1< / a > < / li > < li class = "progresscurrentchapter" > 2< / li > < li class = "progresssection" > < a href = "2-li.html" > li< / a > < / li > < li class = "progresssection" > < a href = "2-ipw.html" > ipw< / a > < / li > < li class = "progresssection" > < a href = "2-ki.html" > ki< / a > < / li > < li class = "progresscurrent" > ie< / li > < li class = "progresssection" > < a href = "2-ih.html" > ih< / a > < / li > < li class = "progresssection" > < a href = "2-ins.html" > ins< / a > < / li > < li class = "progresssection" > < a href = "2-adj.html" > adj< / a > < / li > < li class = "progresssection" > < a href = "2-vrb.html" > vrb< / a > < / li > < li class = "progresssection" > < a href = "2-prp.html" > prp< / a > < / li > < li class = "progresssection" > < a href = "2-re.html" > re< / a > < / li > < li class = "progresssection" > < a href = "2-inf.html" > inf< / a > < / li > < li class = "progresssection" > < a href = "2-rls.html" > rls< / a > < / li > < li class = "progresssection" > < a href = "2-act.html" > act< / a > < / li > < li class = "progresssection" > < a href = "2-pi.html" > pi< / a > < / li > < li class = "progresssection" > < a href = "2-te.html" > te< / a > < / li > < li class = "progresssection" > < a href = "2-ie2.html" > ie2< / a > < / li > < li class = "progresssection" > < a href = "2-ee.html" > ee< / a > < / li > < li class = "progresssection" > < a href = "2-rfse.html" > rfse< / a > < / li > < li class = "progresssection" > < a href = "2-be.html" > be< / a > < / li > < li class = "progresschapter" > < a href = "3-fe.html" > 3< / a > < / li > < li class = "progresschapter" > < a href = "4-sg.html" > 4< / a > < / li > < li class = "progressnext" > < a href = "2-ih.html" > ❯ < / a > < / li > < / ul > < / div >
2020-05-03 03:01:21 +03:00
< / nav > <!-- End of weave -->
2020-03-11 02:21:09 +02:00
2020-03-19 02:11:25 +02:00
< / main >
2019-03-17 14:40:57 +02:00
< / body >
< / html >
