2019-03-17 14:40:57 +02:00
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
< html >
< head >
< title > 1/bsc< / title >
2020-03-19 02:11:25 +02:00
< meta name = "viewport" content = "width=device-width initial-scale=1" >
2019-03-17 14:40:57 +02:00
< meta http-equiv = "Content-Type" content = "text/html; charset=utf-8" >
< meta http-equiv = "Content-Language" content = "en-gb" >
2020-03-19 02:11:25 +02:00
< link href = "../inweb.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2019-03-17 14:40:57 +02:00
< / head >
< body >
2020-03-19 02:11:25 +02:00
< nav role = "navigation" >
< h1 > < a href = "../webs.html" > Sources< / a > < / h1 >
< ul >
2020-03-28 21:42:53 +02:00
< li > < a href = "../compiler.html" > compiler tools< / a > < / li >
2020-03-19 02:11:25 +02:00
< li > < a href = "../other.html" > < b > other tools< / b > < / a > < / li >
< li > < a href = "../extensions.html" > extensions and kits< / a > < / li >
< li > < a href = "../units.html" > unit test tools< / a > < / li >
< / ul >
< h2 > Other Tools< / h2 >
< ul >
< li > < a href = "../inblorb/index.html" > inblorb< / a > < / li >
< li > < a href = "../indoc/index.html" > indoc< / a > < / li >
< li > < a href = "../inpolicy/index.html" > inpolicy< / a > < / li >
< li > < a href = "../inrtps/index.html" > inrtps< / a > < / li >
< / ul >
< h2 > Foundation< / h2 >
< ul >
< li > < a href = "../../../inweb/docs/foundation-module/index.html" > foundation< / a > < / li >
< / ul >
< / nav >
< main role = "main" >
2019-03-17 14:40:57 +02:00
<!-- Weave of '1/mn' generated by 7 -->
2020-03-23 23:42:00 +02:00
< ul class = "crumbs" > < li > < a href = "../webs.html" > Source< / a > < / li > < li > < a href = "../other.html" > Other Tools< / a > < / li > < li > < a href = "index.html" > inpolicy< / a > < / li > < li > < a href = "index.html#1" > Chapter 1: Setting Up< / a > < / li > < li > < b > Main< / b > < / li > < / ul > < p class = "purpose" > The top level, which decides what is to be done and then carries this plan out.< / p >
2019-03-17 14:40:57 +02:00
< ul class = "toc" > < li > < a href = "#SP1" > § 1. Main routine< / a > < / li > < / ul > < hr class = "tocbar" >
< p class = "inwebparagraph" > < a id = "SP1" > < / a > < b > § 1. Main routine. < / b > < / p >
< pre class = "definitions" >
< span class = "definitionkeyword" > enum< / span > < span class = "constant" > SILENCE_CLSW< / span >
< span class = "definitionkeyword" > enum< / span > < span class = "constant" > VERBOSE_CLSW< / span >
< span class = "definitionkeyword" > enum< / span > < span class = "constant" > PROBLEMS_CLSW< / span >
< / pre >
< pre class = "display" >
< span class = "reserved" > pathname< / span > < span class = "plain" > *< / span > < span class = "identifier" > path_to_inpolicy< / span > < span class = "plain" > = < / span > < span class = "identifier" > NULL< / span > < span class = "plain" > ; < / span > < span class = "comment" > where we are installed< / span >
< span class = "reserved" > pathname< / span > < span class = "plain" > *< / span > < span class = "identifier" > path_to_inpolicy_workspace< / span > < span class = "plain" > = < / span > < span class = "identifier" > NULL< / span > < span class = "plain" > ; < / span > < span class = "comment" > the materials pathname< / span >
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > return_happy< / span > < span class = "plain" > = < / span > < span class = "constant" > TRUE< / span > < span class = "plain" > , < / span > < span class = "identifier" > silence_mode< / span > < span class = "plain" > = < / span > < span class = "constant" > FALSE< / span > < span class = "plain" > , < / span > < span class = "identifier" > verbose_mode< / span > < span class = "plain" > = < / span > < span class = "constant" > FALSE< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "functiontext" > main< / span > < span class = "plain" > (< / span > < span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > argc< / span > < span class = "plain" > , < / span > < span class = "reserved" > char< / span > < span class = "plain" > **< / span > < span class = "identifier" > argv< / span > < span class = "plain" > ) {< / span >
< span class = "functiontext" > Foundation::start< / span > < span class = "plain" > ();< / span >
< span class = "functiontext" > CommandLine::declare_heading< / span > < span class = "plain" > (< / span >
< span class = "identifier" > L< / span > < span class = "string" > "[[Purpose]]\< / span > < span class = "plain" > n< / span > < span class = "string" > \< / span > < span class = "plain" > n< / span > < span class = "string" > "< / span >
< span class = "identifier" > L< / span > < span class = "string" > "usage: inpolicy [options]\< / span > < span class = "plain" > n< / span > < span class = "string" > "< / span > < span class = "plain" > );< / span >
< span class = "functiontext" > CommandLine::declare_switch< / span > < span class = "plain" > (< / span > < span class = "constant" > PROBLEMS_CLSW< / span > < span class = "plain" > , < / span > < span class = "identifier" > L< / span > < span class = "string" > "check-problems"< / span > < span class = "plain" > , 1,< / span >
< span class = "identifier" > L< / span > < span class = "string" > "check problem test case coverage"< / span > < span class = "plain" > );< / span >
< span class = "functiontext" > CommandLine::declare_boolean_switch< / span > < span class = "plain" > (< / span > < span class = "constant" > SILENCE_CLSW< / span > < span class = "plain" > , < / span > < span class = "identifier" > L< / span > < span class = "string" > "silence"< / span > < span class = "plain" > , 1,< / span >
2020-02-27 03:43:11 +02:00
< span class = "identifier" > L< / span > < span class = "string" > "print nothing unless there's something wrong"< / span > < span class = "plain" > , < / span > < span class = "constant" > FALSE< / span > < span class = "plain" > );< / span >
2019-03-17 14:40:57 +02:00
< span class = "functiontext" > CommandLine::declare_boolean_switch< / span > < span class = "plain" > (< / span > < span class = "constant" > VERBOSE_CLSW< / span > < span class = "plain" > , < / span > < span class = "identifier" > L< / span > < span class = "string" > "verbose"< / span > < span class = "plain" > , 1,< / span >
2020-02-27 03:43:11 +02:00
< span class = "identifier" > L< / span > < span class = "string" > "explain what inpolicy is doing"< / span > < span class = "plain" > , < / span > < span class = "constant" > FALSE< / span > < span class = "plain" > );< / span >
2019-03-17 14:40:57 +02:00
< span class = "functiontext" > CommandLine::read< / span > < span class = "plain" > (< / span > < span class = "identifier" > argc< / span > < span class = "plain" > , < / span > < span class = "identifier" > argv< / span > < span class = "plain" > , < / span > < span class = "identifier" > NULL< / span > < span class = "plain" > , & < / span > < span class = "functiontext" > Main::respond< / span > < span class = "plain" > , & < / span > < span class = "functiontext" > Main::disallow< / span > < span class = "plain" > );< / span >
< span class = "identifier" > path_to_inpolicy< / span > < span class = "plain" > = < / span > < span class = "functiontext" > Pathnames::installation_path< / span > < span class = "plain" > (< / span > < span class = "string" > "INPOLICY_PATH"< / span > < span class = "plain" > , < / span > < span class = "identifier" > I< / span > < span class = "string" > "inpolicy"< / span > < span class = "plain" > );< / span >
< span class = "identifier" > path_to_inpolicy_workspace< / span > < span class = "plain" > = < / span > < span class = "functiontext" > Pathnames::subfolder< / span > < span class = "plain" > (< / span > < span class = "identifier" > path_to_inpolicy< / span > < span class = "plain" > , < / span > < span class = "identifier" > I< / span > < span class = "string" > "Workspace"< / span > < span class = "plain" > );< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > verbose_mode< / span > < span class = "plain" > ) < / span > < span class = "identifier" > PRINT< / span > < span class = "plain" > (< / span > < span class = "string" > "Installation path is %p\< / span > < span class = "plain" > n< / span > < span class = "string" > "< / span > < span class = "plain" > , < / span > < span class = "identifier" > path_to_inpolicy< / span > < span class = "plain" > );< / span >
< span class = "functiontext" > Foundation::end< / span > < span class = "plain" > ();< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > return_happy< / span > < span class = "plain" > ) < / span > < span class = "reserved" > return< / span > < span class = "plain" > 0; < / span > < span class = "reserved" > else< / span > < span class = "plain" > < / span > < span class = "reserved" > return< / span > < span class = "plain" > 1;< / span >
< span class = "plain" > }< / span >
< span class = "reserved" > void< / span > < span class = "plain" > < / span > < span class = "functiontext" > Main::disallow< / span > < span class = "plain" > (< / span > < span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > id< / span > < span class = "plain" > , < / span > < span class = "reserved" > text_stream< / span > < span class = "plain" > *< / span > < span class = "identifier" > arg< / span > < span class = "plain" > , < / span > < span class = "reserved" > void< / span > < span class = "plain" > *< / span > < span class = "identifier" > state< / span > < span class = "plain" > ) {< / span >
< span class = "functiontext" > Errors::fatal< / span > < span class = "plain" > (< / span > < span class = "string" > "no arguments are allowed at the command line"< / span > < span class = "plain" > );< / span >
< span class = "plain" > }< / span >
< / pre >
< p class = "inwebparagraph" > < / p >
2020-04-01 22:43:13 +03:00
< p class = "endnote" > The function main is used in 8/wm (< a href = "8-wm.html#SP3" > § 3< / a > ).< / p >
2019-03-17 14:40:57 +02:00
< p class = "endnote" > The function Main::disallow appears nowhere else.< / p >
< p class = "inwebparagraph" > < a id = "SP2" > < / a > < b > § 2. < / b > < / p >
< pre class = "definitions" >
< span class = "definitionkeyword" > define< / span > < span class = "identifier" > RUNTEST< / span > < span class = "plain" > (< / span > < span class = "identifier" > Routine< / span > < span class = "plain" > )< / span >
< span class = "identifier" > path_to_inpolicy< / span > < span class = "plain" > = < / span > < span class = "functiontext" > Pathnames::installation_path< / span > < span class = "plain" > (< / span > < span class = "string" > "INPOLICY_PATH"< / span > < span class = "plain" > , < / span > < span class = "identifier" > I< / span > < span class = "string" > "inpolicy"< / span > < span class = "plain" > );< / span >
< span class = "identifier" > path_to_inpolicy_workspace< / span > < span class = "plain" > = < / span > < span class = "functiontext" > Pathnames::subfolder< / span > < span class = "plain" > (< / span > < span class = "identifier" > path_to_inpolicy< / span > < span class = "plain" > , < / span > < span class = "identifier" > I< / span > < span class = "string" > "Workspace"< / span > < span class = "plain" > );< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > silence_mode< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > Routine< / span > < span class = "plain" > (< / span > < span class = "identifier" > NULL< / span > < span class = "plain" > ) == < / span > < span class = "constant" > FALSE< / span > < span class = "plain" > ) { < / span > < span class = "identifier" > return_happy< / span > < span class = "plain" > = < / span > < span class = "constant" > FALSE< / span > < span class = "plain" > ; < / span > < span class = "identifier" > Routine< / span > < span class = "plain" > (< / span > < span class = "constant" > STDERR< / span > < span class = "plain" > ); }< / span >
< span class = "plain" > } < / span > < span class = "reserved" > else< / span > < span class = "plain" > {< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > Routine< / span > < span class = "plain" > (< / span > < span class = "constant" > STDOUT< / span > < span class = "plain" > ) == < / span > < span class = "constant" > FALSE< / span > < span class = "plain" > ) < / span > < span class = "identifier" > return_happy< / span > < span class = "plain" > = < / span > < span class = "constant" > FALSE< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
< / pre >
< pre class = "display" >
< span class = "reserved" > void< / span > < span class = "plain" > < / span > < span class = "functiontext" > Main::respond< / span > < span class = "plain" > (< / span > < span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > id< / span > < span class = "plain" > , < / span > < span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > val< / span > < span class = "plain" > , < / span > < span class = "reserved" > text_stream< / span > < span class = "plain" > *< / span > < span class = "identifier" > arg< / span > < span class = "plain" > , < / span > < span class = "reserved" > void< / span > < span class = "plain" > *< / span > < span class = "identifier" > state< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > switch< / span > < span class = "plain" > (< / span > < span class = "identifier" > id< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > case< / span > < span class = "plain" > < / span > < span class = "constant" > PROBLEMS_CLSW< / span > < span class = "plain" > : < / span > < span class = "identifier" > RUNTEST< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Coverage::check< / span > < span class = "plain" > ); < / span > < span class = "reserved" > break< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > case< / span > < span class = "plain" > < / span > < span class = "constant" > SILENCE_CLSW< / span > < span class = "plain" > : < / span > < span class = "identifier" > silence_mode< / span > < span class = "plain" > = < / span > < span class = "identifier" > val< / span > < span class = "plain" > ; < / span > < span class = "reserved" > break< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > case< / span > < span class = "plain" > < / span > < span class = "constant" > VERBOSE_CLSW< / span > < span class = "plain" > : < / span > < span class = "identifier" > verbose_mode< / span > < span class = "plain" > = < / span > < span class = "identifier" > val< / span > < span class = "plain" > ; < / span > < span class = "reserved" > break< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
< span class = "plain" > }< / span >
< / pre >
< p class = "inwebparagraph" > < / p >
< p class = "endnote" > The function Main::respond is used in < a href = "#SP1" > § 1< / a > .< / p >
< hr class = "tocbar" >
< ul class = "toc" > < li > < a href = "1-bsc.html" > Back to 'Basics'< / a > < / li > < li > < i > (This section ends Chapter 1: Setting Up.)< / i > < / li > < / ul > < hr class = "tocbar" >
2019-04-22 17:42:10 +03:00
<!-- End of weave -->
2020-03-19 02:11:25 +02:00
< / main >
2019-03-17 14:40:57 +02:00
< / body >
< / html >