OLD | NEW |
1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 /// This library defines the association between runtime objects and | 5 /// This library defines the association between runtime objects and |
6 /// runtime types. | 6 /// runtime types. |
7 part of dart._runtime; | 7 part of dart._runtime; |
8 | 8 |
9 /// Runtime type information. This module defines the mapping from | 9 /// Runtime type information. This module defines the mapping from |
10 /// runtime objects to their runtime type information. See the types | 10 /// runtime objects to their runtime type information. See the types |
(...skipping 37 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
48 /// | 48 /// |
49 /// `dart.fn(cls)` marks cls has having no optional or named | 49 /// `dart.fn(cls)` marks cls has having no optional or named |
50 /// parameters, with all argument and return types as dynamic. | 50 /// parameters, with all argument and return types as dynamic. |
51 /// | 51 /// |
52 /// `dart.fn(cls, rType, argsT, extras)` marks cls as having the | 52 /// `dart.fn(cls, rType, argsT, extras)` marks cls as having the |
53 /// runtime type dart.functionType(rType, argsT, extras). | 53 /// runtime type dart.functionType(rType, argsT, extras). |
54 /// | 54 /// |
55 /// Note that since we are producing a type for a concrete function, | 55 /// Note that since we are producing a type for a concrete function, |
56 /// it is sound to use the definite arrow type. | 56 /// it is sound to use the definite arrow type. |
57 /// | 57 /// |
58 fn(closure, rType, argsT, extras) { | 58 fn(closure, t) { |
59 var t; | 59 if (t == null) { |
60 if (rType == null) { | |
61 // No type arguments, it's all dynamic | 60 // No type arguments, it's all dynamic |
62 t = definiteFunctionType( | 61 t = definiteFunctionType( |
63 JS('', '#', dynamic), | 62 JS('', '#', dynamic), |
64 JS('', 'Array(#.length).fill(#)', closure, dynamic), | 63 JS('', 'Array(#.length).fill(#)', closure, dynamic), |
65 JS('', 'void 0')); | 64 JS('', 'void 0')); |
66 } else { | |
67 // We're passed the piecewise components of the function type, | |
68 // construct it. | |
69 t = definiteFunctionType(rType, argsT, extras); | |
70 } | 65 } |
71 tag(closure, t); | 66 tag(closure, t); |
72 return closure; | 67 return closure; |
73 } | 68 } |
74 | 69 |
75 lazyFn(closure, computeTypeParts) { | 70 lazyFn(closure, computeType) { |
76 tagLazy(closure, JS('', '''() => { | 71 tagLazy(closure, computeType); |
77 let parts = #(); | |
78 return #(parts[0], parts[1], parts[2]); | |
79 }''', computeTypeParts, definiteFunctionType)); | |
80 return closure; | 72 return closure; |
81 } | 73 } |
82 | 74 |
83 // TODO(vsm): How should we encode the runtime type? | 75 // TODO(vsm): How should we encode the runtime type? |
84 final _runtimeType = JS('', 'Symbol("_runtimeType")'); | 76 final _runtimeType = JS('', 'Symbol("_runtimeType")'); |
85 | 77 |
86 _checkPrimitiveType(obj) { | 78 _checkPrimitiveType(obj) { |
87 // TODO(jmesserly): JS is used to prevent type literal wrapping. | 79 // TODO(jmesserly): JS is used to prevent type literal wrapping. |
88 // Is there a better way we can handle this? | 80 // Is there a better way we can handle this? |
89 | 81 |
(...skipping 76 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
166 } | 158 } |
167 | 159 |
168 void tagComputed(value, compute) { | 160 void tagComputed(value, compute) { |
169 JS('', '#(#, #, { get: # })', defineProperty, value, _runtimeType, compute); | 161 JS('', '#(#, #, { get: # })', defineProperty, value, _runtimeType, compute); |
170 } | 162 } |
171 | 163 |
172 void tagLazy(value, compute) { | 164 void tagLazy(value, compute) { |
173 JS('', '#(#, #, { get: # })', | 165 JS('', '#(#, #, { get: # })', |
174 defineLazyProperty, value, _runtimeType, compute); | 166 defineLazyProperty, value, _runtimeType, compute); |
175 } | 167 } |
OLD | NEW |