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 > 21/rps< / 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 '21/sv' generated by 7 -->
< ul class = "crumbs" > < li > < a href = "../webs.html" > ★ < / a > < / li > < li > < a href = "index.html" > core< / a > < / li > < li > < a href = "index.html#21" > Chapter 21: Rules and Rulebooks< / a > < / li > < li > < b > Stacked Variables< / b > < / li > < / ul > < p class = "purpose" > To permit variables to have scopes intermediate between local and global: for example, to be shared by all rules in a given rulebook.< / p >
< ul class = "toc" > < li > < a href = "#SP1" > § 1. Definitions< / 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" > stacked_variable< / span > < span class = "plain" > {< / span >
< span class = "reserved" > struct< / span > < span class = "plain" > < / span > < span class = "identifier" > wording< / span > < span class = "plain" > < / span > < span class = "identifier" > name< / span > < span class = "plain" > ; < / span > < span class = "comment" > text of the name< / span >
< span class = "reserved" > struct< / span > < span class = "plain" > < / span > < span class = "identifier" > parse_node< / span > < span class = "plain" > *< / span > < span class = "identifier" > assigned_at< / span > < span class = "plain" > ; < / span > < span class = "comment" > sentence assigning it< / span >
< span class = "reserved" > struct< / span > < span class = "plain" > < / span > < span class = "reserved" > nonlocal_variable< / span > < span class = "plain" > *< / span > < span class = "identifier" > underlying_var< / span > < span class = "plain" > ; < / span > < span class = "comment" > the variable in question< / span >
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > owner_id< / span > < span class = "plain" > ; < / span > < span class = "comment" > who owns this< / span >
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > offset_in_owning_frame< / span > < span class = "plain" > ; < / span > < span class = "comment" > word offset of storage (counts from 0)< / span >
< span class = "reserved" > struct< / span > < span class = "plain" > < / span > < span class = "identifier" > wording< / span > < span class = "plain" > < / span > < span class = "identifier" > match_wording_text< / span > < span class = "plain" > ; < / span > < span class = "comment" > matching text (relevant for action variables only)< / span >
< span class = "identifier" > MEMORY_MANAGEMENT< / span >
< span class = "plain" > } < / span > < span class = "reserved" > stacked_variable< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > typedef< / span > < span class = "plain" > < / span > < span class = "reserved" > struct< / span > < span class = "plain" > < / span > < span class = "reserved" > stacked_variable_list< / span > < span class = "plain" > {< / span >
< span class = "reserved" > struct< / span > < span class = "plain" > < / span > < span class = "reserved" > stacked_variable< / span > < span class = "plain" > *< / span > < span class = "identifier" > the_stv< / span > < span class = "plain" > ; < / span > < span class = "comment" > the STV< / span >
< span class = "reserved" > struct< / span > < span class = "plain" > < / span > < span class = "reserved" > stacked_variable_list< / span > < span class = "plain" > *< / span > < span class = "identifier" > next< / span > < span class = "plain" > ; < / span > < span class = "comment" > in linked list< / span >
< span class = "identifier" > MEMORY_MANAGEMENT< / span >
< span class = "plain" > } < / span > < span class = "reserved" > stacked_variable_list< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > typedef< / span > < span class = "plain" > < / span > < span class = "reserved" > struct< / span > < span class = "plain" > < / span > < span class = "reserved" > stacked_variable_owner< / span > < span class = "plain" > {< / span >
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > no_stvs< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > recognition_id< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > struct< / span > < span class = "plain" > < / span > < span class = "reserved" > stacked_variable_list< / span > < span class = "plain" > *< / span > < span class = "identifier" > list_of_stvs< / span > < span class = "plain" > ;< / span >
2019-08-24 13:21:48 +03:00
< span class = "reserved" > struct< / span > < span class = "plain" > < / span > < span class = "identifier" > inter_name< / span > < span class = "plain" > *< / span > < span class = "identifier" > stvo_iname< / span > < span class = "plain" > ;< / span >
2019-03-17 14:40:57 +02:00
< span class = "identifier" > MEMORY_MANAGEMENT< / span >
< span class = "plain" > } < / span > < span class = "reserved" > stacked_variable_owner< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > typedef< / span > < span class = "plain" > < / span > < span class = "reserved" > struct< / span > < span class = "plain" > < / span > < span class = "reserved" > stacked_variable_owner_list< / span > < span class = "plain" > {< / span >
< span class = "reserved" > struct< / span > < span class = "plain" > < / span > < span class = "reserved" > stacked_variable_owner< / span > < span class = "plain" > *< / span > < span class = "identifier" > stvo< / span > < span class = "plain" > ; < / span > < span class = "comment" > the STO< / span >
< span class = "reserved" > struct< / span > < span class = "plain" > < / span > < span class = "reserved" > stacked_variable_owner_list< / span > < span class = "plain" > *< / span > < span class = "identifier" > next< / span > < span class = "plain" > ; < / span > < span class = "comment" > in linked list< / span >
< span class = "identifier" > MEMORY_MANAGEMENT< / span >
< span class = "plain" > } < / span > < span class = "reserved" > stacked_variable_owner_list< / span > < span class = "plain" > ;< / span >
< / pre >
< p class = "inwebparagraph" > < / p >
2020-01-27 03:22:21 +02:00
< p class = "endnote" > The structure stacked_variable is accessed in 1/kts, 2/sq, 2/si, 5/ins, 5/nv, 8/ed2, 9/ma, 9/pk, 11/sm, 14/lv, 14/ds2, 15/pr, 15/ep, 15/vp, 15/spr, 16/in, 16/cmw, 17/rs, 19/tc, 19/tb, 19/tod, 20/eq, 21/rl, 21/rl2, 21/fao, 21/rps, 21/ac, 22/pu, 22/dptd, 22/po, 22/pav, 25/cii, 26/uo, 26/ts and here.< / p >
2019-03-17 14:40:57 +02:00
2019-08-24 13:21:48 +03:00
< p class = "endnote" > The structure stacked_variable_list is accessed in 3/pd, 5/lp, 5/ut, 5/un, 5/ins, 6/rlt, 6/nv, 7/ss, 7/hdn, 7/ns, 7/oaf, 7/rs, 8/ie, 8/ec, 8/ed, 9/tfa, 9/tbath, 9/rpt, 9/tc, 9/ma, 9/rk, 9/ass, 9/imp, 9/pd, 10/teav, 10/cap, 11/ap, 11/pr, 11/bas, 11/tc, 11/sm, 12/dtd, 12/cdp, 14/rv, 14/lv, 14/cn, 14/ds, 14/ds2, 15/cp, 16/is, 16/in, 19/tb, 19/rsft, 19/tod, 20/eq, 21/rl, 21/rl2, 21/fao, 21/rps, 21/ac, 22/ph, 22/tp, 22/tp2, 23/ad, 24/lv, 24/sf, 25/in, 25/pi, 25/cii, 25/cp, 26/uo, 26/tti, 26/pc, 26/ts, 27/cm and here.< / p >
2019-03-17 14:40:57 +02:00
< p class = "endnote" > The structure stacked_variable_owner is private to this section.< / p >
2019-08-24 13:21:48 +03:00
< p class = "endnote" > The structure stacked_variable_owner_list is accessed in 3/pd, 5/lp, 5/ut, 5/un, 5/ins, 6/rlt, 6/nv, 7/ss, 7/hdn, 7/ns, 7/oaf, 7/rs, 8/ie, 8/ec, 8/ed, 9/tfa, 9/tbath, 9/rpt, 9/tc, 9/ma, 9/rk, 9/ass, 9/imp, 9/pd, 10/teav, 10/cap, 11/ap, 11/pr, 11/bas, 11/tc, 11/sm, 12/dtd, 12/cdp, 14/rv, 14/lv, 14/cn, 14/ds, 14/ds2, 15/cp, 16/is, 16/in, 19/tb, 19/rsft, 19/tod, 20/eq, 21/rl, 21/rl2, 21/fao, 21/rps, 21/ac, 22/ph, 22/tp, 22/tp2, 23/ad, 24/lv, 24/sf, 25/in, 25/pi, 25/cii, 25/cp, 26/uo, 26/tti, 26/pc, 26/ts, 27/cm and here.< / p >
2019-03-17 14:40:57 +02:00
< p class = "inwebparagraph" > < a id = "SP2" > < / a > < b > § 2. < / b > < / p >
< pre class = "display" >
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > max_frame_size_needed< / span > < span class = "plain" > = 0;< / span >
< / pre >
< p class = "inwebparagraph" > < / p >
< p class = "inwebparagraph" > < a id = "SP3" > < / a > < b > § 3. < / b > < / p >
< pre class = "display" >
< span class = "reserved" > nonlocal_variable_emission< / span > < span class = "plain" > < / span > < span class = "functiontext" > StackedVariables::how_to_lvalue< / span > < span class = "plain" > (< / span > < span class = "reserved" > stacked_variable< / span > < span class = "plain" > *< / span > < span class = "identifier" > stv< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > if< / span > < span class = "plain" > ((< / span > < span class = "identifier" > stv< / span > < span class = "plain" > -< / span > < span class = "element" > > owner_id< / span > < span class = "plain" > == < / span > < span class = "constant" > ACTION_PROCESSING_RB< / span > < span class = "plain" > ) & & (< / span > < span class = "identifier" > stv< / span > < span class = "plain" > -< / span > < span class = "element" > > offset_in_owning_frame< / span > < span class = "plain" > == 0))< / span >
2019-04-12 16:47:00 +03:00
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "functiontext" > NonlocalVariables::nve_from_iname< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Hierarchy::find< / span > < span class = "plain" > (< / span > < span class = "constant" > ACTOR_HL< / span > < span class = "plain" > ));< / span >
2019-03-17 14:40:57 +02:00
< span class = "reserved" > else< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "functiontext" > NonlocalVariables::nve_from_mstack< / span > < span class = "plain" > (< / span > < span class = "identifier" > stv< / span > < span class = "plain" > -< / span > < span class = "element" > > owner_id< / span > < span class = "plain" > , < / span > < span class = "identifier" > stv< / span > < span class = "plain" > -< / span > < span class = "element" > > offset_in_owning_frame< / span > < span class = "plain" > , < / span > < span class = "identifier" > FALSE< / span > < span class = "plain" > );< / span >
< span class = "plain" > }< / span >
< span class = "reserved" > nonlocal_variable_emission< / span > < span class = "plain" > < / span > < span class = "functiontext" > StackedVariables::how_to_rvalue< / span > < span class = "plain" > (< / span > < span class = "reserved" > stacked_variable< / span > < span class = "plain" > *< / span > < span class = "identifier" > stv< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > if< / span > < span class = "plain" > ((< / span > < span class = "identifier" > stv< / span > < span class = "plain" > -< / span > < span class = "element" > > owner_id< / span > < span class = "plain" > == < / span > < span class = "constant" > ACTION_PROCESSING_RB< / span > < span class = "plain" > ) & & (< / span > < span class = "identifier" > stv< / span > < span class = "plain" > -< / span > < span class = "element" > > offset_in_owning_frame< / span > < span class = "plain" > == 0))< / span >
2019-04-12 16:47:00 +03:00
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "functiontext" > NonlocalVariables::nve_from_iname< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Hierarchy::find< / span > < span class = "plain" > (< / span > < span class = "constant" > ACTOR_HL< / span > < span class = "plain" > ));< / span >
2019-03-17 14:40:57 +02:00
< span class = "reserved" > else< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "functiontext" > NonlocalVariables::nve_from_mstack< / span > < span class = "plain" > (< / span > < span class = "identifier" > stv< / span > < span class = "plain" > -< / span > < span class = "element" > > owner_id< / span > < span class = "plain" > , < / span > < span class = "identifier" > stv< / span > < span class = "plain" > -< / span > < span class = "element" > > offset_in_owning_frame< / span > < span class = "plain" > , < / span > < span class = "identifier" > TRUE< / span > < span class = "plain" > );< / span >
< span class = "plain" > }< / span >
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "functiontext" > StackedVariables::get_owner_id< / span > < span class = "plain" > (< / span > < span class = "reserved" > stacked_variable< / span > < span class = "plain" > *< / span > < span class = "identifier" > stv< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > stv< / span > < span class = "plain" > -< / span > < span class = "element" > > owner_id< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "functiontext" > StackedVariables::get_offset< / span > < span class = "plain" > (< / span > < span class = "reserved" > stacked_variable< / span > < span class = "plain" > *< / span > < span class = "identifier" > stv< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > stv< / span > < span class = "plain" > -< / span > < span class = "element" > > offset_in_owning_frame< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
< span class = "identifier" > kind< / span > < span class = "plain" > *< / span > < span class = "functiontext" > StackedVariables::get_kind< / span > < span class = "plain" > (< / span > < span class = "reserved" > stacked_variable< / span > < span class = "plain" > *< / span > < span class = "identifier" > stv< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > nonlocal_variable< / span > < span class = "plain" > *< / span > < span class = "identifier" > nlv< / span > < span class = "plain" > = < / span > < span class = "functiontext" > StackedVariables::get_variable< / span > < span class = "plain" > (< / span > < span class = "identifier" > stv< / span > < span class = "plain" > );< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "functiontext" > NonlocalVariables::kind< / span > < span class = "plain" > (< / span > < span class = "identifier" > nlv< / span > < span class = "plain" > );< / span >
< span class = "plain" > }< / span >
< span class = "reserved" > nonlocal_variable< / span > < span class = "plain" > *< / span > < span class = "functiontext" > StackedVariables::get_variable< / span > < span class = "plain" > (< / span > < span class = "reserved" > stacked_variable< / span > < span class = "plain" > *< / span > < span class = "identifier" > stv< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > stv< / span > < span class = "plain" > == < / span > < span class = "identifier" > NULL< / span > < span class = "plain" > ) < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > NULL< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > stv< / span > < span class = "plain" > -< / span > < span class = "element" > > underlying_var< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
< span class = "reserved" > void< / span > < span class = "plain" > < / span > < span class = "functiontext" > StackedVariables::set_matching_text< / span > < span class = "plain" > (< / span > < span class = "reserved" > stacked_variable< / span > < span class = "plain" > *< / span > < span class = "identifier" > stv< / span > < span class = "plain" > , < / span > < span class = "identifier" > wording< / span > < span class = "plain" > < / span > < span class = "identifier" > W< / span > < span class = "plain" > ) {< / span >
< span class = "identifier" > stv< / span > < span class = "plain" > -< / span > < span class = "element" > > match_wording_text< / span > < span class = "plain" > = < / span > < span class = "identifier" > W< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
< span class = "identifier" > wording< / span > < span class = "plain" > < / span > < span class = "functiontext" > StackedVariables::get_matching_text< / span > < span class = "plain" > (< / span > < span class = "reserved" > stacked_variable< / span > < span class = "plain" > *< / span > < span class = "identifier" > stv< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > stv< / span > < span class = "plain" > -< / span > < span class = "element" > > match_wording_text< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
< span class = "reserved" > stacked_variable< / span > < span class = "plain" > *< / span > < span class = "functiontext" > StackedVariables::parse_match_clause< / span > < span class = "plain" > (< / span > < span class = "reserved" > stacked_variable_owner< / span > < span class = "plain" > *< / span > < span class = "identifier" > stvo< / span > < span class = "plain" > ,< / span >
< span class = "identifier" > wording< / span > < span class = "plain" > < / span > < span class = "identifier" > W< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > for< / span > < span class = "plain" > (< / span > < span class = "reserved" > stacked_variable_list< / span > < span class = "plain" > *< / span > < span class = "identifier" > stvl< / span > < span class = "plain" > = < / span > < span class = "identifier" > stvo< / span > < span class = "plain" > -< / span > < span class = "element" > > list_of_stvs< / span > < span class = "plain" > ; < / span > < span class = "identifier" > stvl< / span > < span class = "plain" > ; < / span > < span class = "identifier" > stvl< / span > < span class = "plain" > = < / span > < span class = "identifier" > stvl< / span > < span class = "plain" > -< / span > < span class = "element" > > next< / span > < span class = "plain" > )< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > Wordings::starts_with< / span > < span class = "plain" > (< / span > < span class = "identifier" > W< / span > < span class = "plain" > , < / span > < span class = "identifier" > stvl< / span > < span class = "plain" > -< / span > < span class = "element" > > the_stv< / span > < span class = "plain" > -< / span > < span class = "element" > > match_wording_text< / span > < span class = "plain" > ))< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > stvl< / span > < span class = "plain" > -< / span > < span class = "element" > > the_stv< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > NULL< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
< span class = "reserved" > stacked_variable_owner< / span > < span class = "plain" > *< / span > < span class = "functiontext" > StackedVariables::new_owner< / 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" > stacked_variable_owner< / span > < span class = "plain" > *< / span > < span class = "identifier" > stvo< / span > < span class = "plain" > = < / span > < span class = "identifier" > CREATE< / span > < span class = "plain" > (< / span > < span class = "reserved" > stacked_variable_owner< / span > < span class = "plain" > );< / span >
< span class = "identifier" > stvo< / span > < span class = "plain" > -< / span > < span class = "element" > > recognition_id< / span > < span class = "plain" > = < / span > < span class = "identifier" > id< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > stvo< / span > < span class = "plain" > -< / span > < span class = "element" > > no_stvs< / span > < span class = "plain" > = 0;< / span >
< span class = "identifier" > stvo< / span > < span class = "plain" > -< / span > < span class = "element" > > list_of_stvs< / span > < span class = "plain" > = < / span > < span class = "identifier" > NULL< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > stvo< / span > < span class = "plain" > -< / span > < span class = "element" > > stvo_iname< / span > < span class = "plain" > = < / span > < span class = "identifier" > NULL< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > stvo< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "functiontext" > StackedVariables::owner_empty< / span > < span class = "plain" > (< / span > < span class = "reserved" > stacked_variable_owner< / span > < span class = "plain" > *< / span > < span class = "identifier" > stvo< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > stvo< / span > < span class = "plain" > -< / span > < span class = "element" > > no_stvs< / span > < span class = "plain" > == 0) < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > TRUE< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > FALSE< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
< span class = "reserved" > stacked_variable< / span > < span class = "plain" > *< / span > < span class = "functiontext" > StackedVariables::add_empty< / span > < span class = "plain" > (< / span > < span class = "reserved" > stacked_variable_owner< / span > < span class = "plain" > *< / span > < span class = "identifier" > stvo< / span > < span class = "plain" > ,< / span >
< span class = "identifier" > wording< / span > < span class = "plain" > < / span > < span class = "identifier" > W< / 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 = "reserved" > stacked_variable< / span > < span class = "plain" > *< / span > < span class = "identifier" > stv< / span > < span class = "plain" > = < / span > < span class = "identifier" > CREATE< / span > < span class = "plain" > (< / span > < span class = "reserved" > stacked_variable< / span > < span class = "plain" > );< / span >
< span class = "reserved" > nonlocal_variable< / span > < span class = "plain" > *< / span > < span class = "identifier" > q< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > W< / span > < span class = "plain" > = < / span > < span class = "identifier" > Articles::remove_the< / span > < span class = "plain" > (< / span > < span class = "identifier" > W< / span > < span class = "plain" > );< / span >
< span class = "identifier" > stv< / span > < span class = "plain" > -< / span > < span class = "element" > > name< / span > < span class = "plain" > = < / span > < span class = "identifier" > W< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > stv< / span > < span class = "plain" > -< / span > < span class = "element" > > owner_id< / span > < span class = "plain" > = < / span > < span class = "identifier" > stvo< / span > < span class = "plain" > -< / span > < span class = "element" > > recognition_id< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > stv< / span > < span class = "plain" > -< / span > < span class = "element" > > offset_in_owning_frame< / span > < span class = "plain" > = < / span > < span class = "identifier" > stvo< / span > < span class = "plain" > -< / span > < span class = "element" > > no_stvs< / span > < span class = "plain" > ++;< / span >
< span class = "identifier" > stv< / span > < span class = "plain" > -< / span > < span class = "element" > > assigned_at< / span > < span class = "plain" > = < / span > < span class = "identifier" > current_sentence< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > stv< / span > < span class = "plain" > -< / span > < span class = "element" > > match_wording_text< / span > < span class = "plain" > = < / span > < span class = "identifier" > EMPTY_WORDING< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > stvo< / span > < span class = "plain" > -< / span > < span class = "element" > > list_of_stvs< / span > < span class = "plain" > = < / span > < span class = "functiontext" > StackedVariables::add_to_list< / span > < span class = "plain" > (< / span > < span class = "identifier" > stvo< / span > < span class = "plain" > -< / span > < span class = "element" > > list_of_stvs< / span > < span class = "plain" > , < / span > < span class = "identifier" > stv< / span > < span class = "plain" > );< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > stvo< / span > < span class = "plain" > -< / span > < span class = "element" > > no_stvs< / span > < span class = "plain" > > < / span > < span class = "identifier" > max_frame_size_needed< / span > < span class = "plain" > )< / span >
< span class = "identifier" > max_frame_size_needed< / span > < span class = "plain" > = < / span > < span class = "identifier" > stvo< / span > < span class = "plain" > -< / span > < span class = "element" > > no_stvs< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > q< / span > < span class = "plain" > = < / span > < span class = "functiontext" > NonlocalVariables::new_stacked< / span > < span class = "plain" > (< / span > < span class = "identifier" > W< / span > < span class = "plain" > , < / span > < span class = "identifier" > K< / span > < span class = "plain" > , < / span > < span class = "identifier" > stv< / span > < span class = "plain" > );< / span >
< span class = "identifier" > stv< / span > < span class = "plain" > -< / span > < span class = "element" > > underlying_var< / span > < span class = "plain" > = < / span > < span class = "identifier" > q< / span > < span class = "plain" > ;< / span >
< span class = "functiontext" > NonlocalVariables::set_I6_identifier< / span > < span class = "plain" > (< / span > < span class = "identifier" > q< / span > < span class = "plain" > , < / span > < span class = "identifier" > FALSE< / span > < span class = "plain" > , < / span > < span class = "functiontext" > StackedVariables::how_to_rvalue< / span > < span class = "plain" > (< / span > < span class = "identifier" > stv< / span > < span class = "plain" > ));< / span >
< span class = "functiontext" > NonlocalVariables::set_I6_identifier< / span > < span class = "plain" > (< / span > < span class = "identifier" > q< / span > < span class = "plain" > , < / span > < span class = "identifier" > TRUE< / span > < span class = "plain" > , < / span > < span class = "functiontext" > StackedVariables::how_to_lvalue< / span > < span class = "plain" > (< / span > < span class = "identifier" > stv< / span > < span class = "plain" > ));< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > stv< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
< span class = "reserved" > stacked_variable_owner_list< / span > < span class = "plain" > *< / span > < span class = "functiontext" > StackedVariables::add_owner_to_list< / span > < span class = "plain" > (< / span > < span class = "reserved" > stacked_variable_owner_list< / span > < span class = "plain" > *< / span > < span class = "identifier" > stvol< / span > < span class = "plain" > ,< / span >
< span class = "reserved" > stacked_variable_owner< / span > < span class = "plain" > *< / span > < span class = "identifier" > stvo< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > stacked_variable_owner_list< / span > < span class = "plain" > *< / span > < span class = "identifier" > ostvol< / span > < span class = "plain" > = < / span > < span class = "identifier" > stvol< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > while< / span > < span class = "plain" > (< / span > < span class = "identifier" > stvol< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > stvol< / span > < span class = "plain" > -< / span > < span class = "element" > > stvo< / span > < span class = "plain" > == < / span > < span class = "identifier" > stvo< / span > < span class = "plain" > ) < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > ostvol< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > stacked_variable_owner_list< / span > < span class = "plain" > *< / span > < span class = "identifier" > nxt< / span > < span class = "plain" > = < / span > < span class = "identifier" > stvol< / span > < span class = "plain" > -< / span > < span class = "element" > > next< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > nxt< / span > < span class = "plain" > == < / span > < span class = "identifier" > NULL< / span > < span class = "plain" > ) < / span > < span class = "reserved" > break< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > stvol< / span > < span class = "plain" > = < / span > < span class = "identifier" > nxt< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
< span class = "reserved" > stacked_variable_owner_list< / span > < span class = "plain" > *< / span > < span class = "identifier" > nstvol< / span > < span class = "plain" > = < / span > < span class = "identifier" > CREATE< / span > < span class = "plain" > (< / span > < span class = "reserved" > stacked_variable_owner_list< / span > < span class = "plain" > );< / span >
< span class = "identifier" > nstvol< / span > < span class = "plain" > -< / span > < span class = "element" > > next< / span > < span class = "plain" > = < / span > < span class = "identifier" > NULL< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > nstvol< / span > < span class = "plain" > -< / span > < span class = "element" > > stvo< / span > < span class = "plain" > = < / span > < span class = "identifier" > stvo< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > stvol< / span > < span class = "plain" > == < / span > < span class = "identifier" > NULL< / span > < span class = "plain" > ) < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > nstvol< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > stvol< / span > < span class = "plain" > -< / span > < span class = "element" > > next< / span > < span class = "plain" > = < / span > < span class = "identifier" > nstvol< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > ostvol< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
< span class = "reserved" > stacked_variable_owner_list< / span > < span class = "plain" > *< / span > < span class = "functiontext" > StackedVariables::append_owner_list< / span > < span class = "plain" > (< / span > < span class = "reserved" > stacked_variable_owner_list< / span > < span class = "plain" > *< / span > < span class = "identifier" > stvol< / span > < span class = "plain" > ,< / span >
< span class = "reserved" > stacked_variable_owner_list< / span > < span class = "plain" > *< / span > < span class = "identifier" > extras< / span > < span class = "plain" > ) {< / span >
< span class = "identifier" > LOGIF< / span > < span class = "plain" > (< / span > < span class = "identifier" > RULEBOOK_COMPILATION< / span > < span class = "plain" > ,< / span >
< span class = "string" > "Appending list %08x to list %08x\< / span > < span class = "plain" > n< / span > < span class = "string" > "< / span > < span class = "plain" > , (< / span > < span class = "reserved" > int< / span > < span class = "plain" > ) < / span > < span class = "identifier" > extras< / span > < span class = "plain" > , (< / span > < span class = "reserved" > int< / span > < span class = "plain" > ) < / span > < span class = "identifier" > stvol< / span > < span class = "plain" > );< / span >
< span class = "reserved" > stacked_variable_owner_list< / span > < span class = "plain" > *< / span > < span class = "identifier" > new_head< / span > < span class = "plain" > = < / span > < span class = "identifier" > stvol< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > for< / span > < span class = "plain" > (; < / span > < span class = "identifier" > extras< / span > < span class = "plain" > ; < / span > < span class = "identifier" > extras< / span > < span class = "plain" > = < / span > < span class = "identifier" > extras< / span > < span class = "plain" > -< / span > < span class = "element" > > next< / span > < span class = "plain" > )< / span >
< span class = "identifier" > new_head< / span > < span class = "plain" > = < / span > < span class = "functiontext" > StackedVariables::add_owner_to_list< / span > < span class = "plain" > (< / span > < span class = "identifier" > new_head< / span > < span class = "plain" > , < / span > < span class = "identifier" > extras< / span > < span class = "plain" > -< / span > < span class = "element" > > stvo< / span > < span class = "plain" > );< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > new_head< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "functiontext" > StackedVariables::list_length< / span > < span class = "plain" > (< / span > < span class = "reserved" > stacked_variable_list< / span > < span class = "plain" > *< / span > < span class = "identifier" > stvl< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > l< / span > < span class = "plain" > = 0;< / span >
< span class = "reserved" > while< / span > < span class = "plain" > (< / span > < span class = "identifier" > stvl< / span > < span class = "plain" > ) {< / span >
< span class = "identifier" > l< / span > < span class = "plain" > ++;< / span >
< span class = "identifier" > stvl< / span > < span class = "plain" > = < / span > < span class = "identifier" > stvl< / span > < span class = "plain" > -< / span > < span class = "element" > > next< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > l< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
< span class = "reserved" > void< / span > < span class = "plain" > < / span > < span class = "functiontext" > StackedVariables::index_owner< / span > < span class = "plain" > (< / span > < span class = "identifier" > OUTPUT_STREAM< / span > < span class = "plain" > , < / span > < span class = "reserved" > stacked_variable_owner< / span > < span class = "plain" > *< / span > < span class = "identifier" > stvo< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > stacked_variable_list< / span > < span class = "plain" > *< / span > < span class = "identifier" > stvl< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > for< / span > < span class = "plain" > (< / span > < span class = "identifier" > stvl< / span > < span class = "plain" > =< / span > < span class = "identifier" > stvo< / span > < span class = "plain" > -< / span > < span class = "element" > > list_of_stvs< / span > < span class = "plain" > ; < / span > < span class = "identifier" > stvl< / span > < span class = "plain" > ; < / span > < span class = "identifier" > stvl< / span > < span class = "plain" > = < / span > < span class = "identifier" > stvl< / span > < span class = "plain" > -< / span > < span class = "element" > > next< / span > < span class = "plain" > )< / span >
< span class = "reserved" > if< / span > < span class = "plain" > ((< / span > < span class = "identifier" > stvl< / span > < span class = "plain" > -< / span > < span class = "element" > > the_stv< / span > < span class = "plain" > ) & & (< / span > < span class = "identifier" > stvl< / span > < span class = "plain" > -< / span > < span class = "element" > > the_stv< / span > < span class = "plain" > -< / span > < span class = "element" > > underlying_var< / span > < span class = "plain" > )) {< / span >
< span class = "identifier" > HTMLFiles::open_para< / span > < span class = "plain" > (< / span > < span class = "identifier" > OUT< / span > < span class = "plain" > , 2, < / span > < span class = "string" > "tight"< / span > < span class = "plain" > );< / span >
< span class = "functiontext" > NonlocalVariables::index_single< / span > < span class = "plain" > (< / span > < span class = "identifier" > OUT< / span > < span class = "plain" > , < / span > < span class = "identifier" > stvl< / span > < span class = "plain" > -< / span > < span class = "element" > > the_stv< / span > < span class = "plain" > -< / span > < span class = "element" > > underlying_var< / span > < span class = "plain" > );< / span >
< span class = "identifier" > HTML_CLOSE< / span > < span class = "plain" > (< / span > < span class = "string" > "p"< / span > < span class = "plain" > );< / span >
< span class = "plain" > }< / span >
< span class = "plain" > }< / span >
< span class = "reserved" > stacked_variable< / span > < span class = "plain" > *< / span > < span class = "functiontext" > StackedVariables::parse_from_owner_list< / span > < span class = "plain" > (< / span > < span class = "reserved" > stacked_variable_owner_list< / span > < span class = "plain" > *< / span > < span class = "identifier" > stvol< / span > < span class = "plain" > , < / span > < span class = "identifier" > wording< / span > < span class = "plain" > < / span > < span class = "identifier" > W< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > Wordings::empty< / span > < span class = "plain" > (< / span > < span class = "identifier" > W< / span > < span class = "plain" > )) < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > NULL< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > W< / span > < span class = "plain" > = < / span > < span class = "identifier" > Articles::remove_the< / span > < span class = "plain" > (< / span > < span class = "identifier" > W< / span > < span class = "plain" > );< / span >
< span class = "reserved" > while< / span > < span class = "plain" > (< / span > < span class = "identifier" > stvol< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > stacked_variable< / span > < span class = "plain" > *< / span > < span class = "identifier" > stv< / span > < span class = "plain" > = < / span > < span class = "identifier" > NULL< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > stvol< / span > < span class = "plain" > -< / span > < span class = "element" > > stvo< / span > < span class = "plain" > ) < / span > < span class = "identifier" > stv< / span > < span class = "plain" > = < / span > < span class = "functiontext" > StackedVariables::parse_from_list< / span > < span class = "plain" > (< / span > < span class = "identifier" > stvol< / span > < span class = "plain" > -< / span > < span class = "element" > > stvo< / span > < span class = "plain" > -< / span > < span class = "element" > > list_of_stvs< / span > < span class = "plain" > , < / span > < span class = "identifier" > W< / span > < span class = "plain" > );< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > stv< / span > < span class = "plain" > ) < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > stv< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > stvol< / span > < span class = "plain" > = < / span > < span class = "identifier" > stvol< / span > < span class = "plain" > -< / span > < span class = "element" > > next< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > NULL< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
< span class = "reserved" > stacked_variable< / span > < span class = "plain" > *< / span > < span class = "functiontext" > StackedVariables::parse_from_list< / span > < span class = "plain" > (< / span > < span class = "reserved" > stacked_variable_list< / span > < span class = "plain" > *< / span > < span class = "identifier" > stvl< / span > < span class = "plain" > , < / span > < span class = "identifier" > wording< / span > < span class = "plain" > < / span > < span class = "identifier" > W< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > while< / span > < span class = "plain" > (< / span > < span class = "identifier" > stvl< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > Wordings::match< / span > < span class = "plain" > (< / span > < span class = "identifier" > stvl< / span > < span class = "plain" > -< / span > < span class = "element" > > the_stv< / span > < span class = "plain" > -< / span > < span class = "element" > > name< / span > < span class = "plain" > , < / span > < span class = "identifier" > W< / span > < span class = "plain" > ))< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > stvl< / span > < span class = "plain" > -< / span > < span class = "element" > > the_stv< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > stvl< / span > < span class = "plain" > = < / span > < span class = "identifier" > stvl< / span > < span class = "plain" > -< / span > < span class = "element" > > next< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > NULL< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
< span class = "reserved" > stacked_variable_list< / span > < span class = "plain" > *< / span > < span class = "functiontext" > StackedVariables::add_to_list< / span > < span class = "plain" > (< / span > < span class = "reserved" > stacked_variable_list< / span > < span class = "plain" > *< / span > < span class = "identifier" > stvl< / span > < span class = "plain" > ,< / span >
< span class = "reserved" > stacked_variable< / span > < span class = "plain" > *< / span > < span class = "identifier" > stv< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > stacked_variable_list< / span > < span class = "plain" > *< / span > < span class = "identifier" > nstvl< / span > < span class = "plain" > = < / span > < span class = "identifier" > CREATE< / span > < span class = "plain" > (< / span > < span class = "reserved" > stacked_variable_list< / span > < span class = "plain" > ), *< / span > < span class = "identifier" > ostvl< / span > < span class = "plain" > = < / span > < span class = "identifier" > stvl< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > nstvl< / span > < span class = "plain" > -< / span > < span class = "element" > > the_stv< / span > < span class = "plain" > = < / span > < span class = "identifier" > stv< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > nstvl< / span > < span class = "plain" > -< / span > < span class = "element" > > next< / span > < span class = "plain" > = < / span > < span class = "identifier" > NULL< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > stvl< / span > < span class = "plain" > == < / span > < span class = "identifier" > NULL< / span > < span class = "plain" > ) < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > nstvl< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > while< / span > < span class = "plain" > (< / span > < span class = "identifier" > stvl< / span > < span class = "plain" > -< / span > < span class = "element" > > next< / span > < span class = "plain" > ) < / span > < span class = "identifier" > stvl< / span > < span class = "plain" > = < / span > < span class = "identifier" > stvl< / span > < span class = "plain" > -< / span > < span class = "element" > > next< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > stvl< / span > < span class = "plain" > -< / span > < span class = "element" > > next< / span > < span class = "plain" > = < / span > < span class = "identifier" > nstvl< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > ostvl< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
2019-08-24 13:21:48 +03:00
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "functiontext" > StackedVariables::compile_frame_creator< / span > < span class = "plain" > (< / span > < span class = "reserved" > stacked_variable_owner< / span > < span class = "plain" > *< / span > < span class = "identifier" > stvo< / span > < span class = "plain" > , < / span > < span class = "identifier" > inter_name< / span > < span class = "plain" > *< / span > < span class = "identifier" > 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" > stvo< / span > < span class = "plain" > == < / span > < span class = "identifier" > NULL< / span > < span class = "plain" > ) < / span > < span class = "reserved" > return< / span > < span class = "plain" > 0;< / span >
2019-08-24 13:21:48 +03:00
< span class = "identifier" > packaging_state< / span > < span class = "plain" > < / span > < span class = "identifier" > save< / span > < span class = "plain" > = < / span > < span class = "functiontext" > Routines::begin< / span > < span class = "plain" > (< / span > < span class = "identifier" > iname< / span > < span class = "plain" > );< / span >
2019-03-17 14:40:57 +02:00
< span class = "identifier" > inter_symbol< / span > < span class = "plain" > *< / span > < span class = "identifier" > pos_s< / span > < span class = "plain" > = < / span > < span class = "functiontext" > LocalVariables::add_named_call_as_symbol< / span > < span class = "plain" > (< / span > < span class = "identifier" > I< / span > < span class = "string" > "pos"< / span > < span class = "plain" > );< / span >
< span class = "identifier" > inter_symbol< / span > < span class = "plain" > *< / span > < span class = "identifier" > state_s< / span > < span class = "plain" > = < / span > < span class = "functiontext" > LocalVariables::add_named_call_as_symbol< / span > < span class = "plain" > (< / span > < span class = "identifier" > I< / span > < span class = "string" > "state"< / span > < span class = "plain" > );< / span >
2019-08-31 15:56:36 +03:00
< span class = "identifier" > Produce::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > (), < / span > < span class = "identifier" > IFELSE_BIP< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Produce::down< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > ());< / span >
< span class = "identifier" > Produce::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > (), < / span > < span class = "identifier" > EQ_BIP< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Produce::down< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > ());< / span >
< span class = "identifier" > Produce::val_symbol< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > (), < / span > < span class = "identifier" > K_value< / span > < span class = "plain" > , < / span > < span class = "identifier" > state_s< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Produce::val< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / 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" > Produce::up< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > ());< / span >
< span class = "identifier" > Produce::code< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > ());< / span >
< span class = "identifier" > Produce::down< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > ());< / span >
2019-03-17 14:40:57 +02:00
< < span class = "cwebmacro" > Compile frame creator if state is set< / span > < span class = "cwebmacronumber" > 3.1< / span > > < span class = "plain" > ;< / span >
2019-08-31 15:56:36 +03:00
< span class = "identifier" > Produce::up< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > ());< / span >
< span class = "identifier" > Produce::code< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > ());< / span >
< span class = "identifier" > Produce::down< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > ());< / span >
2019-03-17 14:40:57 +02:00
< < span class = "cwebmacro" > Compile frame creator if state is clear< / span > < span class = "cwebmacronumber" > 3.2< / span > > < span class = "plain" > ;< / span >
2019-08-31 15:56:36 +03:00
< span class = "identifier" > Produce::up< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > ());< / span >
< span class = "identifier" > Produce::up< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > ());< / span >
2019-03-17 14:40:57 +02:00
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > count< / span > < span class = "plain" > = 0;< / span >
< span class = "reserved" > for< / span > < span class = "plain" > (< / span > < span class = "reserved" > stacked_variable_list< / span > < span class = "plain" > *< / span > < span class = "identifier" > stvl< / span > < span class = "plain" > = < / span > < span class = "identifier" > stvo< / span > < span class = "plain" > -< / span > < span class = "element" > > list_of_stvs< / span > < span class = "plain" > ; < / span > < span class = "identifier" > stvl< / span > < span class = "plain" > ; < / span > < span class = "identifier" > stvl< / span > < span class = "plain" > = < / span > < span class = "identifier" > stvl< / span > < span class = "plain" > -< / span > < span class = "element" > > next< / span > < span class = "plain" > ) < / span > < span class = "identifier" > count< / span > < span class = "plain" > ++;< / span >
2019-08-31 15:56:36 +03:00
< span class = "identifier" > Produce::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > (), < / span > < span class = "identifier" > RETURN_BIP< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Produce::down< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > ());< / span >
< span class = "identifier" > Produce::val< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / 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" > ) < / span > < span class = "identifier" > count< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Produce::up< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > ());< / span >
2019-03-17 14:40:57 +02:00
2019-03-25 01:27:44 +02:00
< span class = "functiontext" > 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" > stvo< / span > < span class = "plain" > -< / span > < span class = "element" > > stvo_iname< / span > < span class = "plain" > = < / span > < span class = "identifier" > iname< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > count< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
< / pre >
< p class = "inwebparagraph" > < / p >
< p class = "endnote" > The function StackedVariables::how_to_lvalue appears nowhere else.< / p >
< p class = "endnote" > The function StackedVariables::how_to_rvalue appears nowhere else.< / p >
< p class = "endnote" > The function StackedVariables::get_owner_id appears nowhere else.< / p >
< p class = "endnote" > The function StackedVariables::get_offset appears nowhere else.< / p >
< p class = "endnote" > The function StackedVariables::get_kind appears nowhere else.< / p >
< p class = "endnote" > The function StackedVariables::get_variable is used in < a href = "#SP3_1" > § 3.1< / a > , < a href = "#SP3_2" > § 3.2< / a > , 10/teav (< a href = "10-teav.html#SP16" > § 16< / a > ).< / p >
< p class = "endnote" > The function StackedVariables::set_matching_text appears nowhere else.< / p >
< p class = "endnote" > The function StackedVariables::get_matching_text appears nowhere else.< / p >
< p class = "endnote" > The function StackedVariables::parse_match_clause appears nowhere else.< / p >
< p class = "endnote" > The function StackedVariables::new_owner is used in 21/rl2 (< a href = "21-rl2.html#SP10" > § 10< / a > ), 21/ac (< a href = "21-ac.html#SP6" > § 6< / a > ).< / p >
< p class = "endnote" > The function StackedVariables::owner_empty is used in 21/rl2 (< a href = "21-rl2.html#SP14" > § 14< / a > , < a href = "21-rl2.html#SP14_1" > § 14.1< / a > ), 21/ac (< a href = "21-ac.html#SP8" > § 8< / a > ).< / p >
< p class = "endnote" > The function StackedVariables::add_empty is used in 21/rl2 (< a href = "21-rl2.html#SP14" > § 14< / a > ), 21/ac (< a href = "21-ac.html#SP8" > § 8< / a > ).< / p >
< p class = "endnote" > The function StackedVariables::add_owner_to_list is used in 21/rl2 (< a href = "21-rl2.html#SP10" > § 10< / a > , < a href = "21-rl2.html#SP14" > § 14< / a > ).< / p >
< p class = "endnote" > The function StackedVariables::append_owner_list is used in 21/rl (< a href = "21-rl.html#SP16" > § 16< / a > ).< / p >
< p class = "endnote" > The function StackedVariables::list_length appears nowhere else.< / p >
< p class = "endnote" > The function StackedVariables::index_owner appears nowhere else.< / p >
< p class = "endnote" > The function StackedVariables::parse_from_owner_list is used in 10/teav (< a href = "10-teav.html#SP16" > § 16< / a > ).< / p >
< p class = "endnote" > The function StackedVariables::parse_from_list appears nowhere else.< / p >
< p class = "endnote" > The function StackedVariables::add_to_list appears nowhere else.< / p >
< p class = "endnote" > The function StackedVariables::compile_frame_creator is used in 21/rl2 (< a href = "21-rl2.html#SP14" > § 14< / a > ), 21/ac (< a href = "21-ac.html#SP8" > § 8< / a > ).< / p >
< p class = "inwebparagraph" > < a id = "SP3_1" > < / a > < b > § 3.1. < / b > < code class = "display" >
< < span class = "cwebmacrodefn" > Compile frame creator if state is set< / span > < span class = "cwebmacronumber" > 3.1< / span > > =
< / code > < / p >
< pre class = "displaydefn" >
< span class = "reserved" > for< / span > < span class = "plain" > (< / span > < span class = "reserved" > stacked_variable_list< / span > < span class = "plain" > *< / span > < span class = "identifier" > stvl< / span > < span class = "plain" > = < / span > < span class = "identifier" > stvo< / span > < span class = "plain" > -< / span > < span class = "element" > > list_of_stvs< / span > < span class = "plain" > ; < / span > < span class = "identifier" > stvl< / span > < span class = "plain" > ; < / span > < span class = "identifier" > stvl< / span > < span class = "plain" > = < / span > < span class = "identifier" > stvl< / span > < span class = "plain" > -< / span > < span class = "element" > > next< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > nonlocal_variable< / span > < span class = "plain" > *< / span > < span class = "identifier" > q< / span > < span class = "plain" > = < / span > < span class = "functiontext" > StackedVariables::get_variable< / span > < span class = "plain" > (< / span > < span class = "identifier" > stvl< / span > < span class = "plain" > -< / span > < span class = "element" > > the_stv< / 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 = "functiontext" > NonlocalVariables::kind< / span > < span class = "plain" > (< / span > < span class = "identifier" > q< / span > < span class = "plain" > );< / span >
2019-08-31 15:56:36 +03:00
< span class = "identifier" > Produce::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > (), < / span > < span class = "identifier" > STORE_BIP< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Produce::down< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > ());< / span >
< span class = "identifier" > Produce::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > (), < / span > < span class = "identifier" > LOOKUPREF_BIP< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Produce::down< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > ());< / span >
< span class = "identifier" > Produce::val_iname< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > (), < / span > < span class = "identifier" > K_value< / span > < span class = "plain" > , < / span > < span class = "functiontext" > Hierarchy::find< / span > < span class = "plain" > (< / span > < span class = "constant" > MSTACK_HL< / span > < span class = "plain" > ));< / span >
< span class = "identifier" > Produce::val_symbol< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > (), < / span > < span class = "identifier" > K_value< / span > < span class = "plain" > , < / span > < span class = "identifier" > pos_s< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Produce::up< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / 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" > Kinds::Behaviour::uses_pointer_values< / span > < span class = "plain" > (< / span > < span class = "identifier" > K< / span > < span class = "plain" > ))< / span >
< span class = "functiontext" > Kinds::RunTime::emit_heap_allocation< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Kinds::RunTime::make_heap_allocation< / span > < span class = "plain" > (< / span > < span class = "identifier" > K< / span > < span class = "plain" > , 1, -1));< / span >
< span class = "reserved" > else< / span >
< span class = "functiontext" > NonlocalVariables::emit_initial_value_as_val< / span > < span class = "plain" > (< / span > < span class = "identifier" > q< / span > < span class = "plain" > );< / span >
2019-08-31 15:56:36 +03:00
< span class = "identifier" > Produce::up< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > ());< / span >
2019-03-17 14:40:57 +02:00
2019-08-31 15:56:36 +03:00
< span class = "identifier" > Produce::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > (), < / span > < span class = "identifier" > POSTINCREMENT_BIP< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Produce::down< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > ());< / span >
< span class = "identifier" > Produce::ref_symbol< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > (), < / span > < span class = "identifier" > K_value< / span > < span class = "plain" > , < / span > < span class = "identifier" > pos_s< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Produce::up< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > ());< / span >
2019-03-17 14:40:57 +02:00
< span class = "plain" > }< / span >
< / pre >
< p class = "inwebparagraph" > < / p >
< p class = "endnote" > This code is used in < a href = "#SP3" > § 3< / a > .< / p >
< p class = "inwebparagraph" > < a id = "SP3_2" > < / a > < b > § 3.2. < / b > < code class = "display" >
< < span class = "cwebmacrodefn" > Compile frame creator if state is clear< / span > < span class = "cwebmacronumber" > 3.2< / span > > =
< / code > < / p >
< pre class = "displaydefn" >
< span class = "reserved" > for< / span > < span class = "plain" > (< / span > < span class = "reserved" > stacked_variable_list< / span > < span class = "plain" > *< / span > < span class = "identifier" > stvl< / span > < span class = "plain" > = < / span > < span class = "identifier" > stvo< / span > < span class = "plain" > -< / span > < span class = "element" > > list_of_stvs< / span > < span class = "plain" > ; < / span > < span class = "identifier" > stvl< / span > < span class = "plain" > ; < / span > < span class = "identifier" > stvl< / span > < span class = "plain" > = < / span > < span class = "identifier" > stvl< / span > < span class = "plain" > -< / span > < span class = "element" > > next< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > nonlocal_variable< / span > < span class = "plain" > *< / span > < span class = "identifier" > q< / span > < span class = "plain" > = < / span > < span class = "functiontext" > StackedVariables::get_variable< / span > < span class = "plain" > (< / span > < span class = "identifier" > stvl< / span > < span class = "plain" > -< / span > < span class = "element" > > the_stv< / 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 = "functiontext" > NonlocalVariables::kind< / span > < span class = "plain" > (< / span > < span class = "identifier" > q< / span > < span class = "plain" > );< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > Kinds::Behaviour::uses_pointer_values< / span > < span class = "plain" > (< / span > < span class = "identifier" > K< / span > < span class = "plain" > )) {< / span >
2019-08-31 15:56:36 +03:00
< span class = "identifier" > Produce::inv_call_iname< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > (), < / span > < span class = "functiontext" > Hierarchy::find< / span > < span class = "plain" > (< / span > < span class = "constant" > BLKVALUEFREE_HL< / span > < span class = "plain" > ));< / span >
< span class = "identifier" > Produce::down< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > ());< / span >
< span class = "identifier" > Produce::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > (), < / span > < span class = "identifier" > LOOKUP_BIP< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Produce::down< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > ());< / span >
< span class = "identifier" > Produce::val_iname< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > (), < / span > < span class = "identifier" > K_value< / span > < span class = "plain" > , < / span > < span class = "functiontext" > Hierarchy::find< / span > < span class = "plain" > (< / span > < span class = "constant" > MSTACK_HL< / span > < span class = "plain" > ));< / span >
< span class = "identifier" > Produce::val_symbol< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > (), < / span > < span class = "identifier" > K_value< / span > < span class = "plain" > , < / span > < span class = "identifier" > pos_s< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Produce::up< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > ());< / span >
< span class = "identifier" > Produce::up< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > ());< / span >
2019-03-17 14:40:57 +02:00
< span class = "plain" > }< / span >
2019-08-31 15:56:36 +03:00
< span class = "identifier" > Produce::inv_primitive< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > (), < / span > < span class = "identifier" > POSTINCREMENT_BIP< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Produce::down< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > ());< / span >
< span class = "identifier" > Produce::ref_symbol< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > (), < / span > < span class = "identifier" > K_value< / span > < span class = "plain" > , < / span > < span class = "identifier" > pos_s< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Produce::up< / span > < span class = "plain" > (< / span > < span class = "functiontext" > Emit::tree< / span > < span class = "plain" > ());< / span >
2019-03-17 14:40:57 +02:00
< span class = "plain" > }< / span >
< / pre >
< p class = "inwebparagraph" > < / p >
< p class = "endnote" > This code is used in < a href = "#SP3" > § 3< / a > .< / p >
< p class = "inwebparagraph" > < a id = "SP4" > < / a > < b > § 4. < / b > < / p >
< pre class = "display" >
2019-08-24 13:21:48 +03:00
< span class = "identifier" > inter_name< / span > < span class = "plain" > *< / span > < span class = "functiontext" > StackedVariables::frame_creator< / span > < span class = "plain" > (< / span > < span class = "reserved" > stacked_variable_owner< / span > < span class = "plain" > *< / span > < span class = "identifier" > stvo< / span > < span class = "plain" > ) {< / span >
2019-03-17 14:40:57 +02:00
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > stvo< / span > < span class = "plain" > -< / span > < span class = "element" > > stvo_iname< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
< / pre >
< p class = "inwebparagraph" > < / p >
< p class = "endnote" > The function StackedVariables::frame_creator is used in 21/rl2 (< a href = "21-rl2.html#SP14" > § 14< / a > ), 21/ac (< a href = "21-ac.html#SP8" > § 8< / a > ).< / p >
< hr class = "tocbar" >
< ul class = "toc" > < li > < a href = "21-rps.html" > Back to 'Rule Placement Sentences'< / a > < / li > < li > < a href = "21-ac.html" > Continue with 'Activities'< / a > < / li > < / ul > < hr class = "tocbar" >
2019-04-22 17:42:10 +03:00
<!-- End of weave -->
2019-03-17 14:40:57 +02:00
< / body >
< / html >