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

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

Use recursion instead of loop to iterate sequences

Rewrite AG generator to use recursion. This allows to provide explicit rules
for attributes of sequence heads.
Provide explicit copy rules (auto generated earlier).

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(.
312 ${head.env_in} := ${Aborted_Tasks.env_in};
313.)
314Rules for Accept_Body_Exception_Handlers.exception_handler :
315(.
316 ${head.env_in} := ${Accept_Body_Exception_Handlers.env_in};
317.)
318Rules for Accept_Body_Statements.statement :
319(.
320 ${head.env_in} := ${Accept_Body_Statements.env_in};
321.)
322Rules for Accept_Parameters.parameter_specification :
323(.
324 ${head.env_in} := ${Accept_Parameters.env_in};
325.)
326Rules for Access_To_Subprogram_Parameter_Profile.parameter_specification :
327(.
328 ${head.env_in} := ${Access_To_Subprogram_Parameter_Profile.env_in};
329.)
330Rules for Array_Component_Choices.discrete_choice :
331(.
332 ${head.env_in} := ${Array_Component_Choices.env_in};
333.)
334Rules for Aspect_Specifications.aspect_specification :
335(.
336 ${head.env_in} := ${Aspect_Specifications.env_in};
337.)
338Rules for Associations.association :
339(.
340 ${head.env_in} := ${Associations.env_in};
341.)
342Rules for Asynchronous_Statement_Paths.select_then_abort_path :
343(.
344 ${head.env_in} := ${Asynchronous_Statement_Paths.env_in};
345.)
346Rules for Block_Declarative_Items.declarative_item :
347(.
348 ${head.env_in} := ${Block_Declarative_Items.env_in};
349.)
350Rules for Block_Exception_Handlers.exception_handler :
351(.
352 ${head.env_in} := ${Block_Exception_Handlers.env_in};
353.)
354Rules for Block_Statements.statement :
355(.
356 ${head.env_in} := ${Block_Statements.env_in};
357.)
358Rules for Body_Declarative_Items.declarative_item :
359(.
360 ${head.env_in} := ${Body_Declarative_Items.env_in};
361.)
362Rules for Body_Exception_Handlers.exception_handler :
363(.
364 ${head.env_in} := ${Body_Exception_Handlers.env_in};
365.)
366Rules for Body_Statements.statement :
367(.
368 ${head.env_in} := ${Body_Statements.env_in};
369.)
370Rules for Case_Expression_Paths.case_expression_path :
371(.
372 ${head.env_in} := ${Case_Expression_Paths.env_in};
373.)
374Rules for Case_Path_Alternative_Choices.discrete_choice :
375(.
376 ${head.env_in} := ${Case_Path_Alternative_Choices.env_in};
377.)
378Rules for Case_Statement_Alternative_Choices.discrete_choice :
379(.
380 ${head.env_in} := ${Case_Statement_Alternative_Choices.env_in};
381.)
382Rules for Case_Statement_Paths.case_path :
383(.
384 ${head.env_in} := ${Case_Statement_Paths.env_in};
385.)
386Rules for Clause_Names.program_unit_name :
387(.
388 ${head.env_in} := ${Clause_Names.env_in};
389.)
390Rules for Compilation_Pragmas.context_item :
391(.
392 ${head.env_in} := ${Compilation_Pragmas.env_in};
393.)
394Rules for Component_Clauses.clause_or_pragma :
395(.
396 ${head.env_in} := ${Component_Clauses.env_in};
397.)
398Rules for Context_Clause_Elements.context_item :
399(.
400 ${head.env_in} := ${Context_Clause_Elements.env_in};
401.)
402Rules for Discrete_Subtype_Definitions.discrete_subtype_definition :
403(.
404 ${head.env_in} := ${Discrete_Subtype_Definitions.env_in};
405.)
406Rules for Discriminants.discriminant_specification :
407(.
408 ${head.env_in} := ${Discriminants.env_in};
409.)
410Rules for Enumeration_Literal_Declarations.enumeration_literal_specification :
411(.
412 ${head.env_in} := ${Enumeration_Literal_Declarations.env_in};
413.)
414Rules for Exception_Choices.exception_choice :
415(.
416 ${head.env_in} := ${Exception_Choices.env_in};
417.)
418Rules for Expression_Paths.if_else_expression_path :
419(.
420 ${head.env_in} := ${Expression_Paths.env_in};
421.)
422Rules for Extended_Return_Exception_Handlers.exception_handler :
423(.
424 ${head.env_in} := ${Extended_Return_Exception_Handlers.env_in};
425.)
426Rules for Extended_Return_Statements.statement :
427(.
428 ${head.env_in} := ${Extended_Return_Statements.env_in};
429.)
430Rules for Generic_Actual_Part.generic_association :
431(.
432 ${head.env_in} := ${Generic_Actual_Part.env_in};
433.)
434Rules for Generic_Formal_Part.generic_formal :
435(.
436 ${head.env_in} := ${Generic_Formal_Part.env_in};
437.)
438Rules for Handler_Statements.statement :
439(.
440 ${head.env_in} := ${Handler_Statements.env_in};
441.)
442Rules for Index_Subtype_Definitions.subtype_mark :
443(.
444 ${head.env_in} := ${Index_Subtype_Definitions.env_in};
445.)
446Rules for Label_Names.defining_identifier :
447(.
448 ${head.env_in} := ${Label_Names.env_in};
449.)
450Rules for Loop_Statements.statement :
451(.
452 ${head.env_in} := ${Loop_Statements.env_in};
453.)
454Rules for Membership_Test_Choices.membership_choice :
455(.
456 ${head.env_in} := ${Membership_Test_Choices.env_in};
457.)
458Rules for Names.defining_identifier :
459(.
460 ${head.env_in} := ${Names.env_in};
461.)
462Rules for Parameter_Profile.parameter_specification :
463(.
464 ${head.env_in} := ${Parameter_Profile.env_in};
465.)
466Rules for Pragma_Argument_Associations.pragma_argument_association :
467(.
468 ${head.env_in} := ${Pragma_Argument_Associations.env_in};
469.)
470Rules for Private_Part_Declarative_Items.basic_declarative_item :
471(.
472 ${head.env_in} := ${Private_Part_Declarative_Items.env_in};
473.)
474Rules for Private_Protected_Items.protected_element_declaration :
475(.
476 ${head.env_in} := ${Private_Protected_Items.env_in};
477.)
478Rules for Private_Task_Items.task_item :
479(.
480 ${head.env_in} := ${Private_Task_Items.env_in};
481.)
482Rules for Progenitor_List.subtype_mark :
483(.
484 ${head.env_in} := ${Progenitor_List.env_in};
485.)
486Rules for Protected_Operation_Items.protected_operation_item :
487(.
488 ${head.env_in} := ${Protected_Operation_Items.env_in};
489.)
490Rules for Record_Component_Associations.association :
491(.
492 ${head.env_in} := ${Record_Component_Associations.env_in};
493.)
494Rules for Record_Components.component_item :
495(.
496 ${head.env_in} := ${Record_Components.env_in};
497.)
498Rules for Selective_Statement_Paths.select_or_else_path :
499(.
500 ${head.env_in} := ${Selective_Statement_Paths.env_in};
501.)
502Rules for Sequence_Of_Statements.statement :
503(.
504 ${head.env_in} := ${Sequence_Of_Statements.env_in};
505.)
506Rules for Statement_Paths.if_elsif_else_path :
507(.
508 ${head.env_in} := ${Statement_Paths.env_in};
509.)
510Rules for Type_Clause_Names.subtype_mark :
511(.
512 ${head.env_in} := ${Type_Clause_Names.env_in};
513.)
514Rules for Variant_Choices.discrete_choice :
515(.
516 ${head.env_in} := ${Variant_Choices.env_in};
517.)
518Rules for Variants.variant :
519(.
520 ${head.env_in} := ${Variants.env_in};
521.)
522Rules for Visible_Part_Declarative_Items.basic_declarative_item :
523(.
524 ${head.env_in} := ${Visible_Part_Declarative_Items.env_in};
525.)
526Rules for Visible_Protected_Items.protected_operation_declaration :
527(.
528 ${head.env_in} := ${Visible_Protected_Items.env_in};
529.)
530Rules for Visible_Task_Items.task_item :
531(.
532 ${head.env_in} := ${Visible_Task_Items.env_in};
533.)
534Rules for With_Clause_Names.program_unit_name :
535(.
536 ${head.env_in} := ${With_Clause_Names.env_in};
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(.
556 ${parameter_specification.env_in} := ${head.env_out};
557.)
558
559Rules for Access_To_Subprogram_Parameter_Profile.parameter_specification :
560(.
561 ${parameter_specification.env_in} := ${head.env_out};
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(.
586 ${declarative_item.env_in} := ${head.env_out};
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(.
601 ${declarative_item.env_in} := ${head.env_out};
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(.
641 ${context_item.env_in} := ${head.env_out};
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(.
651 ${context_item.env_in} := ${head.env_out};
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(.
661 ${discriminant_specification.env_in} := ${head.env_out};
662.)
663
664Rules for Enumeration_Literal_Declarations.enumeration_literal_specification :
665(.
666 ${enumeration_literal_specification.env_in} := ${head.env_out};
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(.
696 ${generic_formal.env_in} := ${head.env_out};
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(.
731 ${parameter_specification.env_in} := ${head.env_out};
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(.
741 ${basic_declarative_item.env_in} := ${head.env_out};
742.)
743
744Rules for Private_Protected_Items.protected_element_declaration :
745(.
746 ${protected_element_declaration.env_in} := ${head.env_out};
747.)
748
749Rules for Private_Task_Items.task_item :
750(.
751 ${task_item.env_in} := ${head.env_out};
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(.
761 ${protected_operation_item.env_in} := ${head.env_out};
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(.
771 ${component_item.env_in} := ${head.env_out};
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(.
801 ${variant.env_in} := ${head.env_out};
802.)
803
804Rules for Visible_Part_Declarative_Items.basic_declarative_item :
805(.
806 ${basic_declarative_item.env_in} := ${head.env_out};
807.)
808
809Rules for Visible_Protected_Items.protected_operation_declaration :
810(.
811 ${protected_operation_declaration.env_in} := ${head.env_out};
812.)
813
814Rules for Visible_Task_Items.task_item :
815(.
816 ${task_item.env_in} := ${head.env_out};
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.