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 part of types; | 5 part of types; |
6 | 6 |
7 class ValueTypeMask extends ForwardingTypeMask { | 7 class ValueTypeMask extends ForwardingTypeMask { |
8 final TypeMask forwardTo; | 8 final TypeMask forwardTo; |
9 final PrimitiveConstantValue value; | 9 final PrimitiveConstantValue value; |
10 | 10 |
11 ValueTypeMask(this.forwardTo, this.value); | 11 ValueTypeMask(this.forwardTo, this.value); |
12 | 12 |
13 TypeMask nullable() { | 13 TypeMask nullable() { |
14 return isNullable | 14 return isNullable ? this : new ValueTypeMask(forwardTo.nullable(), value); |
15 ? this | |
16 : new ValueTypeMask(forwardTo.nullable(), value); | |
17 } | 15 } |
18 | 16 |
19 TypeMask nonNullable() { | 17 TypeMask nonNullable() { |
20 return isNullable | 18 return isNullable |
21 ? new ValueTypeMask(forwardTo.nonNullable(), value) | 19 ? new ValueTypeMask(forwardTo.nonNullable(), value) |
22 : this; | 20 : this; |
23 } | 21 } |
24 | 22 |
25 bool get isValue => true; | 23 bool get isValue => true; |
26 | 24 |
27 bool equalsDisregardNull(other) { | 25 bool equalsDisregardNull(other) { |
28 if (other is! ValueTypeMask) return false; | 26 if (other is! ValueTypeMask) return false; |
29 return super.equalsDisregardNull(other) && value == other.value; | 27 return super.equalsDisregardNull(other) && value == other.value; |
30 } | 28 } |
31 | 29 |
32 TypeMask intersection(TypeMask other, ClassWorld classWorld) { | 30 TypeMask intersection(TypeMask other, ClassWorld classWorld) { |
33 TypeMask forwardIntersection = forwardTo.intersection(other, classWorld); | 31 TypeMask forwardIntersection = forwardTo.intersection(other, classWorld); |
34 if (forwardIntersection.isEmptyOrNull) return forwardIntersection; | 32 if (forwardIntersection.isEmptyOrNull) return forwardIntersection; |
35 return forwardIntersection.isNullable | 33 return forwardIntersection.isNullable ? nullable() : nonNullable(); |
36 ? nullable() | |
37 : nonNullable(); | |
38 } | 34 } |
39 | 35 |
40 bool operator==(other) => super == other; | 36 bool operator ==(other) => super == other; |
41 | 37 |
42 int get hashCode { | 38 int get hashCode { |
43 return computeHashCode(value, isNullable, forwardTo); | 39 return computeHashCode(value, isNullable, forwardTo); |
44 } | 40 } |
45 | 41 |
46 String toString() { | 42 String toString() { |
47 return 'Value mask: [${value.unparse()}] type: $forwardTo'; | 43 return 'Value mask: [${value.unparse()}] type: $forwardTo'; |
48 } | 44 } |
49 } | 45 } |
OLD | NEW |