You've already forked libadalang
mirror of
https://github.com/AdaCore/libadalang.git
synced 2026-02-12 12:28:54 -08:00
This patch implements the iterator_filter feature introduced in Ada 2022, AI12-0250. TN: UB16-009
38 lines
922 B
Plaintext
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>
|