| OLD | NEW |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, 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 library dart2js.compile_time_constant_evaluator; | 5 library dart2js.compile_time_constant_evaluator; |
| 6 | 6 |
| 7 import 'common.dart'; | 7 import 'common.dart'; |
| 8 import 'common/resolution.dart' show Resolution; | 8 import 'common/resolution.dart' show Resolution; |
| 9 import 'common/tasks.dart' show CompilerTask; | 9 import 'common/tasks.dart' show CompilerTask; |
| 10 import 'compiler.dart' show Compiler; | 10 import 'compiler.dart' show Compiler; |
| (...skipping 1074 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1085 // compile-time compilation. | 1085 // compile-time compilation. |
| 1086 return null; | 1086 return null; |
| 1087 } | 1087 } |
| 1088 } | 1088 } |
| 1089 | 1089 |
| 1090 class ConstructorEvaluator extends CompileTimeConstantEvaluator { | 1090 class ConstructorEvaluator extends CompileTimeConstantEvaluator { |
| 1091 final InterfaceType constructedType; | 1091 final InterfaceType constructedType; |
| 1092 final ConstructorElement constructor; | 1092 final ConstructorElement constructor; |
| 1093 final Map<Element, AstConstant> definitions; | 1093 final Map<Element, AstConstant> definitions; |
| 1094 final Map<Element, AstConstant> fieldValues; | 1094 final Map<Element, AstConstant> fieldValues; |
| 1095 final ResolvedAst resolvedAst; |
| 1095 | 1096 |
| 1096 /** | 1097 /** |
| 1097 * Documentation wanted -- johnniwinther | 1098 * Documentation wanted -- johnniwinther |
| 1098 * | 1099 * |
| 1099 * Invariant: [constructor] must be an implementation element. | 1100 * Invariant: [constructor] must be an implementation element. |
| 1100 */ | 1101 */ |
| 1101 ConstructorEvaluator(InterfaceType this.constructedType, | 1102 ConstructorEvaluator(InterfaceType this.constructedType, |
| 1102 FunctionElement constructor, ConstantCompiler handler, Compiler compiler) | 1103 FunctionElement constructor, ConstantCompiler handler, Compiler compiler) |
| 1103 : this.constructor = constructor, | 1104 : this.constructor = constructor, |
| 1104 this.definitions = new Map<Element, AstConstant>(), | 1105 this.definitions = new Map<Element, AstConstant>(), |
| 1105 this.fieldValues = new Map<Element, AstConstant>(), | 1106 this.fieldValues = new Map<Element, AstConstant>(), |
| 1106 super(handler, _analyzeElementEagerly(compiler, constructor), compiler, | 1107 this.resolvedAst = _analyzeElementEagerly(compiler, constructor), |
| 1107 isConst: true) { | 1108 super(handler, null, compiler, isConst: true) { |
| 1108 assert(invariant(constructor, constructor.isImplementation)); | 1109 assert(invariant(constructor, constructor.isImplementation)); |
| 1109 } | 1110 } |
| 1110 | 1111 |
| 1112 @override |
| 1113 TreeElements get elements => resolvedAst.elements; |
| 1114 |
| 1111 AstConstant visitSend(Send send) { | 1115 AstConstant visitSend(Send send) { |
| 1112 Element element = elements[send]; | 1116 Element element = elements[send]; |
| 1113 if (Elements.isLocal(element)) { | 1117 if (Elements.isLocal(element)) { |
| 1114 AstConstant constant = definitions[element]; | 1118 AstConstant constant = definitions[element]; |
| 1115 if (constant == null) { | 1119 if (constant == null) { |
| 1116 reporter.internalError(send, "Local variable without value."); | 1120 reporter.internalError(send, "Local variable without value."); |
| 1117 } | 1121 } |
| 1118 return constant; | 1122 return constant; |
| 1119 } | 1123 } |
| 1120 return super.visitSend(send); | 1124 return super.visitSend(send); |
| (...skipping 205 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1326 ErroneousAstConstant(Element element, Node node) | 1330 ErroneousAstConstant(Element element, Node node) |
| 1327 : super( | 1331 : super( |
| 1328 element, | 1332 element, |
| 1329 node, | 1333 node, |
| 1330 // TODO(johnniwinther): Return a [NonConstantValue] instead. | 1334 // TODO(johnniwinther): Return a [NonConstantValue] instead. |
| 1331 new ErroneousConstantExpression(), | 1335 new ErroneousConstantExpression(), |
| 1332 new NullConstantValue()); | 1336 new NullConstantValue()); |
| 1333 } | 1337 } |
| 1334 | 1338 |
| 1335 // TODO(johnniwinther): Clean this up. | 1339 // TODO(johnniwinther): Clean this up. |
| 1336 TreeElements _analyzeElementEagerly(Compiler compiler, AstElement element) { | 1340 ResolvedAst _analyzeElementEagerly(Compiler compiler, AstElement element) { |
| 1337 compiler.resolution.computeWorldImpact(element.declaration); | 1341 compiler.resolution.computeWorldImpact(element.declaration); |
| 1338 return element.resolvedAst.elements; | 1342 return element.resolvedAst; |
| 1339 } | 1343 } |
| 1340 | 1344 |
| 1341 class _CompilerEnvironment implements Environment { | 1345 class _CompilerEnvironment implements Environment { |
| 1342 final Compiler compiler; | 1346 final Compiler compiler; |
| 1343 | 1347 |
| 1344 _CompilerEnvironment(this.compiler); | 1348 _CompilerEnvironment(this.compiler); |
| 1345 | 1349 |
| 1346 @override | 1350 @override |
| 1347 String readFromEnvironment(String name) { | 1351 String readFromEnvironment(String name) { |
| 1348 return compiler.fromEnvironment(name); | 1352 return compiler.fromEnvironment(name); |
| 1349 } | 1353 } |
| 1350 } | 1354 } |
| OLD | NEW |