2023-04-14 01:11:34 +03:00
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
< html >
< head >
< title > The Report< / title >
< link href = "../docs-assets/Breadcrumbs.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< meta name = "viewport" content = "width=device-width initial-scale=1" >
< meta http-equiv = "Content-Type" content = "text/html; charset=utf-8" >
< meta http-equiv = "Content-Language" content = "en-gb" >
< 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" >
< script >
function togglePopup(material_id) {
var popup = document.getElementById(material_id);
popup.classList.toggle("show");
}
< / script >
< 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" >
< / head >
< body class = "commentary-font" >
< nav role = "navigation" >
< h1 > < a href = "../index.html" >
< img src = "../docs-assets/Inform.png" height = 72" >
< / a > < / h1 >
< ul > < li > < a href = "../index.html" > home< / a > < / li >
< / 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 >
< li > < a href = "../secrets.html" > secrets< / a > < / li >
< / 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 >
< li > < a href = "../inrtpsn.html" > inrtps< / a > < / li >
< / ul > < h2 > Resources< / h2 > < ul >
< li > < a href = "../extensions.html" > extensions< / a > < / li >
< li > < a href = "../kits.html" > kits< / a > < / li >
< / 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 >
< li > < a href = "../../../inweb/index.html" > inweb< / a > < / li >
< li > < a href = "../../../intest/index.html" > intest< / a > < / li >
< / ul >
< / nav >
< main role = "main" >
<!-- Weave of 'The Report' generated by Inweb -->
< div class = "breadcrumbs" >
< ul class = "crumbs" > < li > < a href = "../index.html" > Home< / a > < / li > < li > < a href = "../inbuildn.html" > Inbuild Modules< / a > < / li > < li > < a href = "index.html" > supervisor< / a > < / li > < li > < a href = "index.html#7" > Chapter 7: Extension Indexing< / a > < / li > < li > < b > The Report< / b > < / li > < / ul > < / div >
< p class = "purpose" > To produce a report page of HTML for use in the Inform GUI apps, when a resource such as an extension is inspected or installed.< / p >
< ul class = "toc" > < li > < a href = "7-tr.html#SP1" > § 1. HTML page< / a > < / li > < / ul > < hr class = "tocbar" >
< p class = "commentary firstcommentary" > < a id = "SP1" class = "paragraph-anchor" > < / a > < b > § 1. HTML page. < / b > < / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "identifier-syntax" > filename< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > inbuild_report_HTML< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > InbuildReport::set_filename< / 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 >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inbuild_report_HTML< / 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" > text_stream< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inbuild_report_file_struct< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > The actual report file< / span >
< span class = "identifier-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > inbuild_report_file< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > As a < / span > < span class = "extract" > < span class = "extract-syntax" > text_stream *< / span > < / span >
2023-04-15 20:43:04 +03:00
< span class = "identifier-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > InbuildReport::begin< / 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" > InbuildReport::begin< / span > < / span > :< br / > < a href = "7-tr.html#SP2_1" > § 2.1< / a > , < a href = "7-tr.html#SP2_2" > § 2.2< / a > , < a href = "7-tr.html#SP2_3" > § 2.3< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > title< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > subtitle< / span > < span class = "plain-syntax" > ) {< / span >
2023-04-14 01:11:34 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inbuild_report_HTML< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inbuild_report_file< / span > < span class = "plain-syntax" > = & < / span > < span class = "identifier-syntax" > inbuild_report_file_struct< / 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" > STREAM_OPEN_TO_FILE< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inbuild_report_file< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > inbuild_report_HTML< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > UTF8_ENC< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Errors::fatal< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "can't open report file"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > InformPages::header< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inbuild_report_file< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > title< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > JAVASCRIPT_FOR_STANDARD_PAGES_IRES< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > inbuild_report_file< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML::begin_html_table< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > 4< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML::first_html_column< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_TAG_WITH< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "img"< / span > < span class = "plain-syntax" > ,< / span >
2023-05-06 15:25:34 +03:00
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "src='inform:/doc_images/importer@2x.png' border=0 width=150 height=150"< / span > < span class = "plain-syntax" > );< / span >
2023-04-14 01:11:34 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML::next_html_column< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > 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 headingpanelalt\""< / 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=\"headingtext\""< / span > < span class = "plain-syntax" > );< / span >
< 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" > "headingpaneltextalt"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "%S"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > title< / span > < span class = "plain-syntax" > );< / span >
< 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 >
< 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 >
< 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" > "headingpanelrubricalt"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "%S"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > subtitle< / span > < span class = "plain-syntax" > );< / span >
< 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 >
< 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 = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2023-04-15 20:43:04 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > InbuildReport::end< / 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" > InbuildReport::end< / span > < / span > :< br / > < a href = "7-tr.html#SP2" > § 2< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > ) {< / span >
2023-04-14 01:11:34 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inbuild_report_file< / 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" > OUT< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > inbuild_report_file< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML::end_html_row< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML::end_html_table< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_TAG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "hr"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > InformPages::footer< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inbuild_report_file< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
2023-04-18 01:01:15 +03:00
< p class = "commentary firstcommentary" > < a id = "SP2" class = "paragraph-anchor" > < / a > < b > § 2. < / b > The Installer works in two stages. First it is called with < span class = "extract" > < span class = "extract-syntax" > confirmed< / span > < / span > false,
and it produces an HTML report on the feasibility of making the installation,
with a clickable Confirm button. Then, assuming the user does click that button,
the Installer is called again, with < span class = "extract" > < span class = "extract-syntax" > confirmed< / span > < / span > true. It takes action and also
produces a second report.
2023-04-15 20:43:04 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
2023-04-19 01:20:37 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > InbuildReport::install< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > inbuild_copy< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > confirmed< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > pathname< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > to_tool< / span > < span class = "plain-syntax" > ) {< / span >
2023-04-17 00:57:20 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > inform_project< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > project< / span > < span class = "plain-syntax" > = < / span > < a href = "1-ic.html#SP19" class = "function-link" > < span class = "function-syntax" > Supervisor::project_set_at_command_line< / span > < / a > < span class = "plain-syntax" > ();< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > project< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > Errors::fatal< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "-project not set at command line"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TEMPORARY_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > pname< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > pname< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "'%S'"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > project< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > as_copy< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > work< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > title< / span > < span class = "plain-syntax" > );< / span >
2023-04-15 20:43:04 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > work< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > genre< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > extension_genre< / span > < span class = "plain-syntax" > ) ||< / span >
< span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > work< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > genre< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > extension_bundle_genre< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > N< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > LinkedLists::len< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > errors_reading_source_text< / span > < span class = "plain-syntax" > );< / span >
2023-04-18 01:01:15 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > N< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < span class = "named-paragraph-container code-font" > < a href = "7-tr.html#SP2_3" class = "named-paragraph-link" > < span class = "named-paragraph" > Begin report on a damaged extension< / span > < span class = "named-paragraph-number" > 2.3< / span > < / a > < / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "7-tr.html#SP2_2" class = "named-paragraph-link" > < span class = "named-paragraph" > Begin report on a valid extension< / span > < span class = "named-paragraph-number" > 2.2< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > ) {< / span >
2023-05-06 21:24:54 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-cps.html#SP7" class = "function-link" > < span class = "function-syntax" > Copies::get_source_text< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > project< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > as_copy< / span > < span class = "plain-syntax" > );< / span >
2023-04-18 01:01:15 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > build_vertex< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > = < / span > < a href = "2-cps.html#SP9" class = "function-link" > < span class = "function-syntax" > Copies::construct_project_graph< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > project< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > as_copy< / 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" > confirmed< / span > < span class = "plain-syntax" > ) < / span > < span class = "named-paragraph-container code-font" > < a href = "7-tr.html#SP2_5" class = "named-paragraph-link" > < span class = "named-paragraph" > Make confirmed report< / span > < span class = "named-paragraph-number" > 2.5< / span > < / a > < / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "7-tr.html#SP2_4" class = "named-paragraph-link" > < span class = "named-paragraph" > Make unconfirmed report< / span > < span class = "named-paragraph-number" > 2.4< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2023-04-15 20:43:04 +03:00
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > {< / span >
2023-04-18 01:01:15 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "7-tr.html#SP2_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Report on something else< / span > < span class = "named-paragraph-number" > 2.1< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2023-04-15 20:43:04 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < a href = "7-tr.html#SP1" class = "function-link" > < span class = "function-syntax" > InbuildReport::end< / span > < / a > < span class = "plain-syntax" > ();< / span >
< span class = "plain-syntax" > }< / span >
2023-04-17 00:57:20 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > DISCARD_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > pname< / span > < span class = "plain-syntax" > )< / span >
2023-04-15 20:43:04 +03:00
< span class = "plain-syntax" > }< / span >
< / pre >
2023-04-18 01:01:15 +03:00
< p class = "commentary firstcommentary" > < a id = "SP2_1" class = "paragraph-anchor" > < / a > < b > § 2.1. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Report on something else< / span > < span class = "named-paragraph-number" > 2.1< / span > < / span > < span class = "comment-syntax" > =< / span >
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > = < / span > < a href = "7-tr.html#SP1" class = "function-link" > < span class = "function-syntax" > InbuildReport::begin< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Not an extension..."< / span > < span class = "plain-syntax" > , < / span > < a href = "2-gnr.html#SP1" class = "function-link" > < span class = "function-syntax" > Genres::name< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > work< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > genre< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "Despite its file/directory name, this doesn't seem to be an extension, "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "and it can't be installed."< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< / pre >
< ul class = "endnotetexts" > < li > This code is used in < a href = "7-tr.html#SP2" > § 2< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP2_2" class = "paragraph-anchor" > < / a > < b > § 2.2. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Begin report on a valid extension< / span > < span class = "named-paragraph-number" > 2.2< / span > < / span > < span class = "comment-syntax" > =< / span >
2023-04-15 20:43:04 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TEMPORARY_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > desc< / span > < span class = "plain-syntax" > )< / span >
2023-05-06 15:25:34 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TEMPORARY_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > version< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < a href = "2-wrk.html#SP6" class = "function-link" > < span class = "function-syntax" > Works::write< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > desc< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > work< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > semantic_version_number< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > version< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > VersionNumbers::is_null< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > version< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "An extension"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > version< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "Version %v of an extension"< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > = < / span > < a href = "7-tr.html#SP1" class = "function-link" > < span class = "function-syntax" > InbuildReport::begin< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > desc< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > version< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > DISCARD_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > desc< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > DISCARD_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > version< / span > < span class = "plain-syntax" > )< / span >
2023-04-18 01:01:15 +03:00
< / pre >
< ul class = "endnotetexts" > < li > This code is used in < a href = "7-tr.html#SP2" > § 2< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP2_3" class = "paragraph-anchor" > < / a > < b > § 2.3. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Begin report on a damaged extension< / span > < span class = "named-paragraph-number" > 2.3< / span > < / span > < span class = "comment-syntax" > =< / span >
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TEMPORARY_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > desc< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > desc< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "This may be: "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-edt.html#SP3" class = "function-link" > < span class = "function-syntax" > Editions::inspect< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > desc< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > edition< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > = < / span > < a href = "7-tr.html#SP1" class = "function-link" > < span class = "function-syntax" > InbuildReport::begin< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Warning: Damaged extension"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > desc< / span > < span class = "plain-syntax" > );< / span >
< / pre >
< ul class = "endnotetexts" > < li > This code is used in < a href = "7-tr.html#SP2" > § 2< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP2_4" class = "paragraph-anchor" > < / a > < b > § 2.4. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Make unconfirmed report< / span > < span class = "named-paragraph-number" > 2.4< / span > < / span > < span class = "comment-syntax" > =< / span >
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > N< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < span class = "named-paragraph-container code-font" > < a href = "7-tr.html#SP2_4_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Report on damage to extension< / span > < span class = "named-paragraph-number" > 2.4.1< / span > < / a > < / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "7-tr.html#SP2_4_2" class = "named-paragraph-link" > < span class = "named-paragraph" > Report that extension seems valid< / span > < span class = "named-paragraph-number" > 2.4.2< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2023-04-20 01:28:00 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_TAG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "hr"< / span > < span class = "plain-syntax" > );< / span >
2023-05-06 15:25:34 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "7-tr.html#SP2_4_3" class = "named-paragraph-link" > < span class = "named-paragraph" > Explain about extensions< / span > < span class = "named-paragraph-number" > 2.4.3< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2023-04-18 01:01:15 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > linked_list< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > L< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NEW_LINKED_LIST< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > inbuild_search_result< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > same< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > earlier< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > later< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
2023-05-06 15:25:34 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "7-tr.html#SP2_4_4" class = "named-paragraph-link" > < span class = "named-paragraph" > Search the extensions currently installed in the project< / span > < span class = "named-paragraph-number" > 2.4.4< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "7-tr.html#SP2_4_5" class = "named-paragraph-link" > < span class = "named-paragraph" > Count how many versions of the same extension are already installed< / span > < span class = "named-paragraph-number" > 2.4.5< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2023-04-18 01:01:15 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_TAG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "hr"< / span > < span class = "plain-syntax" > );< / span >
2023-05-06 15:25:34 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "7-tr.html#SP2_4_6" class = "named-paragraph-link" > < span class = "named-paragraph" > Come to the point< / span > < span class = "named-paragraph-number" > 2.4.6< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "7-tr.html#SP2_4_7" class = "named-paragraph-link" > < span class = "named-paragraph" > Finish up with a big red or green button< / span > < span class = "named-paragraph-number" > 2.4.7< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2023-04-18 01:01:15 +03:00
< / pre >
< ul class = "endnotetexts" > < li > This code is used in < a href = "7-tr.html#SP2" > § 2< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP2_4_1" class = "paragraph-anchor" > < / a > < b > § 2.4.1. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Report on damage to extension< / span > < span class = "named-paragraph-number" > 2.4.1< / span > < / span > < span class = "comment-syntax" > =< / span >
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "This extension is broken, and needs repair before it can be used. "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "Specifically:"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-cps.html#SP5" class = "function-link" > < span class = "function-syntax" > Copies::list_attached_errors_to_HTML< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > C< / 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" > rubric< / span > < span class = "plain-syntax" > = < / span > < a href = "5-es.html#SP14" class = "function-link" > < span class = "function-syntax" > Extensions::get_rubric< / span > < / a > < span class = "plain-syntax" > (< / span > < a href = "5-es.html#SP4" class = "function-link" > < span class = "function-syntax" > Extensions::from_copy< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Str::len< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > rubric< / span > < span class = "plain-syntax" > ) > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "The extension says this about itself:"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "blockquote"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "%S"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > rubric< / 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" > "blockquote"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
< ul class = "endnotetexts" > < li > This code is used in < a href = "7-tr.html#SP2_4" > § 2.4< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP2_4_2" class = "paragraph-anchor" > < / a > < b > § 2.4.2. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Report that extension seems valid< / span > < span class = "named-paragraph-number" > 2.4.2< / span > < / span > < span class = "comment-syntax" > =< / span >
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "This looks like a valid extension"< / 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" > rubric< / span > < span class = "plain-syntax" > = < / span > < a href = "5-es.html#SP14" class = "function-link" > < span class = "function-syntax" > Extensions::get_rubric< / span > < / a > < span class = "plain-syntax" > (< / span > < a href = "5-es.html#SP4" class = "function-link" > < span class = "function-syntax" > Extensions::from_copy< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Str::len< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > rubric< / span > < span class = "plain-syntax" > ) > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > ", and says this about itself:"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "blockquote"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "%S"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > rubric< / 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" > "blockquote"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > ", but does not say what it is for."< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
2023-04-20 01:28:00 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "7-tr.html#SP2_4_2_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Make documentation< / span > < span class = "named-paragraph-number" > 2.4.2.1< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2023-04-18 01:01:15 +03:00
< / pre >
< ul class = "endnotetexts" > < li > This code is used in < a href = "7-tr.html#SP2_4" > § 2.4< / a > .< / li > < / ul >
2023-05-06 15:25:34 +03:00
< p class = "commentary firstcommentary" > < a id = "SP2_4_3" class = "paragraph-anchor" > < / a > < b > § 2.4.3. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Explain about extensions< / span > < span class = "named-paragraph-number" > 2.4.3< / span > < / span > < span class = "comment-syntax" > =< / span >
2023-04-18 01:01:15 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
2023-05-06 15:25:34 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "Extensions are additional Inform features, often contributed by Inform "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "authors from around the world. Authors download them as needed. Each "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "project wanting to use an extension must install it into the 'Extensions' "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "subfolder of its '.materials' folder. Authors are free to do that by hand, but "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "this installer is more convenient. For more on extensions, see: "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > DocReferences::link< / 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" > "EXTENSIONS"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "The '.materials' folder for %S is here: "< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > pname< / span > < span class = "plain-syntax" > );< / span >
2023-04-18 01:01:15 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > pathname< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > area< / span > < span class = "plain-syntax" > = < / span > < a href = "5-ps2.html#SP6" class = "function-link" > < span class = "function-syntax" > Projects::materials_path< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > project< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PasteButtons::open_file< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > area< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "border=\"0\" src=\"inform:/doc_images/folder.png\""< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< / pre >
< ul class = "endnotetexts" > < li > This code is used in < a href = "7-tr.html#SP2_4" > § 2.4< / a > .< / li > < / ul >
2023-05-06 15:25:34 +03:00
< p class = "commentary firstcommentary" > < a id = "SP2_5_1" class = "paragraph-anchor" > < / a > < b > § 2.5.1. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > List the extensions currently Included by the project< / span > < span class = "named-paragraph-number" > 2.5.1< / span > < / span > < span class = "comment-syntax" > =< / span >
2023-04-18 01:01:15 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rc< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > bic< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > ic< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < a href = "7-tr.html#SP3" class = "function-link" > < span class = "function-syntax" > InbuildReport::show_extensions< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > , < / span > < a href = "3-bg.html#SP7" class = "function-link" > < span class = "function-syntax" > Graphs::get_unique_graph_scan_count< / span > < / a > < span class = "plain-syntax" > (),< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > bic< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > ic< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > rc< / 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" > ic< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) {< / span >
2023-04-15 20:43:04 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
2023-04-18 01:01:15 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "The project %S uses the following extensions (on the "< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > pname< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "basis of what it Includes, and what they in turn Include), which it has installed:"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "ul"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "7-tr.html#SP3" class = "function-link" > < span class = "function-syntax" > InbuildReport::show_extensions< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > , < / span > < a href = "3-bg.html#SP7" class = "function-link" > < span class = "function-syntax" > Graphs::get_unique_graph_scan_count< / span > < / a > < span class = "plain-syntax" > (),< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > bic< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > ic< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > rc< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "ul"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > bic< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "not counting extensions built into Inform which do not need to be installed ("< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > bic< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
2023-04-17 11:23:28 +03:00
< span class = "plain-syntax" > < / span > < a href = "7-tr.html#SP3" class = "function-link" > < span class = "function-syntax" > InbuildReport::show_extensions< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > , < / span > < a href = "3-bg.html#SP7" class = "function-link" > < span class = "function-syntax" > Graphs::get_unique_graph_scan_count< / span > < / a > < span class = "plain-syntax" > (),< / span >
2023-04-18 01:01:15 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > bic< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > ic< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > rc< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > ")."< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > bic< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
2023-05-06 15:25:34 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "Installing extensions is not the same thing as actually using them. "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "The project %S uses only extensions "< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > pname< / span > < span class = "plain-syntax" > );< / span >
2023-04-18 01:01:15 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "built into Inform which do not need to be installed ("< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > bic< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < a href = "7-tr.html#SP3" class = "function-link" > < span class = "function-syntax" > InbuildReport::show_extensions< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > , < / span > < a href = "3-bg.html#SP7" class = "function-link" > < span class = "function-syntax" > Graphs::get_unique_graph_scan_count< / span > < / a > < span class = "plain-syntax" > (),< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > bic< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > ic< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > rc< / span > < span class = "plain-syntax" > );< / span >
2023-05-06 15:25:34 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > ") and are included automatically."< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "Except for those ones, "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "extensions take effect only if the source contains a sentence like "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "'Include EXTENSION TITLE by EXTENSION AUTHOR.' At present, the source "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "doesn't contain any sentences like that."< / span > < span class = "plain-syntax" > );< / span >
2023-04-18 01:01:15 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > rc< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "The project asks to Include the following, not yet installed:"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "ul"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "7-tr.html#SP3" class = "function-link" > < span class = "function-syntax" > InbuildReport::show_extensions< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > , < / span > < a href = "3-bg.html#SP7" class = "function-link" > < span class = "function-syntax" > Graphs::get_unique_graph_scan_count< / span > < / a > < span class = "plain-syntax" > (),< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > bic< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > ic< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > rc< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "ul"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
2023-05-06 15:25:34 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "7-tr.html#SP2_5" > § 2.5< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP2_4_4" class = "paragraph-anchor" > < / a > < b > § 2.4.4. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Search the extensions currently installed in the project< / span > < span class = "named-paragraph-number" > 2.4.4< / span > < / span > < span class = "comment-syntax" > =< / span >
2023-04-18 01:01:15 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > inbuild_requirement< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > req< / span > < span class = "plain-syntax" > = < / span > < a href = "2-rqr.html#SP2" class = "function-link" > < span class = "function-syntax" > Requirements::anything_of_genre< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > extension_bundle_genre< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > linked_list< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > search_list< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NEW_LINKED_LIST< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > inbuild_nest< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > ADD_TO_LINKED_LIST< / span > < span class = "plain-syntax" > (< / span > < a href = "5-ps2.html#SP6" class = "function-link" > < span class = "function-syntax" > Projects::materials_nest< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > project< / span > < span class = "plain-syntax" > ), < / span > < span class = "reserved-syntax" > inbuild_nest< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > search_list< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-nst.html#SP7" class = "function-link" > < span class = "function-syntax" > Nests::search_for< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > req< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > search_list< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > L< / span > < span class = "plain-syntax" > );< / span >
2023-05-06 15:25:34 +03:00
< / pre >
< ul class = "endnotetexts" > < li > This code is used in < a href = "7-tr.html#SP2_4" > § 2.4< / a > , < a href = "7-tr.html#SP2_5" > § 2.5< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP2_5_2" class = "paragraph-anchor" > < / a > < b > § 2.5.2. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > List the extensions currently installed in the project< / span > < span class = "named-paragraph-number" > 2.5.2< / span > < / span > < span class = "comment-syntax" > =< / span >
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
2023-04-18 01:01:15 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > inbuild_search_result< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > search_result< / span > < span class = "plain-syntax" > ;< / span >
2023-04-19 01:20:37 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > unused< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > broken< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
2023-04-18 01:01:15 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER_LINKED_LIST< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > search_result< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > inbuild_search_result< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > L< / 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" > LinkedLists::len< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > search_result< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > copy< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > errors_reading_source_text< / span > < span class = "plain-syntax" > ) > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > broken< / span > < span class = "plain-syntax" > ++;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "7-tr.html#SP4" class = "function-link" > < span class = "function-syntax" > InbuildReport::seek_extension_in_graph< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > search_result< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > copy< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > )< / span >
2023-04-19 01:20:37 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > unused< / span > < span class = "plain-syntax" > ++;< / span >
2023-04-18 01:01:15 +03:00
< span class = "plain-syntax" > }< / span >
2023-04-19 01:20:37 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > unused< / span > < span class = "plain-syntax" > + < / span > < span class = "identifier-syntax" > broken< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > unused< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) {< / span >
2023-04-18 01:01:15 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
2023-05-06 15:25:34 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "The following are currently installed for %S, but not (yet) "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "Included and so not used. (You can click the 'paste' buttons to "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "paste a suitable Include sentence into the source text.)"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > pname< / span > < span class = "plain-syntax" > );< / span >
2023-04-18 01:01:15 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "ul"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER_LINKED_LIST< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > search_result< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > inbuild_search_result< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > L< / 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" > LinkedLists::len< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > search_result< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > copy< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > errors_reading_source_text< / span > < span class = "plain-syntax" > ) == < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "7-tr.html#SP4" class = "function-link" > < span class = "function-syntax" > InbuildReport::seek_extension_in_graph< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > search_result< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > copy< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "li"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-cps.html#SP6" class = "function-link" > < span class = "function-syntax" > Copies::write_copy< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > search_result< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > copy< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "& nbsp;& nbsp;"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TEMPORARY_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inclusion_text< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inclusion_text< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "Include %X.\n\n\n"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > search_result< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > copy< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > work< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PasteButtons::paste_text< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > inclusion_text< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > DISCARD_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inclusion_text< / span > < span class = "plain-syntax" > )< / span >
2023-05-06 15:25:34 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "& nbsp;< i> 'Include'< /i> "< / span > < span class = "plain-syntax" > );< / span >
2023-04-18 01:01:15 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "li"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
2023-04-17 11:23:28 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
2023-04-18 01:01:15 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "ul"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
2023-04-15 20:43:04 +03:00
< span class = "plain-syntax" > }< / span >
< / pre >
2023-05-06 15:25:34 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "7-tr.html#SP2_5" > § 2.5< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP2_4_5" class = "paragraph-anchor" > < / a > < b > § 2.4.5. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Count how many versions of the same extension are already installed< / span > < span class = "named-paragraph-number" > 2.4.5< / span > < / span > < span class = "comment-syntax" > =< / span >
2023-04-15 20:43:04 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
2023-04-18 01:01:15 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > inbuild_search_result< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > search_result< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER_LINKED_LIST< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > search_result< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > inbuild_search_result< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > L< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "2-wrk.html#SP10" class = "function-link" > < span class = "function-syntax" > Works::cmp< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > work< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > search_result< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > copy< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > work< / span > < span class = "plain-syntax" > ) == < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > c< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > VersionNumbers::cmp< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > version< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > search_result< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > copy< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > version< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > c< / span > < span class = "plain-syntax" > == < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > same< / 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" > c< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > earlier< / 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" > c< / span > < span class = "plain-syntax" > < < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > later< / span > < span class = "plain-syntax" > ++;< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
< ul class = "endnotetexts" > < li > This code is used in < a href = "7-tr.html#SP2_4" > § 2.4< / a > .< / li > < / ul >
2023-04-20 01:28:00 +03:00
< p class = "commentary firstcommentary" > < a id = "SP2_4_2_1" class = "paragraph-anchor" > < / a > < b > § 2.4.2.1. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Make documentation< / span > < span class = "named-paragraph-number" > 2.4.2.1< / span > < / span > < span class = "comment-syntax" > =< / span >
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < a href = "7-ip2.html#SP1" class = "function-link" > < span class = "function-syntax" > ExtensionPages::write_page< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > , < / span > < a href = "5-es.html#SP4" class = "function-link" > < span class = "function-syntax" > Extensions::from_copy< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > ), < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > project< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "Documentation about %S "< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > work< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > title< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TEMPORARY_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > link< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TEMPORARY_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > URL< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > URL< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "%f"< / span > < span class = "plain-syntax" > , < / span > < a href = "7-tm.html#SP5" class = "function-link" > < span class = "function-syntax" > ExtensionWebsite::page_URL< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > project< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > edition< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > link< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "href='"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-wrk.html#SP12" class = "function-link" > < span class = "function-syntax" > Works::escape_apostrophes< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > link< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > URL< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > link< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "' style=\"text-decoration: none\""< / 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" > "a"< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "%S"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > link< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > DISCARD_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > link< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "can be read here."< / 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" > "a"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< / pre >
< ul class = "endnotetexts" > < li > This code is used in < a href = "7-tr.html#SP2_4_2" > § 2.4.2< / a > .< / li > < / ul >
2023-05-06 15:25:34 +03:00
< p class = "commentary firstcommentary" > < a id = "SP2_4_6" class = "paragraph-anchor" > < / a > < b > § 2.4.6. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Come to the point< / span > < span class = "named-paragraph-number" > 2.4.6< / span > < / span > < span class = "comment-syntax" > =< / span >
2023-04-18 01:01:15 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "So, then, click the button below to install %S to the Materials folder of %S. "< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > work< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > title< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > pname< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "If you prefer not to, simply do something else: nothing needs to be cancelled."< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< / pre >
< ul class = "endnotetexts" > < li > This code is used in < a href = "7-tr.html#SP2_4" > § 2.4< / a > .< / li > < / ul >
2023-05-06 15:25:34 +03:00
< p class = "commentary firstcommentary" > < a id = "SP2_4_7" class = "paragraph-anchor" > < / a > < b > § 2.4.7. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Finish up with a big red or green button< / span > < span class = "named-paragraph-number" > 2.4.7< / span > < / span > < span class = "comment-syntax" > =< / span >
2023-04-18 01:01:15 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > same< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) {< / span >
2023-04-15 20:43:04 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
2023-04-18 01:01:15 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "< b> Note< /b> . The same version of this same extension seems to be installed already. "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "You can go ahead and install, but if you do the old copy will be removed."< / span > < span class = "plain-syntax" > );< / span >
2023-04-15 20:43:04 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
2023-04-18 01:01:15 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN_WITH< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "a"< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "href='javascript:project().confirmAction()'"< / 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" > "button"< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "class=\"dangerousbutton\""< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "Replace %S in %S with this new copy"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > work< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > title< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > pname< / 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" > "button"< / 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" > "a"< / 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" > earlier< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "< b> Note< /b> . An earlier version of this same extension seems to be installed already. "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "You can go ahead and install, and this new one will take precedence over the old "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "one, but it won't be thrown away. (You can remove it by hand if you want it gone.)"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN_WITH< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "a"< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "href='javascript:project().confirmAction()'"< / 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" > "button"< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "class=\"dangerousbutton\""< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "Install this later copy of %S to %S"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > work< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > title< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > pname< / 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" > "button"< / 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" > "a"< / 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" > later< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "< b> Note< /b> . A later version of this same extension seems to be installed already. "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "You can go ahead and install, but this new one is unlikely to change anything "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "because Inform will normally prefer to use the later version, which is already "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "there. (You can remove it by hand if you want it gone.)"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN_WITH< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "a"< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "href='javascript:project().confirmAction()'"< / 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" > "button"< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "class=\"dangerousbutton\""< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "Install this earlier copy of %S to %S"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > work< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > title< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > pname< / 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" > "button"< / 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" > "a"< / 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" > N< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) {< / span >
2023-04-15 20:43:04 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN_WITH< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "a"< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "href='javascript:project().confirmAction()'"< / 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" > "button"< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "class=\"dangerousbutton\""< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "Install this anyway"< / 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" > "button"< / 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" > "a"< / span > < span class = "plain-syntax" > );< / span >
2023-04-18 01:01:15 +03:00
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN_WITH< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "a"< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "href='javascript:project().confirmAction()'"< / 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" > "button"< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "class=\"safebutton\""< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "Install %S to %S"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > work< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > title< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > pname< / 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" > "button"< / 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" > "a"< / span > < span class = "plain-syntax" > );< / span >
2023-04-15 20:43:04 +03:00
< span class = "plain-syntax" > }< / span >
< / pre >
2023-04-18 01:01:15 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "7-tr.html#SP2_4" > § 2.4< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP2_5" class = "paragraph-anchor" > < / a > < b > § 2.5. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Make confirmed report< / span > < span class = "named-paragraph-number" > 2.5< / span > < / span > < span class = "comment-syntax" > =< / span >
2023-04-15 20:43:04 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
2023-05-06 15:25:34 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > use< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > SHELL_METHODOLOGY< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > build_methodology< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > BM< / span > < span class = "plain-syntax" > = < / span > < a href = "3-bm.html#SP2" class = "function-link" > < span class = "function-syntax" > BuildMethodology::new< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Pathnames::up< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > to_tool< / span > < span class = "plain-syntax" > ), < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > use< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-cps.html#SP15" class = "function-link" > < span class = "function-syntax" > Copies::copy_to< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > , < / span > < a href = "5-ps2.html#SP6" class = "function-link" > < span class = "function-syntax" > Projects::materials_nest< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > project< / span > < span class = "plain-syntax" > ), < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > BM< / span > < span class = "plain-syntax" > );< / span >
2023-04-19 01:20:37 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "This extension has now been installed in the materials folder for %S, as:"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > pname< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "ul"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "li"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > work< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > genre< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > extension_bundle_genre< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > pathname< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > P< / span > < span class = "plain-syntax" > = < / span > < a href = "4-ebm.html#SP7" class = "function-link" > < span class = "function-syntax" > ExtensionBundleManager::pathname_in_nest< / span > < / a > < span class = "plain-syntax" > (< / span > < a href = "5-ps2.html#SP6" class = "function-link" > < span class = "function-syntax" > Projects::materials_nest< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > project< / span > < span class = "plain-syntax" > ), < / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > edition< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "the folder "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "b"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Pathnames::relative_URL< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Pathnames::up< / span > < span class = "plain-syntax" > (< / span > < a href = "5-ps2.html#SP6" class = "function-link" > < span class = "function-syntax" > Projects::materials_path< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > project< / span > < span class = "plain-syntax" > )), < / span > < span class = "identifier-syntax" > P< / 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" > "b"< / 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" > filename< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > F< / span > < span class = "plain-syntax" > = < / span > < a href = "4-em.html#SP7" class = "function-link" > < span class = "function-syntax" > ExtensionManager::filename_in_nest< / span > < / a > < span class = "plain-syntax" > (< / span > < a href = "5-ps2.html#SP6" class = "function-link" > < span class = "function-syntax" > Projects::materials_nest< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > project< / span > < span class = "plain-syntax" > ), < / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > edition< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "the file "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "b"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Filenames::to_text_relative< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > F< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Pathnames::up< / span > < span class = "plain-syntax" > (< / span > < a href = "5-ps2.html#SP6" class = "function-link" > < span class = "function-syntax" > Projects::materials_path< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > project< / 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" > "b"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "li"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "ul"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_TAG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "hr"< / span > < span class = "plain-syntax" > );< / span >
2023-04-20 01:28:00 +03:00
< span class = "plain-syntax" > < / span > < a href = "7-tm.html#SP2" class = "function-link" > < span class = "function-syntax" > ExtensionWebsite::index_after_compilation< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > project< / span > < span class = "plain-syntax" > );< / span >
2023-04-19 01:20:37 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > linked_list< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > L< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NEW_LINKED_LIST< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > inbuild_search_result< / span > < span class = "plain-syntax" > );< / span >
2023-05-06 15:25:34 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "7-tr.html#SP2_5_1" class = "named-paragraph-link" > < span class = "named-paragraph" > List the extensions currently Included by the project< / span > < span class = "named-paragraph-number" > 2.5.1< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "7-tr.html#SP2_4_4" class = "named-paragraph-link" > < span class = "named-paragraph" > Search the extensions currently installed in the project< / span > < span class = "named-paragraph-number" > 2.4.4< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "7-tr.html#SP2_5_2" class = "named-paragraph-link" > < span class = "named-paragraph" > List the extensions currently installed in the project< / span > < span class = "named-paragraph-number" > 2.5.2< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2023-04-19 01:20:37 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > inbuild_search_result< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > search_result< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > broken< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER_LINKED_LIST< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > search_result< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > inbuild_search_result< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > L< / 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" > LinkedLists::len< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > search_result< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > copy< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > errors_reading_source_text< / span > < span class = "plain-syntax" > ) > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > broken< / 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" > broken< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_TAG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "hr"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
2023-05-06 15:25:34 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "Although installed, the following have errors and will not work. "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "They may need to be repaired, or may simply not be extensions at all:"< / span > < span class = "plain-syntax" > );< / span >
2023-04-19 01:20:37 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "ul"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER_LINKED_LIST< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > search_result< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > inbuild_search_result< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > L< / 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" > LinkedLists::len< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > search_result< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > copy< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > errors_reading_source_text< / span > < span class = "plain-syntax" > ) > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "li"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-cps.html#SP6" class = "function-link" > < span class = "function-syntax" > Copies::write_copy< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > search_result< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > copy< / span > < span class = "plain-syntax" > );< / span >
2023-05-06 15:25:34 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > search_result< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > copy< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > location_if_file< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_TAG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "br"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "at "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Filenames::to_text_relative< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > search_result< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > copy< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > location_if_file< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Pathnames::up< / span > < span class = "plain-syntax" > (< / span > < a href = "5-ps2.html#SP6" class = "function-link" > < span class = "function-syntax" > Projects::materials_path< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > project< / 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" > search_result< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > copy< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > location_if_path< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_TAG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "br"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "at "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Pathnames::relative_URL< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Pathnames::up< / span > < span class = "plain-syntax" > (< / span > < a href = "5-ps2.html#SP6" class = "function-link" > < span class = "function-syntax" > Projects::materials_path< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > project< / span > < span class = "plain-syntax" > )),< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > search_result< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > copy< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > location_if_path< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
2023-04-19 01:20:37 +03:00
< span class = "plain-syntax" > < / span > < a href = "2-cps.html#SP5" class = "function-link" > < span class = "function-syntax" > Copies::list_attached_errors_to_HTML< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > search_result< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > copy< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "li"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "ul"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
2023-04-15 20:43:04 +03:00
< / pre >
< ul class = "endnotetexts" > < li > This code is used in < a href = "7-tr.html#SP2" > § 2< / a > .< / li > < / ul >
2023-04-17 00:57:20 +03:00
< p class = "commentary firstcommentary" > < a id = "SP3" class = "paragraph-anchor" > < / a > < b > § 3. < / b > < / p >
< pre class = "displayed-code all-displayed-code code-font" >
2023-05-06 15:25:34 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > InbuildReport::show_extensions< / 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" > InbuildReport::show_extensions< / span > < / span > :< br / > < a href = "7-tr.html#SP2_5_1" > § 2.5.1< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUTPUT_STREAM< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > build_vertex< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > scan_count< / span > < span class = "plain-syntax" > ,< / span >
2023-04-17 11:23:28 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > built_in< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > built_in_count< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > installed< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > installed_count< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > required< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > requirements_count< / span > < span class = "plain-syntax" > ) {< / span >
2023-04-17 00:57:20 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > type< / span > < span class = "plain-syntax" > == < / span > < span class = "constant-syntax" > COPY_VERTEX< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > inbuild_copy< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > as_copy< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > work< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > genre< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > extension_genre< / span > < span class = "plain-syntax" > ) ||< / span >
< span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > work< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > genre< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > extension_bundle_genre< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > last_scanned< / span > < span class = "plain-syntax" > != < / span > < span class = "identifier-syntax" > scan_count< / span > < span class = "plain-syntax" > ) {< / span >
2023-04-17 11:23:28 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > required< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > last_scanned< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > scan_count< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nest_of_origin< / span > < span class = "plain-syntax" > ) & & < / span >
< span class = "plain-syntax" > (< / span > < a href = "2-nst.html#SP2" class = "function-link" > < span class = "function-syntax" > Nests::get_tag< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > nest_of_origin< / span > < span class = "plain-syntax" > ) == < / span > < span class = "constant-syntax" > INTERNAL_NEST_TAG< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > (*< / span > < span class = "identifier-syntax" > built_in_count< / 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" > built_in< / span > < span class = "plain-syntax" > ) {< / span >
2023-04-18 01:01:15 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((*< / span > < span class = "identifier-syntax" > built_in_count< / span > < span class = "plain-syntax" > ) > < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > ", "< / span > < span class = "plain-syntax" > );< / span >
2023-05-06 21:24:54 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "%S v%v"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > work< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > title< / span > < span class = "plain-syntax" > , & (< / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > edition< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > version< / span > < span class = "plain-syntax" > ));< / span >
2023-04-17 11:23:28 +03:00
< 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" > installed_count< / 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" > installed< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "li"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-cps.html#SP6" class = "function-link" > < span class = "function-syntax" > Copies::write_copy< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "li"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
2023-04-17 00:57:20 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > type< / span > < span class = "plain-syntax" > == < / span > < span class = "constant-syntax" > REQUIREMENT_VERTEX< / 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" > V< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > as_requirement< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > work< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > genre< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > extension_genre< / span > < span class = "plain-syntax" > ) ||< / span >
< span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > as_requirement< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > work< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > genre< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > extension_bundle_genre< / span > < span class = "plain-syntax" > )) {< / span >
2023-04-17 11:23:28 +03:00
< span class = "plain-syntax" > (*< / span > < span class = "identifier-syntax" > requirements_count< / 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" > required< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "li"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "2-wrk.html#SP6" class = "function-link" > < span class = "function-syntax" > Works::write< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > as_requirement< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > work< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > VersionNumberRanges::is_any_range< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > as_requirement< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > version_range< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > " (need version in range "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > VersionNumberRanges::write_range< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > as_requirement< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > version_range< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > ")"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > " (any version will do)"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "li"< / span > < span class = "plain-syntax" > );< / span >
2023-04-17 00:57:20 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > build_vertex< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > ;< / span >
2023-04-18 01:01:15 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER_LINKED_LIST< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > build_vertex< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > build_edges< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < a href = "7-tr.html#SP3" class = "function-link" > < span class = "function-syntax" > InbuildReport::show_extensions< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > scan_count< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > built_in< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > built_in_count< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > installed< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > installed_count< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > required< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > requirements_count< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER_LINKED_LIST< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > build_vertex< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > use_edges< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < a href = "7-tr.html#SP3" class = "function-link" > < span class = "function-syntax" > InbuildReport::show_extensions< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > scan_count< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > built_in< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > built_in_count< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > installed< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > installed_count< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > required< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > requirements_count< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
< p class = "commentary firstcommentary" > < a id = "SP4" class = "paragraph-anchor" > < / a > < b > § 4. < / b > < / p >
< pre class = "displayed-code all-displayed-code code-font" >
2023-05-06 15:25:34 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > InbuildReport::seek_extension_in_graph< / 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" > InbuildReport::seek_extension_in_graph< / span > < / span > :< br / > < a href = "7-tr.html#SP2_5_2" > § 2.5.2< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > inbuild_copy< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > build_vertex< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > ) {< / span >
2023-04-18 01:01:15 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > type< / span > < span class = "plain-syntax" > == < / span > < span class = "constant-syntax" > COPY_VERTEX< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > inbuild_copy< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > VC< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > as_copy< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "2-edt.html#SP4" class = "function-link" > < span class = "function-syntax" > Editions::cmp< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > edition< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > VC< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > edition< / span > < span class = "plain-syntax" > ) == < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > build_vertex< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER_LINKED_LIST< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > build_vertex< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > build_edges< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "7-tr.html#SP4" class = "function-link" > < span class = "function-syntax" > InbuildReport::seek_extension_in_graph< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > ))< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER_LINKED_LIST< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > build_vertex< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > V< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > use_edges< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "7-tr.html#SP4" class = "function-link" > < span class = "function-syntax" > InbuildReport::seek_extension_in_graph< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > C< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > ))< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
2023-04-17 00:57:20 +03:00
< span class = "plain-syntax" > }< / span >
< / pre >
2023-04-14 01:11:34 +03:00
< nav role = "progress" > < div class = "progresscontainer" >
< ul class = "progressbar" > < li class = "progressprev" > < a href = "7-ip2.html" > ❮ < / a > < / li > < li class = "progresschapter" > < a href = "P-wtmd.html" > P< / a > < / li > < li class = "progresschapter" > < a href = "1-sm.html" > 1< / a > < / li > < li class = "progresschapter" > < a href = "2-gnr.html" > 2< / a > < / li > < li class = "progresschapter" > < a href = "3-bg.html" > 3< / a > < / li > < li class = "progresschapter" > < a href = "4-em.html" > 4< / a > < / li > < li class = "progresschapter" > < a href = "5-es.html" > 5< / a > < / li > < li class = "progresschapter" > < a href = "6-st.html" > 6< / a > < / li > < li class = "progresscurrentchapter" > 7< / li > < li class = "progresssection" > < a href = "7-tm.html" > tm< / a > < / li > < li class = "progresssection" > < a href = "7-dct.html" > dct< / a > < / li > < li class = "progresssection" > < a href = "7-cns.html" > cns< / a > < / li > < li class = "progresssection" > < a href = "7-ip.html" > ip< / a > < / li > < li class = "progresssection" > < a href = "7-ip2.html" > ip2< / a > < / li > < li class = "progresscurrent" > tr< / li > < li class = "progressnextoff" > ❯ < / li > < / ul > < / div >
< / nav > <!-- End of weave -->
< / main >
< / body >
< / html >