rascal 0.3.4

---
source: crates/rascal/src/program.rs
expression: parsed
input_file: samples/as2/for_loop.as
---
Ok:
  initial_script:
    - Expr:
        span:
          start: 0
          end: 20
          file: 0
        value:
          Trace:
            span:
              start: 6
              end: 19
              file: 0
            value:
              Constant:
                String: for_classic
    - ForIn:
        condition:
          Classic:
            initialize:
              Declare:
                name:
                  span:
                    start: 31
                    end: 32
                    file: 0
                  value: i
                value:
                  span:
                    start: 35
                    end: 36
                    file: 0
                  value:
                    Constant:
                      Integer: 0
                type_name: ~
            condition:
              - span:
                  start: 38
                  end: 43
                  file: 0
                value:
                  BinaryOperator:
                    - LessThan
                    - span:
                        start: 38
                        end: 39
                        file: 0
                      value:
                        Constant:
                          Identifier: i
                    - span:
                        start: 42
                        end: 43
                        file: 0
                      value:
                        Constant:
                          Integer: 3
            update:
              - span:
                  start: 46
                  end: 48
                  file: 0
                value:
                  UnaryOperator:
                    - Increment: Postfix
                    - span:
                        start: 45
                        end: 46
                        file: 0
                      value:
                        Constant:
                          Identifier: i
        body:
          Block:
            - Expr:
                span:
                  start: 56
                  end: 64
                  file: 0
                value:
                  Trace:
                    span:
                      start: 62
                      end: 63
                      file: 0
                    value:
                      Constant:
                        Identifier: i
    - Expr:
        span:
          start: 134
          end: 154
          file: 0
        value:
          Trace:
            span:
              start: 140
              end: 153
              file: 0
            value:
              Constant:
                String: for_no_init
    - Declare:
        name:
          span:
            start: 160
            end: 161
            file: 0
          value: j
        value:
          span:
            start: 164
            end: 165
            file: 0
          value:
            Constant:
              Integer: 3
        type_name: ~
    - Expr:
        span:
          start: 167
          end: 181
          file: 0
        value:
          Trace:
            span:
              start: 173
              end: 180
              file: 0
            value:
              Constant:
                String: start
    - ForIn:
        condition:
          Classic:
            initialize: ~
            condition:
              - span:
                  start: 190
                  end: 195
                  file: 0
                value:
                  BinaryOperator:
                    - LessThan
                    - span:
                        start: 190
                        end: 191
                        file: 0
                      value:
                        Constant:
                          Identifier: j
                    - span:
                        start: 194
                        end: 195
                        file: 0
                      value:
                        Constant:
                          Integer: 6
            update:
              - span:
                  start: 198
                  end: 200
                  file: 0
                value:
                  UnaryOperator:
                    - Increment: Postfix
                    - span:
                        start: 197
                        end: 198
                        file: 0
                      value:
                        Constant:
                          Identifier: j
        body:
          Block:
            - Expr:
                span:
                  start: 208
                  end: 216
                  file: 0
                value:
                  Trace:
                    span:
                      start: 214
                      end: 215
                      file: 0
                    value:
                      Constant:
                        Identifier: j
    - Expr:
        span:
          start: 220
          end: 232
          file: 0
        value:
          Trace:
            span:
              start: 226
              end: 231
              file: 0
            value:
              Constant:
                String: end
    - Expr:
        span:
          start: 300
          end: 325
          file: 0
        value:
          Trace:
            span:
              start: 306
              end: 324
              file: 0
            value:
              Constant:
                String: for_no_condition
    - ForIn:
        condition:
          Classic:
            initialize:
              Declare:
                name:
                  span:
                    start: 336
                    end: 337
                    file: 0
                  value: k
                value:
                  span:
                    start: 340
                    end: 341
                    file: 0
                  value:
                    Constant:
                      Integer: 0
                type_name: ~
            condition: []
            update:
              - span:
                  start: 346
                  end: 348
                  file: 0
                value:
                  UnaryOperator:
                    - Increment: Postfix
                    - span:
                        start: 345
                        end: 346
                        file: 0
                      value:
                        Constant:
                          Identifier: k
        body:
          Block:
            - Expr:
                span:
                  start: 356
                  end: 364
                  file: 0
                value:
                  Trace:
                    span:
                      start: 362
                      end: 363
                      file: 0
                    value:
                      Constant:
                        Identifier: k
            - If:
                condition:
                  span:
                    start: 374
                    end: 380
                    file: 0
                  value:
                    BinaryOperator:
                      - GreaterThanEqual
                      - span:
                          start: 374
                          end: 375
                          file: 0
                        value:
                          Constant:
                            Identifier: k
                      - span:
                          start: 379
                          end: 380
                          file: 0
                        value:
                          Constant:
                            Integer: 3
                "yes":
                  Block:
                    - Break
                "no": ~
    - Expr:
        span:
          start: 473
          end: 495
          file: 0
        value:
          Trace:
            span:
              start: 479
              end: 494
              file: 0
            value:
              Constant:
                String: for_no_update
    - ForIn:
        condition:
          Classic:
            initialize:
              Declare:
                name:
                  span:
                    start: 506
                    end: 507
                    file: 0
                  value: n
                value:
                  span:
                    start: 510
                    end: 511
                    file: 0
                  value:
                    Constant:
                      Integer: 0
                type_name: ~
            condition:
              - span:
                  start: 513
                  end: 518
                  file: 0
                value:
                  BinaryOperator:
                    - LessThan
                    - span:
                        start: 513
                        end: 514
                        file: 0
                      value:
                        Constant:
                          Identifier: n
                    - span:
                        start: 517
                        end: 518
                        file: 0
                      value:
                        Constant:
                          Integer: 3
            update: []
        body:
          Block:
            - Expr:
                span:
                  start: 528
                  end: 536
                  file: 0
                value:
                  Trace:
                    span:
                      start: 534
                      end: 535
                      file: 0
                    value:
                      Constant:
                        Identifier: n
            - Expr:
                span:
                  start: 543
                  end: 545
                  file: 0
                value:
                  UnaryOperator:
                    - Increment: Postfix
                    - span:
                        start: 542
                        end: 543
                        file: 0
                      value:
                        Constant:
                          Identifier: n
    - Expr:
        span:
          start: 615
          end: 639
          file: 0
        value:
          Trace:
            span:
              start: 621
              end: 638
              file: 0
            value:
              Constant:
                String: for_all_omitted
    - Declare:
        name:
          span:
            start: 645
            end: 650
            file: 0
          value: count
        value:
          span:
            start: 653
            end: 654
            file: 0
          value:
            Constant:
              Integer: 0
        type_name: ~
    - ForIn:
        condition:
          Classic:
            initialize: ~
            condition: []
            update: []
        body:
          Block:
            - Expr:
                span:
                  start: 671
                  end: 684
                  file: 0
                value:
                  Trace:
                    span:
                      start: 677
                      end: 683
                      file: 0
                    value:
                      Constant:
                        String: loop
            - Expr:
                span:
                  start: 695
                  end: 697
                  file: 0
                value:
                  UnaryOperator:
                    - Increment: Postfix
                    - span:
                        start: 690
                        end: 695
                        file: 0
                      value:
                        Constant:
                          Identifier: count
            - If:
                condition:
                  span:
                    start: 707
                    end: 717
                    file: 0
                  value:
                    BinaryOperator:
                      - Equal
                      - span:
                          start: 707
                          end: 712
                          file: 0
                        value:
                          Constant:
                            Identifier: count
                      - span:
                          start: 716
                          end: 717
                          file: 0
                        value:
                          Constant:
                            Integer: 3
                "yes":
                  Block:
                    - Break
                "no": ~
    - Expr:
        span:
          start: 744
          end: 757
          file: 0
        value:
          Trace:
            span:
              start: 750
              end: 756
              file: 0
            value:
              Constant:
                String: done
    - Expr:
        span:
          start: 825
          end: 847
          file: 0
        value:
          Trace:
            span:
              start: 831
              end: 846
              file: 0
            value:
              Constant:
                String: for_in_object
    - Declare:
        name:
          span:
            start: 853
            end: 856
            file: 0
          value: obj
        value:
          span:
            start: 859
            end: 861
            file: 0
          value:
            InitObject: []
        type_name: ~
    - Expr:
        span:
          start: 866
          end: 873
          file: 0
        value:
          BinaryOperator:
            - Assign
            - span:
                start: 866
                end: 868
                file: 0
              value:
                Field:
                  - span:
                      start: 863
                      end: 866
                      file: 0
                    value:
                      Constant:
                        Identifier: obj
                  - span:
                      start: 867
                      end: 868
                      file: 0
                    value:
                      Constant:
                        String: a
            - span:
                start: 871
                end: 873
                file: 0
              value:
                Constant:
                  Integer: 10
    - Expr:
        span:
          start: 878
          end: 885
          file: 0
        value:
          BinaryOperator:
            - Assign
            - span:
                start: 878
                end: 880
                file: 0
              value:
                Field:
                  - span:
                      start: 875
                      end: 878
                      file: 0
                    value:
                      Constant:
                        Identifier: obj
                  - span:
                      start: 879
                      end: 880
                      file: 0
                    value:
                      Constant:
                        String: b
            - span:
                start: 883
                end: 885
                file: 0
              value:
                Constant:
                  Integer: 20
    - ForIn:
        condition:
          Enumerate:
            target:
              Variable:
                name: key
                declare: true
            object:
              span:
                start: 903
                end: 906
                file: 0
              value:
                Constant:
                  Identifier: obj
        body:
          Block:
            - Expr:
                span:
                  start: 914
                  end: 941
                  file: 0
                value:
                  Trace:
                    span:
                      start: 920
                      end: 940
                      file: 0
                    value:
                      BinaryOperator:
                        - Add
                        - span:
                            start: 920
                            end: 929
                            file: 0
                          value:
                            BinaryOperator:
                              - Add
                              - span:
                                  start: 920
                                  end: 923
                                  file: 0
                                value:
                                  Constant:
                                    Identifier: key
                              - span:
                                  start: 926
                                  end: 929
                                  file: 0
                                value:
                                  Constant:
                                    String: "="
                        - span:
                            start: 935
                            end: 940
                            file: 0
                          value:
                            Field:
                              - span:
                                  start: 932
                                  end: 935
                                  file: 0
                                value:
                                  Constant:
                                    Identifier: obj
                              - span:
                                  start: 936
                                  end: 939
                                  file: 0
                                value:
                                  Constant:
                                    Identifier: key
    - Expr:
        span:
          start: 1011
          end: 1032
          file: 0
        value:
          Trace:
            span:
              start: 1017
              end: 1031
              file: 0
            value:
              Constant:
                String: for_in_array
    - Declare:
        name:
          span:
            start: 1038
            end: 1041
            file: 0
          value: arr
        value:
          span:
            start: 1044
            end: 1053
            file: 0
          value:
            InitArray:
              - span:
                  start: 1045
                  end: 1046
                  file: 0
                value:
                  Constant:
                    Integer: 5
              - span:
                  start: 1048
                  end: 1049
                  file: 0
                value:
                  Constant:
                    Integer: 6
              - span:
                  start: 1051
                  end: 1052
                  file: 0
                value:
                  Constant:
                    Integer: 7
        type_name: ~
    - Declare:
        name:
          span:
            start: 1059
            end: 1062
            file: 0
          value: idx
        value: ~
        type_name: ~
    - ForIn:
        condition:
          Enumerate:
            target:
              Variable:
                name: idx
                declare: false
            object:
              span:
                start: 1076
                end: 1079
                file: 0
              value:
                Constant:
                  Identifier: arr
        body:
          Block:
            - Expr:
                span:
                  start: 1087
                  end: 1114
                  file: 0
                value:
                  Trace:
                    span:
                      start: 1093
                      end: 1113
                      file: 0
                    value:
                      BinaryOperator:
                        - Add
                        - span:
                            start: 1093
                            end: 1102
                            file: 0
                          value:
                            BinaryOperator:
                              - Add
                              - span:
                                  start: 1093
                                  end: 1096
                                  file: 0
                                value:
                                  Constant:
                                    Identifier: idx
                              - span:
                                  start: 1099
                                  end: 1102
                                  file: 0
                                value:
                                  Constant:
                                    String: "="
                        - span:
                            start: 1108
                            end: 1113
                            file: 0
                          value:
                            Field:
                              - span:
                                  start: 1105
                                  end: 1108
                                  file: 0
                                value:
                                  Constant:
                                    Identifier: arr
                              - span:
                                  start: 1109
                                  end: 1112
                                  file: 0
                                value:
                                  Constant:
                                    Identifier: idx
    - Expr:
        span:
          start: 1184
          end: 1213
          file: 0
        value:
          Trace:
            span:
              start: 1190
              end: 1212
              file: 0
            value:
              Constant:
                String: for_multiple_clauses
    - ForIn:
        condition:
          Classic:
            initialize:
              Block:
                - Declare:
                    name:
                      span:
                        start: 1224
                        end: 1225
                        file: 0
                      value: a
                    value:
                      span:
                        start: 1228
                        end: 1229
                        file: 0
                      value:
                        Constant:
                          Integer: 0
                    type_name: ~
                - Declare:
                    name:
                      span:
                        start: 1231
                        end: 1232
                        file: 0
                      value: b
                    value:
                      span:
                        start: 1235
                        end: 1236
                        file: 0
                      value:
                        Constant:
                          Integer: 3
                    type_name: ~
            condition:
              - span:
                  start: 1238
                  end: 1243
                  file: 0
                value:
                  BinaryOperator:
                    - LessThan
                    - span:
                        start: 1238
                        end: 1239
                        file: 0
                      value:
                        Constant:
                          Identifier: a
                    - span:
                        start: 1242
                        end: 1243
                        file: 0
                      value:
                        Constant:
                          Identifier: b
            update:
              - span:
                  start: 1246
                  end: 1248
                  file: 0
                value:
                  UnaryOperator:
                    - Increment: Postfix
                    - span:
                        start: 1245
                        end: 1246
                        file: 0
                      value:
                        Constant:
                          Identifier: a
              - span:
                  start: 1251
                  end: 1253
                  file: 0
                value:
                  UnaryOperator:
                    - Decrement: Postfix
                    - span:
                        start: 1250
                        end: 1251
                        file: 0
                      value:
                        Constant:
                          Identifier: b
        body:
          Block:
            - Expr:
                span:
                  start: 1261
                  end: 1279
                  file: 0
                value:
                  Trace:
                    span:
                      start: 1267
                      end: 1278
                      file: 0
                    value:
                      BinaryOperator:
                        - Add
                        - span:
                            start: 1267
                            end: 1274
                            file: 0
                          value:
                            BinaryOperator:
                              - Add
                              - span:
                                  start: 1267
                                  end: 1268
                                  file: 0
                                value:
                                  Constant:
                                    Identifier: a
                              - span:
                                  start: 1271
                                  end: 1274
                                  file: 0
                                value:
                                  Constant:
                                    String: ","
                        - span:
                            start: 1277
                            end: 1278
                            file: 0
                          value:
                            Constant:
                              Identifier: b
    - Expr:
        span:
          start: 1349
          end: 1376
          file: 0
        value:
          Trace:
            span:
              start: 1355
              end: 1375
              file: 0
            value:
              Constant:
                String: for_continue_break
    - ForIn:
        condition:
          Classic:
            initialize:
              Declare:
                name:
                  span:
                    start: 1387
                    end: 1388
                    file: 0
                  value: x
                value:
                  span:
                    start: 1391
                    end: 1392
                    file: 0
                  value:
                    Constant:
                      Integer: 0
                type_name: ~
            condition:
              - span:
                  start: 1394
                  end: 1400
                  file: 0
                value:
                  BinaryOperator:
                    - LessThan
                    - span:
                        start: 1394
                        end: 1395
                        file: 0
                      value:
                        Constant:
                          Identifier: x
                    - span:
                        start: 1398
                        end: 1400
                        file: 0
                      value:
                        Constant:
                          Integer: 10
            update:
              - span:
                  start: 1403
                  end: 1405
                  file: 0
                value:
                  UnaryOperator:
                    - Increment: Postfix
                    - span:
                        start: 1402
                        end: 1403
                        file: 0
                      value:
                        Constant:
                          Identifier: x
        body:
          Block:
            - If:
                condition:
                  span:
                    start: 1417
                    end: 1423
                    file: 0
                  value:
                    BinaryOperator:
                      - Equal
                      - span:
                          start: 1417
                          end: 1418
                          file: 0
                        value:
                          Constant:
                            Identifier: x
                      - span:
                          start: 1422
                          end: 1423
                          file: 0
                        value:
                          Constant:
                            Integer: 5
                "yes":
                  Block:
                    - Break
                "no": ~
            - If:
                condition:
                  span:
                    start: 1456
                    end: 1466
                    file: 0
                  value:
                    BinaryOperator:
                      - Equal
                      - span:
                          start: 1456
                          end: 1461
                          file: 0
                        value:
                          BinaryOperator:
                            - Modulo
                            - span:
                                start: 1456
                                end: 1457
                                file: 0
                              value:
                                Constant:
                                  Identifier: x
                            - span:
                                start: 1460
                                end: 1461
                                file: 0
                              value:
                                Constant:
                                  Integer: 2
                      - span:
                          start: 1465
                          end: 1466
                          file: 0
                        value:
                          Constant:
                            Integer: 1
                "yes":
                  Block:
                    - Continue
                "no": ~
            - Expr:
                span:
                  start: 1498
                  end: 1506
                  file: 0
                value:
                  Trace:
                    span:
                      start: 1504
                      end: 1505
                      file: 0
                    value:
                      Constant:
                        Identifier: x
    - Expr:
        span:
          start: 1576
          end: 1595
          file: 0
        value:
          Trace:
            span:
              start: 1582
              end: 1594
              file: 0
            value:
              Constant:
                String: for_nested
    - ForIn:
        condition:
          Classic:
            initialize:
              Declare:
                name:
                  span:
                    start: 1606
                    end: 1611
                    file: 0
                  value: outer
                value:
                  span:
                    start: 1614
                    end: 1615
                    file: 0
                  value:
                    Constant:
                      Integer: 0
                type_name: ~
            condition:
              - span:
                  start: 1617
                  end: 1626
                  file: 0
                value:
                  BinaryOperator:
                    - LessThan
                    - span:
                        start: 1617
                        end: 1622
                        file: 0
                      value:
                        Constant:
                          Identifier: outer
                    - span:
                        start: 1625
                        end: 1626
                        file: 0
                      value:
                        Constant:
                          Integer: 2
            update:
              - span:
                  start: 1633
                  end: 1635
                  file: 0
                value:
                  UnaryOperator:
                    - Increment: Postfix
                    - span:
                        start: 1628
                        end: 1633
                        file: 0
                      value:
                        Constant:
                          Identifier: outer
        body:
          Block:
            - ForIn:
                condition:
                  Classic:
                    initialize:
                      Declare:
                        name:
                          span:
                            start: 1652
                            end: 1657
                            file: 0
                          value: inner
                        value:
                          span:
                            start: 1660
                            end: 1661
                            file: 0
                          value:
                            Constant:
                              Integer: 0
                        type_name: ~
                    condition:
                      - span:
                          start: 1663
                          end: 1672
                          file: 0
                        value:
                          BinaryOperator:
                            - LessThan
                            - span:
                                start: 1663
                                end: 1668
                                file: 0
                              value:
                                Constant:
                                  Identifier: inner
                            - span:
                                start: 1671
                                end: 1672
                                file: 0
                              value:
                                Constant:
                                  Integer: 2
                    update:
                      - span:
                          start: 1679
                          end: 1681
                          file: 0
                        value:
                          UnaryOperator:
                            - Increment: Postfix
                            - span:
                                start: 1674
                                end: 1679
                                file: 0
                              value:
                                Constant:
                                  Identifier: inner
                body:
                  Block:
                    - Expr:
                        span:
                          start: 1693
                          end: 1719
                          file: 0
                        value:
                          Trace:
                            span:
                              start: 1699
                              end: 1718
                              file: 0
                            value:
                              BinaryOperator:
                                - Add
                                - span:
                                    start: 1699
                                    end: 1710
                                    file: 0
                                  value:
                                    BinaryOperator:
                                      - Add
                                      - span:
                                          start: 1699
                                          end: 1704
                                          file: 0
                                        value:
                                          Constant:
                                            Identifier: outer
                                      - span:
                                          start: 1707
                                          end: 1710
                                          file: 0
                                        value:
                                          Constant:
                                            String: ","
                                - span:
                                    start: 1713
                                    end: 1718
                                    file: 0
                                  value:
                                    Constant:
                                      Identifier: inner
    - Expr:
        span:
          start: 1795
          end: 1820
          file: 0
        value:
          Trace:
            span:
              start: 1801
              end: 1819
              file: 0
            value:
              Constant:
                String: for_existing_var
    - Declare:
        name:
          span:
            start: 1826
            end: 1827
            file: 0
          value: z
        value: ~
        type_name: ~
    - ForIn:
        condition:
          Classic:
            initialize:
              Expr:
                span:
                  start: 1834
                  end: 1839
                  file: 0
                value:
                  BinaryOperator:
                    - Assign
                    - span:
                        start: 1834
                        end: 1835
                        file: 0
                      value:
                        Constant:
                          Identifier: z
                    - span:
                        start: 1838
                        end: 1839
                        file: 0
                      value:
                        Constant:
                          Integer: 1
            condition:
              - span:
                  start: 1841
                  end: 1847
                  file: 0
                value:
                  BinaryOperator:
                    - LessThanEqual
                    - span:
                        start: 1841
                        end: 1842
                        file: 0
                      value:
                        Constant:
                          Identifier: z
                    - span:
                        start: 1846
                        end: 1847
                        file: 0
                      value:
                        Constant:
                          Integer: 3
            update:
              - span:
                  start: 1850
                  end: 1852
                  file: 0
                value:
                  UnaryOperator:
                    - Increment: Postfix
                    - span:
                        start: 1849
                        end: 1850
                        file: 0
                      value:
                        Constant:
                          Identifier: z
        body:
          Block:
            - Expr:
                span:
                  start: 1860
                  end: 1868
                  file: 0
                value:
                  Trace:
                    span:
                      start: 1866
                      end: 1867
                      file: 0
                    value:
                      Constant:
                        Identifier: z
    - Expr:
        span:
          start: 1938
          end: 1972
          file: 0
        value:
          Trace:
            span:
              start: 1944
              end: 1971
              file: 0
            value:
              Constant:
                String: for_single_statement_body
    - ForIn:
        condition:
          Classic:
            initialize:
              Declare:
                name:
                  span:
                    start: 1983
                    end: 1984
                    file: 0
                  value: q
                value:
                  span:
                    start: 1987
                    end: 1988
                    file: 0
                  value:
                    Constant:
                      Integer: 0
                type_name: ~
            condition:
              - span:
                  start: 1990
                  end: 1995
                  file: 0
                value:
                  BinaryOperator:
                    - LessThan
                    - span:
                        start: 1990
                        end: 1991
                        file: 0
                      value:
                        Constant:
                          Identifier: q
                    - span:
                        start: 1994
                        end: 1995
                        file: 0
                      value:
                        Constant:
                          Integer: 3
            update:
              - span:
                  start: 1998
                  end: 2000
                  file: 0
                value:
                  UnaryOperator:
                    - Increment: Postfix
                    - span:
                        start: 1997
                        end: 1998
                        file: 0
                      value:
                        Constant:
                          Identifier: q
        body:
          Expr:
            span:
              start: 2006
              end: 2014
              file: 0
            value:
              Trace:
                span:
                  start: 2012
                  end: 2013
                  file: 0
                value:
                  Constant:
                    Identifier: q
  interfaces: []
  classes: []
  custom_pcodes: []
  compile_options:
    swf_version: 15
    optimizations:
      fold_constants: true
      promote_variables_to_registers: true