Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
3 lines (2 sloc) 57.2 KB
<?xml version="1.0" encoding="UTF-8"?>
<bgf:grammar xmlns:bgf="http://planet-sl.org/bgf"><bgf:production><nonterminal>program</nonterminal><bgf:expression><star><bgf:expression><nonterminal>Class_declaration</nonterminal></bgf:expression></star></bgf:expression></bgf:production><bgf:production><nonterminal>Class_declaration</nonterminal><bgf:expression><sequence><bgf:expression><optional><bgf:expression><nonterminal>Indexing</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><nonterminal>NL</nonterminal></bgf:expression><bgf:expression><nonterminal>Class_header</nonterminal></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Formal_generics</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><sequence><bgf:expression><nonterminal>NL</nonterminal></bgf:expression><bgf:expression><nonterminal>IN</nonterminal></bgf:expression></sequence></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Obsolete</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Inheritance</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Creators</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Features</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Invariant</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><nonterminal>EX</nonterminal></bgf:expression><bgf:expression><terminal>end</terminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Indexing</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>NL</nonterminal></bgf:expression><bgf:expression><terminal>indexing</terminal></bgf:expression><bgf:expression><nonterminal>Index_list</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Index_list</nonterminal><bgf:expression><sequence><bgf:expression><sequence><bgf:expression><nonterminal>NL</nonterminal></bgf:expression><bgf:expression><nonterminal>IN</nonterminal></bgf:expression></sequence></bgf:expression><bgf:expression><star><bgf:expression><nonterminal>Index_clause_Separator</nonterminal></bgf:expression></star></bgf:expression><bgf:expression><nonterminal>EX</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Index_clause_Separator</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Index_clause</nonterminal></bgf:expression><bgf:expression><nonterminal>Separator</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Index_clause</nonterminal><bgf:expression><sequence><bgf:expression><optional><bgf:expression><nonterminal>Index</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><nonterminal>Index_terms</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Index</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Identifier</nonterminal></bgf:expression><bgf:expression><terminal>:</terminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Index_terms</nonterminal><bgf:expression><sepliststar><bgf:expression><nonterminal>Index_value</nonterminal></bgf:expression><bgf:expression><terminal>,</terminal></bgf:expression></sepliststar></bgf:expression></bgf:production><bgf:production><nonterminal>Index_value</nonterminal><bgf:expression><choice><bgf:expression><plus><bgf:expression><nonterminal>Identifier</nonterminal></bgf:expression></plus></bgf:expression><bgf:expression><nonterminal>Manifest_constant</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Class_header</nonterminal><bgf:expression><sequence><bgf:expression><optional><bgf:expression><nonterminal>Header_mark</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><terminal>class</terminal></bgf:expression><bgf:expression><nonterminal>Class_name</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Header_mark</nonterminal><bgf:expression><choice><bgf:expression><terminal>deferred</terminal></bgf:expression><bgf:expression><terminal>expanded</terminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Class_name</nonterminal><bgf:expression><nonterminal>Identifier</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Formal_generics</nonterminal><bgf:expression><sequence><bgf:expression><terminal>[</terminal></bgf:expression><bgf:expression><nonterminal>Formal_generic_list</nonterminal></bgf:expression><bgf:expression><terminal>]</terminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Formal_generic_list</nonterminal><bgf:expression><sepliststar><bgf:expression><nonterminal>Formal_generic</nonterminal></bgf:expression><bgf:expression><terminal>,</terminal></bgf:expression></sepliststar></bgf:expression></bgf:production><bgf:production><nonterminal>Formal_generic</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Formal_generic_name</nonterminal></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Constraint</nonterminal></bgf:expression></optional></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Formal_generic_name</nonterminal><bgf:expression><nonterminal>Identifier</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Constraint</nonterminal><bgf:expression><sequence><bgf:expression><terminal>-&gt;</terminal></bgf:expression><bgf:expression><nonterminal>Restricted_type</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Obsolete</nonterminal><bgf:expression><sequence><bgf:expression><terminal>obsolete</terminal></bgf:expression><bgf:expression><nonterminal>Message</nonterminal></bgf:expression><bgf:expression><nonterminal>NL</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Message</nonterminal><bgf:expression><nonterminal>Manifest_string</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Features</nonterminal><bgf:expression><plus><bgf:expression><nonterminal>feature_Feature_clause</nonterminal></bgf:expression></plus></bgf:expression></bgf:production><bgf:production><nonterminal>feature_Feature_clause</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>NL</nonterminal></bgf:expression><bgf:expression><terminal>feature</terminal></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Clients</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><nonterminal>Feature_clause</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Feature_clause</nonterminal><bgf:expression><sequence><bgf:expression><optional><bgf:expression><nonterminal>Header_comment</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><nonterminal>Feature_declaration_list</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Feature_declaration_list</nonterminal><bgf:expression><sequence><bgf:expression><sequence><bgf:expression><nonterminal>IN</nonterminal></bgf:expression><bgf:expression><nonterminal>NL</nonterminal></bgf:expression></sequence></bgf:expression><bgf:expression><star><bgf:expression><nonterminal>Feature_declaration_Separator</nonterminal></bgf:expression></star></bgf:expression><bgf:expression><nonterminal>EX</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Feature_declaration_Separator</nonterminal><bgf:expression><choice><bgf:expression><sequence><bgf:expression><nonterminal>Feature_declaration</nonterminal></bgf:expression><bgf:expression><nonterminal>Separator</nonterminal></bgf:expression></sequence></bgf:expression><bgf:expression><sequence><bgf:expression><nonterminal>Routine_feature_declaration</nonterminal></bgf:expression><bgf:expression><nonterminal>Separator</nonterminal></bgf:expression></sequence></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Header_comment</nonterminal><bgf:expression><nonterminal>Comment</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Feature_declaration</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>New_feature_list</nonterminal></bgf:expression><bgf:expression><nonterminal>Declaration_body</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Declaration_body</nonterminal><bgf:expression><sequence><bgf:expression><optional><bgf:expression><nonterminal>Formal_arguments</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Type_mark</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>is_Constant</nonterminal></bgf:expression></optional></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>is_Constant</nonterminal><bgf:expression><sequence><bgf:expression><terminal>is</terminal></bgf:expression><bgf:expression><nonterminal>Feature_value</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Feature_value</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Manifest_constant</nonterminal></bgf:expression><bgf:expression><nonterminal>Unique</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Routine_feature_declaration</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>NL</nonterminal></bgf:expression><bgf:expression><nonterminal>New_feature_list</nonterminal></bgf:expression><bgf:expression><nonterminal>Routine_declaration_body</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Routine_declaration_body</nonterminal><bgf:expression><sequence><bgf:expression><optional><bgf:expression><nonterminal>Formal_arguments</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Type_mark</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>is_Routine</nonterminal></bgf:expression></optional></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>is_Routine</nonterminal><bgf:expression><sequence><bgf:expression><terminal>is</terminal></bgf:expression><bgf:expression><nonterminal>NL</nonterminal></bgf:expression><bgf:expression><nonterminal>Routine</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>New_feature_list</nonterminal><bgf:expression><plus><bgf:expression><nonterminal>New_feature</nonterminal></bgf:expression></plus></bgf:expression></bgf:production><bgf:production><nonterminal>New_feature</nonterminal><bgf:expression><sequence><bgf:expression><optional><bgf:expression><terminal>frozen</terminal></bgf:expression></optional></bgf:expression><bgf:expression><nonterminal>Feature_name</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Feature_name</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Identifier</nonterminal></bgf:expression><bgf:expression><nonterminal>Prefix</nonterminal></bgf:expression><bgf:expression><nonterminal>Infix</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Prefix</nonterminal><bgf:expression><sequence><bgf:expression><terminal>prefix</terminal></bgf:expression><bgf:expression><nonterminal>Prefix_name</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Infix</nonterminal><bgf:expression><sequence><bgf:expression><terminal>infix</terminal></bgf:expression><bgf:expression><nonterminal>Infix_name</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Prefix_name</nonterminal><bgf:expression><nonterminal>Manifest_string</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Infix_name</nonterminal><bgf:expression><nonterminal>Manifest_string</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Unary</nonterminal><bgf:expression><choice><bgf:expression><terminal>not</terminal></bgf:expression><bgf:expression><terminal>+</terminal></bgf:expression><bgf:expression><terminal>-</terminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Binary</nonterminal><bgf:expression><choice><bgf:expression><terminal>+</terminal></bgf:expression><bgf:expression><terminal>-</terminal></bgf:expression><bgf:expression><terminal>*</terminal></bgf:expression><bgf:expression><terminal>/</terminal></bgf:expression><bgf:expression><terminal>&lt;</terminal></bgf:expression><bgf:expression><terminal>&gt;</terminal></bgf:expression><bgf:expression><terminal>&lt;=</terminal></bgf:expression><bgf:expression><terminal>&gt;=</terminal></bgf:expression><bgf:expression><terminal>//</terminal></bgf:expression><bgf:expression><terminal>\\</terminal></bgf:expression><bgf:expression><terminal>^</terminal></bgf:expression><bgf:expression><terminal>and</terminal></bgf:expression><bgf:expression><terminal>or</terminal></bgf:expression><bgf:expression><terminal>xor</terminal></bgf:expression><bgf:expression><sequence><bgf:expression><terminal>and</terminal></bgf:expression><bgf:expression><terminal>then</terminal></bgf:expression></sequence></bgf:expression><bgf:expression><sequence><bgf:expression><terminal>or</terminal></bgf:expression><bgf:expression><terminal>else</terminal></bgf:expression></sequence></bgf:expression><bgf:expression><terminal>implies</terminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Inheritance</nonterminal><bgf:expression><sequence><bgf:expression><terminal>inherit</terminal></bgf:expression><bgf:expression><sequence><bgf:expression><nonterminal>NL</nonterminal></bgf:expression><bgf:expression><nonterminal>IN</nonterminal></bgf:expression></sequence></bgf:expression><bgf:expression><nonterminal>Parent_list</nonterminal></bgf:expression><bgf:expression><nonterminal>EX</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Parent_list</nonterminal><bgf:expression><star><bgf:expression><nonterminal>Parent_Separator</nonterminal></bgf:expression></star></bgf:expression></bgf:production><bgf:production><nonterminal>Parent_Separator</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Parent</nonterminal></bgf:expression><bgf:expression><nonterminal>Separator</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Parent</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Restricted_class_type</nonterminal></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Feature_adaptation</nonterminal></bgf:expression></optional></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Feature_adaptation</nonterminal><bgf:expression><sequence><bgf:expression><sequence><bgf:expression><nonterminal>NL</nonterminal></bgf:expression><bgf:expression><nonterminal>IN</nonterminal></bgf:expression></sequence></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Rename</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>New_exports</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Undefine</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Redefine</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Select</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><nonterminal>EX</nonterminal></bgf:expression><bgf:expression><terminal>end</terminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Rename</nonterminal><bgf:expression><sequence><bgf:expression><terminal>rename</terminal></bgf:expression><bgf:expression><nonterminal>Rename_list</nonterminal></bgf:expression><bgf:expression><nonterminal>NL</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Rename_list</nonterminal><bgf:expression><sepliststar><bgf:expression><nonterminal>Rename_pair</nonterminal></bgf:expression><bgf:expression><terminal>,</terminal></bgf:expression></sepliststar></bgf:expression></bgf:production><bgf:production><nonterminal>Rename_pair</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Feature_name</nonterminal></bgf:expression><bgf:expression><terminal>as</terminal></bgf:expression><bgf:expression><nonterminal>Feature_name</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Clients</nonterminal><bgf:expression><sequence><bgf:expression><terminal>{</terminal></bgf:expression><bgf:expression><nonterminal>Class_list</nonterminal></bgf:expression><bgf:expression><terminal>}</terminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Class_list</nonterminal><bgf:expression><sepliststar><bgf:expression><nonterminal>Class_name</nonterminal></bgf:expression><bgf:expression><terminal>,</terminal></bgf:expression></sepliststar></bgf:expression></bgf:production><bgf:production><nonterminal>New_exports</nonterminal><bgf:expression><sequence><bgf:expression><terminal>export</terminal></bgf:expression><bgf:expression><nonterminal>New_export_list</nonterminal></bgf:expression><bgf:expression><nonterminal>NL</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>New_export_list</nonterminal><bgf:expression><star><bgf:expression><nonterminal>New_export_item_Separator</nonterminal></bgf:expression></star></bgf:expression></bgf:production><bgf:production><nonterminal>New_export_item_Separator</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>New_export_item</nonterminal></bgf:expression><bgf:expression><nonterminal>Separator</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>New_export_item</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Clients</nonterminal></bgf:expression><bgf:expression><nonterminal>Feature_set</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Feature_set</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Feature_list</nonterminal></bgf:expression><bgf:expression><terminal>all</terminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Feature_list</nonterminal><bgf:expression><sequence><bgf:expression><sequence><bgf:expression><nonterminal>IN</nonterminal></bgf:expression><bgf:expression><nonterminal>NL</nonterminal></bgf:expression></sequence></bgf:expression><bgf:expression><sepliststar><bgf:expression><nonterminal>Feature_name</nonterminal></bgf:expression><bgf:expression><terminal>,</terminal></bgf:expression></sepliststar></bgf:expression><bgf:expression><nonterminal>EX</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Formal_arguments</nonterminal><bgf:expression><sequence><bgf:expression><terminal>(</terminal></bgf:expression><bgf:expression><nonterminal>Formal_entity_declaration_list</nonterminal></bgf:expression><bgf:expression><terminal>)</terminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Formal_entity_declaration_list</nonterminal><bgf:expression><star><bgf:expression><nonterminal>Formal_entity_declaration_group_Separator</nonterminal></bgf:expression></star></bgf:expression></bgf:production><bgf:production><nonterminal>Formal_entity_declaration_group_Separator</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Entity_declaration_group</nonterminal></bgf:expression><bgf:expression><optional><bgf:expression><terminal>;</terminal></bgf:expression></optional></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Entity_declaration_list</nonterminal><bgf:expression><sequence><bgf:expression><sequence><bgf:expression><nonterminal>IN</nonterminal></bgf:expression><bgf:expression><nonterminal>NL</nonterminal></bgf:expression></sequence></bgf:expression><bgf:expression><star><bgf:expression><nonterminal>Entity_declaration_group_Separator</nonterminal></bgf:expression></star></bgf:expression><bgf:expression><nonterminal>EX</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Entity_declaration_group_Separator</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Entity_declaration_group</nonterminal></bgf:expression><bgf:expression><nonterminal>Separator</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Entity_declaration_group</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Identifier_list</nonterminal></bgf:expression><bgf:expression><nonterminal>Type_mark</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Identifier_list</nonterminal><bgf:expression><plus><bgf:expression><nonterminal>Identifier</nonterminal></bgf:expression></plus></bgf:expression></bgf:production><bgf:production><nonterminal>Type_mark</nonterminal><bgf:expression><sequence><bgf:expression><terminal>:</terminal></bgf:expression><bgf:expression><nonterminal>Type</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Routine</nonterminal><bgf:expression><sequence><bgf:expression><optional><bgf:expression><nonterminal>Obsolete</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Header_comment</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Precondition</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Local_declarations</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><nonterminal>Routine_body</nonterminal></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Postcondition</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Rescue</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><terminal>end</terminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Routine_body</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Effective</nonterminal></bgf:expression><bgf:expression><nonterminal>Deferred</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Effective</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Internal</nonterminal></bgf:expression><bgf:expression><nonterminal>External</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Internal</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Routine_mark</nonterminal></bgf:expression><bgf:expression><nonterminal>Compound</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Routine_mark</nonterminal><bgf:expression><choice><bgf:expression><terminal>do</terminal></bgf:expression><bgf:expression><terminal>once</terminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Deferred</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>IN</nonterminal></bgf:expression><bgf:expression><terminal>deferred</terminal></bgf:expression><bgf:expression><sequence><bgf:expression><nonterminal>NL</nonterminal></bgf:expression><bgf:expression><nonterminal>EX</nonterminal></bgf:expression></sequence></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Local_declarations</nonterminal><bgf:expression><sequence><bgf:expression><terminal>local</terminal></bgf:expression><bgf:expression><nonterminal>Entity_declaration_list</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Instruction</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Creation</nonterminal></bgf:expression><bgf:expression><nonterminal>Call</nonterminal></bgf:expression><bgf:expression><nonterminal>Assignment</nonterminal></bgf:expression><bgf:expression><nonterminal>Assignment_attempt</nonterminal></bgf:expression><bgf:expression><nonterminal>Conditional</nonterminal></bgf:expression><bgf:expression><nonterminal>Multi_branch</nonterminal></bgf:expression><bgf:expression><nonterminal>Loop</nonterminal></bgf:expression><bgf:expression><nonterminal>Debug</nonterminal></bgf:expression><bgf:expression><nonterminal>Check</nonterminal></bgf:expression><bgf:expression><nonterminal>Retry</nonterminal></bgf:expression><bgf:expression><nonterminal>Null</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Precondition</nonterminal><bgf:expression><sequence><bgf:expression><terminal>require</terminal></bgf:expression><bgf:expression><optional><bgf:expression><terminal>else</terminal></bgf:expression></optional></bgf:expression><bgf:expression><nonterminal>Assertion</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Postcondition</nonterminal><bgf:expression><sequence><bgf:expression><terminal>ensure</terminal></bgf:expression><bgf:expression><optional><bgf:expression><terminal>then</terminal></bgf:expression></optional></bgf:expression><bgf:expression><nonterminal>Assertion</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Invariant</nonterminal><bgf:expression><sequence><bgf:expression><terminal>invariant</terminal></bgf:expression><bgf:expression><nonterminal>Assertion</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Assertion</nonterminal><bgf:expression><sequence><bgf:expression><sequence><bgf:expression><nonterminal>NL</nonterminal></bgf:expression><bgf:expression><nonterminal>IN</nonterminal></bgf:expression></sequence></bgf:expression><bgf:expression><star><bgf:expression><nonterminal>Assertion_clause_Separator</nonterminal></bgf:expression></star></bgf:expression><bgf:expression><nonterminal>EX</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Assertion_clause_Separator</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Assertion_clause</nonterminal></bgf:expression><bgf:expression><nonterminal>Separator</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Assertion_clause</nonterminal><bgf:expression><sequence><bgf:expression><optional><bgf:expression><nonterminal>Tag_mark</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><nonterminal>Unlabeled_assertion_clause</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Unlabeled_assertion_clause</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Boolean_expression</nonterminal></bgf:expression><bgf:expression><nonterminal>Comment</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Tag_mark</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Tag</nonterminal></bgf:expression><bgf:expression><terminal>:</terminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Tag</nonterminal><bgf:expression><nonterminal>Identifier</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Old</nonterminal><bgf:expression><sequence><bgf:expression><terminal>old</terminal></bgf:expression><bgf:expression><nonterminal>Expression</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Check</nonterminal><bgf:expression><sequence><bgf:expression><terminal>check</terminal></bgf:expression><bgf:expression><nonterminal>Assertion</nonterminal></bgf:expression><bgf:expression><terminal>end</terminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Variant</nonterminal><bgf:expression><sequence><bgf:expression><terminal>variant</terminal></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Tag_mark</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><nonterminal>Expression</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Redefine</nonterminal><bgf:expression><sequence><bgf:expression><terminal>redefine</terminal></bgf:expression><bgf:expression><nonterminal>Feature_list</nonterminal></bgf:expression><bgf:expression><nonterminal>NL</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Undefine</nonterminal><bgf:expression><sequence><bgf:expression><terminal>undefine</terminal></bgf:expression><bgf:expression><nonterminal>Feature_list</nonterminal></bgf:expression><bgf:expression><nonterminal>NL</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Select</nonterminal><bgf:expression><sequence><bgf:expression><terminal>select</terminal></bgf:expression><bgf:expression><nonterminal>Feature_list</nonterminal></bgf:expression><bgf:expression><nonterminal>NL</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Type</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Class_type</nonterminal></bgf:expression><bgf:expression><nonterminal>Class_type_expanded</nonterminal></bgf:expression><bgf:expression><nonterminal>Formal_generic_name</nonterminal></bgf:expression><bgf:expression><nonterminal>Anchored</nonterminal></bgf:expression><bgf:expression><nonterminal>Bit_type</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Class_type</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Class_name</nonterminal></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Actual_generics</nonterminal></bgf:expression></optional></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Actual_generics</nonterminal><bgf:expression><sequence><bgf:expression><terminal>[</terminal></bgf:expression><bgf:expression><nonterminal>Type_list</nonterminal></bgf:expression><bgf:expression><terminal>]</terminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Type_list</nonterminal><bgf:expression><sepliststar><bgf:expression><nonterminal>Type</nonterminal></bgf:expression><bgf:expression><terminal>,</terminal></bgf:expression></sepliststar></bgf:expression></bgf:production><bgf:production><nonterminal>Class_type_expanded</nonterminal><bgf:expression><sequence><bgf:expression><terminal>expanded</terminal></bgf:expression><bgf:expression><nonterminal>Class_type</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Bit_type</nonterminal><bgf:expression><sequence><bgf:expression><terminal>BIT</terminal></bgf:expression><bgf:expression><nonterminal>Constant</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Anchored</nonterminal><bgf:expression><sequence><bgf:expression><terminal>like</terminal></bgf:expression><bgf:expression><nonterminal>Anchor</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Anchor</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Identifier</nonterminal></bgf:expression><bgf:expression><terminal>Current</terminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Restricted_type</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Restricted_class_type</nonterminal></bgf:expression><bgf:expression><nonterminal>Formal_generic_name</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Restricted_class_type</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Class_name</nonterminal></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Restricted_actual_generics</nonterminal></bgf:expression></optional></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Restricted_actual_generics</nonterminal><bgf:expression><sequence><bgf:expression><terminal>[</terminal></bgf:expression><bgf:expression><nonterminal>Restricted_type_list</nonterminal></bgf:expression><bgf:expression><terminal>]</terminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Restricted_type_list</nonterminal><bgf:expression><sepliststar><bgf:expression><nonterminal>Restricted_type</nonterminal></bgf:expression><bgf:expression><terminal>,</terminal></bgf:expression></sepliststar></bgf:expression></bgf:production><bgf:production><nonterminal>Compound</nonterminal><bgf:expression><sequence><bgf:expression><sequence><bgf:expression><nonterminal>IN</nonterminal></bgf:expression><bgf:expression><nonterminal>NL</nonterminal></bgf:expression></sequence></bgf:expression><bgf:expression><star><bgf:expression><nonterminal>Instruction_Separator</nonterminal></bgf:expression></star></bgf:expression><bgf:expression><nonterminal>EX</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Instruction_Separator</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Instruction</nonterminal></bgf:expression><bgf:expression><nonterminal>Separator</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Separator</nonterminal><bgf:expression><sequence><bgf:expression><optional><bgf:expression><terminal>;</terminal></bgf:expression></optional></bgf:expression><bgf:expression><nonterminal>NL</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Null</nonterminal><bgf:expression><sequence><bgf:expression><terminal>;</terminal></bgf:expression><bgf:expression><nonterminal>NL</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Conditional</nonterminal><bgf:expression><sequence><bgf:expression><terminal>if</terminal></bgf:expression><bgf:expression><nonterminal>Then_part_list</nonterminal></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Else_part</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><terminal>end</terminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Then_part_list</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Then_part</nonterminal></bgf:expression><bgf:expression><star><bgf:expression><nonterminal>elseif_Then_part</nonterminal></bgf:expression></star></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>elseif_Then_part</nonterminal><bgf:expression><sequence><bgf:expression><terminal>elseif</terminal></bgf:expression><bgf:expression><nonterminal>Then_part</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Then_part</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Boolean_expression</nonterminal></bgf:expression><bgf:expression><terminal>then</terminal></bgf:expression><bgf:expression><nonterminal>Compound</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Else_part</nonterminal><bgf:expression><sequence><bgf:expression><terminal>else</terminal></bgf:expression><bgf:expression><nonterminal>Compound</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Multi_branch</nonterminal><bgf:expression><sequence><bgf:expression><terminal>inspect</terminal></bgf:expression><bgf:expression><nonterminal>Expression</nonterminal></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>When_part_list</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Else_part</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><terminal>end</terminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>When_part_list</nonterminal><bgf:expression><plus><bgf:expression><nonterminal>when_When_part</nonterminal></bgf:expression></plus></bgf:expression></bgf:production><bgf:production><nonterminal>when_When_part</nonterminal><bgf:expression><sequence><bgf:expression><terminal>when</terminal></bgf:expression><bgf:expression><nonterminal>When_part</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>When_part</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Choices</nonterminal></bgf:expression><bgf:expression><terminal>then</terminal></bgf:expression><bgf:expression><nonterminal>Compound</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Choices</nonterminal><bgf:expression><sepliststar><bgf:expression><nonterminal>Choice</nonterminal></bgf:expression><bgf:expression><terminal>,</terminal></bgf:expression></sepliststar></bgf:expression></bgf:production><bgf:production><nonterminal>Choice</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Constant</nonterminal></bgf:expression><bgf:expression><nonterminal>Interval</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Interval</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Constant</nonterminal></bgf:expression><bgf:expression><terminal>..</terminal></bgf:expression><bgf:expression><nonterminal>Constant</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Loop</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Initialization</nonterminal></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Invariant</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Variant</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><nonterminal>Loop_body</nonterminal></bgf:expression><bgf:expression><terminal>end</terminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Initialization</nonterminal><bgf:expression><sequence><bgf:expression><terminal>from</terminal></bgf:expression><bgf:expression><nonterminal>Compound</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Loop_body</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Exit</nonterminal></bgf:expression><bgf:expression><nonterminal>NL</nonterminal></bgf:expression><bgf:expression><terminal>loop</terminal></bgf:expression><bgf:expression><nonterminal>Compound</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Exit</nonterminal><bgf:expression><sequence><bgf:expression><terminal>until</terminal></bgf:expression><bgf:expression><nonterminal>Boolean_expression</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Debug</nonterminal><bgf:expression><sequence><bgf:expression><terminal>debug</terminal></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Debug_keys</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><nonterminal>Compound</nonterminal></bgf:expression><bgf:expression><terminal>end</terminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Debug_keys</nonterminal><bgf:expression><sequence><bgf:expression><terminal>(</terminal></bgf:expression><bgf:expression><nonterminal>Debug_key_list</nonterminal></bgf:expression><bgf:expression><terminal>)</terminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Debug_key_list</nonterminal><bgf:expression><sepliststar><bgf:expression><nonterminal>Debug_key</nonterminal></bgf:expression><bgf:expression><terminal>,</terminal></bgf:expression></sepliststar></bgf:expression></bgf:production><bgf:production><nonterminal>Debug_key</nonterminal><bgf:expression><nonterminal>Manifest_string</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Rescue</nonterminal><bgf:expression><sequence><bgf:expression><terminal>rescue</terminal></bgf:expression><bgf:expression><nonterminal>Compound</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Retry</nonterminal><bgf:expression><terminal>retry</terminal></bgf:expression></bgf:production><bgf:production><nonterminal>Unique</nonterminal><bgf:expression><terminal>unique</terminal></bgf:expression></bgf:production><bgf:production><nonterminal>Entity</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Writable</nonterminal></bgf:expression><bgf:expression><nonterminal>Read_only</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Writable</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Attribute</nonterminal></bgf:expression><bgf:expression><nonterminal>Local</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Attribute</nonterminal><bgf:expression><nonterminal>Identifier</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Local</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Identifier</nonterminal></bgf:expression><bgf:expression><terminal>Result</terminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Read_only</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Formal</nonterminal></bgf:expression><bgf:expression><terminal>Current</terminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Formal</nonterminal><bgf:expression><nonterminal>Identifier</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Creators</nonterminal><bgf:expression><plus><bgf:expression><nonterminal>creation_Creation_clause</nonterminal></bgf:expression></plus></bgf:expression></bgf:production><bgf:production><nonterminal>creation_Creation_clause</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>NL</nonterminal></bgf:expression><bgf:expression><terminal>creation</terminal></bgf:expression><bgf:expression><nonterminal>Creation_clause</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Creation_clause</nonterminal><bgf:expression><sequence><bgf:expression><optional><bgf:expression><nonterminal>Clients</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Header_comment</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><nonterminal>Feature_list</nonterminal></bgf:expression><bgf:expression><nonterminal>NL</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Creation</nonterminal><bgf:expression><choice><bgf:expression><sequence><bgf:expression><terminal>!!</terminal></bgf:expression><bgf:expression><nonterminal>Writable</nonterminal></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Creation_call</nonterminal></bgf:expression></optional></bgf:expression></sequence></bgf:expression><bgf:expression><sequence><bgf:expression><terminal>!</terminal></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Type</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><terminal>!</terminal></bgf:expression><bgf:expression><nonterminal>Writable</nonterminal></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Creation_call</nonterminal></bgf:expression></optional></bgf:expression></sequence></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Creation_call</nonterminal><bgf:expression><sequence><bgf:expression><terminal>.</terminal></bgf:expression><bgf:expression><nonterminal>Unqualified_call</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Assignment</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Writable</nonterminal></bgf:expression><bgf:expression><terminal>:=</terminal></bgf:expression><bgf:expression><nonterminal>Expression</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Assignment_attempt</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Writable</nonterminal></bgf:expression><bgf:expression><terminal>?=</terminal></bgf:expression><bgf:expression><nonterminal>Expression</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Call</nonterminal><bgf:expression><sequence><bgf:expression><optional><bgf:expression><nonterminal>Parenthesized_qualifier</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><nonterminal>Call_chain</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Parenthesized_qualifier</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Parenthesized</nonterminal></bgf:expression><bgf:expression><terminal>.</terminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Call_chain</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Unqualified_call</nonterminal></bgf:expression><bgf:expression><star><bgf:expression><nonterminal>dot_Unqualified_call</nonterminal></bgf:expression></star></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>dot_Unqualified_call</nonterminal><bgf:expression><sequence><bgf:expression><terminal>.</terminal></bgf:expression><bgf:expression><nonterminal>Unqualified_call</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Unqualified_call</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Entity</nonterminal></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>Actuals</nonterminal></bgf:expression></optional></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Actuals</nonterminal><bgf:expression><sequence><bgf:expression><terminal>(</terminal></bgf:expression><bgf:expression><nonterminal>Actual_list</nonterminal></bgf:expression><bgf:expression><terminal>)</terminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Actual_list</nonterminal><bgf:expression><sepliststar><bgf:expression><nonterminal>Actual</nonterminal></bgf:expression><bgf:expression><terminal>,</terminal></bgf:expression></sepliststar></bgf:expression></bgf:production><bgf:production><nonterminal>Actual</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Expression</nonterminal></bgf:expression><bgf:expression><nonterminal>Address</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Address</nonterminal><bgf:expression><sequence><bgf:expression><terminal>$</terminal></bgf:expression><bgf:expression><nonterminal>Address_mark</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Address_mark</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Feature_name</nonterminal></bgf:expression><bgf:expression><terminal>Current</terminal></bgf:expression><bgf:expression><terminal>Result</terminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Expression</nonterminal><bgf:expression><nonterminal>Equality</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Primitive_expression</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Call</nonterminal></bgf:expression><bgf:expression><nonterminal>Manifest_constant</nonterminal></bgf:expression><bgf:expression><nonterminal>Manifest_array</nonterminal></bgf:expression><bgf:expression><nonterminal>Old</nonterminal></bgf:expression><bgf:expression><nonterminal>Strip</nonterminal></bgf:expression><bgf:expression><nonterminal>Parenthesized</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Boolean_expression</nonterminal><bgf:expression><nonterminal>Expression</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Equality</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Operator_expression</nonterminal></bgf:expression><bgf:expression><star><bgf:expression><nonterminal>Comparison_Operator_expression</nonterminal></bgf:expression></star></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Comparison_Operator_expression</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Comparison</nonterminal></bgf:expression><bgf:expression><nonterminal>Operator_expression</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Comparison</nonterminal><bgf:expression><choice><bgf:expression><terminal>=</terminal></bgf:expression><bgf:expression><terminal>/=</terminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Operator_expression</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Parenthesized</nonterminal></bgf:expression><bgf:expression><nonterminal>Binary_expression</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Parenthesized</nonterminal><bgf:expression><sequence><bgf:expression><terminal>(</terminal></bgf:expression><bgf:expression><nonterminal>Expression</nonterminal></bgf:expression><bgf:expression><terminal>)</terminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Unary_expression</nonterminal><bgf:expression><sequence><bgf:expression><star><bgf:expression><nonterminal>Prefix_operator</nonterminal></bgf:expression></star></bgf:expression><bgf:expression><nonterminal>Primitive_expression</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Binary_expression</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Unary_expression</nonterminal></bgf:expression><bgf:expression><star><bgf:expression><nonterminal>Infix_operator_Unary_expression</nonterminal></bgf:expression></star></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Infix_operator_Unary_expression</nonterminal><bgf:expression><sequence><bgf:expression><nonterminal>Infix_operator</nonterminal></bgf:expression><bgf:expression><nonterminal>Unary_expression</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Prefix_operator</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Unary</nonterminal></bgf:expression><bgf:expression><nonterminal>Free_operator</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Infix_operator</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Binary</nonterminal></bgf:expression><bgf:expression><nonterminal>Free_operator</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Constant</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Manifest_constant</nonterminal></bgf:expression><bgf:expression><nonterminal>Constant_attribute</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Constant_attribute</nonterminal><bgf:expression><nonterminal>Entity</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Manifest_constant</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Boolean_constant</nonterminal></bgf:expression><bgf:expression><nonterminal>Character_constant</nonterminal></bgf:expression><bgf:expression><nonterminal>Integer_constant</nonterminal></bgf:expression><bgf:expression><nonterminal>Real_constant</nonterminal></bgf:expression><bgf:expression><nonterminal>Manifest_string</nonterminal></bgf:expression><bgf:expression><nonterminal>Bit_constant</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Sign</nonterminal><bgf:expression><choice><bgf:expression><terminal>+</terminal></bgf:expression><bgf:expression><terminal>-</terminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Integer_constant</nonterminal><bgf:expression><sequence><bgf:expression><optional><bgf:expression><nonterminal>Sign</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><nonterminal>Integer</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Real_constant</nonterminal><bgf:expression><sequence><bgf:expression><optional><bgf:expression><nonterminal>Sign</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><nonterminal>Real</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Boolean_constant</nonterminal><bgf:expression><choice><bgf:expression><terminal>true</terminal></bgf:expression><bgf:expression><terminal>false</terminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Bit_constant</nonterminal><bgf:expression><nonterminal>Bit_sequence</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Manifest_array</nonterminal><bgf:expression><sequence><bgf:expression><terminal>&lt;&lt;</terminal></bgf:expression><bgf:expression><nonterminal>Expression_list</nonterminal></bgf:expression><bgf:expression><terminal>&gt;&gt;</terminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Expression_list</nonterminal><bgf:expression><sepliststar><bgf:expression><nonterminal>Expression</nonterminal></bgf:expression><bgf:expression><terminal>,</terminal></bgf:expression></sepliststar></bgf:expression></bgf:production><bgf:production><nonterminal>Strip</nonterminal><bgf:expression><sequence><bgf:expression><terminal>strip</terminal></bgf:expression><bgf:expression><terminal>(</terminal></bgf:expression><bgf:expression><nonterminal>Attribute_list</nonterminal></bgf:expression><bgf:expression><terminal>)</terminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Attribute_list</nonterminal><bgf:expression><sepliststar><bgf:expression><nonterminal>Identifier</nonterminal></bgf:expression><bgf:expression><terminal>,</terminal></bgf:expression></sepliststar></bgf:expression></bgf:production><bgf:production><nonterminal>External</nonterminal><bgf:expression><sequence><bgf:expression><terminal>external</terminal></bgf:expression><bgf:expression><nonterminal>Language_name</nonterminal></bgf:expression><bgf:expression><optional><bgf:expression><nonterminal>External_name</nonterminal></bgf:expression></optional></bgf:expression><bgf:expression><nonterminal>NL</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Language_name</nonterminal><bgf:expression><nonterminal>Manifest_string</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>External_name</nonterminal><bgf:expression><sequence><bgf:expression><terminal>alias</terminal></bgf:expression><bgf:expression><nonterminal>Manifest_string</nonterminal></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Identifier</nonterminal><bgf:expression><nonterminal>id</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Manifest_string</nonterminal><bgf:expression><nonterminal>string</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Comment</nonterminal><bgf:expression><nonterminal>comment</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Character_constant</nonterminal><bgf:expression><nonterminal>character_constant</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Integer</nonterminal><bgf:expression><nonterminal>integer</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Real</nonterminal><bgf:expression><nonterminal>real_number</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Bit_sequence</nonterminal><bgf:expression><nonterminal>bit_sequence</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Free_operator</nonterminal><bgf:expression><nonterminal>free_operator</nonterminal></bgf:expression></bgf:production></bgf:grammar>