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 986 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
997 // from the definition of scoping, since type parameter N+1 is not "in scope" | 997 // from the definition of scoping, since type parameter N+1 is not "in scope" |
998 // in the bound of type parameter N, but it takes up an index as if it was in | 998 // in the bound of type parameter N, but it takes up an index as if it was in |
999 // scope there. | 999 // scope there. |
1000 // | 1000 // |
1001 // The type parameter can be bound by a Class, FunctionNode, or FunctionType. | 1001 // The type parameter can be bound by a Class, FunctionNode, or FunctionType. |
1002 // | 1002 // |
1003 // Note that constructors currently do not declare type parameters. Uses of | 1003 // Note that constructors currently do not declare type parameters. Uses of |
1004 // the class type parameters in a constructor refer to those declared on the | 1004 // the class type parameters in a constructor refer to those declared on the |
1005 // class. | 1005 // class. |
1006 UInt index; | 1006 UInt index; |
1007 | |
1008 // Byte offset in the binary for the first type declaration of the | |
1009 // Class or FunctionNode. | |
1010 UInt typeParameterPosition; | |
1011 // The entry number in the list (starting at 0). | |
1012 UInt typeParameterIndex; | |
1013 Option<DartType> bound; | 1007 Option<DartType> bound; |
1014 } | 1008 } |
1015 | 1009 |
1016 type TypeParameter { | 1010 type TypeParameter { |
1017 // Note: there is no tag on TypeParameter | 1011 // Note: there is no tag on TypeParameter |
1018 StringReference name; // Cosmetic, may be empty, not unique. | 1012 StringReference name; // Cosmetic, may be empty, not unique. |
1019 DartType bound; // 'dynamic' if no explicit bound was given. | 1013 DartType bound; // 'dynamic' if no explicit bound was given. |
1020 } | 1014 } |
1021 | 1015 |
1022 ``` | 1016 ``` |
OLD | NEW |