OLD | NEW |
1 This file describes the binary format of Dart Kernel. | 1 This file describes the binary format of Dart Kernel. |
2 | 2 |
3 Notation | 3 Notation |
4 -------- | 4 -------- |
5 Bitmasks are described with the syntax: | 5 Bitmasks are described with the syntax: |
6 ```scala | 6 ```scala |
7 Byte flags (flag1, flag2, ..., flagN) | 7 Byte flags (flag1, flag2, ..., flagN) |
8 ``` | 8 ``` |
9 where 'flag<N>' is the N-th least significant bit, | 9 where 'flag<N>' is the N-th least significant bit, |
10 (so flag1 is the least significant bit). | 10 (so flag1 is the least significant bit). |
(...skipping 723 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
734 type VectorCopy extends Expression { | 734 type VectorCopy extends Expression { |
735 Byte tag = 105; | 735 Byte tag = 105; |
736 Expression vectorExpression; | 736 Expression vectorExpression; |
737 } | 737 } |
738 | 738 |
739 type ClosureCreation extends Expression { | 739 type ClosureCreation extends Expression { |
740 Byte tag = 106; | 740 Byte tag = 106; |
741 MemberReference topLevelFunctionReference; | 741 MemberReference topLevelFunctionReference; |
742 Expression contextVector; | 742 Expression contextVector; |
743 FunctionType functionType; | 743 FunctionType functionType; |
| 744 List<DartType> typeArguments; |
744 } | 745 } |
745 | 746 |
746 abstract type Statement extends Node {} | 747 abstract type Statement extends Node {} |
747 | 748 |
748 type InvalidStatement extends Statement { | 749 type InvalidStatement extends Statement { |
749 Byte tag = 60; | 750 Byte tag = 60; |
750 } | 751 } |
751 | 752 |
752 type ExpressionStatement extends Statement { | 753 type ExpressionStatement extends Statement { |
753 Byte tag = 61; | 754 Byte tag = 61; |
(...skipping 260 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1014 Option<DartType> bound; | 1015 Option<DartType> bound; |
1015 } | 1016 } |
1016 | 1017 |
1017 type TypeParameter { | 1018 type TypeParameter { |
1018 // Note: there is no tag on TypeParameter | 1019 // Note: there is no tag on TypeParameter |
1019 StringReference name; // Cosmetic, may be empty, not unique. | 1020 StringReference name; // Cosmetic, may be empty, not unique. |
1020 DartType bound; // 'dynamic' if no explicit bound was given. | 1021 DartType bound; // 'dynamic' if no explicit bound was given. |
1021 } | 1022 } |
1022 | 1023 |
1023 ``` | 1024 ``` |
OLD | NEW |