2019-03-17 14:40:57 +02:00
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
< html >
< head >
2020-04-14 19:56:54 +03:00
< title > Problems, Level 3< / title >
2020-05-03 03:20:55 +03:00
< link href = "../docs-assets/Breadcrumbs.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-03-19 02:11:25 +02:00
< meta name = "viewport" content = "width=device-width initial-scale=1" >
2019-03-17 14:40:57 +02:00
< meta http-equiv = "Content-Type" content = "text/html; charset=utf-8" >
< meta http-equiv = "Content-Language" content = "en-gb" >
2020-05-03 03:01:21 +03:00
2020-05-03 03:20:55 +03:00
< link href = "../docs-assets/Contents.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Progress.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Navigation.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Fonts.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Base.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-05-03 03:01:21 +03:00
< script >
function togglePopup(material_id) {
var popup = document.getElementById(material_id);
popup.classList.toggle("show");
}
< / script >
2020-05-03 03:20:55 +03:00
< link href = "../docs-assets/Popups.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Colours.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-05-21 02:11:29 +03:00
< link href = "../docs-assets/ConsoleText-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" >
2022-04-28 19:37:28 +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 >
2022-04-28 19:37:28 +03:00
< ul > < li > < a href = "../index.html" > home< / a > < / li >
2022-04-04 20:31:44 +03:00
< / ul > < h2 > Compiler< / h2 > < ul >
< li > < a href = "../structure.html" > structure< / a > < / li >
< li > < a href = "../inbuildn.html" > inbuild< / a > < / li >
< li > < a href = "../inform7n.html" > inform7< / a > < / li >
< li > < a href = "../intern.html" > inter< / a > < / li >
< li > < a href = "../services.html" > services< / a > < / li >
2022-04-18 17:46:46 +03:00
< li > < a href = "../secrets.html" > secrets< / a > < / li >
2022-04-04 20:31:44 +03:00
< / ul > < h2 > Other Tools< / h2 > < ul >
< li > < a href = "../inblorbn.html" > inblorb< / a > < / li >
< li > < a href = "../indocn.html" > indoc< / a > < / li >
< li > < a href = "../inform6.html" > inform6< / a > < / li >
< li > < a href = "../inpolicyn.html" > inpolicy< / a > < / li >
2022-04-18 17:46:46 +03:00
< / ul > < h2 > Resources< / h2 > < ul >
< li > < a href = "../extensions.html" > extensions< / a > < / li >
< li > < a href = "../kits.html" > kits< / a > < / li >
2022-04-04 20:31:44 +03:00
< / ul > < h2 > Repository< / h2 > < ul >
< li > < a href = "https://github.com/ganelson/inform" > < img src = "../docs-assets/github.png" height = 18 > github< / a > < / li >
< / ul > < h2 > Related Projects< / h2 > < ul >
2022-04-28 19:20:06 +03:00
< li > < a href = "../../../inweb/index.html" > inweb< / a > < / li >
< li > < a href = "../../../intest/index.html" > intest< / a > < / li >
2020-03-19 02:11:25 +02:00
2020-04-14 19:56:54 +03:00
< / ul >
2020-03-19 02:11:25 +02:00
< / nav >
< main role = "main" >
2020-05-03 03:01:21 +03:00
<!-- Weave of 'Problems, Level 3' generated by Inweb -->
< div class = "breadcrumbs" >
2022-04-28 19:37:28 +03:00
< ul class = "crumbs" > < li > < a href = "../index.html" > Home< / a > < / li > < li > < a href = "../services.html" > Services< / a > < / li > < li > < a href = "index.html" > problems< / a > < / li > < li > < a href = "index.html#2" > Chapter 2: Problems< / a > < / li > < li > < b > Problems, Level 3< / b > < / li > < / ul > < / div >
2020-05-03 03:01:21 +03:00
< p class = "purpose" > Here we provide some convenient semi-standardised problem messages, which also serve as examples of how to use the Level 2 problem message routines.< / p >
2019-03-17 14:40:57 +02:00
2020-05-21 02:11:29 +03:00
< ul class = "toc" > < li > < a href = "2-pl3.html#SP6" > § 6. Nodal errors< / a > < / li > < li > < a href = "2-pl3.html#SP10" > § 10. Handmade problems< / a > < / li > < li > < a href = "2-pl3.html#SP11" > § 11. Limit problems< / a > < / li > < li > < a href = "2-pl3.html#SP12" > § 12. Problem messages unlocated in the source text< / a > < / li > < li > < a href = "2-pl3.html#SP14" > § 14. Problem messages keyed to positions in the source text< / a > < / li > < li > < a href = "2-pl3.html#SP18" > § 18. Definition problems< / a > < / li > < li > < a href = "2-pl3.html#SP19" > § 19. Creating the Problems report< / a > < / li > < / ul > < hr class = "tocbar" >
2019-03-17 14:40:57 +02:00
2020-08-27 17:50:24 +03:00
< p class = "commentary firstcommentary" > < a id = "SP1" class = "paragraph-anchor" > < / a > < b > § 1. < / b > Internal errors are essentially failed assertions, and they should never
2020-04-14 19:56:54 +03:00
occur, whatever the provocation: if they do, they are symptoms of a bug.
2019-03-17 14:40:57 +02:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > internal_error_thrown< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
2020-05-21 02:11:29 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > StandardProblems::internal_errors_have_occurred< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > internal_error_thrown< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2020-04-14 19:56:54 +03:00
< / pre >
2020-08-27 17:50:24 +03:00
< p class = "commentary firstcommentary" > < a id = "SP2" class = "paragraph-anchor" > < / a > < b > § 2. < / b > The internal error "functions" used by the rest of Inform are in fact macros,
2019-03-17 14:40:57 +02:00
in order that they can supply the current filename and line number
automatically to the actual internal error functions. The result is, for
instance,
< / p >
2020-05-21 02:11:29 +03:00
< pre class = "ConsoleText-displayed-code all-displayed-code code-font" >
< span class = "ConsoleText-plain-syntax" > > --> Problem. An internal error has occurred: Unknown verb code. The current< / span >
< span class = "ConsoleText-plain-syntax" > sentence is "A room is a kind"; the error was detected at line 133 of< / span >
< span class = "ConsoleText-plain-syntax" > "Chapter 5/Traverse for Objects.w". This should never happen, and I am< / span >
< span class = "ConsoleText-plain-syntax" > now halting in abject failure.< / span >
< / pre >
< pre class = "definitions code-font" > < span class = "definition-keyword" > define< / span > < span class = "ConsoleText-identifier-syntax" > internal_error_tree_unsafe< / span > < span class = "ConsoleText-plain-syntax" > (< / span > < span class = "ConsoleText-identifier-syntax" > X< / span > < span class = "ConsoleText-plain-syntax" > )< / span >
< span class = "ConsoleText-plain-syntax" > < / span > < a href = "2-pl3.html#SP5" class = "function-link" > < span class = "ConsoleText-function-syntax" > StandardProblems::internal_error_tu_fn< / span > < / a > < span class = "ConsoleText-plain-syntax" > (< / span > < span class = "ConsoleText-identifier-syntax" > NULL< / span > < span class = "ConsoleText-plain-syntax" > , < / span > < span class = "ConsoleText-identifier-syntax" > X< / span > < span class = "ConsoleText-plain-syntax" > , < / span > < span class = "ConsoleText-identifier-syntax" > __FILE__< / span > < span class = "ConsoleText-plain-syntax" > , < / span > < span class = "ConsoleText-identifier-syntax" > __LINE__< / span > < span class = "ConsoleText-plain-syntax" > )< / span >
< span class = "definition-keyword" > define< / span > < span class = "ConsoleText-identifier-syntax" > internal_error_if_node_type_wrong< / span > < span class = "ConsoleText-plain-syntax" > (< / span > < span class = "ConsoleText-identifier-syntax" > T< / span > < span class = "ConsoleText-plain-syntax" > , < / span > < span class = "ConsoleText-identifier-syntax" > X< / span > < span class = "ConsoleText-plain-syntax" > , < / span > < span class = "ConsoleText-identifier-syntax" > Y< / span > < span class = "ConsoleText-plain-syntax" > )< / span >
< span class = "ConsoleText-plain-syntax" > < / span > < a href = "2-pl3.html#SP7" class = "function-link" > < span class = "ConsoleText-function-syntax" > StandardProblems::nodal_check< / span > < / a > < span class = "ConsoleText-plain-syntax" > (< / span > < span class = "ConsoleText-identifier-syntax" > T< / span > < span class = "ConsoleText-plain-syntax" > , < / span > < span class = "ConsoleText-identifier-syntax" > X< / span > < span class = "ConsoleText-plain-syntax" > , < / span > < span class = "ConsoleText-identifier-syntax" > Y< / span > < span class = "ConsoleText-plain-syntax" > , < / span > < span class = "ConsoleText-identifier-syntax" > __FILE__< / span > < span class = "ConsoleText-plain-syntax" > , < / span > < span class = "ConsoleText-identifier-syntax" > __LINE__< / span > < span class = "ConsoleText-plain-syntax" > )< / span >
< span class = "definition-keyword" > define< / span > < span class = "ConsoleText-identifier-syntax" > internal_error_on_node_type< / span > < span class = "ConsoleText-plain-syntax" > (< / span > < span class = "ConsoleText-identifier-syntax" > X< / span > < span class = "ConsoleText-plain-syntax" > )< / span >
< span class = "ConsoleText-plain-syntax" > < / span > < a href = "2-pl3.html#SP8" class = "function-link" > < span class = "ConsoleText-function-syntax" > StandardProblems::internal_error_on_node_type_fn< / span > < / a > < span class = "ConsoleText-plain-syntax" > (< / span > < span class = "ConsoleText-identifier-syntax" > NULL< / span > < span class = "ConsoleText-plain-syntax" > , < / span > < span class = "ConsoleText-identifier-syntax" > X< / span > < span class = "ConsoleText-plain-syntax" > , < / span > < span class = "ConsoleText-identifier-syntax" > __FILE__< / span > < span class = "ConsoleText-plain-syntax" > , < / span > < span class = "ConsoleText-identifier-syntax" > __LINE__< / span > < span class = "ConsoleText-plain-syntax" > )< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-27 17:50:24 +03:00
< p class = "commentary firstcommentary" > < a id = "SP3" class = "paragraph-anchor" > < / a > < b > § 3. < / b > Internal errors are generated much like any other problem message, except
2019-03-17 14:40:57 +02:00
that we use a variant form of the "end" routine which salvages what it can
from the wreckage, then either forces a crash (to make the stack backtrace
visible in a debugger) or simply exits to the operating system with error
code 1:
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-05-21 02:11:29 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > StandardProblems::internal_error_end< / 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" > StandardProblems::internal_error_end< / span > < / span > :< br / > < a href = "2-pl3.html#SP4" > § 4< / a > , < a href = "2-pl3.html#SP5" > § 5< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > ) {< / span >
2023-06-07 11:55:36 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_end< / span > < / a > < span class = "plain-syntax" > ();< / span >
2020-05-21 02:11:29 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl1.html#SP7" class = "function-link" > < span class = "function-syntax" > ProblemBuffer::write_reports< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > debugger_mode< / span > < span class = "plain-syntax" > ) < / span > < a href = "2-pl0.html#SP2" class = "function-link" > < span class = "function-syntax" > ProblemSigils::force_crash< / span > < / a > < span class = "plain-syntax" > ();< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl0.html#SP1" class = "function-link" > < span class = "function-syntax" > ProblemSigils::exit< / span > < / a > < span class = "plain-syntax" > (1);< / 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-27 17:50:24 +03:00
< p class = "commentary firstcommentary" > < a id = "SP4" class = "paragraph-anchor" > < / a > < b > § 4. < / b > And now for the functions which the above macros invoke. There are two
2019-03-17 14:40:57 +02:00
versions: one which cites the current sentence, and another which doesn't,
2020-04-14 19:56:54 +03:00
for use if either there is no current sentence (because Inform wasn't traversing
2019-03-17 14:40:57 +02:00
the parse tree at the time) or if the parse tree is unsafe — it's possible
that the internal error occurred during parse tree construction, so we need
to be cautious.
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-05-21 02:11:29 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > StandardProblems::internal_error_fn< / span > < button class = "popup" onclick = "togglePopup('usagePopup2')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup2" > Usage of < span class = "code-font" > < span class = "function-syntax" > StandardProblems::internal_error_fn< / span > < / span > :< br / > < a href = "2-pl3.html#SP6" > § 6< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > filename< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > linenum< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > internal_error_thrown< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > current_sentence< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-21 02:11:29 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl3.html#SP5" class = "function-link" > < span class = "function-syntax" > StandardProblems::internal_error_tu_fn< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > filename< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > linenum< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_source< / span > < / a > < span class = "plain-syntax" > (1, < / span > < span class = "identifier-syntax" > current_sentence< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_text< / span > < / a > < span class = "plain-syntax" > (2, < / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_text< / span > < / a > < span class = "plain-syntax" > (3, < / span > < span class = "identifier-syntax" > filename< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_number< / span > < / a > < span class = "plain-syntax" > (4, & < / span > < span class = "identifier-syntax" > linenum< / span > < span class = "plain-syntax" > );< / span >
2023-06-07 11:55:36 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_begin< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP13" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_segment< / span > < / a > < span class = "plain-syntax" > (< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "An internal error has occurred: %2. The current sentence is %1; the "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "error was detected at line %4 of \"%3\". This should never happen, "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "and I am now halting in abject failure."< / span > < span class = "plain-syntax" > );< / span >
2020-05-21 02:11:29 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl3.html#SP3" class = "function-link" > < span class = "function-syntax" > StandardProblems::internal_error_end< / span > < / a > < span class = "plain-syntax" > ();< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2020-05-21 02:11:29 +03:00
< / pre >
2020-08-27 17:50:24 +03:00
< p class = "commentary firstcommentary" > < a id = "SP5" class = "paragraph-anchor" > < / a > < b > § 5. < / b > This second sort of internal error comes in two sub-versions, one using
2020-05-21 02:11:29 +03:00
a < span class = "extract" > < span class = "extract-syntax" > char *< / span > < / span > , one a < span class = "extract" > < span class = "extract-syntax" > text_stream *< / span > < / span > .
< / p >
2020-05-03 03:01:21 +03:00
2020-05-21 02:11:29 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > StandardProblems::internal_error_tu_fn< / span > < button class = "popup" onclick = "togglePopup('usagePopup3')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup3" > Usage of < span class = "code-font" > < span class = "function-syntax" > StandardProblems::internal_error_tu_fn< / span > < / span > :< br / > < a href = "2-pl3.html#SP2" > § 2< / a > , < a href = "2-pl3.html#SP4" > § 4< / a > , < a href = "2-pl3.html#SP8" > § 8< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > filename< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > linenum< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > internal_error_thrown< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_text< / span > < / a > < span class = "plain-syntax" > (1, < / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_text< / span > < / a > < span class = "plain-syntax" > (2, < / span > < span class = "identifier-syntax" > filename< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_number< / span > < / a > < span class = "plain-syntax" > (3, & < / span > < span class = "identifier-syntax" > linenum< / span > < span class = "plain-syntax" > );< / span >
2023-06-07 11:55:36 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_begin< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP13" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_segment< / span > < / a > < span class = "plain-syntax" > (< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "An internal error has occurred: %1. The error was detected at "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "line %3 of \"%2\". This should never happen, and I am now halting "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "in abject failure."< / span > < span class = "plain-syntax" > );< / span >
2020-05-21 02:11:29 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl3.html#SP3" class = "function-link" > < span class = "function-syntax" > StandardProblems::internal_error_end< / span > < / a > < span class = "plain-syntax" > ();< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2020-05-21 02:11:29 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > StandardProblems::internal_error_tu_fn_S< / span > < button class = "popup" onclick = "togglePopup('usagePopup4')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup4" > Usage of < span class = "code-font" > < span class = "function-syntax" > StandardProblems::internal_error_tu_fn_S< / span > < / span > :< br / > < a href = "2-pl3.html#SP6" > § 6< / a > , < a href = "2-pl3.html#SP7" > § 7< / a > , < a href = "2-pl3.html#SP9" > § 9< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > filename< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > linenum< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > internal_error_thrown< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_stream< / span > < / a > < span class = "plain-syntax" > (1, < / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_text< / span > < / a > < span class = "plain-syntax" > (2, < / span > < span class = "identifier-syntax" > filename< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_number< / span > < / a > < span class = "plain-syntax" > (3, & < / span > < span class = "identifier-syntax" > linenum< / span > < span class = "plain-syntax" > );< / span >
2023-06-07 11:55:36 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_begin< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > ""< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP13" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_segment< / span > < / a > < span class = "plain-syntax" > (< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "An internal error has occurred: %1. The error was detected at "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "line %3 of \"%2\". This should never happen, and I am now halting "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "in abject failure."< / span > < span class = "plain-syntax" > );< / span >
2020-05-21 02:11:29 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl3.html#SP3" class = "function-link" > < span class = "function-syntax" > StandardProblems::internal_error_end< / span > < / a > < 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-27 17:50:24 +03:00
< p class = "commentary firstcommentary" > < a id = "SP6" class = "paragraph-anchor" > < / a > < b > § 6. Nodal errors. < / b > Very many routines are designed to work only on nodes within the parse
2020-04-14 19:56:54 +03:00
tree of a particular node type. If Inform is in working order, then they will
2019-03-17 14:40:57 +02:00
never be called at any other nodes; but it seems best to check this. Any
failure of such an invariant produces a form of internal error called a
"nodal error".
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-05-21 02:11:29 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > StandardProblems::nodal_error_fn< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > pn< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > filename< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > linenum< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "Internal nodal error at:\n"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "$T\n"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > pn< / span > < span class = "plain-syntax" > );< / span >
2020-05-21 02:11:29 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl3.html#SP4" class = "function-link" > < span class = "function-syntax" > StandardProblems::internal_error_fn< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > filename< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > linenum< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2020-05-21 02:11:29 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > StandardProblems::nodal_error_fn_S< / span > < button class = "popup" onclick = "togglePopup('usagePopup5')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup5" > Usage of < span class = "code-font" > < span class = "function-syntax" > StandardProblems::nodal_error_fn_S< / span > < / span > :< br / > < a href = "2-pl3.html#SP7" > § 7< / a > , < a href = "2-pl3.html#SP8" > § 8< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > pn< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > filename< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > linenum< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "Internal nodal error at:\n"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "$T\n"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > pn< / span > < span class = "plain-syntax" > );< / span >
2020-05-21 02:11:29 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl3.html#SP5" class = "function-link" > < span class = "function-syntax" > StandardProblems::internal_error_tu_fn_S< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > filename< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > linenum< / 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-27 17:50:24 +03:00
< p class = "commentary firstcommentary" > < a id = "SP7" class = "paragraph-anchor" > < / a > < b > § 7. < / b > Here is a convenient function to check said invariant.
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-05-21 02:11:29 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > StandardProblems::nodal_check< / span > < button class = "popup" onclick = "togglePopup('usagePopup6')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup6" > Usage of < span class = "code-font" > < span class = "function-syntax" > StandardProblems::nodal_check< / span > < / span > :< br / > < a href = "2-pl3.html#SP2" > § 2< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > pn< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > node_type_t< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > node_type_required< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > filename< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > linenum< / 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" > pn< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) {< / span >
2020-06-28 01:18:54 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TEMPORARY_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > internal_message< / span > < span class = "plain-syntax" > )< / span >
2020-05-11 17:21:29 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > internal_message< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "NULL node found where type %S expected"< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > NodeType::get_name< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > node_type_required< / span > < span class = "plain-syntax" > ));< / span >
2020-05-21 02:11:29 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl3.html#SP5" class = "function-link" > < span class = "function-syntax" > StandardProblems::internal_error_tu_fn_S< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > internal_message< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > filename< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > linenum< / 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" > internal_message< / span > < span class = "plain-syntax" > )< / span >
2020-05-11 17:21:29 +03:00
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Node::get_type< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > pn< / span > < span class = "plain-syntax" > ) != < / span > < span class = "identifier-syntax" > node_type_required< / 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" > internal_message< / span > < span class = "plain-syntax" > )< / span >
2020-05-11 17:21:29 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > internal_message< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "Node of type %S found where type %S expected"< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > NodeType::get_name< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Node::get_type< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > pn< / span > < span class = "plain-syntax" > )),< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > NodeType::get_name< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > node_type_required< / span > < span class = "plain-syntax" > ));< / span >
2020-05-21 02:11:29 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl3.html#SP6" class = "function-link" > < span class = "function-syntax" > StandardProblems::nodal_error_fn_S< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > pn< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > internal_message< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > filename< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > linenum< / 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" > internal_message< / span > < span class = "plain-syntax" > )< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-27 17:50:24 +03:00
< p class = "commentary firstcommentary" > < a id = "SP8" class = "paragraph-anchor" > < / a > < b > § 8. < / b > Nodal errors also turn up as the default clauses in switch statements which
2020-05-03 03:01:21 +03:00
act on various selections of node types, and those use the < span class = "extract" > < span class = "extract-syntax" > internal_error_on_node_type< / span > < / span >
2019-03-17 14:40:57 +02:00
macro, which invokes the following:
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-05-21 02:11:29 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > StandardProblems::internal_error_on_node_type_fn< / span > < button class = "popup" onclick = "togglePopup('usagePopup7')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup7" > Usage of < span class = "code-font" > < span class = "function-syntax" > StandardProblems::internal_error_on_node_type_fn< / span > < / span > :< br / > < a href = "2-pl3.html#SP2" > § 2< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > ,< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > pn< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > filename< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > linenum< / 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" > internal_message< / 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" > pn< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > )< / span >
2020-05-21 02:11:29 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl3.html#SP5" class = "function-link" > < span class = "function-syntax" > StandardProblems::internal_error_tu_fn< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "Unexpected NULL node found"< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > filename< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > linenum< / span > < span class = "plain-syntax" > );< / span >
2020-05-11 17:21:29 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > internal_message< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "Unexpectedly found node of type %S"< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > NodeType::get_name< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Node::get_type< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > pn< / span > < span class = "plain-syntax" > )));< / span >
2020-05-21 02:11:29 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl3.html#SP6" class = "function-link" > < span class = "function-syntax" > StandardProblems::nodal_error_fn_S< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > pn< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > internal_message< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > filename< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > linenum< / 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" > internal_message< / 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-27 17:50:24 +03:00
< p class = "commentary firstcommentary" > < a id = "SP9" class = "paragraph-anchor" > < / a > < b > § 9. < / b > The following routines are relics of an era of horrific, primordial upheaval,
2019-03-17 14:40:57 +02:00
when the S-parser was being debugged. An S-subtree is a portion of the parse
tree which represents a proposition.
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > latest_s_subtree< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
2020-05-21 02:11:29 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > StandardProblems::s_subtree_error_set_position< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > latest_s_subtree< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > p< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2020-05-21 02:11:29 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > StandardProblems::s_subtree_error< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > mess< / 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" > internal_message< / span > < span class = "plain-syntax" > )< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > internal_message< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "S-subtree error: %s"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > mess< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "%S"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > internal_message< / 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" > latest_s_subtree< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > LOG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "Applied to the subtree:\n$T"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > latest_s_subtree< / span > < span class = "plain-syntax" > );< / span >
2020-05-21 02:11:29 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl3.html#SP5" class = "function-link" > < span class = "function-syntax" > StandardProblems::internal_error_tu_fn_S< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > internal_message< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > __FILE__< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > __LINE__< / 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" > internal_message< / 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-27 17:50:24 +03:00
< p class = "commentary firstcommentary" > < a id = "SP10" class = "paragraph-anchor" > < / a > < b > § 10. Handmade problems. < / b > Those made without using the convenient shorthand forms below:
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-05-21 02:11:29 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > StandardProblems::handmade_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > SIGIL_ARGUMENTS< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "constant-syntax" > ACT_ON_SIGIL< / span >
2023-06-07 11:55:36 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_begin< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > ""< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > StandardProblems::handmade_warning< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > SIGIL_ARGUMENTS< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "constant-syntax" > ACT_ON_SIGIL< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_warning_begin< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > ""< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-27 17:50:24 +03:00
< p class = "commentary firstcommentary" > < a id = "SP11" class = "paragraph-anchor" > < / a > < b > § 11. Limit problems. < / b > Running out of memory, irretrievably: the politest kind of fatal error,
2019-03-17 14:40:57 +02:00
though let's face it, fatal is fatal.
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-05-21 02:11:29 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > StandardProblems::limit_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > SIGIL_ARGUMENTS< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > what_has_run_out< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > how_many< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "constant-syntax" > ACT_ON_SIGIL< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_text< / span > < / a > < span class = "plain-syntax" > (1, < / span > < span class = "identifier-syntax" > what_has_run_out< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_number< / span > < / a > < span class = "plain-syntax" > (2, & < / span > < span class = "identifier-syntax" > how_many< / span > < span class = "plain-syntax" > );< / span >
2023-06-07 11:55:36 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_begin< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > ""< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP13" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_segment< / span > < / a > < span class = "plain-syntax" > (< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "I have run out of memory for %1 - there's room for %2, but no more. "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "This is a 'hard limit', hard in the sense of deadlines, or luck: "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "there is no getting around it. You will need to rewrite your source "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "text so that it needs fewer %1."< / span > < span class = "plain-syntax" > );< / span >
2023-06-07 11:55:36 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_end< / span > < / a > < span class = "plain-syntax" > ();< / span >
2020-05-21 02:11:29 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl1.html#SP7" class = "function-link" > < span class = "function-syntax" > ProblemBuffer::write_reports< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl0.html#SP1" class = "function-link" > < span class = "function-syntax" > ProblemSigils::exit< / span > < / a > < span class = "plain-syntax" > (1);< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2020-05-21 02:11:29 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > StandardProblems::memory_allocation_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > SIGIL_ARGUMENTS< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > what_has_run_out< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "constant-syntax" > ACT_ON_SIGIL< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_text< / span > < / a > < span class = "plain-syntax" > (1, < / span > < span class = "identifier-syntax" > what_has_run_out< / span > < span class = "plain-syntax" > );< / span >
2023-06-07 11:55:36 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_begin< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > ""< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP13" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_segment< / span > < / a > < span class = "plain-syntax" > (< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "I am unable to persuade this computer to let me have memory in "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "which to store the %1. This rarely happens on a modern desktop or laptop, "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "but might occur on a small handheld device - if so, it may be a "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "symptom that the device isn't powerful enough to run me. (See how "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "I pass the blame?)"< / span > < span class = "plain-syntax" > );< / span >
2023-06-07 11:55:36 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_end< / span > < / a > < span class = "plain-syntax" > ();< / span >
2020-05-21 02:11:29 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl1.html#SP7" class = "function-link" > < span class = "function-syntax" > ProblemBuffer::write_reports< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl0.html#SP1" class = "function-link" > < span class = "function-syntax" > ProblemSigils::exit< / span > < / a > < span class = "plain-syntax" > (1);< / 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-27 17:50:24 +03:00
< p class = "commentary firstcommentary" > < a id = "SP12" class = "paragraph-anchor" > < / a > < b > § 12. Problem messages unlocated in the source text. < / b > And now the regular problem messages, the ones which are not my fault.
2019-03-17 14:40:57 +02:00
We begin with lexical problems happening when the run is hardly begun:
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-05-21 02:11:29 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > StandardProblems::lexical_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > SIGIL_ARGUMENTS< / span > < span class = "plain-syntax" > ,< / span >
2023-09-11 01:46:39 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > message< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > inchar32_t< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > concerning< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > exp< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "constant-syntax" > ACT_ON_SIGIL< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > lexical_explanation< / span > < span class = "plain-syntax" > =< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "This is a low-level problem happening when I am still reading in the "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "source. Such problems sometimes arise because I have been told to "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "read a source file which is not text at all."< / 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" > exp< / span > < span class = "plain-syntax" > != < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > lexical_explanation< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > exp< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_text< / span > < / a > < span class = "plain-syntax" > (1, < / span > < span class = "identifier-syntax" > message< / 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" > concerning< / span > < span class = "plain-syntax" > ) < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_wide_text< / span > < / a > < span class = "plain-syntax" > (2, < / span > < span class = "identifier-syntax" > concerning< / 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" > current_sentence< / span > < span class = "plain-syntax" > ) < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_source< / span > < / a > < span class = "plain-syntax" > (2, < / span > < span class = "identifier-syntax" > current_sentence< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_text< / span > < / a > < span class = "plain-syntax" > (2, < / span > < span class = "string-syntax" > "< text generated internally> "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_text< / span > < / a > < span class = "plain-syntax" > (3, < / span > < span class = "identifier-syntax" > lexical_explanation< / span > < span class = "plain-syntax" > );< / span >
2023-06-07 11:55:36 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_begin< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > lexical_explanation< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP13" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_segment< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "%1: %2.%L %3"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_end< / span > < / a > < span class = "plain-syntax" > ();< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2020-05-21 02:11:29 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > StandardProblems::lexical_problem_S< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > SIGIL_ARGUMENTS< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > message< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > concerning< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > exp< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "constant-syntax" > ACT_ON_SIGIL< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > lexical_explanation< / span > < span class = "plain-syntax" > =< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "This is a low-level problem happening when I am still reading in the "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "source. Such problems sometimes arise because I have been told to "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "read a source file which is not text at all."< / 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" > exp< / span > < span class = "plain-syntax" > != < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > lexical_explanation< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > exp< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_text< / span > < / a > < span class = "plain-syntax" > (1, < / span > < span class = "identifier-syntax" > message< / 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" > concerning< / span > < span class = "plain-syntax" > ) < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_stream< / span > < / a > < span class = "plain-syntax" > (2, < / span > < span class = "identifier-syntax" > concerning< / 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" > current_sentence< / span > < span class = "plain-syntax" > ) < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_source< / span > < / a > < span class = "plain-syntax" > (2, < / span > < span class = "identifier-syntax" > current_sentence< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_text< / span > < / a > < span class = "plain-syntax" > (2, < / span > < span class = "string-syntax" > "< text generated internally> "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_text< / span > < / a > < span class = "plain-syntax" > (3, < / span > < span class = "identifier-syntax" > lexical_explanation< / span > < span class = "plain-syntax" > );< / span >
2023-06-07 11:55:36 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_begin< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > lexical_explanation< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP13" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_segment< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "%1: %2.%L %3"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_end< / span > < / a > < 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-27 17:50:24 +03:00
< p class = "commentary firstcommentary" > < a id = "SP13" class = "paragraph-anchor" > < / a > < b > § 13. < / b > Clearly lexical problems cannot cite positions in the source text, and some
2019-03-17 14:40:57 +02:00
other problems can't either, so:
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-05-21 02:11:29 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > StandardProblems::unlocated_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > SIGIL_ARGUMENTS< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > message< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "constant-syntax" > ACT_ON_SIGIL< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > do_not_locate_problems< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
2023-06-07 11:55:36 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_begin< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > message< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP13" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_segment< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > message< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_end< / span > < / a > < span class = "plain-syntax" > ();< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > do_not_locate_problems< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2020-05-21 02:11:29 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > StandardProblems::unlocated_problem_on_file< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > SIGIL_ARGUMENTS< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > message< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > filename< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > F< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "constant-syntax" > ACT_ON_SIGIL< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > do_not_locate_problems< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > TRUE< / 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" > fn< / span > < span class = "plain-syntax" > )< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > fn< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "%f"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > F< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_stream< / span > < / a > < span class = "plain-syntax" > (1, < / span > < span class = "identifier-syntax" > fn< / span > < span class = "plain-syntax" > );< / span >
2023-06-07 11:55:36 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_begin< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > message< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP13" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_segment< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > message< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_end< / span > < / a > < 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" > fn< / span > < span class = "plain-syntax" > )< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > do_not_locate_problems< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-27 17:50:24 +03:00
< p class = "commentary firstcommentary" > < a id = "SP14" class = "paragraph-anchor" > < / a > < b > § 14. Problem messages keyed to positions in the source text. < / b > The following routine is used to produce more than 300 different problem
2019-03-17 14:40:57 +02:00
messages, making it the most prolific of all the problem routines: perhaps
that isn't surprising, since it simply quotes the entire sentence at fault
(which is always the current sentence) and issues a message.
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-05-21 02:11:29 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > StandardProblems::sentence_problem< / span > < button class = "popup" onclick = "togglePopup('usagePopup8')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup8" > Usage of < span class = "code-font" > < span class = "function-syntax" > StandardProblems::sentence_problem< / span > < / span > :< br / > < a href = "2-pl3.html#SP17" > § 17< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > SIGIL_ARGUMENTS< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > message< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > explanation< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "constant-syntax" > ACT_ON_SIGIL< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_source< / span > < / a > < span class = "plain-syntax" > (1, < / span > < span class = "identifier-syntax" > current_sentence< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_text< / span > < / a > < span class = "plain-syntax" > (2, < / span > < span class = "identifier-syntax" > message< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_text< / span > < / a > < span class = "plain-syntax" > (3, < / span > < span class = "identifier-syntax" > explanation< / span > < span class = "plain-syntax" > );< / span >
2023-06-07 11:55:36 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_begin< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > explanation< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP13" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_segment< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "You wrote %1: %Sagain, %2.%Lbut %2, %3"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_end< / span > < / a > < 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-27 17:50:24 +03:00
< p class = "commentary firstcommentary" > < a id = "SP15" class = "paragraph-anchor" > < / a > < b > § 15. < / b > And a variant which adds a note in a subsequent paragraph.
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-05-21 02:11:29 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > StandardProblems::sentence_problem_with_note< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > SIGIL_ARGUMENTS< / span > < span class = "plain-syntax" > ,< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > message< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > explanation< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > note< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "constant-syntax" > ACT_ON_SIGIL< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_source< / span > < / a > < span class = "plain-syntax" > (1, < / span > < span class = "identifier-syntax" > current_sentence< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_text< / span > < / a > < span class = "plain-syntax" > (2, < / span > < span class = "identifier-syntax" > message< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_text< / span > < / a > < span class = "plain-syntax" > (3, < / span > < span class = "identifier-syntax" > explanation< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_text< / span > < / a > < span class = "plain-syntax" > (4, < / span > < span class = "identifier-syntax" > note< / span > < span class = "plain-syntax" > );< / span >
2023-06-07 11:55:36 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_begin< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > explanation< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP13" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_segment< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "You wrote %1: %Sagain, %2.%Lbut %2, %3 %P%4"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_end< / span > < / a > < 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-27 17:50:24 +03:00
< p class = "commentary firstcommentary" > < a id = "SP16" class = "paragraph-anchor" > < / a > < b > § 16. < / b > And this is a variant which draws particular attention to a word range
2019-03-17 14:40:57 +02:00
which is part of the current sentence.
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-05-21 02:11:29 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > StandardProblems::sentence_in_detail_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > SIGIL_ARGUMENTS< / 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 = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > message< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > explanation< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "constant-syntax" > ACT_ON_SIGIL< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_source< / span > < / a > < span class = "plain-syntax" > (1, < / span > < span class = "identifier-syntax" > current_sentence< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_text< / span > < / a > < span class = "plain-syntax" > (2, < / span > < span class = "identifier-syntax" > message< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_text< / span > < / a > < span class = "plain-syntax" > (3, < / span > < span class = "identifier-syntax" > explanation< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_wording< / span > < / a > < span class = "plain-syntax" > (4, < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > );< / span >
2023-06-07 11:55:36 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_begin< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > explanation< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP13" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_segment< / span > < / a > < span class = "plain-syntax" > (< / span >
2020-05-21 02:11:29 +03:00
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "You wrote %1, and in particular '%4': %Sagain, %2.%Lbut %2, %3"< / span > < span class = "plain-syntax" > );< / span >
2023-06-07 11:55:36 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_end< / span > < / a > < 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-27 17:50:24 +03:00
< p class = "commentary firstcommentary" > < a id = "SP17" class = "paragraph-anchor" > < / a > < b > § 17. < / b > A not always helpful problem message which is needed in several places, and
2019-03-17 14:40:57 +02:00
therefore is kept here:
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-05-21 02:11:29 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > StandardProblems::negative_sentence_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > SIGIL_ARGUMENTS< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl3.html#SP14" class = "function-link" > < span class = "function-syntax" > StandardProblems::sentence_problem< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > PASS_SIGIL< / span > < span class = "plain-syntax" > ,< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "assertions about the initial state of play must be positive, not negative"< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "so 'The cat is an animal' is fine but not 'The cat is not a container'. "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "I have only very feeble powers of deduction - sometimes the implications "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "of a negative statement are obvious to a human reader, but not to me."< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-27 17:50:24 +03:00
< p class = "commentary firstcommentary" > < a id = "SP18" class = "paragraph-anchor" > < / a > < b > § 18. Definition problems. < / b > Sentence problems are a nuisance for "Definition:" definitions, because
2019-03-17 14:40:57 +02:00
those usually occur when the current sentence is rather unhelpfully just the
word "Definition" alone. So we use this routine instead:
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-05-21 02:11:29 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > StandardProblems::definition_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > SIGIL_ARGUMENTS< / 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" > q< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > message< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > explanation< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "constant-syntax" > ACT_ON_SIGIL< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_source< / span > < / a > < span class = "plain-syntax" > (1, < / span > < span class = "identifier-syntax" > q< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_text< / span > < / a > < span class = "plain-syntax" > (2, < / span > < span class = "identifier-syntax" > message< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_text< / span > < / a > < span class = "plain-syntax" > (3, < / span > < span class = "identifier-syntax" > explanation< / span > < span class = "plain-syntax" > );< / span >
2023-06-07 11:55:36 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_begin< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > explanation< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP13" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_segment< / span > < / a > < span class = "plain-syntax" > (< / span >
2020-05-21 02:11:29 +03:00
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "You gave as a definition %1: %Sagain, %2.%Lbut %2, %3"< / span > < span class = "plain-syntax" > );< / span >
2023-06-07 11:55:36 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_end< / span > < / a > < span class = "plain-syntax" > ();< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2020-05-21 02:11:29 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > StandardProblems::adjective_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node_tree< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > SIGIL_ARGUMENTS< / 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" > IX< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > D< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > message< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > explanation< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "constant-syntax" > ACT_ON_SIGIL< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_wording< / span > < / a > < span class = "plain-syntax" > (1, < / span > < span class = "identifier-syntax" > IX< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_wording< / span > < / a > < span class = "plain-syntax" > (2, < / span > < span class = "identifier-syntax" > D< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_text< / span > < / a > < span class = "plain-syntax" > (3, < / span > < span class = "identifier-syntax" > message< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_text< / span > < / a > < span class = "plain-syntax" > (4, < / span > < span class = "identifier-syntax" > explanation< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP6" class = "function-link" > < span class = "function-syntax" > Problems::quote_source< / span > < / a > < span class = "plain-syntax" > (5, < / span > < span class = "identifier-syntax" > current_sentence< / span > < span class = "plain-syntax" > );< / span >
2023-06-07 11:55:36 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_begin< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > explanation< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP13" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_segment< / span > < / a > < span class = "plain-syntax" > (< / span >
2020-05-21 02:11:29 +03:00
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "In %5 you defined an adjective by '%1' intending that "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "it would apply to '%2': %Sagain, %3.%Lbut %3, %4"< / span > < span class = "plain-syntax" > );< / span >
2023-06-07 11:55:36 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-pl2.html#SP10" class = "function-link" > < span class = "function-syntax" > Problems::issue_problem_end< / span > < / a > < 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-27 17:50:24 +03:00
< p class = "commentary firstcommentary" > < a id = "SP19" class = "paragraph-anchor" > < / a > < b > § 19. Creating the Problems report. < / b > We are at last able to print the text which appears at the top of the
2019-03-17 14:40:57 +02:00
Problems report; and this completes the code for errors. In my end is my beginning.
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-05-21 02:11:29 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > StandardProblems::start_problems_report< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > filename< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > F< / span > < span class = "plain-syntax" > ) {< / span >
2021-09-13 02:33:30 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > F< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > ifdef< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > START_PROBLEM_FILE_PROBLEMS_CALLBACK< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > START_PROBLEM_FILE_PROBLEMS_CALLBACK< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > F< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > problems_file< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > #< / span > < span class = "identifier-syntax" > endif< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > problems_file_active< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > problems_file_active< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2020-05-21 02:11:29 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > StandardProblems::issue_problems_banner< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUTPUT_STREAM< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > verdict< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML::comment< / 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" > "BANNER BEGINS"< / 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" > "table"< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "cellspacing=\"3\" border=\"0\" width=\"100%%\""< / 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" > "tr"< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "id=\"surround0\""< / 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" > "td"< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "style=\"width:100%%\""< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML::comment< / 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" > "HEADING BEGINS"< / span > < span class = "plain-syntax" > );< / span >
2022-05-05 01:23:12 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > styling< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "failed"< / 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" > CStrings::eq< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > verdict< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "Succeeded"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > styling< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "succeeded"< / 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" > "div"< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "class=\"headingpanellayout headingpanel%S\""< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > styling< / 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_WITH< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "div"< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "class=\"headingtext\""< / span > < span class = "plain-syntax" > );< / span >
2022-06-21 00:19:44 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML::begin_span< / 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" > "headingpaneltext"< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "Report on Translation: %s"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > verdict< / span > < span class = "plain-syntax" > );< / span >
2022-06-21 00:19:44 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML::end_span< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / 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" > "div"< / 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" > "div"< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "class=\"headingrubric\""< / span > < span class = "plain-syntax" > );< / span >
2022-06-21 00:19:44 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML::begin_span< / 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" > "headingpanelrubric"< / span > < span class = "plain-syntax" > );< / span >
2022-08-28 13:02:45 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "Produced by %B"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > );< / span >
2022-06-21 00:19:44 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML::end_span< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / 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" > "div"< / 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" > "div"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML::comment< / 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" > "HEADING ENDS"< / 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" > "td"< / 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" > "tr"< / 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" > "table"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML::comment< / 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" > "BANNER ENDS"< / 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" >
2020-05-20 13:36:42 +03:00
< ul class = "progressbar" > < li class = "progressprev" > < a href = "2-pl2.html" > ❮ < / a > < / li > < li class = "progresschapter" > < a href = "P-wtmd.html" > P< / a > < / li > < li class = "progresschapter" > < a href = "1-pm.html" > 1< / a > < / li > < li class = "progresscurrentchapter" > 2< / li > < li class = "progresssection" > < a href = "2-pl0.html" > pl0< / a > < / li > < li class = "progresssection" > < a href = "2-pl1.html" > pl1< / a > < / li > < li class = "progresssection" > < a href = "2-pl2.html" > pl2< / a > < / li > < li class = "progresscurrent" > pl3< / li > < li class = "progressnextoff" > ❯ < / li > < / ul > < / div >
2020-05-03 03:01:21 +03:00
< / nav > <!-- End of weave -->
2019-03-17 14:40:57 +02:00
2020-03-19 02:11:25 +02:00
< / main >
2019-03-17 14:40:57 +02:00
< / body >
< / html >
