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 > 5/gt2< / title >
< meta http-equiv = "Content-Type" content = "text/html; charset=utf-8" >
< meta http-equiv = "Content-Language" content = "en-gb" >
< link href = "inweb.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< / head >
< body >
<!-- Weave of '5/nft' generated by 7 -->
< ul class = "crumbs" > < li > < a href = "../webs.html" > ★ < / a > < / li > < li > < a href = "index.html" > if< / a > < / li > < li > < a href = "index.html#5" > Chapter 5: Command Grammar< / a > < / li > < li > < b > Noun Filter Tokens< / b > < / li > < / ul > < p class = "purpose" > Filters are used to require nouns to have specific kinds or attributes, or to have specific scoping rules: they correspond to Inform 6's |noun=Routine| and |scope=Routine| tokens. Though these are quite different concepts in I6, their common handling seems natural in I7.< / p >
< ul class = "toc" > < li > < a href = "#SP1" > § 1. Definitions< / a > < / li > < li > < a href = "#SP3" > § 3. Access via ID< / a > < / li > < li > < a href = "#SP4" > § 4. Compiling everything< / a > < / li > < / ul > < hr class = "tocbar" >
< p class = "inwebparagraph" > < a id = "SP1" > < / a > < b > § 1. Definitions. < / b > < / p >
< pre class = "display" >
< span class = "reserved" > typedef< / span > < span class = "plain" > < / span > < span class = "reserved" > struct< / span > < span class = "plain" > < / span > < span class = "reserved" > noun_filter_token< / span > < span class = "plain" > {< / span >
< span class = "reserved" > struct< / span > < span class = "plain" > < / span > < span class = "identifier" > parse_node< / span > < span class = "plain" > *< / span > < span class = "identifier" > the_filter< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > struct< / span > < span class = "plain" > < / span > < span class = "identifier" > parse_node< / span > < span class = "plain" > *< / span > < span class = "identifier" > nft_created_at< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > global_scope_flag< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > any_things_flag< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > parse_using_gpr< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > nft_compiled< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > struct< / span > < span class = "plain" > < / span > < span class = "identifier" > inter_name< / span > < span class = "plain" > *< / span > < span class = "identifier" > nft_iname< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > MEMORY_MANAGEMENT< / span >
< span class = "plain" > } < / span > < span class = "reserved" > noun_filter_token< / span > < span class = "plain" > ;< / span >
< / pre >
< p class = "inwebparagraph" > < / p >
< p class = "endnote" > The structure noun_filter_token is private to this section.< / p >
< p class = "inwebparagraph" > < a id = "SP2" > < / a > < b > § 2. < / b > There are only three things we can do with these: create them, compile
their names (used as I6 tokens), and compile their routines.
< / p >
< pre class = "display" >
< span class = "reserved" > noun_filter_token< / span > < span class = "plain" > *< / span > < span class = "functiontext" > PL::Parsing::Tokens::Filters::nft_new< / span > < span class = "plain" > (< / span > < span class = "identifier" > parse_node< / span > < span class = "plain" > *< / span > < span class = "identifier" > spec< / span > < span class = "plain" > , < / span > < span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > global_scope< / span > < span class = "plain" > , < / span > < span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > any_things< / span > < span class = "plain" > ) {< / span >
< span class = "identifier" > pcalc_prop< / span > < span class = "plain" > *< / span > < span class = "identifier" > prop< / span > < span class = "plain" > = < / span > < span class = "identifier" > Specifications::to_proposition< / span > < span class = "plain" > (< / span > < span class = "identifier" > spec< / span > < span class = "plain" > );< / span >
< span class = "reserved" > if< / span > < span class = "plain" > ((< / span > < span class = "identifier" > prop< / span > < span class = "plain" > ) & & (< / span > < span class = "identifier" > Calculus::Variables::number_free< / span > < span class = "plain" > (< / span > < span class = "identifier" > prop< / span > < span class = "plain" > ) != 1)) {< / span >
< span class = "identifier" > LOG< / span > < span class = "plain" > (< / span > < span class = "string" > "So $P and $D\< / span > < span class = "plain" > n< / span > < span class = "string" > "< / span > < span class = "plain" > , < / span > < span class = "identifier" > spec< / span > < span class = "plain" > , < / span > < span class = "identifier" > prop< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Problems::Issue::sentence_problem< / span > < span class = "plain" > (< / span > < span class = "identifier" > _p_< / span > < span class = "plain" > (< / span > < span class = "identifier" > PM_FilterQuantified< / span > < span class = "plain" > ),< / span >
< span class = "string" > "the [any ...] doesn't clearly give a description in the '...' part"< / span > < span class = "plain" > ,< / span >
< span class = "string" > "where I was expecting something like '[any vehicle]'."< / span > < span class = "plain" > );< / span >
< span class = "identifier" > spec< / span > < span class = "plain" > = < / span > < span class = "identifier" > Specifications::from_kind< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_object< / span > < span class = "plain" > );< / span >
< span class = "plain" > }< / span >
< span class = "reserved" > noun_filter_token< / span > < span class = "plain" > *< / span > < span class = "identifier" > nft< / span > < span class = "plain" > = < / span > < span class = "identifier" > CREATE< / span > < span class = "plain" > (< / span > < span class = "reserved" > noun_filter_token< / span > < span class = "plain" > );< / span >
< span class = "identifier" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > the_filter< / span > < span class = "plain" > = < / span > < span class = "identifier" > spec< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > global_scope_flag< / span > < span class = "plain" > = < / span > < span class = "identifier" > global_scope< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > any_things_flag< / span > < span class = "plain" > = < / span > < span class = "identifier" > any_things< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > nft_created_at< / span > < span class = "plain" > = < / span > < span class = "identifier" > current_sentence< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > parse_using_gpr< / span > < span class = "plain" > = < / span > < span class = "identifier" > FALSE< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > nft_compiled< / span > < span class = "plain" > = < / span > < span class = "identifier" > FALSE< / span > < span class = "plain" > ;< / span >
2019-03-25 01:27:44 +02:00
< span class = "identifier" > inter_name< / span > < span class = "plain" > *< / span > < span class = "identifier" > filter_iname< / span > < span class = "plain" > = < / span > < span class = "identifier" > NULL< / span > < span class = "plain" > ;< / span >
2019-03-17 14:40:57 +02:00
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > global_scope< / span > < span class = "plain" > )< / span >
2019-03-25 01:27:44 +02:00
< span class = "identifier" > filter_iname< / span > < span class = "plain" > = < / span > < span class = "identifier" > InterNames::new< / span > < span class = "plain" > (< / span > < span class = "identifier" > SCOPE_FILTER_INAMEF< / span > < span class = "plain" > );< / span >
2019-03-17 14:40:57 +02:00
< span class = "reserved" > else< / span >
2019-03-25 01:27:44 +02:00
< span class = "identifier" > filter_iname< / span > < span class = "plain" > = < / span > < span class = "identifier" > InterNames::new< / span > < span class = "plain" > (< / span > < span class = "identifier" > NOUN_FILTER_INAMEF< / span > < span class = "plain" > );< / span >
2019-04-12 03:47:23 +03:00
< span class = "identifier" > package_request< / span > < span class = "plain" > *< / span > < span class = "identifier" > PR< / span > < span class = "plain" > = < / span > < span class = "identifier" > Packaging::local_resource< / span > < span class = "plain" > (< / span > < span class = "identifier" > GRAMMAR_SUBMODULE< / span > < span class = "plain" > );< / span >
2019-03-25 01:27:44 +02:00
< span class = "identifier" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > nft_iname< / span > < span class = "plain" > = < / span > < span class = "identifier" > Packaging::function< / span > < span class = "plain" > (< / span >
< span class = "identifier" > InterNames::one_off< / span > < span class = "plain" > (< / span > < span class = "identifier" > I< / span > < span class = "string" > "filter_fn"< / span > < span class = "plain" > , < / span > < span class = "identifier" > PR< / span > < span class = "plain" > ),< / span >
< span class = "identifier" > PR< / span > < span class = "plain" > ,< / span >
< span class = "identifier" > filter_iname< / span > < span class = "plain" > );< / span >
2019-03-17 14:40:57 +02:00
< span class = "identifier" > InterNames::to_symbol< / span > < span class = "plain" > (< / span > < span class = "identifier" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > nft_iname< / span > < span class = "plain" > );< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > nft< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
< span class = "identifier" > inter_name< / span > < span class = "plain" > *< / span > < span class = "functiontext" > PL::Parsing::Tokens::Filters::nft_compile_routine_iname< / span > < span class = "plain" > (< / span > < span class = "reserved" > noun_filter_token< / span > < span class = "plain" > *< / span > < span class = "identifier" > nft< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > nft_iname< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
< span class = "reserved" > void< / span > < span class = "plain" > < / span > < span class = "functiontext" > PL::Parsing::Tokens::Filters::nft_compile_routine< / span > < span class = "plain" > (< / span > < span class = "reserved" > noun_filter_token< / span > < span class = "plain" > *< / span > < span class = "identifier" > nft< / span > < span class = "plain" > ) {< / span >
< span class = "identifier" > parse_node< / span > < span class = "plain" > *< / span > < span class = "identifier" > noun_var< / span > < span class = "plain" > = < / span > < span class = "identifier" > Lvalues::new_actual_NONLOCAL_VARIABLE< / span > < span class = "plain" > (< / span > < span class = "identifier" > I6_noun_VAR< / span > < span class = "plain" > );< / span >
< span class = "identifier" > kind< / span > < span class = "plain" > *< / span > < span class = "identifier" > R< / span > < span class = "plain" > = < / span > < span class = "identifier" > Specifications::to_kind< / span > < span class = "plain" > (< / span > < span class = "identifier" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > the_filter< / span > < span class = "plain" > );< / span >
< span class = "identifier" > kind< / span > < span class = "plain" > *< / span > < span class = "identifier" > K< / span > < span class = "plain" > = < / span > < span class = "identifier" > NonlocalVariables::kind< / span > < span class = "plain" > (< / span > < span class = "identifier" > I6_noun_VAR< / span > < span class = "plain" > );< / span >
< span class = "identifier" > NonlocalVariables::set_kind< / span > < span class = "plain" > (< / span > < span class = "identifier" > I6_noun_VAR< / span > < span class = "plain" > , < / span > < span class = "identifier" > R< / span > < span class = "plain" > );< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > Kinds::Compare::le< / span > < span class = "plain" > (< / span > < span class = "identifier" > R< / span > < span class = "plain" > , < / span > < span class = "identifier" > K_object< / span > < span class = "plain" > ) == < / span > < span class = "identifier" > FALSE< / span > < span class = "plain" > ) < / span > < span class = "identifier" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > parse_using_gpr< / span > < span class = "plain" > = < / span > < span class = "identifier" > TRUE< / span > < span class = "plain" > ;< / span >
2019-03-25 01:27:44 +02:00
< span class = "identifier" > packaging_state< / span > < span class = "plain" > < / span > < span class = "identifier" > save< / span > < span class = "plain" > = < / span > < span class = "identifier" > Routines::begin< / span > < span class = "plain" > (< / span > < span class = "identifier" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > nft_iname< / span > < span class = "plain" > );< / span >
2019-03-17 14:40:57 +02:00
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > parse_using_gpr< / span > < span class = "plain" > ) {< / span >
< span class = "identifier" > inter_symbol< / span > < span class = "plain" > *< / span > < span class = "identifier" > v_s< / span > < span class = "plain" > = < / span > < span class = "identifier" > LocalVariables::add_internal_local_c_as_symbol< / span > < span class = "plain" > (< / span > < span class = "identifier" > I< / span > < span class = "string" > "v"< / span > < span class = "plain" > , < / span > < span class = "string" > "value parsed"< / span > < span class = "plain" > );< / span >
< span class = "identifier" > inter_symbol< / span > < span class = "plain" > *< / span > < span class = "identifier" > n_s< / span > < span class = "plain" > = < / span > < span class = "identifier" > LocalVariables::add_internal_local_c_as_symbol< / span > < span class = "plain" > (< / span > < span class = "identifier" > I< / span > < span class = "string" > "n"< / span > < span class = "plain" > , < / span > < span class = "string" > "saved value of noun"< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "identifier" > store_interp< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::ref_symbol< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_value< / span > < span class = "plain" > , < / span > < span class = "identifier" > v_s< / span > < span class = "plain" > );< / span >
< span class = "identifier" > inter_name< / span > < span class = "plain" > *< / span > < span class = "identifier" > gpr_to_ask< / span > < span class = "plain" > = < / span > < span class = "identifier" > Kinds::Behaviour::get_explicit_I6_GPR_iname< / span > < span class = "plain" > (< / span > < span class = "identifier" > R< / span > < span class = "plain" > );< / span >
2019-03-25 01:27:44 +02:00
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > gpr_to_ask< / span > < span class = "plain" > == < / span > < span class = "identifier" > NULL< / span > < span class = "plain" > ) < / span > < span class = "identifier" > gpr_to_ask< / span > < span class = "plain" > = < / span > < span class = "identifier" > Kinds::RunTime::get_kind_GPR_iname< / span > < span class = "plain" > (< / span > < span class = "identifier" > R< / span > < span class = "plain" > );< / span >
2019-03-17 14:40:57 +02:00
< span class = "identifier" > Emit::inv_call< / span > < span class = "plain" > (< / span > < span class = "identifier" > InterNames::to_symbol< / span > < span class = "plain" > (< / span > < span class = "identifier" > gpr_to_ask< / span > < span class = "plain" > ));< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "identifier" > if_interp< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "identifier" > eq_interp< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::val_symbol< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_value< / span > < span class = "plain" > , < / span > < span class = "identifier" > v_s< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::val_iname< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_object< / span > < span class = "plain" > , < / span > < span class = "identifier" > InterNames::extern< / span > < span class = "plain" > (< / span > < span class = "identifier" > GPRNUMBER_EXNAMEF< / span > < span class = "plain" > ));< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::code< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "identifier" > store_interp< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::ref_symbol< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_value< / span > < span class = "plain" > , < / span > < span class = "identifier" > n_s< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::val_iname< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_object< / span > < span class = "plain" > , < / span > < span class = "identifier" > InterNames::extern< / span > < span class = "plain" > (< / span > < span class = "identifier" > NOUN_EXNAMEF< / span > < span class = "plain" > ));< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "identifier" > store_interp< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::ref_iname< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_object< / span > < span class = "plain" > , < / span > < span class = "identifier" > InterNames::extern< / span > < span class = "plain" > (< / span > < span class = "identifier" > NOUN_EXNAMEF< / span > < span class = "plain" > ));< / span >
< span class = "identifier" > Emit::val_iname< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_object< / span > < span class = "plain" > , < / span > < span class = "identifier" > InterNames::extern< / span > < span class = "plain" > (< / span > < span class = "identifier" > PARSEDNUMBER_EXNAMEF< / span > < span class = "plain" > ));< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "identifier" > if_interp< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "identifier" > not_interp< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Calculus::Deferrals::emit_test_if_var_matches_description< / span > < span class = "plain" > (< / span > < span class = "identifier" > noun_var< / span > < span class = "plain" > , < / span > < span class = "identifier" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > the_filter< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::code< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "identifier" > store_interp< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::ref_symbol< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_value< / span > < span class = "plain" > , < / span > < span class = "identifier" > v_s< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::val_iname< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_object< / span > < span class = "plain" > , < / span > < span class = "identifier" > InterNames::extern< / span > < span class = "plain" > (< / span > < span class = "identifier" > GPRFAIL_EXNAMEF< / span > < span class = "plain" > ));< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "identifier" > store_interp< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::ref_iname< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_object< / span > < span class = "plain" > , < / span > < span class = "identifier" > InterNames::extern< / span > < span class = "plain" > (< / span > < span class = "identifier" > NOUN_EXNAMEF< / span > < span class = "plain" > ));< / span >
< span class = "identifier" > Emit::val_symbol< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_value< / span > < span class = "plain" > , < / span > < span class = "identifier" > n_s< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "identifier" > return_interp< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::val_symbol< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_value< / span > < span class = "plain" > , < / span > < span class = "identifier" > v_s< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::up< / 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" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > global_scope_flag< / span > < span class = "plain" > ) {< / span >
< span class = "identifier" > inter_symbol< / span > < span class = "plain" > *< / span > < span class = "identifier" > obj_s< / span > < span class = "plain" > = < / span > < span class = "identifier" > LocalVariables::add_internal_local_c_as_symbol< / span > < span class = "plain" > (< / span > < span class = "identifier" > I< / span > < span class = "string" > "obj"< / span > < span class = "plain" > , < / span > < span class = "string" > "object loop variable"< / span > < span class = "plain" > );< / span >
< span class = "identifier" > inter_symbol< / span > < span class = "plain" > *< / span > < span class = "identifier" > o2_s< / span > < span class = "plain" > = < / span > < span class = "identifier" > LocalVariables::add_internal_local_c_as_symbol< / span > < span class = "plain" > (< / span > < span class = "identifier" > I< / span > < span class = "string" > "o2"< / span > < span class = "plain" > , < / span > < span class = "string" > "saved value of noun"< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "identifier" > switch_interp< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::val_iname< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_object< / span > < span class = "plain" > , < / span > < span class = "identifier" > InterNames::extern< / span > < span class = "plain" > (< / span > < span class = "identifier" > SCOPESTAGE_EXNAMEF< / span > < span class = "plain" > ));< / span >
< span class = "identifier" > Emit::code< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "identifier" > case_interp< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::val< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_number< / span > < span class = "plain" > , < / span > < span class = "identifier" > LITERAL_IVAL< / span > < span class = "plain" > , 1);< / span >
< span class = "identifier" > Emit::code< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > any_things_flag< / span > < span class = "plain" > ) < / span > < span class = "identifier" > Emit::rtrue< / span > < span class = "plain" > ();< / span >
< span class = "reserved" > else< / span > < span class = "plain" > < / span > < span class = "identifier" > Emit::rfalse< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "identifier" > case_interp< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::val< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_number< / span > < span class = "plain" > , < / span > < span class = "identifier" > LITERAL_IVAL< / span > < span class = "plain" > , 2);< / span >
< span class = "identifier" > Emit::code< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "identifier" > store_interp< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::ref_symbol< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_value< / span > < span class = "plain" > , < / span > < span class = "identifier" > obj_s< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::val_iname< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_object< / span > < span class = "plain" > , < / span > < span class = "identifier" > InterNames::extern< / span > < span class = "plain" > (< / span > < span class = "identifier" > NOUN_EXNAMEF< / span > < span class = "plain" > ));< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "identifier" > objectloop_interp< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::ref_iname< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_object< / span > < span class = "plain" > , < / span > < span class = "identifier" > InterNames::extern< / span > < span class = "plain" > (< / span > < span class = "identifier" > NOUN_EXNAMEF< / span > < span class = "plain" > ));< / span >
2019-04-09 18:09:53 +03:00
< span class = "identifier" > Emit::val_iname< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_value< / span > < span class = "plain" > , < / span > < span class = "identifier" > Kinds::RunTime::I6_classname< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_object< / span > < span class = "plain" > ));< / span >
2019-03-17 14:40:57 +02:00
< span class = "identifier" > Calculus::Deferrals::emit_test_if_var_matches_description< / span > < span class = "plain" > (< / span > < span class = "identifier" > noun_var< / span > < span class = "plain" > , < / span > < span class = "identifier" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > the_filter< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::code< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "identifier" > store_interp< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::ref_symbol< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_value< / span > < span class = "plain" > , < / span > < span class = "identifier" > o2_s< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::val_iname< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_object< / span > < span class = "plain" > , < / span > < span class = "identifier" > InterNames::extern< / span > < span class = "plain" > (< / span > < span class = "identifier" > NOUN_EXNAMEF< / span > < span class = "plain" > ));< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "identifier" > store_interp< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::ref_iname< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_object< / span > < span class = "plain" > , < / span > < span class = "identifier" > InterNames::extern< / span > < span class = "plain" > (< / span > < span class = "identifier" > NOUN_EXNAMEF< / span > < span class = "plain" > ));< / span >
< span class = "identifier" > Emit::val_symbol< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_value< / span > < span class = "plain" > , < / span > < span class = "identifier" > obj_s< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "identifier" > store_interp< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::ref_iname< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_object< / span > < span class = "plain" > , < / span > < span class = "identifier" > InterNames::extern< / span > < span class = "plain" > (< / span > < span class = "identifier" > SUPPRESSSCOPELOOPS_EXNAMEF< / span > < span class = "plain" > ));< / span >
< span class = "identifier" > Emit::val< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_truth_state< / span > < span class = "plain" > , < / span > < span class = "identifier" > LITERAL_IVAL< / span > < span class = "plain" > , 1);< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::inv_call< / span > < span class = "plain" > (< / span > < span class = "identifier" > InterNames::to_symbol< / span > < span class = "plain" > (< / span > < span class = "identifier" > InterNames::extern< / span > < span class = "plain" > (< / span > < span class = "identifier" > PLACEINSCOPE_EXNAMEF< / span > < span class = "plain" > )));< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::val_symbol< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_value< / span > < span class = "plain" > , < / span > < span class = "identifier" > o2_s< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::val< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_truth_state< / span > < span class = "plain" > , < / span > < span class = "identifier" > LITERAL_IVAL< / span > < span class = "plain" > , 1);< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "identifier" > store_interp< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::ref_iname< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_object< / span > < span class = "plain" > , < / span > < span class = "identifier" > InterNames::extern< / span > < span class = "plain" > (< / span > < span class = "identifier" > SUPPRESSSCOPELOOPS_EXNAMEF< / span > < span class = "plain" > ));< / span >
< span class = "identifier" > Emit::val< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_truth_state< / span > < span class = "plain" > , < / span > < span class = "identifier" > LITERAL_IVAL< / span > < span class = "plain" > , 0);< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "identifier" > store_interp< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::ref_iname< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_object< / span > < span class = "plain" > , < / span > < span class = "identifier" > InterNames::extern< / span > < span class = "plain" > (< / span > < span class = "identifier" > NOUN_EXNAMEF< / span > < span class = "plain" > ));< / span >
< span class = "identifier" > Emit::val_symbol< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_value< / span > < span class = "plain" > , < / span > < span class = "identifier" > o2_s< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "identifier" > store_interp< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::ref_iname< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_object< / span > < span class = "plain" > , < / span > < span class = "identifier" > InterNames::extern< / span > < span class = "plain" > (< / span > < span class = "identifier" > NOUN_EXNAMEF< / span > < span class = "plain" > ));< / span >
< span class = "identifier" > Emit::val_symbol< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_value< / span > < span class = "plain" > , < / span > < span class = "identifier" > obj_s< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "identifier" > case_interp< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::val< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_number< / span > < span class = "plain" > , < / span > < span class = "identifier" > LITERAL_IVAL< / span > < span class = "plain" > , 3);< / span >
< span class = "identifier" > Emit::code< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "identifier" > store_interp< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::ref_iname< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_object< / span > < span class = "plain" > , < / span > < span class = "identifier" > InterNames::extern< / span > < span class = "plain" > (< / span > < span class = "identifier" > NEXTBESTETYPE_EXNAMEF< / span > < span class = "plain" > ));< / span >
< span class = "identifier" > Emit::val_iname< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_object< / span > < span class = "plain" > , < / span > < span class = "identifier" > InterNames::extern< / span > < span class = "plain" > (< / span > < span class = "identifier" > NOTINCONTEXTPE_EXNAMEF< / span > < span class = "plain" > ));< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "identifier" > return_interp< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::val< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_number< / span > < span class = "plain" > , < / span > < span class = "identifier" > LITERAL_IVAL< / span > < span class = "plain" > , (< / span > < span class = "identifier" > inter_t< / span > < span class = "plain" > ) (-1));< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "plain" > } < / span > < span class = "reserved" > else< / span > < span class = "plain" > {< / span >
< span class = "identifier" > inter_symbol< / span > < span class = "plain" > *< / span > < span class = "identifier" > x_s< / span > < span class = "plain" > = < / span > < span class = "identifier" > LocalVariables::add_internal_local_c_as_symbol< / span > < span class = "plain" > (< / span > < span class = "identifier" > I< / span > < span class = "string" > "x"< / span > < span class = "plain" > , < / span > < span class = "string" > "saved value of noun"< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "identifier" > store_interp< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::ref_symbol< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_value< / span > < span class = "plain" > , < / span > < span class = "identifier" > x_s< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::val_iname< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_object< / span > < span class = "plain" > , < / span > < span class = "identifier" > InterNames::extern< / span > < span class = "plain" > (< / span > < span class = "identifier" > NOUN_EXNAMEF< / span > < span class = "plain" > ));< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "identifier" > Emit::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "identifier" > return_interp< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::down< / span > < span class = "plain" > ();< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > Specifications::to_proposition< / span > < span class = "plain" > (< / span > < span class = "identifier" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > the_filter< / span > < span class = "plain" > )) {< / span >
< span class = "identifier" > Calculus::Propositions::Checker::type_check< / span > < span class = "plain" > (< / span > < span class = "identifier" > Specifications::to_proposition< / span > < span class = "plain" > (< / span > < span class = "identifier" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > the_filter< / span > < span class = "plain" > ), < / span > < span class = "identifier" > Calculus::Propositions::Checker::tc_no_problem_reporting< / span > < span class = "plain" > ());< / span >
< span class = "identifier" > Calculus::Deferrals::emit_test_of_proposition< / span > < span class = "plain" > (< / span >
< span class = "identifier" > noun_var< / span > < span class = "plain" > , < / span > < span class = "identifier" > Specifications::to_proposition< / span > < span class = "plain" > (< / span > < span class = "identifier" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > the_filter< / span > < span class = "plain" > ));< / span >
< span class = "plain" > } < / span > < span class = "reserved" > else< / span >
< span class = "identifier" > Calculus::Deferrals::emit_test_if_var_matches_description< / span > < span class = "plain" > (< / span > < span class = "identifier" > noun_var< / span > < span class = "plain" > , < / span > < span class = "identifier" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > the_filter< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Emit::up< / span > < span class = "plain" > ();< / span >
< span class = "plain" > }< / span >
2019-03-25 01:27:44 +02:00
< span class = "identifier" > Routines::end< / span > < span class = "plain" > (< / span > < span class = "identifier" > save< / span > < span class = "plain" > );< / span >
2019-03-17 14:40:57 +02:00
< span class = "identifier" > NonlocalVariables::set_kind< / span > < span class = "plain" > (< / span > < span class = "identifier" > I6_noun_VAR< / span > < span class = "plain" > , < / span > < span class = "identifier" > K< / span > < span class = "plain" > );< / span >
< span class = "plain" > }< / span >
< / pre >
< p class = "inwebparagraph" > < / p >
< p class = "endnote" > The function PL::Parsing::Tokens::Filters::nft_new is used in < a href = "#SP3" > § 3< / a > .< / p >
< p class = "endnote" > The function PL::Parsing::Tokens::Filters::nft_compile_routine_iname is used in < a href = "#SP3" > § 3< / a > .< / p >
< p class = "endnote" > The function PL::Parsing::Tokens::Filters::nft_compile_routine is used in < a href = "#SP4" > § 4< / a > .< / p >
< p class = "inwebparagraph" > < a id = "SP3" > < / a > < b > § 3. Access via ID. < / b > For now, though, these are perhaps strangely accessed by ID number. (Because
the < code class = "display" > < span class = "extract" > parse_node< / span > < / code > structure can't conveniently be annotated with pointers,
that's why.)
< / p >
< pre class = "display" >
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > too_late_for_further_NFTs< / span > < span class = "plain" > = < / span > < span class = "identifier" > FALSE< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "functiontext" > PL::Parsing::Tokens::Filters::new_id< / span > < span class = "plain" > (< / span > < span class = "identifier" > parse_node< / span > < span class = "plain" > *< / span > < span class = "identifier" > spec< / span > < span class = "plain" > , < / span > < span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > global_scope< / span > < span class = "plain" > , < / span > < span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > any_things< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > too_late_for_further_NFTs< / span > < span class = "plain" > )< / span >
< span class = "identifier" > Problems::Issue::sentence_problem< / span > < span class = "plain" > (< / span > < span class = "identifier" > _p_< / span > < span class = "plain" > (< / span > < span class = "identifier" > BelievedImpossible< / span > < span class = "plain" > ),< / span >
< span class = "string" > "complicated instructions on understanding the player's command "< / span >
< span class = "string" > "are not allowed in the past tense"< / span > < span class = "plain" > ,< / span >
< span class = "string" > "for instance by being applied to several previous turns in a row."< / span > < span class = "plain" > );< / span >
< span class = "identifier" > kind< / span > < span class = "plain" > *< / span > < span class = "identifier" > K< / span > < span class = "plain" > = < / span > < span class = "identifier" > Specifications::to_kind< / span > < span class = "plain" > (< / span > < span class = "identifier" > spec< / span > < span class = "plain" > );< / span >
< span class = "reserved" > if< / span > < span class = "plain" > ((< / span > < span class = "identifier" > Kinds::Compare::le< / span > < span class = "plain" > (< / span > < span class = "identifier" > K< / span > < span class = "plain" > , < / span > < span class = "identifier" > K_object< / span > < span class = "plain" > ) == < / span > < span class = "identifier" > FALSE< / span > < span class = "plain" > ) & & (< / span > < span class = "identifier" > Kinds::Behaviour::request_I6_GPR< / span > < span class = "plain" > (< / span > < span class = "identifier" > K< / span > < span class = "plain" > ) == < / span > < span class = "identifier" > FALSE< / span > < span class = "plain" > ) & & (< / span > < span class = "identifier" > global_scope< / span > < span class = "plain" > ))< / span >
< span class = "identifier" > Problems::Issue::sentence_problem< / span > < span class = "plain" > (< / span > < span class = "identifier" > _p_< / span > < span class = "plain" > (< / span > < span class = "identifier" > BelievedImpossible< / span > < span class = "plain" > ),< / span >
< span class = "string" > "this is a kind of value I can't understand in command grammar"< / span > < span class = "plain" > ,< / span >
< span class = "string" > "so the '[any ...]' part will have to go."< / span > < span class = "plain" > );< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "functiontext" > PL::Parsing::Tokens::Filters::nft_new< / span > < span class = "plain" > (< / span > < span class = "identifier" > spec< / span > < span class = "plain" > , < / span > < span class = "identifier" > global_scope< / span > < span class = "plain" > , < / span > < span class = "identifier" > any_things< / span > < span class = "plain" > )-> < / span > < span class = "identifier" > allocation_id< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
< span class = "reserved" > void< / span > < span class = "plain" > < / span > < span class = "functiontext" > PL::Parsing::Tokens::Filters::compile_id< / 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" > noun_filter_token< / span > < span class = "plain" > *< / span > < span class = "identifier" > nft< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > LOOP_OVER< / span > < span class = "plain" > (< / span > < span class = "identifier" > nft< / span > < span class = "plain" > , < / span > < span class = "reserved" > noun_filter_token< / span > < span class = "plain" > )< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > nft< / span > < span class = "plain" > -> < / span > < span class = "identifier" > allocation_id< / span > < span class = "plain" > == < / span > < span class = "identifier" > id< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > parse_using_gpr< / span > < span class = "plain" > ) < / span > < span class = "identifier" > Emit::val_iname< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_value< / span > < span class = "plain" > , < / span > < span class = "identifier" > InterNames::extern< / span > < span class = "plain" > (< / span > < span class = "identifier" > GPRTT_EXNAMEF< / 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" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > global_scope_flag< / span > < span class = "plain" > ) < / span > < span class = "identifier" > Emit::val_iname< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_value< / span > < span class = "plain" > , < / span > < span class = "identifier" > InterNames::extern< / span > < span class = "plain" > (< / span > < span class = "identifier" > SCOPETT_EXNAMEF< / span > < span class = "plain" > ));< / span >
< span class = "reserved" > else< / span > < span class = "plain" > < / span > < span class = "identifier" > Emit::val_iname< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_value< / span > < span class = "plain" > , < / span > < span class = "identifier" > InterNames::extern< / span > < span class = "plain" > (< / span > < span class = "identifier" > ROUTINEFILTERTT_EXNAMEF< / span > < span class = "plain" > ));< / span >
< span class = "identifier" > Emit::val_iname< / span > < span class = "plain" > (< / span > < span class = "identifier" > K_value< / span > < span class = "plain" > , < / span > < span class = "identifier" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > nft_iname< / span > < span class = "plain" > );< / span >
< span class = "plain" > }< / span >
< span class = "plain" > }< / span >
< span class = "reserved" > void< / span > < span class = "plain" > < / span > < span class = "functiontext" > PL::Parsing::Tokens::Filters::emit_id< / 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" > noun_filter_token< / span > < span class = "plain" > *< / span > < span class = "identifier" > nft< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > LOOP_OVER< / span > < span class = "plain" > (< / span > < span class = "identifier" > nft< / span > < span class = "plain" > , < / span > < span class = "reserved" > noun_filter_token< / span > < span class = "plain" > )< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > nft< / span > < span class = "plain" > -> < / span > < span class = "identifier" > allocation_id< / span > < span class = "plain" > == < / span > < span class = "identifier" > id< / span > < span class = "plain" > ) {< / span >
< span class = "identifier" > inter_t< / span > < span class = "plain" > < / span > < span class = "identifier" > annot< / span > < span class = "plain" > = 0;< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > parse_using_gpr< / span > < span class = "plain" > == < / span > < span class = "identifier" > FALSE< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > global_scope_flag< / span > < span class = "plain" > ) < / span > < span class = "identifier" > annot< / span > < span class = "plain" > = < / span > < span class = "identifier" > SCOPE_FILTER_IANN< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > else< / span > < span class = "plain" > < / span > < span class = "identifier" > annot< / span > < span class = "plain" > = < / span > < span class = "identifier" > NOUN_FILTER_IANN< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
< span class = "identifier" > inter_name< / span > < span class = "plain" > *< / span > < span class = "identifier" > iname< / span > < span class = "plain" > = < / span > < span class = "functiontext" > PL::Parsing::Tokens::Filters::nft_compile_routine_iname< / span > < span class = "plain" > (< / span > < span class = "identifier" > nft< / span > < span class = "plain" > );< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > annot< / span > < span class = "plain" > != 0)< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > InterNames::read_annotation< / span > < span class = "plain" > (< / span > < span class = "identifier" > iname< / span > < span class = "plain" > , < / span > < span class = "identifier" > annot< / span > < span class = "plain" > ) != 1)< / span >
< span class = "identifier" > InterNames::annotate_i< / span > < span class = "plain" > (< / span > < span class = "identifier" > iname< / span > < span class = "plain" > , < / span > < span class = "identifier" > annot< / span > < span class = "plain" > , 1);< / span >
< span class = "identifier" > Emit::array_iname_entry< / span > < span class = "plain" > (< / span > < span class = "identifier" > iname< / span > < span class = "plain" > );< / span >
< span class = "plain" > }< / span >
< span class = "plain" > }< / span >
< / pre >
< p class = "inwebparagraph" > < / p >
< p class = "endnote" > The function PL::Parsing::Tokens::Filters::new_id is used in 5/gt2 (< a href = "5-gt2.html#SP11_2" > § 11.2< / a > , < a href = "5-gt2.html#SP11_4" > § 11.4< / a > ).< / p >
< p class = "endnote" > The function PL::Parsing::Tokens::Filters::compile_id is used in 5/gt2 (< a href = "5-gt2.html#SP12" > § 12< / a > ).< / p >
< p class = "endnote" > The function PL::Parsing::Tokens::Filters::emit_id is used in 5/gt2 (< a href = "5-gt2.html#SP12" > § 12< / a > ).< / p >
< p class = "inwebparagraph" > < a id = "SP4" > < / a > < b > § 4. Compiling everything. < / b > Having referred to these filter routines, we need to compile them.
< / p >
< pre class = "display" >
< span class = "reserved" > void< / span > < span class = "plain" > < / span > < span class = "functiontext" > PL::Parsing::Tokens::Filters::compile< / span > < span class = "plain" > (< / span > < span class = "reserved" > void< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > noun_filter_token< / span > < span class = "plain" > *< / span > < span class = "identifier" > nft< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > LOOP_OVER< / span > < span class = "plain" > (< / span > < span class = "identifier" > nft< / span > < span class = "plain" > , < / span > < span class = "reserved" > noun_filter_token< / span > < span class = "plain" > )< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > nft_compiled< / span > < span class = "plain" > == < / span > < span class = "identifier" > FALSE< / span > < span class = "plain" > ) {< / span >
< span class = "identifier" > current_sentence< / span > < span class = "plain" > = < / span > < span class = "identifier" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > nft_created_at< / span > < span class = "plain" > ;< / span >
< span class = "functiontext" > PL::Parsing::Tokens::Filters::nft_compile_routine< / span > < span class = "plain" > (< / span > < span class = "identifier" > nft< / span > < span class = "plain" > );< / span >
< span class = "identifier" > nft< / span > < span class = "plain" > -< / span > < span class = "element" > > nft_compiled< / span > < span class = "plain" > = < / span > < span class = "identifier" > TRUE< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
< span class = "comment" > too_late_for_further_NFTs = TRUE;< / span >
< span class = "plain" > }< / span >
< / pre >
< p class = "inwebparagraph" > < / p >
< p class = "endnote" > The function PL::Parsing::Tokens::Filters::compile appears nowhere else.< / p >
< hr class = "tocbar" >
< ul class = "toc" > < li > < a href = "5-gt2.html" > Back to 'Grammar Tokens'< / a > < / li > < li > < a href = "5-tpv.html" > Continue with 'Tokens Parsing Values'< / a > < / li > < / ul > < hr class = "tocbar" >
2019-03-18 02:41:42 +02:00
<!-- End of weave -->
2019-03-17 14:40:57 +02:00
< / body >
< / html >