Files
Laurent Thévenoux 4e463b0b1b Add Ada 2022 iterator_filter support for iterator specification
This patch implements the iterator_filter feature introduced in Ada
2022, AI12-0250.

TN: UB16-009
2021-12-06 09:48:40 +01:00

38 lines
922 B
Plaintext

ForLoopStmt[1:1-1:52]
|f_spec:
| ForLoopSpec[1:5-1:31]
| |f_var_decl:
| | ForLoopVarDecl[1:5-1:6]
| | |f_id:
| | | DefiningName[1:5-1:6]
| | | |f_name:
| | | | Id[1:5-1:6]: A
| | |f_id_type: <null>
| |f_loop_type:
| | IterTypeIn[1:7-1:9]
| |f_has_reverse:
| | ReverseAbsent[1:9-1:9]
| |f_iter_expr:
| | DiscreteSubtypeIndication[1:10-1:31]
| | |f_has_not_null:
| | | NotNullAbsent[1:9-1:9]
| | |f_name:
| | | Id[1:10-1:17]: Integer
| | |f_constraint:
| | | RangeConstraint[1:18-1:31]
| | | |f_range:
| | | | RangeSpec[1:18-1:31]
| | | | |f_range:
| | | | | BinOp[1:24-1:31]
| | | | | |f_left:
| | | | | | Int[1:24-1:25]: 1
| | | | | |f_op:
| | | | | | OpDoubleDot[1:26-1:28]
| | | | | |f_right:
| | | | | | Int[1:29-1:31]: 16
| |f_iter_filter: <null>
|f_stmts:
| StmtList[1:37-1:42]
| | NullStmt[1:37-1:42]
|f_end_name: <null>