source: trunk/ada-2012/src/ag/env_in.ag@ 362

Last change on this file since 362 was 362, checked in by Maxim Reznik, 6 years ago

Change list expansion

Traverse of list was changed in prev commit. Now lists are processed in
depth-first order left-to-right. So corresponding list representation is
LIST ::= item LIST<tail>; instead of previous
LIST ::= LIST<head> item;

So change AG generator and AG rules.
Construction and iteration of symbol list is changed also.

File size: 66.4 KB
RevLine 
[203]1Rules for Compilation. :
2(.
3 ${Compilation_Pragmas.env_in} := ${units.env_out};
4.)
5
6
[202]7Inherited attributes
[203]8 Aborted_Tasks,
9 Accept_Body_Exception_Handlers,
10 Accept_Body_Statements,
11 Accept_Parameters,
12 Access_To_Subprogram_Parameter_Profile,
13 Array_Component_Choices,
14 Aspect_Specifications,
15 Associations,
16 Asynchronous_Statement_Paths,
17 Block_Declarative_Items,
18 Block_Exception_Handlers,
19 Block_Statements,
20 Body_Declarative_Items,
21 Body_Exception_Handlers,
22 Body_Statements,
23 Case_Expression_Paths,
24 Case_Path_Alternative_Choices,
25 Case_Statement_Alternative_Choices,
26 Case_Statement_Paths,
27 Clause_Names,
28 Compilation_Pragmas,
29 Component_Clauses,
30 Context_Clause_Elements,
31 Discrete_Subtype_Definitions,
32 Discriminants,
33 Enumeration_Literal_Declarations,
34 Exception_Choices,
35 Expression_Paths,
36 Extended_Return_Exception_Handlers,
37 Extended_Return_Statements,
38 Generic_Actual_Part,
39 Generic_Formal_Part,
40 Handler_Statements,
41 Index_Subtype_Definitions,
42 Label_Names,
43 Loop_Statements,
44 Membership_Test_Choices,
45 Names,
46 Parameter_Profile,
47 Pragma_Argument_Associations,
48 Private_Part_Declarative_Items,
49 Private_Protected_Items,
50 Private_Task_Items,
51 Progenitor_List,
52 Protected_Operation_Items,
53 Record_Component_Associations,
54 Record_Components,
55 Selective_Statement_Paths,
56 Sequence_Of_Statements,
57 Statement_Paths,
58 Type_Clause_Names,
59 Variant_Choices,
60 Variants,
61 Visible_Part_Declarative_Items,
62 Visible_Protected_Items,
63 Visible_Task_Items,
[245]64 With_Clause_Names,
[203]65 abort_statement,
66 accept_statement,
67 access_definition,
68 access_to_function_definition,
69 access_to_object_definition,
70 access_to_procedure_definition,
71 allocator,
72 alt_record_definition,
73 anonymous_access_to_function_definition,
74 anonymous_access_to_object_definition,
75 anonymous_access_to_procedure_definition,
76 aspect_clause,
77 aspect_specification,
78 assignment_statement,
79 association,
80 asynchronous_select,
81 at_clause,
82 attribute_definition_clause,
83 attribute_reference,
84 basic_declaration,
85 basic_declarative_item,
86 block_statement,
87 body_declaration,
88 body_stub,
89 box,
90 case_expression,
91 case_expression_path,
92 case_path,
93 case_statement,
94 character_literal,
95 choice_parameter_specification,
96 clause_name,
97 clause_or_pragma,
98 component_clause,
99 component_declaration,
100 component_definition,
101 component_item,
102 composite_constraint,
103 constrained_array_definition,
104 constraint,
105 context_item,
106 decimal_fixed_point_definition,
107 declarative_item,
108 declarative_region,
109 defining_character_literal,
110 defining_designator,
111 defining_enumeration_literal,
112 defining_enumeration_name,
113 defining_expanded_unit_name,
114 defining_identifier,
115 defining_name,
116 defining_operator_symbol,
117 defining_program_unit_name,
118 delay_statement,
119 delta_constraint,
120 derived_record_definition,
121 derived_type_definition,
122 designator,
123 digits_constraint,
124 direct_name,
125 discrete_choice,
126 discrete_range,
127 discrete_range_attribute_reference,
128 discrete_simple_expression_range,
129 discrete_subtype_definition,
130 discrete_subtype_indication,
131 discrete_subtype_indication_dr,
132 discriminant_part,
133 discriminant_specification,
134 element_iterator_specification,
135 else_expression_path,
136 else_path,
137 elsif_expression_path,
138 elsif_path,
139 entry_body,
140 entry_declaration,
141 entry_index_specification,
142 enumeration_literal,
143 enumeration_literal_specification,
144 enumeration_type_definition,
145 exception_choice,
146 exception_declaration,
147 exception_handler,
148 exception_renaming_declaration,
149 exit_statement,
150 explicit_dereference,
151 expression,
152 expression_or_box,
153 extended_return_statement,
154 extension_aggregate,
155 floating_point_definition,
156 for_loop_statement,
157 formal_access_to_function_definition,
158 formal_access_to_object_definition,
159 formal_access_to_procedure_definition,
160 formal_constrained_array_definition,
161 formal_decimal_fixed_point_definition,
162 formal_derived_type_definition,
163 formal_discrete_type_definition,
164 formal_floating_point_definition,
165 formal_function_declaration,
166 formal_incomplete_type_declaration,
167 formal_interface_type_definition,
168 formal_modular_type_definition,
169 formal_object_declaration,
170 formal_ordinary_fixed_point_definition,
171 formal_package_declaration,
172 formal_private_type_definition,
173 formal_procedure_declaration,
174 formal_signed_integer_type_definition,
175 formal_type_declaration,
176 formal_type_definition,
177 formal_unconstrained_array_definition,
178 full_type_declaration,
179 function_body,
[349]180 auxiliary_apply,
[203]181 function_declaration,
182 function_instantiation,
183 generalized_iterator_specification,
184 generic_association,
185 generic_formal,
186 generic_formal_parameter,
187 generic_function_declaration,
188 generic_function_renaming,
189 generic_package_declaration,
190 generic_package_renaming,
191 generic_procedure_declaration,
192 generic_procedure_renaming,
193 goto_statement,
194 identifier,
195 if_else_expression_path,
196 if_elsif_else_path,
197 if_expression,
198 if_expression_path,
199 if_path,
200 if_statement,
201 incomplete_type_declaration,
202 interface_type_definition,
203 iterator_specification,
204 known_discriminant_part,
205 label_decorator,
206 library_unit_body,
207 library_unit_declaration,
208 loop_parameter_specification,
209 loop_statement,
210 membership_choice,
211 membership_test,
212 modular_type_definition,
213 name,
214 null_component,
215 null_literal,
216 null_record_definition,
217 null_statement,
218 number_declaration,
219 numeric_literal,
220 object_declaration,
221 object_definition,
222 object_renaming_declaration,
223 operator_symbol,
224 ordinary_fixed_point_definition,
225 others_choice,
226 package_body,
227 package_body_stub,
228 package_declaration,
229 package_instantiation,
230 package_renaming_declaration,
231 parameter_association,
232 parameter_specification,
233 pragma_argument_association,
234 pragma_node,
235 prefix,
236 private_extension_declaration,
237 private_extension_definition,
238 private_type_declaration,
239 private_type_definition,
240 procedure_body,
241 procedure_call_statement,
242 procedure_declaration,
243 procedure_instantiation,
244 program_unit_name,
245 proper_body,
246 protected_body,
247 protected_body_stub,
248 protected_definition,
249 protected_element_declaration,
250 protected_operation_declaration,
251 protected_operation_item,
252 protected_type_declaration,
253 qualified_expression,
254 quantified_expression,
255 raise_statement,
256 range_attribute_reference,
257 range_attribute_reference_dr,
258 range_constraint,
259 range_dr,
260 record_aggregate,
261 record_definition,
262 record_representation_clause,
263 record_type_definition,
264 requeue_statement,
265 return_object_specification,
[280]266 root_type_definition,
[203]267 scalar_constraint,
268 select_or_else_path,
269 select_or_path,
270 select_then_abort_path,
271 selected_component,
272 selected_identifier,
273 selective_accept,
274 selector_name,
275 short_circuit,
276 signed_integer_type_definition,
277 simple_expression,
278 simple_expression_range,
279 simple_expression_range_dr,
280 simple_name,
281 simple_return_statement,
282 single_protected_declaration,
283 single_task_declaration,
284 statement,
[322]285 string_literal,
[203]286 subtype_declaration,
287 subtype_indication,
288 subtype_indication_or_access_definition,
289 subtype_mark,
290 subtype_mark_or_access_definition,
291 task_body,
292 task_body_stub,
293 task_definition,
294 task_item,
295 task_type_declaration,
296 terminate_alternative_statement,
297 then_abort_path,
298 type_definition,
299 unconstrained_array_definition,
300 unknown_discriminant_part,
301 use_clause,
302 use_package_clause,
303 use_type_clause,
304 variant,
305 variant_part,
306 while_loop_statement,
307 with_clause
[225]308 : Gela.Semantic_Types.Env_Index : env_in;
[202]309
[361]310Rules for Aborted_Tasks.name :
311(.
[362]312 ${tail.env_in} := ${Aborted_Tasks.env_in};
[361]313.)
314Rules for Accept_Body_Exception_Handlers.exception_handler :
315(.
[362]316 ${tail.env_in} := ${Accept_Body_Exception_Handlers.env_in};
[361]317.)
318Rules for Accept_Body_Statements.statement :
319(.
[362]320 ${tail.env_in} := ${Accept_Body_Statements.env_in};
[361]321.)
322Rules for Accept_Parameters.parameter_specification :
323(.
[362]324 ${tail.env_in} := ${Accept_Parameters.env_in};
[361]325.)
326Rules for Access_To_Subprogram_Parameter_Profile.parameter_specification :
327(.
[362]328 ${tail.env_in} := ${Access_To_Subprogram_Parameter_Profile.env_in};
[361]329.)
330Rules for Array_Component_Choices.discrete_choice :
331(.
[362]332 ${tail.env_in} := ${Array_Component_Choices.env_in};
[361]333.)
334Rules for Aspect_Specifications.aspect_specification :
335(.
[362]336 ${tail.env_in} := ${Aspect_Specifications.env_in};
[361]337.)
338Rules for Associations.association :
339(.
[362]340 ${tail.env_in} := ${Associations.env_in};
[361]341.)
342Rules for Asynchronous_Statement_Paths.select_then_abort_path :
343(.
[362]344 ${tail.env_in} := ${Asynchronous_Statement_Paths.env_in};
[361]345.)
346Rules for Block_Declarative_Items.declarative_item :
347(.
[362]348 ${tail.env_in} := ${Block_Declarative_Items.env_in};
[361]349.)
350Rules for Block_Exception_Handlers.exception_handler :
351(.
[362]352 ${tail.env_in} := ${Block_Exception_Handlers.env_in};
[361]353.)
354Rules for Block_Statements.statement :
355(.
[362]356 ${tail.env_in} := ${Block_Statements.env_in};
[361]357.)
358Rules for Body_Declarative_Items.declarative_item :
359(.
[362]360 ${tail.env_in} := ${Body_Declarative_Items.env_in};
[361]361.)
362Rules for Body_Exception_Handlers.exception_handler :
363(.
[362]364 ${tail.env_in} := ${Body_Exception_Handlers.env_in};
[361]365.)
366Rules for Body_Statements.statement :
367(.
[362]368 ${tail.env_in} := ${Body_Statements.env_in};
[361]369.)
370Rules for Case_Expression_Paths.case_expression_path :
371(.
[362]372 ${tail.env_in} := ${Case_Expression_Paths.env_in};
[361]373.)
374Rules for Case_Path_Alternative_Choices.discrete_choice :
375(.
[362]376 ${tail.env_in} := ${Case_Path_Alternative_Choices.env_in};
[361]377.)
378Rules for Case_Statement_Alternative_Choices.discrete_choice :
379(.
[362]380 ${tail.env_in} := ${Case_Statement_Alternative_Choices.env_in};
[361]381.)
382Rules for Case_Statement_Paths.case_path :
383(.
[362]384 ${tail.env_in} := ${Case_Statement_Paths.env_in};
[361]385.)
386Rules for Clause_Names.program_unit_name :
387(.
[362]388 ${tail.env_in} := ${Clause_Names.env_in};
[361]389.)
390Rules for Compilation_Pragmas.context_item :
391(.
[362]392 ${tail.env_in} := ${Compilation_Pragmas.env_in};
[361]393.)
394Rules for Component_Clauses.clause_or_pragma :
395(.
[362]396 ${tail.env_in} := ${Component_Clauses.env_in};
[361]397.)
398Rules for Context_Clause_Elements.context_item :
399(.
[362]400 ${tail.env_in} := ${Context_Clause_Elements.env_in};
[361]401.)
402Rules for Discrete_Subtype_Definitions.discrete_subtype_definition :
403(.
[362]404 ${tail.env_in} := ${Discrete_Subtype_Definitions.env_in};
[361]405.)
406Rules for Discriminants.discriminant_specification :
407(.
[362]408 ${tail.env_in} := ${Discriminants.env_in};
[361]409.)
410Rules for Enumeration_Literal_Declarations.enumeration_literal_specification :
411(.
[362]412 ${tail.env_in} := ${Enumeration_Literal_Declarations.env_in};
[361]413.)
414Rules for Exception_Choices.exception_choice :
415(.
[362]416 ${tail.env_in} := ${Exception_Choices.env_in};
[361]417.)
418Rules for Expression_Paths.if_else_expression_path :
419(.
[362]420 ${tail.env_in} := ${Expression_Paths.env_in};
[361]421.)
422Rules for Extended_Return_Exception_Handlers.exception_handler :
423(.
[362]424 ${tail.env_in} := ${Extended_Return_Exception_Handlers.env_in};
[361]425.)
426Rules for Extended_Return_Statements.statement :
427(.
[362]428 ${tail.env_in} := ${Extended_Return_Statements.env_in};
[361]429.)
430Rules for Generic_Actual_Part.generic_association :
431(.
[362]432 ${tail.env_in} := ${Generic_Actual_Part.env_in};
[361]433.)
434Rules for Generic_Formal_Part.generic_formal :
435(.
[362]436 ${tail.env_in} := ${Generic_Formal_Part.env_in};
[361]437.)
438Rules for Handler_Statements.statement :
439(.
[362]440 ${tail.env_in} := ${Handler_Statements.env_in};
[361]441.)
442Rules for Index_Subtype_Definitions.subtype_mark :
443(.
[362]444 ${tail.env_in} := ${Index_Subtype_Definitions.env_in};
[361]445.)
446Rules for Label_Names.defining_identifier :
447(.
[362]448 ${tail.env_in} := ${Label_Names.env_in};
[361]449.)
450Rules for Loop_Statements.statement :
451(.
[362]452 ${tail.env_in} := ${Loop_Statements.env_in};
[361]453.)
454Rules for Membership_Test_Choices.membership_choice :
455(.
[362]456 ${tail.env_in} := ${Membership_Test_Choices.env_in};
[361]457.)
458Rules for Names.defining_identifier :
459(.
[362]460 ${tail.env_in} := ${Names.env_in};
[361]461.)
462Rules for Parameter_Profile.parameter_specification :
463(.
[362]464 ${tail.env_in} := ${Parameter_Profile.env_in};
[361]465.)
466Rules for Pragma_Argument_Associations.pragma_argument_association :
467(.
[362]468 ${tail.env_in} := ${Pragma_Argument_Associations.env_in};
[361]469.)
470Rules for Private_Part_Declarative_Items.basic_declarative_item :
471(.
[362]472 ${tail.env_in} := ${Private_Part_Declarative_Items.env_in};
[361]473.)
474Rules for Private_Protected_Items.protected_element_declaration :
475(.
[362]476 ${tail.env_in} := ${Private_Protected_Items.env_in};
[361]477.)
478Rules for Private_Task_Items.task_item :
479(.
[362]480 ${tail.env_in} := ${Private_Task_Items.env_in};
[361]481.)
482Rules for Progenitor_List.subtype_mark :
483(.
[362]484 ${tail.env_in} := ${Progenitor_List.env_in};
[361]485.)
486Rules for Protected_Operation_Items.protected_operation_item :
487(.
[362]488 ${tail.env_in} := ${Protected_Operation_Items.env_in};
[361]489.)
490Rules for Record_Component_Associations.association :
491(.
[362]492 ${tail.env_in} := ${Record_Component_Associations.env_in};
[361]493.)
494Rules for Record_Components.component_item :
495(.
[362]496 ${tail.env_in} := ${Record_Components.env_in};
[361]497.)
498Rules for Selective_Statement_Paths.select_or_else_path :
499(.
[362]500 ${tail.env_in} := ${Selective_Statement_Paths.env_in};
[361]501.)
502Rules for Sequence_Of_Statements.statement :
503(.
[362]504 ${tail.env_in} := ${Sequence_Of_Statements.env_in};
[361]505.)
506Rules for Statement_Paths.if_elsif_else_path :
507(.
[362]508 ${tail.env_in} := ${Statement_Paths.env_in};
[361]509.)
510Rules for Type_Clause_Names.subtype_mark :
511(.
[362]512 ${tail.env_in} := ${Type_Clause_Names.env_in};
[361]513.)
514Rules for Variant_Choices.discrete_choice :
515(.
[362]516 ${tail.env_in} := ${Variant_Choices.env_in};
[361]517.)
518Rules for Variants.variant :
519(.
[362]520 ${tail.env_in} := ${Variants.env_in};
[361]521.)
522Rules for Visible_Part_Declarative_Items.basic_declarative_item :
523(.
[362]524 ${tail.env_in} := ${Visible_Part_Declarative_Items.env_in};
[361]525.)
526Rules for Visible_Protected_Items.protected_operation_declaration :
527(.
[362]528 ${tail.env_in} := ${Visible_Protected_Items.env_in};
[361]529.)
530Rules for Visible_Task_Items.task_item :
531(.
[362]532 ${tail.env_in} := ${Visible_Task_Items.env_in};
[361]533.)
534Rules for With_Clause_Names.program_unit_name :
535(.
[362]536 ${tail.env_in} := ${With_Clause_Names.env_in};
[361]537.)
[203]538
539Rules for Aborted_Tasks.name :
540(.
541 ${name.env_in} := ${Aborted_Tasks.env_in};
542.)
543
544Rules for Accept_Body_Exception_Handlers.exception_handler :
545(.
546 ${exception_handler.env_in} := ${Accept_Body_Exception_Handlers.env_in};
547.)
548
549Rules for Accept_Body_Statements.statement :
550(.
551 ${statement.env_in} := ${Accept_Body_Statements.env_in};
552.)
553
554Rules for Accept_Parameters.parameter_specification :
555(.
[362]556 ${parameter_specification.env_in} := ${tail.env_out};
[203]557.)
558
559Rules for Access_To_Subprogram_Parameter_Profile.parameter_specification :
560(.
[362]561 ${parameter_specification.env_in} := ${tail.env_out};
[203]562.)
563
564Rules for Array_Component_Choices.discrete_choice :
565(.
566 ${discrete_choice.env_in} := ${Array_Component_Choices.env_in};
567.)
568
569Rules for Aspect_Specifications.aspect_specification :
570(.
571 ${aspect_specification.env_in} := ${Aspect_Specifications.env_in};
572.)
573
574Rules for Associations.association :
575(.
576 ${association.env_in} := ${Associations.env_in};
577.)
578
579Rules for Asynchronous_Statement_Paths.select_then_abort_path :
580(.
581 ${select_then_abort_path.env_in} := ${Asynchronous_Statement_Paths.env_in};
582.)
583
584Rules for Block_Declarative_Items.declarative_item :
585(.
[362]586 ${declarative_item.env_in} := ${tail.env_out};
[203]587.)
588
589Rules for Block_Exception_Handlers.exception_handler :
590(.
591 ${exception_handler.env_in} := ${Block_Exception_Handlers.env_in};
592.)
593
594Rules for Block_Statements.statement :
595(.
596 ${statement.env_in} := ${Block_Statements.env_in};
597.)
598
599Rules for Body_Declarative_Items.declarative_item :
600(.
[362]601 ${declarative_item.env_in} := ${tail.env_out};
[203]602.)
603
604Rules for Body_Exception_Handlers.exception_handler :
605(.
606 ${exception_handler.env_in} := ${Body_Exception_Handlers.env_in};
607.)
608
609Rules for Body_Statements.statement :
610(.
611 ${statement.env_in} := ${Body_Statements.env_in};
612.)
613
614Rules for Case_Expression_Paths.case_expression_path :
615(.
616 ${case_expression_path.env_in} := ${Case_Expression_Paths.env_in};
617.)
618
619Rules for Case_Path_Alternative_Choices.discrete_choice :
620(.
621 ${discrete_choice.env_in} := ${Case_Path_Alternative_Choices.env_in};
622.)
623
624Rules for Case_Statement_Alternative_Choices.discrete_choice :
625(.
626 ${discrete_choice.env_in} := ${Case_Statement_Alternative_Choices.env_in};
627.)
628
629Rules for Case_Statement_Paths.case_path :
630(.
631 ${case_path.env_in} := ${Case_Statement_Paths.env_in};
632.)
633
634Rules for Clause_Names.program_unit_name :
635(.
636 ${program_unit_name.env_in} := ${Clause_Names.env_in};
637.)
638
639Rules for Compilation_Pragmas.context_item :
640(.
[362]641 ${context_item.env_in} := ${tail.env_out};
[203]642.)
643
644Rules for Component_Clauses.clause_or_pragma :
645(.
646 ${clause_or_pragma.env_in} := ${Component_Clauses.env_in};
647.)
648
649Rules for Context_Clause_Elements.context_item :
650(.
[362]651 ${context_item.env_in} := ${tail.env_out};
[203]652.)
653
654Rules for Discrete_Subtype_Definitions.discrete_subtype_definition :
655(.
656 ${discrete_subtype_definition.env_in} := ${Discrete_Subtype_Definitions.env_in};
657.)
658
659Rules for Discriminants.discriminant_specification :
660(.
[362]661 ${discriminant_specification.env_in} := ${tail.env_out};
[203]662.)
663
664Rules for Enumeration_Literal_Declarations.enumeration_literal_specification :
665(.
[362]666 ${enumeration_literal_specification.env_in} := ${tail.env_out};
[203]667.)
668
669Rules for Exception_Choices.exception_choice :
670(.
671 ${exception_choice.env_in} := ${Exception_Choices.env_in};
672.)
673
674Rules for Expression_Paths.if_else_expression_path :
675(.
676 ${if_else_expression_path.env_in} := ${Expression_Paths.env_in};
677.)
678
679Rules for Extended_Return_Exception_Handlers.exception_handler :
680(.
681 ${exception_handler.env_in} := ${Extended_Return_Exception_Handlers.env_in};
682.)
683
684Rules for Extended_Return_Statements.statement :
685(.
686 ${statement.env_in} := ${Extended_Return_Statements.env_in};
687.)
688
689Rules for Generic_Actual_Part.generic_association :
690(.
691 ${generic_association.env_in} := ${Generic_Actual_Part.env_in};
692.)
693
694Rules for Generic_Formal_Part.generic_formal :
695(.
[362]696 ${generic_formal.env_in} := ${tail.env_out};
[203]697.)
698
699Rules for Handler_Statements.statement :
700(.
701 ${statement.env_in} := ${Handler_Statements.env_in};
702.)
703
704Rules for Index_Subtype_Definitions.subtype_mark :
705(.
706 ${subtype_mark.env_in} := ${Index_Subtype_Definitions.env_in};
707.)
708
709Rules for Label_Names.defining_identifier :
710(.
711 ${defining_identifier.env_in} := ${Label_Names.env_in};
712.)
713
714Rules for Loop_Statements.statement :
715(.
716 ${statement.env_in} := ${Loop_Statements.env_in};
717.)
718
719Rules for Membership_Test_Choices.membership_choice :
720(.
721 ${membership_choice.env_in} := ${Membership_Test_Choices.env_in};
722.)
723
724Rules for Names.defining_identifier :
725(.
726 ${defining_identifier.env_in} := ${Names.env_in};
727.)
728
729Rules for Parameter_Profile.parameter_specification :
730(.
[362]731 ${parameter_specification.env_in} := ${tail.env_out};
[203]732.)
733
734Rules for Pragma_Argument_Associations.pragma_argument_association :
735(.
736 ${pragma_argument_association.env_in} := ${Pragma_Argument_Associations.env_in};
737.)
738
739Rules for Private_Part_Declarative_Items.basic_declarative_item :
740(.
[362]741 ${basic_declarative_item.env_in} := ${tail.env_out};
[203]742.)
743
744Rules for Private_Protected_Items.protected_element_declaration :
745(.
[362]746 ${protected_element_declaration.env_in} := ${tail.env_out};
[203]747.)
748
749Rules for Private_Task_Items.task_item :
750(.
[362]751 ${task_item.env_in} := ${tail.env_out};
[203]752.)
753
754Rules for Progenitor_List.subtype_mark :
755(.
756 ${subtype_mark.env_in} := ${Progenitor_List.env_in};
757.)
758
759Rules for Protected_Operation_Items.protected_operation_item :
760(.
[362]761 ${protected_operation_item.env_in} := ${tail.env_out};
[203]762.)
763
764Rules for Record_Component_Associations.association :
765(.
766 ${association.env_in} := ${Record_Component_Associations.env_in};
767.)
768
769Rules for Record_Components.component_item :
770(.
[362]771 ${component_item.env_in} := ${tail.env_out};
[203]772.)
773
774Rules for Selective_Statement_Paths.select_or_else_path :
775(.
776 ${select_or_else_path.env_in} := ${Selective_Statement_Paths.env_in};
777.)
778
779Rules for Sequence_Of_Statements.statement :
780(.
781 ${statement.env_in} := ${Sequence_Of_Statements.env_in};
782.)
783
784Rules for Statement_Paths.if_elsif_else_path :
785(.
786 ${if_elsif_else_path.env_in} := ${Statement_Paths.env_in};
787.)
788
789Rules for Type_Clause_Names.subtype_mark :
790(.
791 ${subtype_mark.env_in} := ${Type_Clause_Names.env_in};
792.)
793
794Rules for Variant_Choices.discrete_choice :
795(.
796 ${discrete_choice.env_in} := ${Variant_Choices.env_in};
797.)
798
799Rules for Variants.variant :
800(.
[362]801 ${variant.env_in} := ${tail.env_out};
[203]802.)
803
804Rules for Visible_Part_Declarative_Items.basic_declarative_item :
805(.
[362]806 ${basic_declarative_item.env_in} := ${tail.env_out};
[203]807.)
808
809Rules for Visible_Protected_Items.protected_operation_declaration :
810(.
[362]811 ${protected_operation_declaration.env_in} := ${tail.env_out};
[203]812.)
813
814Rules for Visible_Task_Items.task_item :
815(.
[362]816 ${task_item.env_in} := ${tail.env_out};
[203]817.)
818
[245]819Rules for With_Clause_Names.program_unit_name :
820(.
821 ${program_unit_name.env_in} := ${With_Clause_Names.env_in};
822.)
823
[203]824Rules for abort_statement. :
825(.
826 ${Aborted_Tasks.env_in} := ${abort_statement.env_in};
827.)
828
829Rules for accept_statement. :
830(.
831 ${Accept_Entry_Direct_Name.env_in} := ${accept_statement.env_in};
832.)
833
834Rules for accept_statement. :
835(.
836 ${Accept_Entry_Index.env_in} := ${accept_statement.env_in};
837.)
838
839Rules for accept_statement. :
840(.
841 ${Accept_Parameters.env_in} := ${accept_statement.env_in};
842.)
843
844Rules for accept_statement. :
845(.
846 ${Accept_Body_Statements.env_in} := ${accept_statement.env_in};
847.)
848
849Rules for accept_statement. :
850(.
851 ${Accept_Body_Exception_Handlers.env_in} := ${accept_statement.env_in};
852.)
853
854Rules for access_to_function_definition. :
855(.
856 ${Access_To_Subprogram_Parameter_Profile.env_in} := ${access_to_function_definition.env_in};
857.)
858
859Rules for access_to_function_definition. :
860(.
861 ${Access_To_Function_Result_Subtype.env_in} := ${access_to_function_definition.env_in};
862.)
863
864Rules for access_to_object_definition. :
865(.
[211]866 ${subtype_indication.env_in} := ${access_to_object_definition.env_in};
[203]867.)
868
869Rules for access_to_procedure_definition. :
870(.
871 ${Access_To_Subprogram_Parameter_Profile.env_in} := ${access_to_procedure_definition.env_in};
872.)
873
874Rules for allocator. :
875(.
876 ${Subpool_Name.env_in} := ${allocator.env_in};
877.)
878
879Rules for allocator. :
880(.
881 ${Subtype_Or_Expression.env_in} := ${allocator.env_in};
882.)
883
884Rules for anonymous_access_to_function_definition. :
885(.
886 ${Access_To_Subprogram_Parameter_Profile.env_in} := ${anonymous_access_to_function_definition.env_in};
887.)
888
889Rules for anonymous_access_to_function_definition. :
890(.
891 ${Access_To_Function_Result_Subtype.env_in} := ${anonymous_access_to_function_definition.env_in};
892.)
893
894Rules for anonymous_access_to_object_definition. :
895(.
896 ${Anonymous_Access_To_Object_Subtype_Mark.env_in} := ${anonymous_access_to_object_definition.env_in};
897.)
898
899Rules for anonymous_access_to_procedure_definition. :
900(.
901 ${Access_To_Subprogram_Parameter_Profile.env_in} := ${anonymous_access_to_procedure_definition.env_in};
902.)
903
904Rules for aspect_specification. :
905(.
906 ${Aspect_Mark.env_in} := ${aspect_specification.env_in};
907.)
908
909Rules for aspect_specification. :
910(.
911 ${Aspect_Definition.env_in} := ${aspect_specification.env_in};
912.)
913
914Rules for assignment_statement. :
915(.
916 ${Assignment_Variable_Name.env_in} := ${assignment_statement.env_in};
917.)
918
919Rules for assignment_statement. :
920(.
921 ${Assignment_Expression.env_in} := ${assignment_statement.env_in};
922.)
923
924Rules for association. :
925(.
926 ${Array_Component_Choices.env_in} := ${association.env_in};
927.)
928
929Rules for association. :
930(.
931 ${Component_Expression.env_in} := ${association.env_in};
932.)
933
934Rules for asynchronous_select. :
935(.
936 ${Asynchronous_Statement_Paths.env_in} := ${asynchronous_select.env_in};
937.)
938
939Rules for at_clause. :
940(.
941 ${Representation_Clause_Name.env_in} := ${at_clause.env_in};
942.)
943
944Rules for at_clause. :
945(.
946 ${Representation_Clause_Expression.env_in} := ${at_clause.env_in};
947.)
948
949Rules for attribute_definition_clause. :
950(.
951 ${Representation_Clause_Name.env_in} := ${attribute_definition_clause.env_in};
952.)
953
954Rules for attribute_definition_clause. :
955(.
956 ${Representation_Clause_Expression.env_in} := ${attribute_definition_clause.env_in};
957.)
958
959Rules for attribute_reference. :
960(.
961 ${prefix.env_in} := ${attribute_reference.env_in};
962.)
963
964Rules for attribute_reference. :
965(.
966 ${Attribute_Designator_Identifier.env_in} := ${attribute_reference.env_in};
967.)
968
969Rules for attribute_reference. :
970(.
971 ${Attribute_Designator_Expressions.env_in} := ${attribute_reference.env_in};
972.)
973
974Rules for block_statement. :
975(.
976 ${Block_Declarative_Items.env_in} := ${block_statement.env_in};
977.)
978
979Rules for block_statement. :
980(.
981 ${Block_Statements.env_in} := ${block_statement.env_in};
982.)
983
984Rules for block_statement. :
985(.
986 ${Block_Exception_Handlers.env_in} := ${block_statement.env_in};
987.)
988
989Rules for case_expression. :
990(.
[211]991 ${expression.env_in} := ${case_expression.env_in};
[203]992.)
993
994Rules for case_expression. :
995(.
996 ${Case_Expression_Paths.env_in} := ${case_expression.env_in};
997.)
998
999Rules for case_expression_path. :
1000(.
1001 ${Case_Path_Alternative_Choices.env_in} := ${case_expression_path.env_in};
1002.)
1003
1004Rules for case_expression_path. :
1005(.
1006 ${Dependent_Expression.env_in} := ${case_expression_path.env_in};
1007.)
1008
1009Rules for case_path. :
1010(.
1011 ${Case_Statement_Alternative_Choices.env_in} := ${case_path.env_in};
1012.)
1013
1014Rules for case_path. :
1015(.
1016 ${Sequence_Of_Statements.env_in} := ${case_path.env_in};
1017.)
1018
1019Rules for case_statement. :
1020(.
1021 ${Case_Expression.env_in} := ${case_statement.env_in};
1022.)
1023
1024Rules for case_statement. :
1025(.
1026 ${Case_Statement_Paths.env_in} := ${case_statement.env_in};
1027.)
1028
1029Rules for choice_parameter_specification.Names :
1030(.
1031 ${Names.env_in} := ${choice_parameter_specification.env_in};
1032.)
1033
1034Rules for compilation_unit_body. :
1035(.
[312]1036 ${Context_Clause_Elements.env_in} :=
1037 Self.Compilation.Context.Environment_Set.Library_Level_Environment;
[203]1038.)
1039
1040Rules for compilation_unit_body. :
1041(.
[316]1042 -- depends on ${Context_Clause_Elements.env_out}
[312]1043 ${Unit_Declaration.env_in} :=
1044 Self.Compilation.Context.Environment_Set.Library_Level_Environment;
[203]1045.)
1046
1047Rules for compilation_unit_declaration. :
1048(.
[312]1049 ${Context_Clause_Elements.env_in} :=
1050 Self.Compilation.Context.Environment_Set.Library_Level_Environment;
[203]1051.)
1052
1053Rules for compilation_unit_declaration. :
1054(.
[312]1055 -- depends on ${Context_Clause_Elements.env_out}
1056 -- depends on ${Unit_Declaration.full_name}???
1057 ${Unit_Declaration.env_in} :=
1058 Self.Compilation.Context.Environment_Set.Library_Level_Environment;
[203]1059.)
1060
1061Rules for component_clause. :
1062(.
1063 ${Representation_Clause_Name.env_in} := ${component_clause.env_in};
1064.)
1065
1066Rules for component_clause. :
1067(.
1068 ${Component_Clause_Position.env_in} := ${component_clause.env_in};
1069.)
1070
1071Rules for component_clause. :
1072(.
1073 ${Component_Clause_Range.env_in} := ${component_clause.env_in};
1074.)
1075
1076Rules for component_declaration. :
1077(.
1078 ${Names.env_in} := ${component_declaration.env_in};
1079.)
1080
1081Rules for component_declaration. :
1082(.
1083 ${Object_Declaration_Subtype.env_in} := ${component_declaration.env_in};
1084.)
1085
1086Rules for component_declaration. :
1087(.
1088 ${Initialization_Expression.env_in} := ${component_declaration.env_in};
1089.)
1090
1091Rules for component_declaration. :
1092(.
1093 ${Aspect_Specifications.env_in} := ${component_declaration.env_in};
1094.)
1095
1096Rules for component_definition. :
1097(.
1098 ${Component_Subtype_Indication.env_in} := ${component_definition.env_in};
1099.)
1100
1101Rules for composite_constraint. :
1102(.
1103 ${Associations.env_in} := ${composite_constraint.env_in};
1104.)
1105
1106Rules for constrained_array_definition. :
1107(.
1108 ${Discrete_Subtype_Definitions.env_in} := ${constrained_array_definition.env_in};
1109.)
1110
1111Rules for constrained_array_definition. :
1112(.
1113 ${Array_Component_Definition.env_in} := ${constrained_array_definition.env_in};
1114.)
1115
1116Rules for decimal_fixed_point_definition. :
1117(.
1118 ${Delta_Expression.env_in} := ${decimal_fixed_point_definition.env_in};
1119.)
1120
1121Rules for decimal_fixed_point_definition. :
1122(.
1123 ${Digits_Expression.env_in} := ${decimal_fixed_point_definition.env_in};
1124.)
1125
1126Rules for decimal_fixed_point_definition. :
1127(.
1128 ${Real_Range_Constraint.env_in} := ${decimal_fixed_point_definition.env_in};
1129.)
1130
1131Rules for defining_expanded_unit_name. :
1132(.
[296]1133 -- depend on ${defining_expanded_unit_name.env_in};
[312]1134 ${Defining_Prefix.env_in} :=
1135 Self.Compilation.Context.Environment_Set.Library_Level_Environment;
[203]1136.)
1137
1138Rules for defining_expanded_unit_name. :
1139(.
1140 ${Defining_Selector.env_in} := ${defining_expanded_unit_name.env_in};
1141.)
1142
1143Rules for delay_statement. :
1144(.
1145 ${Delay_Expression.env_in} := ${delay_statement.env_in};
1146.)
1147
1148Rules for delta_constraint. :
1149(.
1150 ${Delta_Expression.env_in} := ${delta_constraint.env_in};
1151.)
1152
1153Rules for delta_constraint. :
1154(.
1155 ${Real_Range_Constraint.env_in} := ${delta_constraint.env_in};
1156.)
1157
1158Rules for derived_record_definition. :
1159(.
1160 ${Parent_Subtype_Indication.env_in} := ${derived_record_definition.env_in};
1161.)
1162
1163Rules for derived_record_definition. :
1164(.
1165 ${Progenitor_List.env_in} := ${derived_record_definition.env_in};
1166.)
1167
1168Rules for derived_record_definition. :
1169(.
1170 ${Record_Definition.env_in} := ${derived_record_definition.env_in};
1171.)
1172
1173Rules for derived_type_definition. :
1174(.
1175 ${Parent_Subtype_Indication.env_in} := ${derived_type_definition.env_in};
1176.)
1177
1178Rules for digits_constraint. :
1179(.
1180 ${Digits_Expression.env_in} := ${digits_constraint.env_in};
1181.)
1182
1183Rules for digits_constraint. :
1184(.
1185 ${Real_Range_Constraint.env_in} := ${digits_constraint.env_in};
1186.)
1187
1188Rules for discrete_range_attribute_reference.Range_Attribute :
1189(.
1190 ${Range_Attribute.env_in} := ${discrete_range_attribute_reference.env_in};
1191.)
1192
1193Rules for discrete_simple_expression_range. :
1194(.
1195 ${Lower_Bound.env_in} := ${discrete_simple_expression_range.env_in};
1196.)
1197
1198Rules for discrete_simple_expression_range. :
1199(.
1200 ${Upper_Bound.env_in} := ${discrete_simple_expression_range.env_in};
1201.)
1202
1203Rules for discrete_subtype_indication. :
1204(.
1205 ${Subtype_Mark.env_in} := ${discrete_subtype_indication.env_in};
1206.)
1207
1208Rules for discrete_subtype_indication. :
1209(.
1210 ${Subtype_Constraint.env_in} := ${discrete_subtype_indication.env_in};
1211.)
1212
1213Rules for discrete_subtype_indication_dr. :
1214(.
1215 ${Subtype_Mark.env_in} := ${discrete_subtype_indication_dr.env_in};
1216.)
1217
1218Rules for discrete_subtype_indication_dr. :
1219(.
1220 ${Subtype_Constraint.env_in} := ${discrete_subtype_indication_dr.env_in};
1221.)
1222
1223Rules for discriminant_specification. :
1224(.
1225 ${Names.env_in} := ${discriminant_specification.env_in};
1226.)
1227
1228Rules for discriminant_specification. :
1229(.
1230 ${Object_Declaration_Subtype.env_in} := ${discriminant_specification.env_in};
1231.)
1232
1233Rules for discriminant_specification. :
1234(.
1235 ${Initialization_Expression.env_in} := ${discriminant_specification.env_in};
1236.)
1237
1238Rules for element_iterator_specification. :
1239(.
1240 ${Names.env_in} := ${element_iterator_specification.env_in};
1241.)
1242
1243Rules for element_iterator_specification. :
1244(.
1245 ${subtype_indication.env_in} := ${element_iterator_specification.env_in};
1246.)
1247
1248Rules for element_iterator_specification. :
1249(.
1250 ${Iteration_Scheme_Name.env_in} := ${element_iterator_specification.env_in};
1251.)
1252
1253Rules for else_expression_path. :
1254(.
1255 ${Dependent_Expression.env_in} := ${else_expression_path.env_in};
1256.)
1257
1258Rules for else_path. :
1259(.
1260 ${Sequence_Of_Statements.env_in} := ${else_path.env_in};
1261.)
1262
1263Rules for elsif_expression_path. :
1264(.
1265 ${Condition_Expression.env_in} := ${elsif_expression_path.env_in};
1266.)
1267
1268Rules for elsif_expression_path. :
1269(.
1270 ${Dependent_Expression.env_in} := ${elsif_expression_path.env_in};
1271.)
1272
1273Rules for elsif_path. :
1274(.
1275 ${Condition_Expression.env_in} := ${elsif_path.env_in};
1276.)
1277
1278Rules for elsif_path. :
1279(.
1280 ${Sequence_Of_Statements.env_in} := ${elsif_path.env_in};
1281.)
1282
1283Rules for entry_body. :
1284(.
1285 ${Names.env_in} := ${entry_body.env_in};
1286.)
1287
1288Rules for entry_body. :
1289(.
1290 ${Entry_Index_Specification.env_in} := ${entry_body.env_in};
1291.)
1292
1293Rules for entry_body. :
1294(.
1295 ${Parameter_Profile.env_in} := ${entry_body.env_in};
1296.)
1297
1298Rules for entry_body. :
1299(.
1300 ${Entry_Barrier.env_in} := ${entry_body.env_in};
1301.)
1302
1303Rules for entry_body. :
1304(.
1305 ${Body_Declarative_Items.env_in} := ${entry_body.env_in};
1306.)
1307
1308Rules for entry_body. :
1309(.
1310 ${Body_Statements.env_in} := ${entry_body.env_in};
1311.)
1312
1313Rules for entry_body. :
1314(.
1315 ${Body_Exception_Handlers.env_in} := ${entry_body.env_in};
1316.)
1317
1318Rules for entry_declaration. :
1319(.
1320 ${Names.env_in} := ${entry_declaration.env_in};
1321.)
1322
1323Rules for entry_declaration. :
1324(.
1325 ${Entry_Family_Definition.env_in} := ${entry_declaration.env_in};
1326.)
1327
1328Rules for entry_declaration. :
1329(.
1330 ${Parameter_Profile.env_in} := ${entry_declaration.env_in};
1331.)
1332
1333Rules for entry_declaration. :
1334(.
1335 ${Aspect_Specifications.env_in} := ${entry_declaration.env_in};
1336.)
1337
1338Rules for entry_index_specification. :
1339(.
1340 ${Names.env_in} := ${entry_index_specification.env_in};
1341.)
1342
1343Rules for entry_index_specification. :
1344(.
1345 ${Specification_Subtype_Definition.env_in} := ${entry_index_specification.env_in};
1346.)
1347
1348Rules for enumeration_literal_specification.Names :
1349(.
1350 ${Names.env_in} := ${enumeration_literal_specification.env_in};
1351.)
1352
1353Rules for enumeration_type_definition. :
1354(.
1355 ${Enumeration_Literal_Declarations.env_in} := ${enumeration_type_definition.env_in};
1356.)
1357
1358Rules for exception_declaration. :
1359(.
1360 ${Names.env_in} := ${exception_declaration.env_in};
1361.)
1362
1363Rules for exception_declaration. :
1364(.
[292]1365 ${Aspect_Specifications.env_in} :=
1366 Gela.Pass_Utils.Add_Names_Create_Region
1367 (Self.Compilation,
1368 ${exception_declaration.env_in},
1369 ${Names.name_list},
1370 Names);
[203]1371.)
1372
1373Rules for exception_handler. :
1374(.
1375 ${Choice_Parameter_Specification.env_in} := ${exception_handler.env_in};
1376.)
1377
1378Rules for exception_handler. :
1379(.
1380 ${Exception_Choices.env_in} := ${exception_handler.env_in};
1381.)
1382
1383Rules for exception_handler. :
1384(.
1385 ${Handler_Statements.env_in} := ${exception_handler.env_in};
1386.)
1387
1388Rules for exception_renaming_declaration. :
1389(.
1390 ${Names.env_in} := ${exception_renaming_declaration.env_in};
1391.)
1392
1393Rules for exception_renaming_declaration. :
1394(.
1395 ${Renamed_Entity.env_in} := ${exception_renaming_declaration.env_in};
1396.)
1397
1398Rules for exception_renaming_declaration. :
1399(.
1400 ${Aspect_Specifications.env_in} := ${exception_renaming_declaration.env_in};
1401.)
1402
1403Rules for exit_statement. :
1404(.
1405 ${Exit_Loop_Name.env_in} := ${exit_statement.env_in};
1406.)
1407
1408Rules for exit_statement. :
1409(.
1410 ${Exit_Condition.env_in} := ${exit_statement.env_in};
1411.)
1412
1413Rules for explicit_dereference. :
1414(.
1415 ${Prefix.env_in} := ${explicit_dereference.env_in};
1416.)
1417
1418Rules for extended_return_statement. :
1419(.
1420 ${Return_Object_Specification.env_in} := ${extended_return_statement.env_in};
1421.)
1422
1423Rules for extended_return_statement. :
1424(.
1425 ${Extended_Return_Statements.env_in} := ${extended_return_statement.env_in};
1426.)
1427
1428Rules for extended_return_statement. :
1429(.
1430 ${Extended_Return_Exception_Handlers.env_in} := ${extended_return_statement.env_in};
1431.)
1432
1433Rules for extension_aggregate. :
1434(.
1435 ${Extension_Aggregate_Expression.env_in} := ${extension_aggregate.env_in};
1436.)
1437
1438Rules for extension_aggregate. :
1439(.
1440 ${Record_Component_Associations.env_in} := ${extension_aggregate.env_in};
1441.)
1442
1443Rules for floating_point_definition. :
1444(.
1445 ${Digits_Expression.env_in} := ${floating_point_definition.env_in};
1446.)
1447
1448Rules for floating_point_definition. :
1449(.
1450 ${Real_Range_Constraint.env_in} := ${floating_point_definition.env_in};
1451.)
1452
1453Rules for for_loop_statement. :
1454(.
1455 ${Loop_Parameter_Specification.env_in} := ${for_loop_statement.env_in};
1456.)
1457
1458Rules for for_loop_statement. :
1459(.
1460 ${Loop_Statements.env_in} := ${for_loop_statement.env_in};
1461.)
1462
1463Rules for formal_access_to_function_definition. :
1464(.
1465 ${Access_To_Subprogram_Parameter_Profile.env_in} := ${formal_access_to_function_definition.env_in};
1466.)
1467
1468Rules for formal_access_to_function_definition. :
1469(.
1470 ${Access_To_Function_Result_Subtype.env_in} := ${formal_access_to_function_definition.env_in};
1471.)
1472
1473Rules for formal_access_to_object_definition. :
1474(.
[211]1475 ${subtype_indication.env_in} := ${formal_access_to_object_definition.env_in};
[203]1476.)
1477
1478Rules for formal_access_to_procedure_definition. :
1479(.
1480 ${Access_To_Subprogram_Parameter_Profile.env_in} := ${formal_access_to_procedure_definition.env_in};
1481.)
1482
1483Rules for formal_constrained_array_definition. :
1484(.
1485 ${Discrete_Subtype_Definitions.env_in} := ${formal_constrained_array_definition.env_in};
1486.)
1487
1488Rules for formal_constrained_array_definition. :
1489(.
1490 ${Array_Component_Definition.env_in} := ${formal_constrained_array_definition.env_in};
1491.)
1492
1493Rules for formal_derived_type_definition. :
1494(.
1495 ${Subtype_Mark.env_in} := ${formal_derived_type_definition.env_in};
1496.)
1497
1498Rules for formal_derived_type_definition. :
1499(.
1500 ${Progenitor_List.env_in} := ${formal_derived_type_definition.env_in};
1501.)
1502
1503Rules for formal_derived_type_definition. :
1504(.
1505 ${Aspect_Specifications.env_in} := ${formal_derived_type_definition.env_in};
1506.)
1507
1508Rules for formal_function_declaration. :
1509(.
1510 ${Names.env_in} := ${formal_function_declaration.env_in};
1511.)
1512
1513Rules for formal_function_declaration. :
1514(.
1515 ${Parameter_Profile.env_in} := ${formal_function_declaration.env_in};
1516.)
1517
1518Rules for formal_function_declaration. :
1519(.
1520 ${Result_Subtype.env_in} := ${formal_function_declaration.env_in};
1521.)
1522
1523Rules for formal_function_declaration. :
1524(.
1525 ${Formal_Subprogram_Default.env_in} := ${formal_function_declaration.env_in};
1526.)
1527
1528Rules for formal_function_declaration. :
1529(.
1530 ${Aspect_Specifications.env_in} := ${formal_function_declaration.env_in};
1531.)
1532
1533Rules for formal_incomplete_type_declaration. :
1534(.
1535 ${Names.env_in} := ${formal_incomplete_type_declaration.env_in};
1536.)
1537
1538Rules for formal_incomplete_type_declaration. :
1539(.
1540 ${Discriminant_Part.env_in} := ${formal_incomplete_type_declaration.env_in};
1541.)
1542
1543Rules for formal_interface_type_definition. :
1544(.
1545 ${Progenitor_List.env_in} := ${formal_interface_type_definition.env_in};
1546.)
1547
1548Rules for formal_object_declaration. :
1549(.
1550 ${Names.env_in} := ${formal_object_declaration.env_in};
1551.)
1552
1553Rules for formal_object_declaration. :
1554(.
1555 ${Object_Declaration_Subtype.env_in} := ${formal_object_declaration.env_in};
1556.)
1557
1558Rules for formal_object_declaration. :
1559(.
1560 ${Initialization_Expression.env_in} := ${formal_object_declaration.env_in};
1561.)
1562
1563Rules for formal_object_declaration. :
1564(.
1565 ${Aspect_Specifications.env_in} := ${formal_object_declaration.env_in};
1566.)
1567
1568Rules for formal_package_declaration. :
1569(.
1570 ${Names.env_in} := ${formal_package_declaration.env_in};
1571.)
1572
1573Rules for formal_package_declaration. :
1574(.
1575 ${Generic_Unit_Name.env_in} := ${formal_package_declaration.env_in};
1576.)
1577
1578Rules for formal_package_declaration. :
1579(.
1580 ${Generic_Actual_Part.env_in} := ${formal_package_declaration.env_in};
1581.)
1582
1583Rules for formal_package_declaration. :
1584(.
1585 ${Aspect_Specifications.env_in} := ${formal_package_declaration.env_in};
1586.)
1587
1588Rules for formal_procedure_declaration. :
1589(.
1590 ${Names.env_in} := ${formal_procedure_declaration.env_in};
1591.)
1592
1593Rules for formal_procedure_declaration. :
1594(.
1595 ${Parameter_Profile.env_in} := ${formal_procedure_declaration.env_in};
1596.)
1597
1598Rules for formal_procedure_declaration. :
1599(.
1600 ${Formal_Subprogram_Default.env_in} := ${formal_procedure_declaration.env_in};
1601.)
1602
1603Rules for formal_procedure_declaration. :
1604(.
1605 ${Aspect_Specifications.env_in} := ${formal_procedure_declaration.env_in};
1606.)
1607
1608Rules for formal_type_declaration. :
1609(.
1610 ${Names.env_in} := ${formal_type_declaration.env_in};
1611.)
1612
1613Rules for formal_type_declaration. :
1614(.
1615 ${Discriminant_Part.env_in} := ${formal_type_declaration.env_in};
1616.)
1617
1618Rules for formal_type_declaration. :
1619(.
1620 ${Type_Declaration_View.env_in} := ${formal_type_declaration.env_in};
1621.)
1622
1623Rules for formal_type_declaration. :
1624(.
1625 ${Aspect_Specifications.env_in} := ${formal_type_declaration.env_in};
1626.)
1627
1628Rules for formal_unconstrained_array_definition. :
1629(.
1630 ${Index_Subtype_Definitions.env_in} := ${formal_unconstrained_array_definition.env_in};
1631.)
1632
1633Rules for formal_unconstrained_array_definition. :
1634(.
1635 ${Array_Component_Definition.env_in} := ${formal_unconstrained_array_definition.env_in};
1636.)
1637
1638Rules for full_type_declaration. :
1639(.
1640 ${Names.env_in} := ${full_type_declaration.env_in};
1641.)
1642
1643Rules for full_type_declaration. :
1644(.
[264]1645 ${Discriminant_Part.env_in} :=
1646 Gela.Pass_Utils.Add_Name_Create_Region
1647 (Self.Compilation,
1648 ${full_type_declaration.env_in},
1649 ${Names.full_name},
[299]1650 Gela.Elements.Defining_Names.Defining_Name_Access (Names),
1651 Gela.Elements.Element_Access (Node));
[264]1652 -- FIXME: dont create region for enums and completions
[203]1653.)
1654
1655Rules for full_type_declaration. :
1656(.
[264]1657 ${Type_Declaration_View.env_in} := ${Discriminant_Part.env_out:Discriminant_Part_Env_In};
[203]1658.)
1659
1660Rules for full_type_declaration. :
1661(.
[264]1662 ${Aspect_Specifications.env_in} := ${Type_Declaration_View.env_out};
[203]1663.)
1664
1665Rules for function_body. :
1666(.
1667 ${Names.env_in} := ${function_body.env_in};
1668.)
1669
1670Rules for function_body. :
1671(.
1672 ${Parameter_Profile.env_in} := ${function_body.env_in};
1673.)
1674
1675Rules for function_body. :
1676(.
1677 ${Result_Subtype.env_in} := ${function_body.env_in};
1678.)
1679
1680Rules for function_body. :
1681(.
1682 ${Aspect_Specifications.env_in} := ${function_body.env_in};
1683.)
1684
1685Rules for function_body. :
1686(.
1687 ${Body_Declarative_Items.env_in} := ${function_body.env_in};
1688.)
1689
1690Rules for function_body. :
1691(.
1692 ${Body_Statements.env_in} := ${function_body.env_in};
1693.)
1694
1695Rules for function_body. :
1696(.
1697 ${Body_Exception_Handlers.env_in} := ${function_body.env_in};
1698.)
1699
1700Rules for function_body. :
1701(.
1702 ${end_name.env_in} := ${function_body.env_in};
1703.)
1704
[349]1705Rules for auxiliary_apply. :
[203]1706(.
[349]1707 ${prefix.env_in} := ${auxiliary_apply.env_in};
[203]1708.)
1709
[349]1710Rules for auxiliary_apply. :
[203]1711(.
[349]1712 ${Function_Call_Parameters.env_in} := ${auxiliary_apply.env_in};
[203]1713.)
1714
1715Rules for function_declaration. :
1716(.
1717 ${Names.env_in} := ${function_declaration.env_in};
1718.)
1719
1720Rules for function_declaration. :
1721(.
1722 ${Parameter_Profile.env_in} := ${function_declaration.env_in};
1723.)
1724
1725Rules for function_declaration. :
1726(.
1727 ${Result_Subtype.env_in} := ${function_declaration.env_in};
1728.)
1729
1730Rules for function_declaration. :
1731(.
1732 ${Result_Expression.env_in} := ${function_declaration.env_in};
1733.)
1734
1735Rules for function_declaration. :
1736(.
1737 ${Renamed_Entity.env_in} := ${function_declaration.env_in};
1738.)
1739
1740Rules for function_declaration. :
1741(.
1742 ${Aspect_Specifications.env_in} := ${function_declaration.env_in};
1743.)
1744
1745Rules for function_instantiation. :
1746(.
1747 ${Names.env_in} := ${function_instantiation.env_in};
1748.)
1749
1750Rules for function_instantiation. :
1751(.
1752 ${Generic_Unit_Name.env_in} := ${function_instantiation.env_in};
1753.)
1754
1755Rules for function_instantiation. :
1756(.
1757 ${Generic_Actual_Part.env_in} := ${function_instantiation.env_in};
1758.)
1759
1760Rules for function_instantiation. :
1761(.
1762 ${Aspect_Specifications.env_in} := ${function_instantiation.env_in};
1763.)
1764
1765Rules for generalized_iterator_specification. :
1766(.
1767 ${Names.env_in} := ${generalized_iterator_specification.env_in};
1768.)
1769
1770Rules for generalized_iterator_specification. :
1771(.
1772 ${Iteration_Scheme_Name.env_in} := ${generalized_iterator_specification.env_in};
1773.)
1774
1775Rules for generic_association. :
1776(.
1777 ${Formal_Parameter.env_in} := ${generic_association.env_in};
1778.)
1779
1780Rules for generic_association. :
1781(.
1782 ${Actual_Parameter.env_in} := ${generic_association.env_in};
1783.)
1784
1785Rules for generic_function_declaration. :
1786(.
1787 ${Generic_Formal_Part.env_in} := ${generic_function_declaration.env_in};
1788.)
1789
1790Rules for generic_function_declaration. :
1791(.
1792 ${Names.env_in} := ${generic_function_declaration.env_in};
1793.)
1794
1795Rules for generic_function_declaration. :
1796(.
1797 ${Parameter_Profile.env_in} := ${generic_function_declaration.env_in};
1798.)
1799
1800Rules for generic_function_declaration. :
1801(.
1802 ${Result_Subtype.env_in} := ${generic_function_declaration.env_in};
1803.)
1804
1805Rules for generic_function_declaration. :
1806(.
1807 ${Aspect_Specifications.env_in} := ${generic_function_declaration.env_in};
1808.)
1809
1810Rules for generic_function_renaming. :
1811(.
1812 ${Generic_Formal_Part.env_in} := ${generic_function_renaming.env_in};
1813.)
1814
1815Rules for generic_function_renaming. :
1816(.
1817 ${Names.env_in} := ${generic_function_renaming.env_in};
1818.)
1819
1820Rules for generic_function_renaming. :
1821(.
1822 ${Renamed_Entity.env_in} := ${generic_function_renaming.env_in};
1823.)
1824
1825Rules for generic_function_renaming. :
1826(.
1827 ${Aspect_Specifications.env_in} := ${generic_function_renaming.env_in};
1828.)
1829
[202]1830Rules for generic_package_declaration. :
1831(.
[203]1832 ${Generic_Formal_Part.env_in} := ${generic_package_declaration.env_in};
1833.)
1834
1835Rules for generic_package_declaration. :
1836(.
1837 ${Names.env_in} := ${generic_package_declaration.env_in};
1838.)
1839
1840Rules for generic_package_declaration. :
1841(.
1842 ${Aspect_Specifications.env_in} := ${generic_package_declaration.env_in};
1843.)
1844
1845Rules for generic_package_declaration. :
1846(.
1847 ${Visible_Part_Declarative_Items.env_in} := ${generic_package_declaration.env_in};
1848.)
1849
1850Rules for generic_package_declaration. :
1851(.
1852 ${Private_Part_Declarative_Items.env_in} := ${generic_package_declaration.env_in};
1853.)
1854
1855Rules for generic_package_declaration. :
1856(.
1857 ${end_name.env_in} := ${generic_package_declaration.env_in};
1858.)
1859
1860Rules for generic_package_renaming. :
1861(.
1862 ${Generic_Formal_Part.env_in} := ${generic_package_renaming.env_in};
1863.)
1864
1865Rules for generic_package_renaming. :
1866(.
1867 ${Names.env_in} := ${generic_package_renaming.env_in};
1868.)
1869
1870Rules for generic_package_renaming. :
1871(.
1872 ${Renamed_Entity.env_in} := ${generic_package_renaming.env_in};
1873.)
1874
1875Rules for generic_package_renaming. :
1876(.
1877 ${Aspect_Specifications.env_in} := ${generic_package_renaming.env_in};
1878.)
1879
1880Rules for generic_procedure_declaration. :
1881(.
1882 ${Generic_Formal_Part.env_in} := ${generic_procedure_declaration.env_in};
1883.)
1884
1885Rules for generic_procedure_declaration. :
1886(.
1887 ${Names.env_in} := ${generic_procedure_declaration.env_in};
1888.)
1889
1890Rules for generic_procedure_declaration. :
1891(.
1892 ${Parameter_Profile.env_in} := ${generic_procedure_declaration.env_in};
1893.)
1894
1895Rules for generic_procedure_declaration. :
1896(.
1897 ${Aspect_Specifications.env_in} := ${generic_procedure_declaration.env_in};
1898.)
1899
1900Rules for generic_procedure_renaming. :
1901(.
1902 ${Generic_Formal_Part.env_in} := ${generic_procedure_renaming.env_in};
1903.)
1904
1905Rules for generic_procedure_renaming. :
1906(.
1907 ${Names.env_in} := ${generic_procedure_renaming.env_in};
1908.)
1909
1910Rules for generic_procedure_renaming. :
1911(.
1912 ${Renamed_Entity.env_in} := ${generic_procedure_renaming.env_in};
1913.)
1914
1915Rules for generic_procedure_renaming. :
1916(.
1917 ${Aspect_Specifications.env_in} := ${generic_procedure_renaming.env_in};
1918.)
1919
1920Rules for goto_statement. :
1921(.
1922 ${Goto_Label.env_in} := ${goto_statement.env_in};
1923.)
1924
1925Rules for if_expression.Expression_Paths :
1926(.
1927 ${Expression_Paths.env_in} := ${if_expression.env_in};
1928.)
1929
1930Rules for if_expression_path. :
1931(.
1932 ${Condition_Expression.env_in} := ${if_expression_path.env_in};
1933.)
1934
1935Rules for if_expression_path. :
1936(.
1937 ${Dependent_Expression.env_in} := ${if_expression_path.env_in};
1938.)
1939
1940Rules for if_path. :
1941(.
1942 ${Condition_Expression.env_in} := ${if_path.env_in};
1943.)
1944
1945Rules for if_path. :
1946(.
1947 ${Sequence_Of_Statements.env_in} := ${if_path.env_in};
1948.)
1949
1950Rules for if_statement. :
1951(.
1952 ${Statement_Paths.env_in} := ${if_statement.env_in};
1953.)
1954
1955Rules for incomplete_type_declaration. :
1956(.
1957 ${Names.env_in} := ${incomplete_type_declaration.env_in};
1958.)
1959
1960Rules for incomplete_type_declaration. :
1961(.
1962 ${Discriminant_Part.env_in} := ${incomplete_type_declaration.env_in};
1963.)
1964
1965Rules for interface_type_definition. :
1966(.
1967 ${Progenitor_List.env_in} := ${interface_type_definition.env_in};
1968.)
1969
1970Rules for known_discriminant_part. :
1971(.
1972 ${Discriminants.env_in} := ${known_discriminant_part.env_in};
1973.)
1974
1975Rules for label_decorator. :
1976(.
1977 ${Label_Names.env_in} := ${label_decorator.env_in};
1978.)
1979
1980Rules for label_decorator. :
1981(.
1982 ${Unlabeled_Statement.env_in} := ${label_decorator.env_in};
1983.)
1984
1985Rules for loop_parameter_specification. :
1986(.
1987 ${Names.env_in} := ${loop_parameter_specification.env_in};
1988.)
1989
1990Rules for loop_parameter_specification. :
1991(.
1992 ${Specification_Subtype_Definition.env_in} := ${loop_parameter_specification.env_in};
1993.)
1994
1995Rules for loop_statement. :
1996(.
1997 ${Loop_Statements.env_in} := ${loop_statement.env_in};
1998.)
1999
2000Rules for membership_test. :
2001(.
2002 ${Membership_Test_Expression.env_in} := ${membership_test.env_in};
2003.)
2004
2005Rules for membership_test. :
2006(.
2007 ${Membership_Test_Choices.env_in} := ${membership_test.env_in};
2008.)
2009
2010Rules for modular_type_definition. :
2011(.
2012 ${Mod_Static_Expression.env_in} := ${modular_type_definition.env_in};
2013.)
2014
2015Rules for number_declaration. :
2016(.
2017 ${Names.env_in} := ${number_declaration.env_in};
2018.)
2019
2020Rules for number_declaration. :
2021(.
2022 ${Initialization_Expression.env_in} := ${number_declaration.env_in};
2023.)
2024
2025Rules for object_declaration. :
2026(.
2027 ${Names.env_in} := ${object_declaration.env_in};
2028.)
2029
2030Rules for object_declaration. :
2031(.
2032 ${Object_Declaration_Subtype.env_in} := ${object_declaration.env_in};
2033.)
2034
2035Rules for object_declaration. :
2036(.
2037 ${Initialization_Expression.env_in} := ${object_declaration.env_in};
2038.)
2039
2040Rules for object_declaration. :
2041(.
2042 ${Aspect_Specifications.env_in} := ${object_declaration.env_in};
2043.)
2044
2045Rules for object_renaming_declaration. :
2046(.
2047 ${Names.env_in} := ${object_renaming_declaration.env_in};
2048.)
2049
2050Rules for object_renaming_declaration. :
2051(.
2052 ${Object_Declaration_Subtype.env_in} := ${object_renaming_declaration.env_in};
2053.)
2054
2055Rules for object_renaming_declaration. :
2056(.
2057 ${Renamed_Entity.env_in} := ${object_renaming_declaration.env_in};
2058.)
2059
2060Rules for object_renaming_declaration. :
2061(.
2062 ${Aspect_Specifications.env_in} := ${object_renaming_declaration.env_in};
2063.)
2064
2065Rules for ordinary_fixed_point_definition. :
2066(.
2067 ${Delta_Expression.env_in} := ${ordinary_fixed_point_definition.env_in};
2068.)
2069
2070Rules for ordinary_fixed_point_definition. :
2071(.
2072 ${Real_Range_Constraint.env_in} := ${ordinary_fixed_point_definition.env_in};
2073.)
2074
2075Rules for package_body. :
2076(.
2077 ${Names.env_in} := ${package_body.env_in};
2078.)
2079
2080Rules for package_body. :
2081(.
2082 ${Aspect_Specifications.env_in} := ${package_body.env_in};
2083.)
2084
2085Rules for package_body. :
2086(.
2087 ${Body_Declarative_Items.env_in} := ${package_body.env_in};
2088.)
2089
2090Rules for package_body. :
2091(.
2092 ${Body_Statements.env_in} := ${package_body.env_in};
2093.)
2094
2095Rules for package_body. :
2096(.
2097 ${Body_Exception_Handlers.env_in} := ${package_body.env_in};
2098.)
2099
2100Rules for package_body. :
2101(.
2102 ${end_name.env_in} := ${package_body.env_in};
2103.)
2104
2105Rules for package_body_stub. :
2106(.
2107 ${Names.env_in} := ${package_body_stub.env_in};
2108.)
2109
2110Rules for package_body_stub. :
2111(.
2112 ${Aspect_Specifications.env_in} := ${package_body_stub.env_in};
2113.)
2114
[202]2115Rules for package_declaration. :
2116(.
[203]2117 ${Names.env_in} := ${package_declaration.env_in};
2118.)
2119
2120Rules for package_declaration. :
2121(.
2122 ${Aspect_Specifications.env_in} := ${package_declaration.env_in};
2123.)
2124
2125Rules for package_declaration. :
2126(.
[264]2127 ${Visible_Part_Declarative_Items.env_in} :=
2128 Gela.Pass_Utils.Add_Name_Create_Region
2129 (Self.Compilation,
2130 ${package_declaration.env_in},
2131 ${Names.full_name},
[299]2132 Gela.Elements.Defining_Names.Defining_Name_Access (Names),
2133 Gela.Elements.Element_Access (Node));
[203]2134.)
2135
2136Rules for package_declaration. :
2137(.
[264]2138 ${Private_Part_Declarative_Items.env_in} := ${Visible_Part_Declarative_Items.env_out};
[203]2139.)
2140
2141Rules for package_declaration. :
2142(.
2143 ${end_name.env_in} := ${package_declaration.env_in};
2144.)
2145
2146Rules for package_instantiation. :
2147(.
2148 ${Names.env_in} := ${package_instantiation.env_in};
2149.)
2150
2151Rules for package_instantiation. :
2152(.
2153 ${Generic_Unit_Name.env_in} := ${package_instantiation.env_in};
2154.)
2155
2156Rules for package_instantiation. :
2157(.
2158 ${Generic_Actual_Part.env_in} := ${package_instantiation.env_in};
2159.)
2160
2161Rules for package_instantiation. :
2162(.
2163 ${Aspect_Specifications.env_in} := ${package_instantiation.env_in};
2164.)
2165
2166Rules for package_renaming_declaration. :
2167(.
2168 ${Names.env_in} := ${package_renaming_declaration.env_in};
2169.)
2170
2171Rules for package_renaming_declaration. :
2172(.
2173 ${Renamed_Entity.env_in} := ${package_renaming_declaration.env_in};
2174.)
2175
2176Rules for package_renaming_declaration. :
2177(.
2178 ${Aspect_Specifications.env_in} := ${package_renaming_declaration.env_in};
2179.)
2180
2181Rules for parameter_association. :
2182(.
2183 ${Formal_Parameter.env_in} := ${parameter_association.env_in};
2184.)
2185
2186Rules for parameter_association. :
2187(.
2188 ${Actual_Parameter.env_in} := ${parameter_association.env_in};
2189.)
2190
2191Rules for parameter_specification. :
2192(.
2193 ${Names.env_in} := ${parameter_specification.env_in};
2194.)
2195
2196Rules for parameter_specification. :
2197(.
2198 ${Object_Declaration_Subtype.env_in} := ${parameter_specification.env_in};
2199.)
2200
2201Rules for parameter_specification. :
2202(.
2203 ${Initialization_Expression.env_in} := ${parameter_specification.env_in};
2204.)
2205
2206Rules for pragma_argument_association. :
2207(.
2208 ${Formal_Parameter.env_in} := ${pragma_argument_association.env_in};
2209.)
2210
2211Rules for pragma_argument_association. :
2212(.
2213 ${Actual_Parameter.env_in} := ${pragma_argument_association.env_in};
2214.)
2215
2216Rules for pragma_node. :
2217(.
2218 ${Formal_Parameter.env_in} := ${pragma_node.env_in};
2219.)
2220
2221Rules for pragma_node. :
2222(.
2223 ${Pragma_Argument_Associations.env_in} := ${pragma_node.env_in};
2224.)
2225
2226Rules for private_extension_declaration. :
2227(.
2228 ${Names.env_in} := ${private_extension_declaration.env_in};
2229.)
2230
2231Rules for private_extension_declaration. :
2232(.
2233 ${Discriminant_Part.env_in} := ${private_extension_declaration.env_in};
2234.)
2235
2236Rules for private_extension_declaration. :
2237(.
2238 ${Type_Declaration_View.env_in} := ${private_extension_declaration.env_in};
2239.)
2240
2241Rules for private_extension_declaration. :
2242(.
2243 ${Aspect_Specifications.env_in} := ${private_extension_declaration.env_in};
2244.)
2245
2246Rules for private_extension_definition. :
2247(.
2248 ${Ancestor_Subtype_Indication.env_in} := ${private_extension_definition.env_in};
2249.)
2250
2251Rules for private_extension_definition. :
2252(.
2253 ${Progenitor_List.env_in} := ${private_extension_definition.env_in};
2254.)
2255
2256Rules for private_type_declaration. :
2257(.
2258 ${Names.env_in} := ${private_type_declaration.env_in};
2259.)
2260
2261Rules for private_type_declaration. :
2262(.
[297]2263 ${Discriminant_Part.env_in} :=
2264 Gela.Pass_Utils.Add_Name_Create_Region
2265 (Self.Compilation,
2266 ${private_type_declaration.env_in},
2267 ${Names.full_name},
[299]2268 Gela.Elements.Defining_Names.Defining_Name_Access (Names),
2269 Gela.Elements.Element_Access (Node));
[297]2270 -- FIXME: dont create region for completions
[203]2271.)
2272
2273Rules for private_type_declaration. :
2274(.
[297]2275 ${Type_Declaration_View.env_in} := ${Discriminant_Part.env_out:Discriminant_Part_Env_In};
[203]2276.)
2277
2278Rules for private_type_declaration. :
2279(.
[297]2280 ${Aspect_Specifications.env_in} := ${Type_Declaration_View.env_out};
[203]2281.)
2282
2283Rules for procedure_body. :
2284(.
2285 ${Names.env_in} := ${procedure_body.env_in};
2286.)
2287
2288Rules for procedure_body. :
2289(.
[313]2290 -- FIXME: add name after parameters ARM 8.2(2)
2291 ${Parameter_Profile.env_in} :=
2292 Gela.Pass_Utils.Add_Name_Create_Region
2293 (Self.Compilation,
2294 ${procedure_body.env_in},
2295 ${Names.full_name},
2296 Gela.Elements.Defining_Names.Defining_Name_Access (Names),
2297 Gela.Elements.Element_Access (Node));
[203]2298.)
2299
2300Rules for procedure_body. :
2301(.
2302 ${Aspect_Specifications.env_in} := ${procedure_body.env_in};
2303.)
2304
2305Rules for procedure_body. :
2306(.
[313]2307 ${Body_Declarative_Items.env_in} := ${Parameter_Profile.env_out};
[203]2308.)
2309
2310Rules for procedure_body. :
2311(.
[313]2312 ${Body_Statements.env_in} := ${Body_Declarative_Items.env_out};
[203]2313.)
2314
2315Rules for procedure_body. :
2316(.
[316]2317 -- ${Body_Statements.Errors}
[313]2318 ${Body_Exception_Handlers.env_in} := ${Body_Declarative_Items.env_out};
[203]2319.)
2320
2321Rules for procedure_body. :
2322(.
2323 ${end_name.env_in} := ${procedure_body.env_in};
2324.)
2325
2326Rules for procedure_call_statement. :
2327(.
[323]2328 ${Function_Call.env_in} := ${procedure_call_statement.env_in};
[203]2329.)
2330
2331Rules for procedure_declaration. :
2332(.
2333 ${Names.env_in} := ${procedure_declaration.env_in};
2334.)
2335
2336Rules for procedure_declaration. :
2337(.
[313]2338 -- FIXME: add name after parameters ARM 8.2(2)
2339 ${Parameter_Profile.env_in} :=
2340 Gela.Pass_Utils.Add_Name_Create_Region
2341 (Self.Compilation,
2342 ${procedure_declaration.env_in},
2343 ${Names.full_name},
2344 Gela.Elements.Defining_Names.Defining_Name_Access (Names),
2345 Gela.Elements.Element_Access (Node));
[203]2346.)
2347
2348Rules for procedure_declaration. :
2349(.
2350 ${Renamed_Entity.env_in} := ${procedure_declaration.env_in};
2351.)
2352
2353Rules for procedure_declaration. :
2354(.
2355 ${Aspect_Specifications.env_in} := ${procedure_declaration.env_in};
2356.)
2357
2358Rules for procedure_instantiation. :
2359(.
2360 ${Names.env_in} := ${procedure_instantiation.env_in};
2361.)
2362
2363Rules for procedure_instantiation. :
2364(.
2365 ${Generic_Unit_Name.env_in} := ${procedure_instantiation.env_in};
2366.)
2367
2368Rules for procedure_instantiation. :
2369(.
2370 ${Generic_Actual_Part.env_in} := ${procedure_instantiation.env_in};
2371.)
2372
2373Rules for procedure_instantiation. :
2374(.
2375 ${Aspect_Specifications.env_in} := ${procedure_instantiation.env_in};
2376.)
2377
2378Rules for protected_body. :
2379(.
2380 ${Names.env_in} := ${protected_body.env_in};
2381.)
2382
2383Rules for protected_body. :
2384(.
2385 ${Aspect_Specifications.env_in} := ${protected_body.env_in};
2386.)
2387
2388Rules for protected_body. :
2389(.
2390 ${Protected_Operation_Items.env_in} := ${protected_body.env_in};
2391.)
2392
2393Rules for protected_body_stub. :
2394(.
2395 ${Names.env_in} := ${protected_body_stub.env_in};
2396.)
2397
2398Rules for protected_body_stub. :
2399(.
2400 ${Aspect_Specifications.env_in} := ${protected_body_stub.env_in};
2401.)
2402
2403Rules for protected_definition. :
2404(.
2405 ${Visible_Protected_Items.env_in} := ${protected_definition.env_in};
2406.)
2407
2408Rules for protected_definition. :
2409(.
2410 ${Private_Protected_Items.env_in} := ${protected_definition.env_in};
2411.)
2412
2413Rules for protected_type_declaration. :
2414(.
2415 ${Names.env_in} := ${protected_type_declaration.env_in};
2416.)
2417
2418Rules for protected_type_declaration. :
2419(.
2420 ${Discriminant_Part.env_in} := ${protected_type_declaration.env_in};
2421.)
2422
2423Rules for protected_type_declaration. :
2424(.
2425 ${Aspect_Specifications.env_in} := ${protected_type_declaration.env_in};
2426.)
2427
2428Rules for protected_type_declaration. :
2429(.
2430 ${Progenitor_List.env_in} := ${protected_type_declaration.env_in};
2431.)
2432
2433Rules for protected_type_declaration. :
2434(.
2435 ${Type_Declaration_View.env_in} := ${protected_type_declaration.env_in};
2436.)
2437
2438Rules for qualified_expression. :
2439(.
2440 ${Converted_Or_Qualified_Subtype_Mark.env_in} := ${qualified_expression.env_in};
2441.)
2442
2443Rules for qualified_expression. :
2444(.
2445 ${Converted_Or_Qualified_Expression.env_in} := ${qualified_expression.env_in};
2446.)
2447
2448Rules for quantified_expression. :
2449(.
2450 ${iterator_specification.env_in} := ${quantified_expression.env_in};
2451.)
2452
2453Rules for quantified_expression. :
2454(.
2455 ${predicate.env_in} := ${quantified_expression.env_in};
2456.)
2457
2458Rules for raise_statement. :
2459(.
2460 ${Raised_Exception.env_in} := ${raise_statement.env_in};
2461.)
2462
2463Rules for raise_statement. :
2464(.
2465 ${Raise_Statement_Message.env_in} := ${raise_statement.env_in};
2466.)
2467
2468Rules for range_attribute_reference.Range_Attribute :
2469(.
2470 ${Range_Attribute.env_in} := ${range_attribute_reference.env_in};
2471.)
2472
2473Rules for range_attribute_reference_dr.Range_Attribute :
2474(.
2475 ${Range_Attribute.env_in} := ${range_attribute_reference_dr.env_in};
2476.)
2477
2478Rules for record_aggregate. :
2479(.
2480 ${Record_Component_Associations.env_in} := ${record_aggregate.env_in};
2481.)
2482
2483Rules for record_definition. :
2484(.
2485 ${Record_Components.env_in} := ${record_definition.env_in};
2486.)
2487
2488Rules for record_representation_clause. :
2489(.
2490 ${Representation_Clause_Name.env_in} := ${record_representation_clause.env_in};
2491.)
2492
2493Rules for record_representation_clause. :
2494(.
2495 ${Mod_Clause_Expression.env_in} := ${record_representation_clause.env_in};
2496.)
2497
2498Rules for record_representation_clause. :
2499(.
2500 ${Component_Clauses.env_in} := ${record_representation_clause.env_in};
2501.)
2502
2503Rules for record_type_definition. :
2504(.
2505 ${Record_Definition.env_in} := ${record_type_definition.env_in};
2506.)
2507
2508Rules for requeue_statement. :
2509(.
2510 ${Requeue_Entry_Name.env_in} := ${requeue_statement.env_in};
2511.)
2512
2513Rules for return_object_specification. :
2514(.
2515 ${Names.env_in} := ${return_object_specification.env_in};
2516.)
2517
2518Rules for return_object_specification. :
2519(.
2520 ${Object_Declaration_Subtype.env_in} := ${return_object_specification.env_in};
2521.)
2522
2523Rules for return_object_specification. :
2524(.
2525 ${Initialization_Expression.env_in} := ${return_object_specification.env_in};
2526.)
2527
2528Rules for select_or_path. :
2529(.
2530 ${Guard.env_in} := ${select_or_path.env_in};
2531.)
2532
2533Rules for select_or_path. :
2534(.
2535 ${Sequence_Of_Statements.env_in} := ${select_or_path.env_in};
2536.)
2537
2538Rules for selected_component. :
2539(.
2540 ${prefix.env_in} := ${selected_component.env_in};
2541.)
2542
2543Rules for selected_component. :
2544(.
2545 ${Selector.env_in} := ${selected_component.env_in};
2546.)
2547
2548Rules for selected_identifier. :
2549(.
2550 ${Prefix.env_in} := ${selected_identifier.env_in};
2551.)
2552
2553Rules for selected_identifier. :
2554(.
2555 ${Selector.env_in} := ${selected_identifier.env_in};
2556.)
2557
2558Rules for selective_accept. :
2559(.
2560 ${Selective_Statement_Paths.env_in} := ${selective_accept.env_in};
2561.)
2562
2563Rules for short_circuit. :
2564(.
2565 ${Short_Circuit_Operation_Left_Expression.env_in} := ${short_circuit.env_in};
2566.)
2567
2568Rules for short_circuit. :
2569(.
2570 ${Short_Circuit_Operation_Right_Expression.env_in} := ${short_circuit.env_in};
2571.)
2572
2573Rules for signed_integer_type_definition. :
2574(.
2575 ${Integer_Constraint.env_in} := ${signed_integer_type_definition.env_in};
2576.)
2577
2578Rules for simple_expression_range. :
2579(.
2580 ${Lower_Bound.env_in} := ${simple_expression_range.env_in};
2581.)
2582
2583Rules for simple_expression_range. :
2584(.
2585 ${Upper_Bound.env_in} := ${simple_expression_range.env_in};
2586.)
2587
2588Rules for simple_expression_range_dr. :
2589(.
2590 ${Lower_Bound.env_in} := ${simple_expression_range_dr.env_in};
2591.)
2592
2593Rules for simple_expression_range_dr. :
2594(.
2595 ${Upper_Bound.env_in} := ${simple_expression_range_dr.env_in};
2596.)
2597
2598Rules for simple_return_statement. :
2599(.
2600 ${Return_Expression.env_in} := ${simple_return_statement.env_in};
2601.)
2602
2603Rules for single_protected_declaration. :
2604(.
2605 ${Names.env_in} := ${single_protected_declaration.env_in};
2606.)
2607
2608Rules for single_protected_declaration. :
2609(.
2610 ${Aspect_Specifications.env_in} := ${single_protected_declaration.env_in};
2611.)
2612
2613Rules for single_protected_declaration. :
2614(.
2615 ${Progenitor_List.env_in} := ${single_protected_declaration.env_in};
2616.)
2617
2618Rules for single_protected_declaration. :
2619(.
2620 ${Object_Declaration_Subtype.env_in} := ${single_protected_declaration.env_in};
2621.)
2622
2623Rules for single_task_declaration. :
2624(.
2625 ${Names.env_in} := ${single_task_declaration.env_in};
2626.)
2627
2628Rules for single_task_declaration. :
2629(.
2630 ${Aspect_Specifications.env_in} := ${single_task_declaration.env_in};
2631.)
2632
2633Rules for single_task_declaration. :
2634(.
2635 ${Progenitor_List.env_in} := ${single_task_declaration.env_in};
2636.)
2637
2638Rules for single_task_declaration. :
2639(.
2640 ${Object_Declaration_Subtype.env_in} := ${single_task_declaration.env_in};
2641.)
2642
2643Rules for subtype_declaration. :
2644(.
2645 ${Names.env_in} := ${subtype_declaration.env_in};
2646.)
2647
2648Rules for subtype_declaration. :
2649(.
[289]2650 ${Type_Declaration_View.env_in} :=
2651 Gela.Pass_Utils.Add_Name_Create_Region
2652 (Self.Compilation,
2653 ${subtype_declaration.env_in},
2654 ${Names.full_name},
[299]2655 Gela.Elements.Defining_Names.Defining_Name_Access (Names),
2656 Gela.Elements.Element_Access (Node));
[203]2657.)
2658
2659Rules for subtype_declaration. :
2660(.
[290]2661 ${Aspect_Specifications.env_in} := ${Type_Declaration_View.env_out};
[203]2662.)
2663
2664Rules for subtype_indication. :
2665(.
2666 ${subtype_mark.env_in} := ${subtype_indication.env_in};
2667.)
2668
2669Rules for subtype_indication. :
2670(.
2671 ${Subtype_Constraint.env_in} := ${subtype_indication.env_in};
2672.)
2673
2674Rules for subunit. :
2675(.
[312]2676 ${Context_Clause_Elements.env_in} :=
2677 Self.Compilation.Context.Environment_Set.Library_Level_Environment;
[203]2678.)
2679
2680Rules for subunit. :
2681(.
[312]2682 ${parent_unit_name.env_in} :=
2683 Self.Compilation.Context.Environment_Set.Library_Level_Environment;
[203]2684.)
2685
2686Rules for subunit. :
2687(.
[312]2688 -- depends on ${Context_Clause_Elements.env_out}
2689 ${Unit_Declaration.env_in} :=
2690 Self.Compilation.Context.Environment_Set.Library_Level_Environment;
[203]2691.)
2692
2693Rules for task_body. :
2694(.
2695 ${Names.env_in} := ${task_body.env_in};
2696.)
2697
2698Rules for task_body. :
2699(.
2700 ${Aspect_Specifications.env_in} := ${task_body.env_in};
2701.)
2702
2703Rules for task_body. :
2704(.
2705 ${Body_Declarative_Items.env_in} := ${task_body.env_in};
2706.)
2707
2708Rules for task_body. :
2709(.
2710 ${Body_Statements.env_in} := ${task_body.env_in};
2711.)
2712
2713Rules for task_body. :
2714(.
2715 ${Body_Exception_Handlers.env_in} := ${task_body.env_in};
2716.)
2717
2718Rules for task_body_stub. :
2719(.
2720 ${Names.env_in} := ${task_body_stub.env_in};
2721.)
2722
2723Rules for task_body_stub. :
2724(.
2725 ${Aspect_Specifications.env_in} := ${task_body_stub.env_in};
2726.)
2727
2728Rules for task_definition. :
2729(.
2730 ${Visible_Task_Items.env_in} := ${task_definition.env_in};
2731.)
2732
2733Rules for task_definition. :
2734(.
2735 ${Private_Task_Items.env_in} := ${task_definition.env_in};
2736.)
2737
2738Rules for task_type_declaration. :
2739(.
2740 ${Names.env_in} := ${task_type_declaration.env_in};
2741.)
2742
2743Rules for task_type_declaration. :
2744(.
2745 ${Discriminant_Part.env_in} := ${task_type_declaration.env_in};
2746.)
2747
2748Rules for task_type_declaration. :
2749(.
2750 ${Aspect_Specifications.env_in} := ${task_type_declaration.env_in};
2751.)
2752
2753Rules for task_type_declaration. :
2754(.
2755 ${Progenitor_List.env_in} := ${task_type_declaration.env_in};
2756.)
2757
2758Rules for task_type_declaration. :
2759(.
2760 ${Type_Declaration_View.env_in} := ${task_type_declaration.env_in};
2761.)
2762
2763Rules for then_abort_path. :
2764(.
2765 ${Sequence_Of_Statements.env_in} := ${then_abort_path.env_in};
2766.)
2767
2768Rules for unconstrained_array_definition. :
2769(.
2770 ${Index_Subtype_Definitions.env_in} := ${unconstrained_array_definition.env_in};
2771.)
2772
2773Rules for unconstrained_array_definition. :
2774(.
2775 ${Array_Component_Definition.env_in} := ${unconstrained_array_definition.env_in};
2776.)
2777
2778Rules for use_package_clause. :
2779(.
2780 ${Clause_Names.env_in} := ${use_package_clause.env_in};
2781.)
2782
2783Rules for use_type_clause. :
2784(.
2785 ${Type_Clause_Names.env_in} := ${use_type_clause.env_in};
2786.)
2787
2788Rules for variant. :
2789(.
2790 ${Variant_Choices.env_in} := ${variant.env_in};
2791.)
2792
2793Rules for variant. :
2794(.
2795 ${Record_Components.env_in} := ${variant.env_in};
2796.)
2797
2798Rules for variant_part. :
2799(.
2800 ${Discriminant_Direct_Name.env_in} := ${variant_part.env_in};
2801.)
2802
2803Rules for variant_part. :
2804(.
2805 ${Variants.env_in} := ${variant_part.env_in};
2806.)
2807
2808Rules for while_loop_statement. :
2809(.
2810 ${While_Condition.env_in} := ${while_loop_statement.env_in};
2811.)
2812
2813Rules for while_loop_statement. :
2814(.
2815 ${Loop_Statements.env_in} := ${while_loop_statement.env_in};
2816.)
2817
2818Rules for with_clause. :
2819(.
[247]2820 -- Depend on ${with_clause.env_in}
[312]2821 ${With_Clause_Names.env_in} :=
2822 Self.Compilation.Context.Environment_Set.Library_Level_Environment;
[203]2823.)
[228]2824
Note: See TracBrowser for help on using the repository browser.