| OLD | NEW |
| 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2014, 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 types.constants; | 5 library types.constants; |
| 6 | 6 |
| 7 import '../common.dart'; | 7 import '../common.dart'; |
| 8 import '../compiler.dart' show | 8 import '../compiler.dart' show Compiler; |
| 9 Compiler; | |
| 10 import '../constants/values.dart'; | 9 import '../constants/values.dart'; |
| 11 import '../js_backend/js_backend.dart' show | 10 import '../js_backend/js_backend.dart' show SyntheticConstantKind; |
| 12 SyntheticConstantKind; | |
| 13 import 'types.dart'; | 11 import 'types.dart'; |
| 14 | 12 |
| 15 /// Computes the [TypeMask] for the constant [value]. | 13 /// Computes the [TypeMask] for the constant [value]. |
| 16 TypeMask computeTypeMask(Compiler compiler, ConstantValue value) { | 14 TypeMask computeTypeMask(Compiler compiler, ConstantValue value) { |
| 17 return value.accept(const ConstantValueTypeMasks(), compiler); | 15 return value.accept(const ConstantValueTypeMasks(), compiler); |
| 18 } | 16 } |
| 19 | 17 |
| 20 class ConstantValueTypeMasks extends ConstantValueVisitor<TypeMask, Compiler> { | 18 class ConstantValueTypeMasks extends ConstantValueVisitor<TypeMask, Compiler> { |
| 21 const ConstantValueTypeMasks(); | 19 const ConstantValueTypeMasks(); |
| 22 | 20 |
| 23 @override | 21 @override |
| 24 TypeMask visitConstructed(ConstructedConstantValue constant, | 22 TypeMask visitConstructed( |
| 25 Compiler compiler) { | 23 ConstructedConstantValue constant, Compiler compiler) { |
| 26 if (compiler.backend.isInterceptorClass(constant.type.element)) { | 24 if (compiler.backend.isInterceptorClass(constant.type.element)) { |
| 27 return compiler.typesTask.nonNullType; | 25 return compiler.typesTask.nonNullType; |
| 28 } | 26 } |
| 29 return new TypeMask.nonNullExact(constant.type.element, compiler.world); | 27 return new TypeMask.nonNullExact(constant.type.element, compiler.world); |
| 30 } | 28 } |
| 31 | 29 |
| 32 @override | 30 @override |
| 33 TypeMask visitDeferred(DeferredConstantValue constant, Compiler compiler) { | 31 TypeMask visitDeferred(DeferredConstantValue constant, Compiler compiler) { |
| 34 return constant.referenced.accept(this, compiler); | 32 return constant.referenced.accept(this, compiler); |
| 35 } | 33 } |
| (...skipping 18 matching lines...) Expand all Loading... |
| 54 case SyntheticConstantKind.DUMMY_INTERCEPTOR: | 52 case SyntheticConstantKind.DUMMY_INTERCEPTOR: |
| 55 return constant.payload; | 53 return constant.payload; |
| 56 case SyntheticConstantKind.EMPTY_VALUE: | 54 case SyntheticConstantKind.EMPTY_VALUE: |
| 57 return constant.payload; | 55 return constant.payload; |
| 58 case SyntheticConstantKind.TYPEVARIABLE_REFERENCE: | 56 case SyntheticConstantKind.TYPEVARIABLE_REFERENCE: |
| 59 return compiler.typesTask.intType; | 57 return compiler.typesTask.intType; |
| 60 case SyntheticConstantKind.NAME: | 58 case SyntheticConstantKind.NAME: |
| 61 return compiler.typesTask.stringType; | 59 return compiler.typesTask.stringType; |
| 62 default: | 60 default: |
| 63 DiagnosticReporter reporter = compiler.reporter; | 61 DiagnosticReporter reporter = compiler.reporter; |
| 64 reporter.internalError(CURRENT_ELEMENT_SPANNABLE, | 62 reporter.internalError( |
| 65 "Unexpected DummyConstantKind."); | 63 CURRENT_ELEMENT_SPANNABLE, "Unexpected DummyConstantKind."); |
| 66 return null; | 64 return null; |
| 67 } | 65 } |
| 68 } | 66 } |
| 69 | 67 |
| 70 @override | 68 @override |
| 71 TypeMask visitBool(BoolConstantValue constant, Compiler compiler) { | 69 TypeMask visitBool(BoolConstantValue constant, Compiler compiler) { |
| 72 return compiler.typesTask.boolType; | 70 return compiler.typesTask.boolType; |
| 73 } | 71 } |
| 74 | 72 |
| 75 @override | 73 @override |
| 76 TypeMask visitFunction(FunctionConstantValue constant, Compiler compiler) { | 74 TypeMask visitFunction(FunctionConstantValue constant, Compiler compiler) { |
| 77 return compiler.typesTask.functionType; | 75 return compiler.typesTask.functionType; |
| 78 } | 76 } |
| 79 | 77 |
| 80 @override | 78 @override |
| 81 TypeMask visitInt(IntConstantValue constant, Compiler compiler) { | 79 TypeMask visitInt(IntConstantValue constant, Compiler compiler) { |
| 82 if (constant.isUInt31()) return compiler.typesTask.uint31Type; | 80 if (constant.isUInt31()) return compiler.typesTask.uint31Type; |
| 83 if (constant.isUInt32()) return compiler.typesTask.uint32Type; | 81 if (constant.isUInt32()) return compiler.typesTask.uint32Type; |
| 84 if (constant.isPositive()) return compiler.typesTask.positiveIntType; | 82 if (constant.isPositive()) return compiler.typesTask.positiveIntType; |
| 85 return compiler.typesTask.intType; | 83 return compiler.typesTask.intType; |
| 86 } | 84 } |
| 87 | 85 |
| 88 @override | 86 @override |
| 89 TypeMask visitInterceptor(InterceptorConstantValue constant, | 87 TypeMask visitInterceptor( |
| 90 Compiler compiler) { | 88 InterceptorConstantValue constant, Compiler compiler) { |
| 91 return compiler.typesTask.nonNullType; | 89 return compiler.typesTask.nonNullType; |
| 92 } | 90 } |
| 93 | 91 |
| 94 @override | 92 @override |
| 95 TypeMask visitList(ListConstantValue constant, Compiler compiler) { | 93 TypeMask visitList(ListConstantValue constant, Compiler compiler) { |
| 96 return compiler.typesTask.constListType; | 94 return compiler.typesTask.constListType; |
| 97 } | 95 } |
| 98 | 96 |
| 99 @override | 97 @override |
| 100 TypeMask visitMap(MapConstantValue constant, Compiler compiler) { | 98 TypeMask visitMap(MapConstantValue constant, Compiler compiler) { |
| 101 return compiler.typesTask.constMapType; | 99 return compiler.typesTask.constMapType; |
| 102 } | 100 } |
| 103 | 101 |
| 104 @override | 102 @override |
| 105 TypeMask visitNull(NullConstantValue constant, Compiler compiler) { | 103 TypeMask visitNull(NullConstantValue constant, Compiler compiler) { |
| 106 return compiler.typesTask.nullType; | 104 return compiler.typesTask.nullType; |
| 107 } | 105 } |
| 108 | 106 |
| 109 @override | 107 @override |
| 110 TypeMask visitString(StringConstantValue constant, Compiler compiler) { | 108 TypeMask visitString(StringConstantValue constant, Compiler compiler) { |
| 111 return compiler.typesTask.stringType; | 109 return compiler.typesTask.stringType; |
| 112 } | 110 } |
| 113 | 111 |
| 114 @override | 112 @override |
| 115 TypeMask visitType(TypeConstantValue constant, Compiler compiler) { | 113 TypeMask visitType(TypeConstantValue constant, Compiler compiler) { |
| 116 return compiler.typesTask.typeType; | 114 return compiler.typesTask.typeType; |
| 117 } | 115 } |
| 118 } | 116 } |
| OLD | NEW |