Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(235)

Issues Search
    My Issues | Starred     Open | Closed | All

Unified Diff: tests/compiler/dart2js/type_combination_test.dart

Issue 10735051: Fix usage of UNKNOWN/CONFLICTING types for union. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Cosmetic change in comment. Created 8 years, 5 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« lib/compiler/implementation/ssa/types.dart ('K') | « lib/compiler/implementation/ssa/types_propagation.dart ('k') | tests/language/field_optimization2_test.dart » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: tests/compiler/dart2js/type_combination_test.dart
diff --git a/tests/compiler/dart2js/type_combination_test.dart b/tests/compiler/dart2js/type_combination_test.dart
index 0bae5de66295db4ac003fb74160cc89fef55302b..8da13a40fab4e18cb02a718c8985d83452aee53e 100644
--- a/tests/compiler/dart2js/type_combination_test.dart
+++ b/tests/compiler/dart2js/type_combination_test.dart
@@ -35,143 +35,143 @@ final NULL = HType.NULL;
void testUnion() {
Expect.equals(CONFLICTING, CONFLICTING.union(CONFLICTING));
- Expect.equals(CONFLICTING, CONFLICTING.union(UNKNOWN));
- Expect.equals(CONFLICTING, CONFLICTING.union(BOOLEAN));
- Expect.equals(CONFLICTING, CONFLICTING.union(NUMBER));
- Expect.equals(CONFLICTING, CONFLICTING.union(INTEGER));
- Expect.equals(CONFLICTING, CONFLICTING.union(DOUBLE));
- Expect.equals(CONFLICTING, CONFLICTING.union(INDEXABLE_PRIMITIVE));
- Expect.equals(CONFLICTING, CONFLICTING.union(STRING));
- Expect.equals(CONFLICTING, CONFLICTING.union(READABLE_ARRAY));
- Expect.equals(CONFLICTING, CONFLICTING.union(MUTABLE_ARRAY));
- Expect.equals(CONFLICTING, CONFLICTING.union(EXTENDABLE_ARRAY));
- Expect.equals(CONFLICTING, CONFLICTING.union(NON_PRIMITIVE1));
- Expect.equals(CONFLICTING, CONFLICTING.union(NON_PRIMITIVE2));
- Expect.equals(CONFLICTING, CONFLICTING.union(POTENTIAL_ARRAY));
- Expect.equals(CONFLICTING, CONFLICTING.union(POTENTIAL_STRING));
- Expect.equals(CONFLICTING, CONFLICTING.union(BOOLEAN_OR_NULL));
- Expect.equals(CONFLICTING, CONFLICTING.union(NUMBER_OR_NULL));
- Expect.equals(CONFLICTING, CONFLICTING.union(INTEGER_OR_NULL));
- Expect.equals(CONFLICTING, CONFLICTING.union(DOUBLE_OR_NULL));
- Expect.equals(CONFLICTING, CONFLICTING.union(STRING_OR_NULL));
- Expect.equals(CONFLICTING, CONFLICTING.union(NULL));
-
- Expect.equals(CONFLICTING, UNKNOWN.union(CONFLICTING));
+ Expect.equals(UNKNOWN, CONFLICTING.union(UNKNOWN));
+ Expect.equals(BOOLEAN, CONFLICTING.union(BOOLEAN));
+ Expect.equals(NUMBER, CONFLICTING.union(NUMBER));
+ Expect.equals(INTEGER, CONFLICTING.union(INTEGER));
+ Expect.equals(DOUBLE, CONFLICTING.union(DOUBLE));
+ Expect.equals(INDEXABLE_PRIMITIVE, CONFLICTING.union(INDEXABLE_PRIMITIVE));
+ Expect.equals(STRING, CONFLICTING.union(STRING));
+ Expect.equals(READABLE_ARRAY, CONFLICTING.union(READABLE_ARRAY));
+ Expect.equals(MUTABLE_ARRAY, CONFLICTING.union(MUTABLE_ARRAY));
+ Expect.equals(EXTENDABLE_ARRAY, CONFLICTING.union(EXTENDABLE_ARRAY));
+ Expect.equals(NON_PRIMITIVE1, CONFLICTING.union(NON_PRIMITIVE1));
+ Expect.equals(NON_PRIMITIVE2, CONFLICTING.union(NON_PRIMITIVE2));
+ Expect.equals(POTENTIAL_ARRAY, CONFLICTING.union(POTENTIAL_ARRAY));
+ Expect.equals(POTENTIAL_STRING, CONFLICTING.union(POTENTIAL_STRING));
+ Expect.equals(BOOLEAN_OR_NULL, CONFLICTING.union(BOOLEAN_OR_NULL));
+ Expect.equals(NUMBER_OR_NULL, CONFLICTING.union(NUMBER_OR_NULL));
+ Expect.equals(INTEGER_OR_NULL, CONFLICTING.union(INTEGER_OR_NULL));
+ Expect.equals(DOUBLE_OR_NULL, CONFLICTING.union(DOUBLE_OR_NULL));
+ Expect.equals(STRING_OR_NULL, CONFLICTING.union(STRING_OR_NULL));
+ Expect.equals(NULL, CONFLICTING.union(NULL));
+
+ Expect.equals(UNKNOWN, UNKNOWN.union(CONFLICTING));
Expect.equals(UNKNOWN, UNKNOWN.union(UNKNOWN));
- Expect.equals(BOOLEAN, UNKNOWN.union(BOOLEAN));
- Expect.equals(NUMBER, UNKNOWN.union(NUMBER));
- Expect.equals(INTEGER, UNKNOWN.union(INTEGER));
- Expect.equals(DOUBLE, UNKNOWN.union(DOUBLE));
- Expect.equals(INDEXABLE_PRIMITIVE, UNKNOWN.union(INDEXABLE_PRIMITIVE));
- Expect.equals(STRING, UNKNOWN.union(STRING));
- Expect.equals(READABLE_ARRAY, UNKNOWN.union(READABLE_ARRAY));
- Expect.equals(MUTABLE_ARRAY, UNKNOWN.union(MUTABLE_ARRAY));
- Expect.equals(EXTENDABLE_ARRAY, UNKNOWN.union(EXTENDABLE_ARRAY));
- Expect.equals(NON_PRIMITIVE1, UNKNOWN.union(NON_PRIMITIVE1));
- Expect.equals(NON_PRIMITIVE2, UNKNOWN.union(NON_PRIMITIVE2));
- Expect.equals(POTENTIAL_ARRAY, UNKNOWN.union(POTENTIAL_ARRAY));
- Expect.equals(POTENTIAL_STRING, UNKNOWN.union(POTENTIAL_STRING));
- Expect.equals(BOOLEAN_OR_NULL, UNKNOWN.union(BOOLEAN_OR_NULL));
- Expect.equals(NUMBER_OR_NULL, UNKNOWN.union(NUMBER_OR_NULL));
- Expect.equals(INTEGER_OR_NULL, UNKNOWN.union(INTEGER_OR_NULL));
- Expect.equals(DOUBLE_OR_NULL, UNKNOWN.union(DOUBLE_OR_NULL));
- Expect.equals(STRING_OR_NULL, UNKNOWN.union(STRING_OR_NULL));
- Expect.equals(NULL, UNKNOWN.union(NULL));
-
- Expect.equals(CONFLICTING, BOOLEAN.union(CONFLICTING));
- Expect.equals(BOOLEAN, BOOLEAN.union(UNKNOWN));
+ Expect.equals(UNKNOWN, UNKNOWN.union(BOOLEAN));
+ Expect.equals(UNKNOWN, UNKNOWN.union(NUMBER));
+ Expect.equals(UNKNOWN, UNKNOWN.union(INTEGER));
+ Expect.equals(UNKNOWN, UNKNOWN.union(DOUBLE));
+ Expect.equals(UNKNOWN, UNKNOWN.union(INDEXABLE_PRIMITIVE));
+ Expect.equals(UNKNOWN, UNKNOWN.union(STRING));
+ Expect.equals(UNKNOWN, UNKNOWN.union(READABLE_ARRAY));
+ Expect.equals(UNKNOWN, UNKNOWN.union(MUTABLE_ARRAY));
+ Expect.equals(UNKNOWN, UNKNOWN.union(EXTENDABLE_ARRAY));
+ Expect.equals(UNKNOWN, UNKNOWN.union(NON_PRIMITIVE1));
+ Expect.equals(UNKNOWN, UNKNOWN.union(NON_PRIMITIVE2));
+ Expect.equals(UNKNOWN, UNKNOWN.union(POTENTIAL_ARRAY));
+ Expect.equals(UNKNOWN, UNKNOWN.union(POTENTIAL_STRING));
+ Expect.equals(UNKNOWN, UNKNOWN.union(BOOLEAN_OR_NULL));
+ Expect.equals(UNKNOWN, UNKNOWN.union(NUMBER_OR_NULL));
+ Expect.equals(UNKNOWN, UNKNOWN.union(INTEGER_OR_NULL));
+ Expect.equals(UNKNOWN, UNKNOWN.union(DOUBLE_OR_NULL));
+ Expect.equals(UNKNOWN, UNKNOWN.union(STRING_OR_NULL));
+ Expect.equals(UNKNOWN, UNKNOWN.union(NULL));
+
+ Expect.equals(BOOLEAN, BOOLEAN.union(CONFLICTING));
+ Expect.equals(UNKNOWN, BOOLEAN.union(UNKNOWN));
Expect.equals(BOOLEAN, BOOLEAN.union(BOOLEAN));
- Expect.equals(CONFLICTING, BOOLEAN.union(NUMBER));
- Expect.equals(CONFLICTING, BOOLEAN.union(INTEGER));
- Expect.equals(CONFLICTING, BOOLEAN.union(DOUBLE));
- Expect.equals(CONFLICTING, BOOLEAN.union(INDEXABLE_PRIMITIVE));
- Expect.equals(CONFLICTING, BOOLEAN.union(STRING));
- Expect.equals(CONFLICTING, BOOLEAN.union(READABLE_ARRAY));
- Expect.equals(CONFLICTING, BOOLEAN.union(MUTABLE_ARRAY));
- Expect.equals(CONFLICTING, BOOLEAN.union(EXTENDABLE_ARRAY));
- Expect.equals(CONFLICTING, BOOLEAN.union(NON_PRIMITIVE1));
- Expect.equals(CONFLICTING, BOOLEAN.union(NON_PRIMITIVE2));
- Expect.equals(CONFLICTING, BOOLEAN.union(POTENTIAL_ARRAY));
- Expect.equals(CONFLICTING, BOOLEAN.union(POTENTIAL_STRING));
+ Expect.equals(UNKNOWN, BOOLEAN.union(NUMBER));
+ Expect.equals(UNKNOWN, BOOLEAN.union(INTEGER));
+ Expect.equals(UNKNOWN, BOOLEAN.union(DOUBLE));
+ Expect.equals(UNKNOWN, BOOLEAN.union(INDEXABLE_PRIMITIVE));
+ Expect.equals(UNKNOWN, BOOLEAN.union(STRING));
+ Expect.equals(UNKNOWN, BOOLEAN.union(READABLE_ARRAY));
+ Expect.equals(UNKNOWN, BOOLEAN.union(MUTABLE_ARRAY));
+ Expect.equals(UNKNOWN, BOOLEAN.union(EXTENDABLE_ARRAY));
+ Expect.equals(UNKNOWN, BOOLEAN.union(NON_PRIMITIVE1));
+ Expect.equals(UNKNOWN, BOOLEAN.union(NON_PRIMITIVE2));
+ Expect.equals(UNKNOWN, BOOLEAN.union(POTENTIAL_ARRAY));
+ Expect.equals(UNKNOWN, BOOLEAN.union(POTENTIAL_STRING));
Expect.equals(BOOLEAN_OR_NULL, BOOLEAN.union(BOOLEAN_OR_NULL));
- Expect.equals(CONFLICTING, BOOLEAN.union(NUMBER_OR_NULL));
- Expect.equals(CONFLICTING, BOOLEAN.union(INTEGER_OR_NULL));
- Expect.equals(CONFLICTING, BOOLEAN.union(DOUBLE_OR_NULL));
- Expect.equals(CONFLICTING, BOOLEAN.union(STRING_OR_NULL));
+ Expect.equals(UNKNOWN, BOOLEAN.union(NUMBER_OR_NULL));
+ Expect.equals(UNKNOWN, BOOLEAN.union(INTEGER_OR_NULL));
+ Expect.equals(UNKNOWN, BOOLEAN.union(DOUBLE_OR_NULL));
+ Expect.equals(UNKNOWN, BOOLEAN.union(STRING_OR_NULL));
Expect.equals(BOOLEAN_OR_NULL, BOOLEAN.union(NULL));
- Expect.equals(CONFLICTING, NUMBER.union(CONFLICTING));
- Expect.equals(NUMBER, NUMBER.union(UNKNOWN));
- Expect.equals(CONFLICTING, NUMBER.union(BOOLEAN));
+ Expect.equals(NUMBER, NUMBER.union(CONFLICTING));
+ Expect.equals(UNKNOWN, NUMBER.union(UNKNOWN));
+ Expect.equals(UNKNOWN, NUMBER.union(BOOLEAN));
Expect.equals(NUMBER, NUMBER.union(NUMBER));
Expect.equals(NUMBER, NUMBER.union(INTEGER));
Expect.equals(NUMBER, NUMBER.union(DOUBLE));
- Expect.equals(CONFLICTING, NUMBER.union(INDEXABLE_PRIMITIVE));
- Expect.equals(CONFLICTING, NUMBER.union(STRING));
- Expect.equals(CONFLICTING, NUMBER.union(READABLE_ARRAY));
- Expect.equals(CONFLICTING, NUMBER.union(MUTABLE_ARRAY));
- Expect.equals(CONFLICTING, NUMBER.union(EXTENDABLE_ARRAY));
- Expect.equals(CONFLICTING, NUMBER.union(NON_PRIMITIVE1));
- Expect.equals(CONFLICTING, NUMBER.union(NON_PRIMITIVE2));
- Expect.equals(CONFLICTING, NUMBER.union(POTENTIAL_ARRAY));
- Expect.equals(CONFLICTING, NUMBER.union(POTENTIAL_STRING));
- Expect.equals(CONFLICTING, NUMBER.union(BOOLEAN_OR_NULL));
+ Expect.equals(UNKNOWN, NUMBER.union(INDEXABLE_PRIMITIVE));
+ Expect.equals(UNKNOWN, NUMBER.union(STRING));
+ Expect.equals(UNKNOWN, NUMBER.union(READABLE_ARRAY));
+ Expect.equals(UNKNOWN, NUMBER.union(MUTABLE_ARRAY));
+ Expect.equals(UNKNOWN, NUMBER.union(EXTENDABLE_ARRAY));
+ Expect.equals(UNKNOWN, NUMBER.union(NON_PRIMITIVE1));
+ Expect.equals(UNKNOWN, NUMBER.union(NON_PRIMITIVE2));
+ Expect.equals(UNKNOWN, NUMBER.union(POTENTIAL_ARRAY));
+ Expect.equals(UNKNOWN, NUMBER.union(POTENTIAL_STRING));
+ Expect.equals(UNKNOWN, NUMBER.union(BOOLEAN_OR_NULL));
Expect.equals(NUMBER_OR_NULL, NUMBER.union(NUMBER_OR_NULL));
Expect.equals(NUMBER_OR_NULL, NUMBER.union(INTEGER_OR_NULL));
Expect.equals(NUMBER_OR_NULL, NUMBER.union(DOUBLE_OR_NULL));
- Expect.equals(CONFLICTING, NUMBER.union(STRING_OR_NULL));
+ Expect.equals(UNKNOWN, NUMBER.union(STRING_OR_NULL));
Expect.equals(NUMBER_OR_NULL, NUMBER.union(NULL));
- Expect.equals(CONFLICTING, INTEGER.union(CONFLICTING));
- Expect.equals(INTEGER, INTEGER.union(UNKNOWN));
- Expect.equals(CONFLICTING, INTEGER.union(BOOLEAN));
+ Expect.equals(INTEGER, INTEGER.union(CONFLICTING));
+ Expect.equals(UNKNOWN, INTEGER.union(UNKNOWN));
+ Expect.equals(UNKNOWN, INTEGER.union(BOOLEAN));
Expect.equals(NUMBER, INTEGER.union(NUMBER));
Expect.equals(INTEGER, INTEGER.union(INTEGER));
Expect.equals(NUMBER, INTEGER.union(DOUBLE));
- Expect.equals(CONFLICTING, INTEGER.union(INDEXABLE_PRIMITIVE));
- Expect.equals(CONFLICTING, INTEGER.union(STRING));
- Expect.equals(CONFLICTING, INTEGER.union(READABLE_ARRAY));
- Expect.equals(CONFLICTING, INTEGER.union(MUTABLE_ARRAY));
- Expect.equals(CONFLICTING, INTEGER.union(EXTENDABLE_ARRAY));
- Expect.equals(CONFLICTING, INTEGER.union(NON_PRIMITIVE1));
- Expect.equals(CONFLICTING, INTEGER.union(NON_PRIMITIVE2));
- Expect.equals(CONFLICTING, INTEGER.union(POTENTIAL_ARRAY));
- Expect.equals(CONFLICTING, INTEGER.union(POTENTIAL_STRING));
- Expect.equals(CONFLICTING, INTEGER.union(BOOLEAN_OR_NULL));
+ Expect.equals(UNKNOWN, INTEGER.union(INDEXABLE_PRIMITIVE));
+ Expect.equals(UNKNOWN, INTEGER.union(STRING));
+ Expect.equals(UNKNOWN, INTEGER.union(READABLE_ARRAY));
+ Expect.equals(UNKNOWN, INTEGER.union(MUTABLE_ARRAY));
+ Expect.equals(UNKNOWN, INTEGER.union(EXTENDABLE_ARRAY));
+ Expect.equals(UNKNOWN, INTEGER.union(NON_PRIMITIVE1));
+ Expect.equals(UNKNOWN, INTEGER.union(NON_PRIMITIVE2));
+ Expect.equals(UNKNOWN, INTEGER.union(POTENTIAL_ARRAY));
+ Expect.equals(UNKNOWN, INTEGER.union(POTENTIAL_STRING));
+ Expect.equals(UNKNOWN, INTEGER.union(BOOLEAN_OR_NULL));
Expect.equals(NUMBER_OR_NULL, INTEGER.union(NUMBER_OR_NULL));
Expect.equals(INTEGER_OR_NULL, INTEGER.union(INTEGER_OR_NULL));
Expect.equals(NUMBER_OR_NULL, INTEGER.union(DOUBLE_OR_NULL));
- Expect.equals(CONFLICTING, INTEGER.union(STRING_OR_NULL));
+ Expect.equals(UNKNOWN, INTEGER.union(STRING_OR_NULL));
Expect.equals(INTEGER_OR_NULL, INTEGER.union(NULL));
- Expect.equals(CONFLICTING, DOUBLE.union(CONFLICTING));
- Expect.equals(DOUBLE, DOUBLE.union(UNKNOWN));
- Expect.equals(CONFLICTING, DOUBLE.union(BOOLEAN));
+ Expect.equals(DOUBLE, DOUBLE.union(CONFLICTING));
+ Expect.equals(UNKNOWN, DOUBLE.union(UNKNOWN));
+ Expect.equals(UNKNOWN, DOUBLE.union(BOOLEAN));
Expect.equals(NUMBER, DOUBLE.union(NUMBER));
Expect.equals(NUMBER, DOUBLE.union(INTEGER));
Expect.equals(DOUBLE, DOUBLE.union(DOUBLE));
- Expect.equals(CONFLICTING, DOUBLE.union(INDEXABLE_PRIMITIVE));
- Expect.equals(CONFLICTING, DOUBLE.union(STRING));
- Expect.equals(CONFLICTING, DOUBLE.union(READABLE_ARRAY));
- Expect.equals(CONFLICTING, DOUBLE.union(MUTABLE_ARRAY));
- Expect.equals(CONFLICTING, DOUBLE.union(EXTENDABLE_ARRAY));
- Expect.equals(CONFLICTING, DOUBLE.union(NON_PRIMITIVE1));
- Expect.equals(CONFLICTING, DOUBLE.union(NON_PRIMITIVE2));
- Expect.equals(CONFLICTING, DOUBLE.union(POTENTIAL_ARRAY));
- Expect.equals(CONFLICTING, DOUBLE.union(POTENTIAL_STRING));
- Expect.equals(CONFLICTING, DOUBLE.union(BOOLEAN_OR_NULL));
+ Expect.equals(UNKNOWN, DOUBLE.union(INDEXABLE_PRIMITIVE));
+ Expect.equals(UNKNOWN, DOUBLE.union(STRING));
+ Expect.equals(UNKNOWN, DOUBLE.union(READABLE_ARRAY));
+ Expect.equals(UNKNOWN, DOUBLE.union(MUTABLE_ARRAY));
+ Expect.equals(UNKNOWN, DOUBLE.union(EXTENDABLE_ARRAY));
+ Expect.equals(UNKNOWN, DOUBLE.union(NON_PRIMITIVE1));
+ Expect.equals(UNKNOWN, DOUBLE.union(NON_PRIMITIVE2));
+ Expect.equals(UNKNOWN, DOUBLE.union(POTENTIAL_ARRAY));
+ Expect.equals(UNKNOWN, DOUBLE.union(POTENTIAL_STRING));
+ Expect.equals(UNKNOWN, DOUBLE.union(BOOLEAN_OR_NULL));
Expect.equals(NUMBER_OR_NULL, DOUBLE.union(NUMBER_OR_NULL));
Expect.equals(NUMBER_OR_NULL, DOUBLE.union(INTEGER_OR_NULL));
Expect.equals(DOUBLE_OR_NULL, DOUBLE.union(DOUBLE_OR_NULL));
- Expect.equals(CONFLICTING, DOUBLE.union(STRING_OR_NULL));
+ Expect.equals(UNKNOWN, DOUBLE.union(STRING_OR_NULL));
Expect.equals(DOUBLE_OR_NULL, DOUBLE.union(NULL));
- Expect.equals(CONFLICTING, INDEXABLE_PRIMITIVE.union(CONFLICTING));
- Expect.equals(INDEXABLE_PRIMITIVE, INDEXABLE_PRIMITIVE.union(UNKNOWN));
- Expect.equals(CONFLICTING, INDEXABLE_PRIMITIVE.union(BOOLEAN));
- Expect.equals(CONFLICTING, INDEXABLE_PRIMITIVE.union(NUMBER));
- Expect.equals(CONFLICTING, INDEXABLE_PRIMITIVE.union(INTEGER));
- Expect.equals(CONFLICTING, INDEXABLE_PRIMITIVE.union(DOUBLE));
+ Expect.equals(INDEXABLE_PRIMITIVE, INDEXABLE_PRIMITIVE.union(CONFLICTING));
+ Expect.equals(UNKNOWN, INDEXABLE_PRIMITIVE.union(UNKNOWN));
+ Expect.equals(UNKNOWN, INDEXABLE_PRIMITIVE.union(BOOLEAN));
+ Expect.equals(UNKNOWN, INDEXABLE_PRIMITIVE.union(NUMBER));
+ Expect.equals(UNKNOWN, INDEXABLE_PRIMITIVE.union(INTEGER));
+ Expect.equals(UNKNOWN, INDEXABLE_PRIMITIVE.union(DOUBLE));
Expect.equals(INDEXABLE_PRIMITIVE,
INDEXABLE_PRIMITIVE.union(INDEXABLE_PRIMITIVE));
Expect.equals(INDEXABLE_PRIMITIVE, INDEXABLE_PRIMITIVE.union(STRING));
@@ -179,316 +179,316 @@ void testUnion() {
Expect.equals(INDEXABLE_PRIMITIVE, INDEXABLE_PRIMITIVE.union(MUTABLE_ARRAY));
Expect.equals(INDEXABLE_PRIMITIVE,
INDEXABLE_PRIMITIVE.union(EXTENDABLE_ARRAY));
- Expect.equals(CONFLICTING, INDEXABLE_PRIMITIVE.union(NON_PRIMITIVE1));
- Expect.equals(CONFLICTING, INDEXABLE_PRIMITIVE.union(NON_PRIMITIVE2));
- Expect.equals(CONFLICTING, INDEXABLE_PRIMITIVE.union(POTENTIAL_ARRAY));
- Expect.equals(CONFLICTING, INDEXABLE_PRIMITIVE.union(POTENTIAL_STRING));
- Expect.equals(CONFLICTING, INDEXABLE_PRIMITIVE.union(BOOLEAN_OR_NULL));
- Expect.equals(CONFLICTING, INDEXABLE_PRIMITIVE.union(NUMBER_OR_NULL));
- Expect.equals(CONFLICTING, INDEXABLE_PRIMITIVE.union(INTEGER_OR_NULL));
- Expect.equals(CONFLICTING, INDEXABLE_PRIMITIVE.union(DOUBLE_OR_NULL));
- Expect.equals(CONFLICTING, INDEXABLE_PRIMITIVE.union(STRING_OR_NULL));
- Expect.equals(CONFLICTING, INDEXABLE_PRIMITIVE.union(NULL));
-
- Expect.equals(CONFLICTING, STRING.union(CONFLICTING));
- Expect.equals(STRING, STRING.union(UNKNOWN));
- Expect.equals(CONFLICTING, STRING.union(BOOLEAN));
- Expect.equals(CONFLICTING, STRING.union(NUMBER));
- Expect.equals(CONFLICTING, STRING.union(INTEGER));
- Expect.equals(CONFLICTING, STRING.union(DOUBLE));
+ Expect.equals(UNKNOWN, INDEXABLE_PRIMITIVE.union(NON_PRIMITIVE1));
+ Expect.equals(UNKNOWN, INDEXABLE_PRIMITIVE.union(NON_PRIMITIVE2));
+ Expect.equals(UNKNOWN, INDEXABLE_PRIMITIVE.union(POTENTIAL_ARRAY));
+ Expect.equals(UNKNOWN, INDEXABLE_PRIMITIVE.union(POTENTIAL_STRING));
+ Expect.equals(UNKNOWN, INDEXABLE_PRIMITIVE.union(BOOLEAN_OR_NULL));
+ Expect.equals(UNKNOWN, INDEXABLE_PRIMITIVE.union(NUMBER_OR_NULL));
+ Expect.equals(UNKNOWN, INDEXABLE_PRIMITIVE.union(INTEGER_OR_NULL));
+ Expect.equals(UNKNOWN, INDEXABLE_PRIMITIVE.union(DOUBLE_OR_NULL));
+ Expect.equals(UNKNOWN, INDEXABLE_PRIMITIVE.union(STRING_OR_NULL));
+ Expect.equals(UNKNOWN, INDEXABLE_PRIMITIVE.union(NULL));
+
+ Expect.equals(STRING, STRING.union(CONFLICTING));
+ Expect.equals(UNKNOWN, STRING.union(UNKNOWN));
+ Expect.equals(UNKNOWN, STRING.union(BOOLEAN));
+ Expect.equals(UNKNOWN, STRING.union(NUMBER));
+ Expect.equals(UNKNOWN, STRING.union(INTEGER));
+ Expect.equals(UNKNOWN, STRING.union(DOUBLE));
Expect.equals(INDEXABLE_PRIMITIVE, STRING.union(INDEXABLE_PRIMITIVE));
Expect.equals(STRING, STRING.union(STRING));
Expect.equals(INDEXABLE_PRIMITIVE, STRING.union(READABLE_ARRAY));
Expect.equals(INDEXABLE_PRIMITIVE, STRING.union(MUTABLE_ARRAY));
Expect.equals(INDEXABLE_PRIMITIVE, STRING.union(EXTENDABLE_ARRAY));
- Expect.equals(CONFLICTING, STRING.union(NON_PRIMITIVE1));
- Expect.equals(CONFLICTING, STRING.union(NON_PRIMITIVE2));
- Expect.equals(CONFLICTING, STRING.union(POTENTIAL_ARRAY));
+ Expect.equals(UNKNOWN, STRING.union(NON_PRIMITIVE1));
+ Expect.equals(UNKNOWN, STRING.union(NON_PRIMITIVE2));
+ Expect.equals(UNKNOWN, STRING.union(POTENTIAL_ARRAY));
Expect.equals(POTENTIAL_STRING, STRING.union(POTENTIAL_STRING));
- Expect.equals(CONFLICTING, STRING.union(BOOLEAN_OR_NULL));
- Expect.equals(CONFLICTING, STRING.union(NUMBER_OR_NULL));
- Expect.equals(CONFLICTING, STRING.union(INTEGER_OR_NULL));
- Expect.equals(CONFLICTING, STRING.union(DOUBLE_OR_NULL));
+ Expect.equals(UNKNOWN, STRING.union(BOOLEAN_OR_NULL));
+ Expect.equals(UNKNOWN, STRING.union(NUMBER_OR_NULL));
+ Expect.equals(UNKNOWN, STRING.union(INTEGER_OR_NULL));
+ Expect.equals(UNKNOWN, STRING.union(DOUBLE_OR_NULL));
Expect.equals(STRING_OR_NULL, STRING.union(STRING_OR_NULL));
Expect.equals(STRING_OR_NULL, STRING.union(NULL));
- Expect.equals(CONFLICTING, READABLE_ARRAY.union(CONFLICTING));
- Expect.equals(READABLE_ARRAY, READABLE_ARRAY.union(UNKNOWN));
- Expect.equals(CONFLICTING, READABLE_ARRAY.union(BOOLEAN));
- Expect.equals(CONFLICTING, READABLE_ARRAY.union(NUMBER));
- Expect.equals(CONFLICTING, READABLE_ARRAY.union(INTEGER));
- Expect.equals(CONFLICTING, READABLE_ARRAY.union(DOUBLE));
+ Expect.equals(READABLE_ARRAY, READABLE_ARRAY.union(CONFLICTING));
+ Expect.equals(UNKNOWN, READABLE_ARRAY.union(UNKNOWN));
+ Expect.equals(UNKNOWN, READABLE_ARRAY.union(BOOLEAN));
+ Expect.equals(UNKNOWN, READABLE_ARRAY.union(NUMBER));
+ Expect.equals(UNKNOWN, READABLE_ARRAY.union(INTEGER));
+ Expect.equals(UNKNOWN, READABLE_ARRAY.union(DOUBLE));
Expect.equals(INDEXABLE_PRIMITIVE, READABLE_ARRAY.union(INDEXABLE_PRIMITIVE));
Expect.equals(INDEXABLE_PRIMITIVE, READABLE_ARRAY.union(STRING));
Expect.equals(READABLE_ARRAY, READABLE_ARRAY.union(READABLE_ARRAY));
Expect.equals(READABLE_ARRAY, READABLE_ARRAY.union(MUTABLE_ARRAY));
Expect.equals(READABLE_ARRAY, READABLE_ARRAY.union(EXTENDABLE_ARRAY));
- Expect.equals(CONFLICTING, READABLE_ARRAY.union(NON_PRIMITIVE1));
- Expect.equals(CONFLICTING, READABLE_ARRAY.union(NON_PRIMITIVE2));
+ Expect.equals(UNKNOWN, READABLE_ARRAY.union(NON_PRIMITIVE1));
+ Expect.equals(UNKNOWN, READABLE_ARRAY.union(NON_PRIMITIVE2));
Expect.equals(POTENTIAL_ARRAY, READABLE_ARRAY.union(POTENTIAL_ARRAY));
- Expect.equals(CONFLICTING, READABLE_ARRAY.union(POTENTIAL_STRING));
- Expect.equals(CONFLICTING, READABLE_ARRAY.union(BOOLEAN_OR_NULL));
- Expect.equals(CONFLICTING, READABLE_ARRAY.union(NUMBER_OR_NULL));
- Expect.equals(CONFLICTING, READABLE_ARRAY.union(INTEGER_OR_NULL));
- Expect.equals(CONFLICTING, READABLE_ARRAY.union(DOUBLE_OR_NULL));
- Expect.equals(CONFLICTING, READABLE_ARRAY.union(STRING_OR_NULL));
- Expect.equals(CONFLICTING, READABLE_ARRAY.union(NULL));
-
- Expect.equals(CONFLICTING, MUTABLE_ARRAY.union(CONFLICTING));
- Expect.equals(MUTABLE_ARRAY, MUTABLE_ARRAY.union(UNKNOWN));
- Expect.equals(CONFLICTING, MUTABLE_ARRAY.union(BOOLEAN));
- Expect.equals(CONFLICTING, MUTABLE_ARRAY.union(NUMBER));
- Expect.equals(CONFLICTING, MUTABLE_ARRAY.union(INTEGER));
- Expect.equals(CONFLICTING, MUTABLE_ARRAY.union(DOUBLE));
+ Expect.equals(UNKNOWN, READABLE_ARRAY.union(POTENTIAL_STRING));
+ Expect.equals(UNKNOWN, READABLE_ARRAY.union(BOOLEAN_OR_NULL));
+ Expect.equals(UNKNOWN, READABLE_ARRAY.union(NUMBER_OR_NULL));
+ Expect.equals(UNKNOWN, READABLE_ARRAY.union(INTEGER_OR_NULL));
+ Expect.equals(UNKNOWN, READABLE_ARRAY.union(DOUBLE_OR_NULL));
+ Expect.equals(UNKNOWN, READABLE_ARRAY.union(STRING_OR_NULL));
+ Expect.equals(UNKNOWN, READABLE_ARRAY.union(NULL));
+
+ Expect.equals(MUTABLE_ARRAY, MUTABLE_ARRAY.union(CONFLICTING));
+ Expect.equals(UNKNOWN, MUTABLE_ARRAY.union(UNKNOWN));
+ Expect.equals(UNKNOWN, MUTABLE_ARRAY.union(BOOLEAN));
+ Expect.equals(UNKNOWN, MUTABLE_ARRAY.union(NUMBER));
+ Expect.equals(UNKNOWN, MUTABLE_ARRAY.union(INTEGER));
+ Expect.equals(UNKNOWN, MUTABLE_ARRAY.union(DOUBLE));
Expect.equals(INDEXABLE_PRIMITIVE, MUTABLE_ARRAY.union(INDEXABLE_PRIMITIVE));
Expect.equals(INDEXABLE_PRIMITIVE, MUTABLE_ARRAY.union(STRING));
Expect.equals(READABLE_ARRAY, MUTABLE_ARRAY.union(READABLE_ARRAY));
Expect.equals(MUTABLE_ARRAY, MUTABLE_ARRAY.union(MUTABLE_ARRAY));
Expect.equals(MUTABLE_ARRAY, MUTABLE_ARRAY.union(EXTENDABLE_ARRAY));
- Expect.equals(CONFLICTING, MUTABLE_ARRAY.union(NON_PRIMITIVE1));
- Expect.equals(CONFLICTING, MUTABLE_ARRAY.union(NON_PRIMITIVE2));
+ Expect.equals(UNKNOWN, MUTABLE_ARRAY.union(NON_PRIMITIVE1));
+ Expect.equals(UNKNOWN, MUTABLE_ARRAY.union(NON_PRIMITIVE2));
Expect.equals(POTENTIAL_ARRAY,MUTABLE_ARRAY.union(POTENTIAL_ARRAY));
- Expect.equals(CONFLICTING, MUTABLE_ARRAY.union(POTENTIAL_STRING));
- Expect.equals(CONFLICTING, MUTABLE_ARRAY.union(BOOLEAN_OR_NULL));
- Expect.equals(CONFLICTING, MUTABLE_ARRAY.union(NUMBER_OR_NULL));
- Expect.equals(CONFLICTING, MUTABLE_ARRAY.union(INTEGER_OR_NULL));
- Expect.equals(CONFLICTING, MUTABLE_ARRAY.union(DOUBLE_OR_NULL));
- Expect.equals(CONFLICTING, MUTABLE_ARRAY.union(STRING_OR_NULL));
- Expect.equals(CONFLICTING, MUTABLE_ARRAY.union(NULL));
-
- Expect.equals(CONFLICTING, EXTENDABLE_ARRAY.union(CONFLICTING));
- Expect.equals(EXTENDABLE_ARRAY, EXTENDABLE_ARRAY.union(UNKNOWN));
- Expect.equals(CONFLICTING, EXTENDABLE_ARRAY.union(BOOLEAN));
- Expect.equals(CONFLICTING, EXTENDABLE_ARRAY.union(NUMBER));
- Expect.equals(CONFLICTING, EXTENDABLE_ARRAY.union(INTEGER));
- Expect.equals(CONFLICTING, EXTENDABLE_ARRAY.union(DOUBLE));
+ Expect.equals(UNKNOWN, MUTABLE_ARRAY.union(POTENTIAL_STRING));
+ Expect.equals(UNKNOWN, MUTABLE_ARRAY.union(BOOLEAN_OR_NULL));
+ Expect.equals(UNKNOWN, MUTABLE_ARRAY.union(NUMBER_OR_NULL));
+ Expect.equals(UNKNOWN, MUTABLE_ARRAY.union(INTEGER_OR_NULL));
+ Expect.equals(UNKNOWN, MUTABLE_ARRAY.union(DOUBLE_OR_NULL));
+ Expect.equals(UNKNOWN, MUTABLE_ARRAY.union(STRING_OR_NULL));
+ Expect.equals(UNKNOWN, MUTABLE_ARRAY.union(NULL));
+
+ Expect.equals(EXTENDABLE_ARRAY, EXTENDABLE_ARRAY.union(CONFLICTING));
+ Expect.equals(UNKNOWN, EXTENDABLE_ARRAY.union(UNKNOWN));
+ Expect.equals(UNKNOWN, EXTENDABLE_ARRAY.union(BOOLEAN));
+ Expect.equals(UNKNOWN, EXTENDABLE_ARRAY.union(NUMBER));
+ Expect.equals(UNKNOWN, EXTENDABLE_ARRAY.union(INTEGER));
+ Expect.equals(UNKNOWN, EXTENDABLE_ARRAY.union(DOUBLE));
Expect.equals(INDEXABLE_PRIMITIVE, EXTENDABLE_ARRAY.union(INDEXABLE_PRIMITIVE));
Expect.equals(INDEXABLE_PRIMITIVE, EXTENDABLE_ARRAY.union(STRING));
Expect.equals(READABLE_ARRAY, EXTENDABLE_ARRAY.union(READABLE_ARRAY));
Expect.equals(MUTABLE_ARRAY, EXTENDABLE_ARRAY.union(MUTABLE_ARRAY));
Expect.equals(EXTENDABLE_ARRAY, EXTENDABLE_ARRAY.union(EXTENDABLE_ARRAY));
- Expect.equals(CONFLICTING, EXTENDABLE_ARRAY.union(NON_PRIMITIVE1));
- Expect.equals(CONFLICTING, EXTENDABLE_ARRAY.union(NON_PRIMITIVE2));
+ Expect.equals(UNKNOWN, EXTENDABLE_ARRAY.union(NON_PRIMITIVE1));
+ Expect.equals(UNKNOWN, EXTENDABLE_ARRAY.union(NON_PRIMITIVE2));
Expect.equals(POTENTIAL_ARRAY, EXTENDABLE_ARRAY.union(POTENTIAL_ARRAY));
- Expect.equals(CONFLICTING, EXTENDABLE_ARRAY.union(POTENTIAL_STRING));
- Expect.equals(CONFLICTING, EXTENDABLE_ARRAY.union(BOOLEAN_OR_NULL));
- Expect.equals(CONFLICTING, EXTENDABLE_ARRAY.union(NUMBER_OR_NULL));
- Expect.equals(CONFLICTING, EXTENDABLE_ARRAY.union(INTEGER_OR_NULL));
- Expect.equals(CONFLICTING, EXTENDABLE_ARRAY.union(DOUBLE_OR_NULL));
- Expect.equals(CONFLICTING, EXTENDABLE_ARRAY.union(STRING_OR_NULL));
- Expect.equals(CONFLICTING, EXTENDABLE_ARRAY.union(NULL));
-
- Expect.equals(CONFLICTING, NON_PRIMITIVE1.union(CONFLICTING));
- Expect.equals(NON_PRIMITIVE1, NON_PRIMITIVE1.union(UNKNOWN));
- Expect.equals(CONFLICTING, NON_PRIMITIVE1.union(BOOLEAN));
- Expect.equals(CONFLICTING, NON_PRIMITIVE1.union(NUMBER));
- Expect.equals(CONFLICTING, NON_PRIMITIVE1.union(INTEGER));
- Expect.equals(CONFLICTING, NON_PRIMITIVE1.union(DOUBLE));
- Expect.equals(CONFLICTING, NON_PRIMITIVE1.union(INDEXABLE_PRIMITIVE));
- Expect.equals(CONFLICTING, NON_PRIMITIVE1.union(STRING));
- Expect.equals(CONFLICTING, NON_PRIMITIVE1.union(READABLE_ARRAY));
- Expect.equals(CONFLICTING, NON_PRIMITIVE1.union(MUTABLE_ARRAY));
- Expect.equals(CONFLICTING, NON_PRIMITIVE1.union(EXTENDABLE_ARRAY));
+ Expect.equals(UNKNOWN, EXTENDABLE_ARRAY.union(POTENTIAL_STRING));
+ Expect.equals(UNKNOWN, EXTENDABLE_ARRAY.union(BOOLEAN_OR_NULL));
+ Expect.equals(UNKNOWN, EXTENDABLE_ARRAY.union(NUMBER_OR_NULL));
+ Expect.equals(UNKNOWN, EXTENDABLE_ARRAY.union(INTEGER_OR_NULL));
+ Expect.equals(UNKNOWN, EXTENDABLE_ARRAY.union(DOUBLE_OR_NULL));
+ Expect.equals(UNKNOWN, EXTENDABLE_ARRAY.union(STRING_OR_NULL));
+ Expect.equals(UNKNOWN, EXTENDABLE_ARRAY.union(NULL));
+
+ Expect.equals(NON_PRIMITIVE1, NON_PRIMITIVE1.union(CONFLICTING));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE1.union(UNKNOWN));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE1.union(BOOLEAN));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE1.union(NUMBER));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE1.union(INTEGER));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE1.union(DOUBLE));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE1.union(INDEXABLE_PRIMITIVE));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE1.union(STRING));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE1.union(READABLE_ARRAY));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE1.union(MUTABLE_ARRAY));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE1.union(EXTENDABLE_ARRAY));
Expect.equals(NON_PRIMITIVE1, NON_PRIMITIVE1.union(NON_PRIMITIVE1));
- Expect.equals(CONFLICTING, NON_PRIMITIVE1.union(NON_PRIMITIVE2));
- Expect.equals(CONFLICTING, NON_PRIMITIVE1.union(POTENTIAL_ARRAY));
- Expect.equals(CONFLICTING, NON_PRIMITIVE1.union(POTENTIAL_STRING));
- Expect.equals(CONFLICTING, NON_PRIMITIVE1.union(BOOLEAN_OR_NULL));
- Expect.equals(CONFLICTING, NON_PRIMITIVE1.union(NUMBER_OR_NULL));
- Expect.equals(CONFLICTING, NON_PRIMITIVE1.union(INTEGER_OR_NULL));
- Expect.equals(CONFLICTING, NON_PRIMITIVE1.union(DOUBLE_OR_NULL));
- Expect.equals(CONFLICTING, NON_PRIMITIVE1.union(STRING_OR_NULL));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE1.union(NON_PRIMITIVE2));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE1.union(POTENTIAL_ARRAY));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE1.union(POTENTIAL_STRING));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE1.union(BOOLEAN_OR_NULL));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE1.union(NUMBER_OR_NULL));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE1.union(INTEGER_OR_NULL));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE1.union(DOUBLE_OR_NULL));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE1.union(STRING_OR_NULL));
Expect.isTrue(NON_PRIMITIVE1.union(NULL) is HBoundedType);
- Expect.equals(CONFLICTING, NON_PRIMITIVE2.union(CONFLICTING));
- Expect.equals(NON_PRIMITIVE2, NON_PRIMITIVE2.union(UNKNOWN));
- Expect.equals(CONFLICTING, NON_PRIMITIVE2.union(BOOLEAN));
- Expect.equals(CONFLICTING, NON_PRIMITIVE2.union(NUMBER));
- Expect.equals(CONFLICTING, NON_PRIMITIVE2.union(INTEGER));
- Expect.equals(CONFLICTING, NON_PRIMITIVE2.union(DOUBLE));
- Expect.equals(CONFLICTING, NON_PRIMITIVE2.union(INDEXABLE_PRIMITIVE));
- Expect.equals(CONFLICTING, NON_PRIMITIVE2.union(STRING));
- Expect.equals(CONFLICTING, NON_PRIMITIVE2.union(READABLE_ARRAY));
- Expect.equals(CONFLICTING, NON_PRIMITIVE2.union(MUTABLE_ARRAY));
- Expect.equals(CONFLICTING, NON_PRIMITIVE2.union(EXTENDABLE_ARRAY));
- Expect.equals(CONFLICTING, NON_PRIMITIVE2.union(NON_PRIMITIVE1));
+ Expect.equals(NON_PRIMITIVE2, NON_PRIMITIVE2.union(CONFLICTING));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE2.union(UNKNOWN));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE2.union(BOOLEAN));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE2.union(NUMBER));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE2.union(INTEGER));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE2.union(DOUBLE));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE2.union(INDEXABLE_PRIMITIVE));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE2.union(STRING));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE2.union(READABLE_ARRAY));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE2.union(MUTABLE_ARRAY));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE2.union(EXTENDABLE_ARRAY));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE2.union(NON_PRIMITIVE1));
Expect.equals(NON_PRIMITIVE2, NON_PRIMITIVE2.union(NON_PRIMITIVE2));
- Expect.equals(CONFLICTING, NON_PRIMITIVE2.union(POTENTIAL_ARRAY));
- Expect.equals(CONFLICTING, NON_PRIMITIVE2.union(POTENTIAL_STRING));
- Expect.equals(CONFLICTING, NON_PRIMITIVE2.union(BOOLEAN_OR_NULL));
- Expect.equals(CONFLICTING, NON_PRIMITIVE2.union(NUMBER_OR_NULL));
- Expect.equals(CONFLICTING, NON_PRIMITIVE2.union(INTEGER_OR_NULL));
- Expect.equals(CONFLICTING, NON_PRIMITIVE2.union(DOUBLE_OR_NULL));
- Expect.equals(CONFLICTING, NON_PRIMITIVE2.union(STRING_OR_NULL));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE2.union(POTENTIAL_ARRAY));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE2.union(POTENTIAL_STRING));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE2.union(BOOLEAN_OR_NULL));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE2.union(NUMBER_OR_NULL));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE2.union(INTEGER_OR_NULL));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE2.union(DOUBLE_OR_NULL));
+ Expect.equals(UNKNOWN, NON_PRIMITIVE2.union(STRING_OR_NULL));
Expect.isTrue(NON_PRIMITIVE2.union(NULL) is HBoundedType);
- Expect.equals(CONFLICTING, POTENTIAL_ARRAY.union(CONFLICTING));
- Expect.equals(POTENTIAL_ARRAY, POTENTIAL_ARRAY.union(UNKNOWN));
- Expect.equals(CONFLICTING, POTENTIAL_ARRAY.union(BOOLEAN));
- Expect.equals(CONFLICTING, POTENTIAL_ARRAY.union(NUMBER));
- Expect.equals(CONFLICTING, POTENTIAL_ARRAY.union(INTEGER));
- Expect.equals(CONFLICTING, POTENTIAL_ARRAY.union(DOUBLE));
- Expect.equals(CONFLICTING, POTENTIAL_ARRAY.union(INDEXABLE_PRIMITIVE));
- Expect.equals(CONFLICTING, POTENTIAL_ARRAY.union(STRING));
+ Expect.equals(POTENTIAL_ARRAY, POTENTIAL_ARRAY.union(CONFLICTING));
+ Expect.equals(UNKNOWN, POTENTIAL_ARRAY.union(UNKNOWN));
+ Expect.equals(UNKNOWN, POTENTIAL_ARRAY.union(BOOLEAN));
+ Expect.equals(UNKNOWN, POTENTIAL_ARRAY.union(NUMBER));
+ Expect.equals(UNKNOWN, POTENTIAL_ARRAY.union(INTEGER));
+ Expect.equals(UNKNOWN, POTENTIAL_ARRAY.union(DOUBLE));
+ Expect.equals(UNKNOWN, POTENTIAL_ARRAY.union(INDEXABLE_PRIMITIVE));
+ Expect.equals(UNKNOWN, POTENTIAL_ARRAY.union(STRING));
Expect.equals(POTENTIAL_ARRAY, POTENTIAL_ARRAY.union(READABLE_ARRAY));
Expect.equals(POTENTIAL_ARRAY, POTENTIAL_ARRAY.union(MUTABLE_ARRAY));
Expect.equals(POTENTIAL_ARRAY, POTENTIAL_ARRAY.union(EXTENDABLE_ARRAY));
- Expect.equals(CONFLICTING, POTENTIAL_ARRAY.union(NON_PRIMITIVE1));
- Expect.equals(CONFLICTING, POTENTIAL_ARRAY.union(NON_PRIMITIVE2));
+ Expect.equals(UNKNOWN, POTENTIAL_ARRAY.union(NON_PRIMITIVE1));
+ Expect.equals(UNKNOWN, POTENTIAL_ARRAY.union(NON_PRIMITIVE2));
Expect.equals(POTENTIAL_ARRAY, POTENTIAL_ARRAY.union(POTENTIAL_ARRAY));
- Expect.equals(CONFLICTING, POTENTIAL_ARRAY.union(POTENTIAL_STRING));
- Expect.equals(CONFLICTING, POTENTIAL_ARRAY.union(BOOLEAN_OR_NULL));
- Expect.equals(CONFLICTING, POTENTIAL_ARRAY.union(NUMBER_OR_NULL));
- Expect.equals(CONFLICTING, POTENTIAL_ARRAY.union(INTEGER_OR_NULL));
- Expect.equals(CONFLICTING, POTENTIAL_ARRAY.union(DOUBLE_OR_NULL));
- Expect.equals(CONFLICTING, POTENTIAL_ARRAY.union(STRING_OR_NULL));
+ Expect.equals(UNKNOWN, POTENTIAL_ARRAY.union(POTENTIAL_STRING));
+ Expect.equals(UNKNOWN, POTENTIAL_ARRAY.union(BOOLEAN_OR_NULL));
+ Expect.equals(UNKNOWN, POTENTIAL_ARRAY.union(NUMBER_OR_NULL));
+ Expect.equals(UNKNOWN, POTENTIAL_ARRAY.union(INTEGER_OR_NULL));
+ Expect.equals(UNKNOWN, POTENTIAL_ARRAY.union(DOUBLE_OR_NULL));
+ Expect.equals(UNKNOWN, POTENTIAL_ARRAY.union(STRING_OR_NULL));
Expect.equals(POTENTIAL_ARRAY, POTENTIAL_ARRAY.union(NULL));
- Expect.equals(CONFLICTING, POTENTIAL_STRING.union(CONFLICTING));
- Expect.equals(POTENTIAL_STRING, POTENTIAL_STRING.union(UNKNOWN));
- Expect.equals(CONFLICTING, POTENTIAL_STRING.union(BOOLEAN));
- Expect.equals(CONFLICTING, POTENTIAL_STRING.union(NUMBER));
- Expect.equals(CONFLICTING, POTENTIAL_STRING.union(INTEGER));
- Expect.equals(CONFLICTING, POTENTIAL_STRING.union(DOUBLE));
- Expect.equals(CONFLICTING, POTENTIAL_STRING.union(INDEXABLE_PRIMITIVE));
+ Expect.equals(POTENTIAL_STRING, POTENTIAL_STRING.union(CONFLICTING));
+ Expect.equals(UNKNOWN, POTENTIAL_STRING.union(UNKNOWN));
+ Expect.equals(UNKNOWN, POTENTIAL_STRING.union(BOOLEAN));
+ Expect.equals(UNKNOWN, POTENTIAL_STRING.union(NUMBER));
+ Expect.equals(UNKNOWN, POTENTIAL_STRING.union(INTEGER));
+ Expect.equals(UNKNOWN, POTENTIAL_STRING.union(DOUBLE));
+ Expect.equals(UNKNOWN, POTENTIAL_STRING.union(INDEXABLE_PRIMITIVE));
Expect.equals(POTENTIAL_STRING, POTENTIAL_STRING.union(STRING));
- Expect.equals(CONFLICTING, POTENTIAL_STRING.union(READABLE_ARRAY));
- Expect.equals(CONFLICTING, POTENTIAL_STRING.union(MUTABLE_ARRAY));
- Expect.equals(CONFLICTING, POTENTIAL_STRING.union(EXTENDABLE_ARRAY));
- Expect.equals(CONFLICTING, POTENTIAL_STRING.union(NON_PRIMITIVE1));
- Expect.equals(CONFLICTING, POTENTIAL_STRING.union(NON_PRIMITIVE2));
- Expect.equals(CONFLICTING, POTENTIAL_STRING.union(POTENTIAL_ARRAY));
+ Expect.equals(UNKNOWN, POTENTIAL_STRING.union(READABLE_ARRAY));
+ Expect.equals(UNKNOWN, POTENTIAL_STRING.union(MUTABLE_ARRAY));
+ Expect.equals(UNKNOWN, POTENTIAL_STRING.union(EXTENDABLE_ARRAY));
+ Expect.equals(UNKNOWN, POTENTIAL_STRING.union(NON_PRIMITIVE1));
+ Expect.equals(UNKNOWN, POTENTIAL_STRING.union(NON_PRIMITIVE2));
+ Expect.equals(UNKNOWN, POTENTIAL_STRING.union(POTENTIAL_ARRAY));
Expect.equals(POTENTIAL_STRING, POTENTIAL_STRING.union(POTENTIAL_STRING));
- Expect.equals(CONFLICTING, POTENTIAL_STRING.union(BOOLEAN_OR_NULL));
- Expect.equals(CONFLICTING, POTENTIAL_STRING.union(NUMBER_OR_NULL));
- Expect.equals(CONFLICTING, POTENTIAL_STRING.union(INTEGER_OR_NULL));
- Expect.equals(CONFLICTING, POTENTIAL_STRING.union(DOUBLE_OR_NULL));
+ Expect.equals(UNKNOWN, POTENTIAL_STRING.union(BOOLEAN_OR_NULL));
+ Expect.equals(UNKNOWN, POTENTIAL_STRING.union(NUMBER_OR_NULL));
+ Expect.equals(UNKNOWN, POTENTIAL_STRING.union(INTEGER_OR_NULL));
+ Expect.equals(UNKNOWN, POTENTIAL_STRING.union(DOUBLE_OR_NULL));
Expect.equals(POTENTIAL_STRING, POTENTIAL_STRING.union(STRING_OR_NULL));
Expect.equals(POTENTIAL_STRING, POTENTIAL_STRING.union(NULL));
- Expect.equals(CONFLICTING, BOOLEAN_OR_NULL.union(CONFLICTING));
- Expect.equals(BOOLEAN_OR_NULL, BOOLEAN_OR_NULL.union(UNKNOWN));
+ Expect.equals(BOOLEAN_OR_NULL, BOOLEAN_OR_NULL.union(CONFLICTING));
+ Expect.equals(UNKNOWN, BOOLEAN_OR_NULL.union(UNKNOWN));
Expect.equals(BOOLEAN_OR_NULL, BOOLEAN_OR_NULL.union(BOOLEAN));
- Expect.equals(CONFLICTING, BOOLEAN_OR_NULL.union(NUMBER));
- Expect.equals(CONFLICTING, BOOLEAN_OR_NULL.union(INTEGER));
- Expect.equals(CONFLICTING, BOOLEAN_OR_NULL.union(DOUBLE));
- Expect.equals(CONFLICTING, BOOLEAN_OR_NULL.union(INDEXABLE_PRIMITIVE));
- Expect.equals(CONFLICTING, BOOLEAN_OR_NULL.union(STRING));
- Expect.equals(CONFLICTING, BOOLEAN_OR_NULL.union(READABLE_ARRAY));
- Expect.equals(CONFLICTING, BOOLEAN_OR_NULL.union(MUTABLE_ARRAY));
- Expect.equals(CONFLICTING, BOOLEAN_OR_NULL.union(EXTENDABLE_ARRAY));
- Expect.equals(CONFLICTING, BOOLEAN_OR_NULL.union(NON_PRIMITIVE1));
- Expect.equals(CONFLICTING, BOOLEAN_OR_NULL.union(NON_PRIMITIVE2));
- Expect.equals(CONFLICTING, BOOLEAN_OR_NULL.union(POTENTIAL_ARRAY));
- Expect.equals(CONFLICTING, BOOLEAN_OR_NULL.union(POTENTIAL_STRING));
+ Expect.equals(UNKNOWN, BOOLEAN_OR_NULL.union(NUMBER));
+ Expect.equals(UNKNOWN, BOOLEAN_OR_NULL.union(INTEGER));
+ Expect.equals(UNKNOWN, BOOLEAN_OR_NULL.union(DOUBLE));
+ Expect.equals(UNKNOWN, BOOLEAN_OR_NULL.union(INDEXABLE_PRIMITIVE));
+ Expect.equals(UNKNOWN, BOOLEAN_OR_NULL.union(STRING));
+ Expect.equals(UNKNOWN, BOOLEAN_OR_NULL.union(READABLE_ARRAY));
+ Expect.equals(UNKNOWN, BOOLEAN_OR_NULL.union(MUTABLE_ARRAY));
+ Expect.equals(UNKNOWN, BOOLEAN_OR_NULL.union(EXTENDABLE_ARRAY));
+ Expect.equals(UNKNOWN, BOOLEAN_OR_NULL.union(NON_PRIMITIVE1));
+ Expect.equals(UNKNOWN, BOOLEAN_OR_NULL.union(NON_PRIMITIVE2));
+ Expect.equals(UNKNOWN, BOOLEAN_OR_NULL.union(POTENTIAL_ARRAY));
+ Expect.equals(UNKNOWN, BOOLEAN_OR_NULL.union(POTENTIAL_STRING));
Expect.equals(BOOLEAN_OR_NULL, BOOLEAN_OR_NULL.union(BOOLEAN_OR_NULL));
- Expect.equals(CONFLICTING, BOOLEAN_OR_NULL.union(NUMBER_OR_NULL));
- Expect.equals(CONFLICTING, BOOLEAN_OR_NULL.union(INTEGER_OR_NULL));
- Expect.equals(CONFLICTING, BOOLEAN_OR_NULL.union(DOUBLE_OR_NULL));
- Expect.equals(CONFLICTING, BOOLEAN_OR_NULL.union(STRING_OR_NULL));
+ Expect.equals(UNKNOWN, BOOLEAN_OR_NULL.union(NUMBER_OR_NULL));
+ Expect.equals(UNKNOWN, BOOLEAN_OR_NULL.union(INTEGER_OR_NULL));
+ Expect.equals(UNKNOWN, BOOLEAN_OR_NULL.union(DOUBLE_OR_NULL));
+ Expect.equals(UNKNOWN, BOOLEAN_OR_NULL.union(STRING_OR_NULL));
Expect.equals(BOOLEAN_OR_NULL, BOOLEAN_OR_NULL.union(NULL));
- Expect.equals(CONFLICTING, NUMBER_OR_NULL.union(CONFLICTING));
- Expect.equals(NUMBER_OR_NULL, NUMBER_OR_NULL.union(UNKNOWN));
- Expect.equals(CONFLICTING, NUMBER_OR_NULL.union(BOOLEAN));
+ Expect.equals(NUMBER_OR_NULL, NUMBER_OR_NULL.union(CONFLICTING));
+ Expect.equals(UNKNOWN, NUMBER_OR_NULL.union(UNKNOWN));
+ Expect.equals(UNKNOWN, NUMBER_OR_NULL.union(BOOLEAN));
Expect.equals(NUMBER_OR_NULL, NUMBER_OR_NULL.union(NUMBER));
Expect.equals(NUMBER_OR_NULL, NUMBER_OR_NULL.union(INTEGER));
Expect.equals(NUMBER_OR_NULL, NUMBER_OR_NULL.union(DOUBLE));
- Expect.equals(CONFLICTING, NUMBER_OR_NULL.union(INDEXABLE_PRIMITIVE));
- Expect.equals(CONFLICTING, NUMBER_OR_NULL.union(STRING));
- Expect.equals(CONFLICTING, NUMBER_OR_NULL.union(READABLE_ARRAY));
- Expect.equals(CONFLICTING, NUMBER_OR_NULL.union(MUTABLE_ARRAY));
- Expect.equals(CONFLICTING, NUMBER_OR_NULL.union(EXTENDABLE_ARRAY));
- Expect.equals(CONFLICTING, NUMBER_OR_NULL.union(NON_PRIMITIVE1));
- Expect.equals(CONFLICTING, NUMBER_OR_NULL.union(NON_PRIMITIVE2));
- Expect.equals(CONFLICTING, NUMBER_OR_NULL.union(POTENTIAL_ARRAY));
- Expect.equals(CONFLICTING, NUMBER_OR_NULL.union(POTENTIAL_STRING));
- Expect.equals(CONFLICTING, NUMBER_OR_NULL.union(BOOLEAN_OR_NULL));
+ Expect.equals(UNKNOWN, NUMBER_OR_NULL.union(INDEXABLE_PRIMITIVE));
+ Expect.equals(UNKNOWN, NUMBER_OR_NULL.union(STRING));
+ Expect.equals(UNKNOWN, NUMBER_OR_NULL.union(READABLE_ARRAY));
+ Expect.equals(UNKNOWN, NUMBER_OR_NULL.union(MUTABLE_ARRAY));
+ Expect.equals(UNKNOWN, NUMBER_OR_NULL.union(EXTENDABLE_ARRAY));
+ Expect.equals(UNKNOWN, NUMBER_OR_NULL.union(NON_PRIMITIVE1));
+ Expect.equals(UNKNOWN, NUMBER_OR_NULL.union(NON_PRIMITIVE2));
+ Expect.equals(UNKNOWN, NUMBER_OR_NULL.union(POTENTIAL_ARRAY));
+ Expect.equals(UNKNOWN, NUMBER_OR_NULL.union(POTENTIAL_STRING));
+ Expect.equals(UNKNOWN, NUMBER_OR_NULL.union(BOOLEAN_OR_NULL));
Expect.equals(NUMBER_OR_NULL, NUMBER_OR_NULL.union(NUMBER_OR_NULL));
Expect.equals(NUMBER_OR_NULL, NUMBER_OR_NULL.union(INTEGER_OR_NULL));
Expect.equals(NUMBER_OR_NULL, NUMBER_OR_NULL.union(DOUBLE_OR_NULL));
- Expect.equals(CONFLICTING, NUMBER_OR_NULL.union(STRING_OR_NULL));
+ Expect.equals(UNKNOWN, NUMBER_OR_NULL.union(STRING_OR_NULL));
Expect.equals(NUMBER_OR_NULL, NUMBER_OR_NULL.union(NULL));
- Expect.equals(CONFLICTING, INTEGER_OR_NULL.union(CONFLICTING));
- Expect.equals(INTEGER_OR_NULL, INTEGER_OR_NULL.union(UNKNOWN));
- Expect.equals(CONFLICTING, INTEGER_OR_NULL.union(BOOLEAN));
+ Expect.equals(INTEGER_OR_NULL, INTEGER_OR_NULL.union(CONFLICTING));
+ Expect.equals(UNKNOWN, INTEGER_OR_NULL.union(UNKNOWN));
+ Expect.equals(UNKNOWN, INTEGER_OR_NULL.union(BOOLEAN));
Expect.equals(NUMBER_OR_NULL, INTEGER_OR_NULL.union(NUMBER));
Expect.equals(INTEGER_OR_NULL, INTEGER_OR_NULL.union(INTEGER));
Expect.equals(NUMBER_OR_NULL, INTEGER_OR_NULL.union(DOUBLE));
- Expect.equals(CONFLICTING, INTEGER_OR_NULL.union(INDEXABLE_PRIMITIVE));
- Expect.equals(CONFLICTING, INTEGER_OR_NULL.union(STRING));
- Expect.equals(CONFLICTING, INTEGER_OR_NULL.union(READABLE_ARRAY));
- Expect.equals(CONFLICTING, INTEGER_OR_NULL.union(MUTABLE_ARRAY));
- Expect.equals(CONFLICTING, INTEGER_OR_NULL.union(EXTENDABLE_ARRAY));
- Expect.equals(CONFLICTING, INTEGER_OR_NULL.union(NON_PRIMITIVE1));
- Expect.equals(CONFLICTING, INTEGER_OR_NULL.union(NON_PRIMITIVE2));
- Expect.equals(CONFLICTING, INTEGER_OR_NULL.union(POTENTIAL_ARRAY));
- Expect.equals(CONFLICTING, INTEGER_OR_NULL.union(POTENTIAL_STRING));
- Expect.equals(CONFLICTING, INTEGER_OR_NULL.union(BOOLEAN_OR_NULL));
+ Expect.equals(UNKNOWN, INTEGER_OR_NULL.union(INDEXABLE_PRIMITIVE));
+ Expect.equals(UNKNOWN, INTEGER_OR_NULL.union(STRING));
+ Expect.equals(UNKNOWN, INTEGER_OR_NULL.union(READABLE_ARRAY));
+ Expect.equals(UNKNOWN, INTEGER_OR_NULL.union(MUTABLE_ARRAY));
+ Expect.equals(UNKNOWN, INTEGER_OR_NULL.union(EXTENDABLE_ARRAY));
+ Expect.equals(UNKNOWN, INTEGER_OR_NULL.union(NON_PRIMITIVE1));
+ Expect.equals(UNKNOWN, INTEGER_OR_NULL.union(NON_PRIMITIVE2));
+ Expect.equals(UNKNOWN, INTEGER_OR_NULL.union(POTENTIAL_ARRAY));
+ Expect.equals(UNKNOWN, INTEGER_OR_NULL.union(POTENTIAL_STRING));
+ Expect.equals(UNKNOWN, INTEGER_OR_NULL.union(BOOLEAN_OR_NULL));
Expect.equals(NUMBER_OR_NULL, INTEGER_OR_NULL.union(NUMBER_OR_NULL));
Expect.equals(INTEGER_OR_NULL, INTEGER_OR_NULL.union(INTEGER_OR_NULL));
Expect.equals(NUMBER_OR_NULL, INTEGER_OR_NULL.union(DOUBLE_OR_NULL));
- Expect.equals(CONFLICTING, INTEGER_OR_NULL.union(STRING_OR_NULL));
+ Expect.equals(UNKNOWN, INTEGER_OR_NULL.union(STRING_OR_NULL));
Expect.equals(INTEGER_OR_NULL, INTEGER_OR_NULL.union(NULL));
- Expect.equals(CONFLICTING, DOUBLE_OR_NULL.union(CONFLICTING));
- Expect.equals(DOUBLE_OR_NULL, DOUBLE_OR_NULL.union(UNKNOWN));
- Expect.equals(CONFLICTING, DOUBLE_OR_NULL.union(BOOLEAN));
+ Expect.equals(DOUBLE_OR_NULL, DOUBLE_OR_NULL.union(CONFLICTING));
+ Expect.equals(UNKNOWN, DOUBLE_OR_NULL.union(UNKNOWN));
+ Expect.equals(UNKNOWN, DOUBLE_OR_NULL.union(BOOLEAN));
Expect.equals(NUMBER_OR_NULL, DOUBLE_OR_NULL.union(NUMBER));
Expect.equals(NUMBER_OR_NULL, DOUBLE_OR_NULL.union(INTEGER));
Expect.equals(DOUBLE_OR_NULL, DOUBLE_OR_NULL.union(DOUBLE));
- Expect.equals(CONFLICTING, DOUBLE_OR_NULL.union(INDEXABLE_PRIMITIVE));
- Expect.equals(CONFLICTING, DOUBLE_OR_NULL.union(STRING));
- Expect.equals(CONFLICTING, DOUBLE_OR_NULL.union(READABLE_ARRAY));
- Expect.equals(CONFLICTING, DOUBLE_OR_NULL.union(MUTABLE_ARRAY));
- Expect.equals(CONFLICTING, DOUBLE_OR_NULL.union(EXTENDABLE_ARRAY));
- Expect.equals(CONFLICTING, DOUBLE_OR_NULL.union(NON_PRIMITIVE1));
- Expect.equals(CONFLICTING, DOUBLE_OR_NULL.union(NON_PRIMITIVE2));
- Expect.equals(CONFLICTING, DOUBLE_OR_NULL.union(POTENTIAL_ARRAY));
- Expect.equals(CONFLICTING, DOUBLE_OR_NULL.union(POTENTIAL_STRING));
- Expect.equals(CONFLICTING, DOUBLE_OR_NULL.union(BOOLEAN_OR_NULL));
+ Expect.equals(UNKNOWN, DOUBLE_OR_NULL.union(INDEXABLE_PRIMITIVE));
+ Expect.equals(UNKNOWN, DOUBLE_OR_NULL.union(STRING));
+ Expect.equals(UNKNOWN, DOUBLE_OR_NULL.union(READABLE_ARRAY));
+ Expect.equals(UNKNOWN, DOUBLE_OR_NULL.union(MUTABLE_ARRAY));
+ Expect.equals(UNKNOWN, DOUBLE_OR_NULL.union(EXTENDABLE_ARRAY));
+ Expect.equals(UNKNOWN, DOUBLE_OR_NULL.union(NON_PRIMITIVE1));
+ Expect.equals(UNKNOWN, DOUBLE_OR_NULL.union(NON_PRIMITIVE2));
+ Expect.equals(UNKNOWN, DOUBLE_OR_NULL.union(POTENTIAL_ARRAY));
+ Expect.equals(UNKNOWN, DOUBLE_OR_NULL.union(POTENTIAL_STRING));
+ Expect.equals(UNKNOWN, DOUBLE_OR_NULL.union(BOOLEAN_OR_NULL));
Expect.equals(NUMBER_OR_NULL, DOUBLE_OR_NULL.union(NUMBER_OR_NULL));
Expect.equals(NUMBER_OR_NULL, DOUBLE_OR_NULL.union(INTEGER_OR_NULL));
Expect.equals(DOUBLE_OR_NULL, DOUBLE_OR_NULL.union(DOUBLE_OR_NULL));
- Expect.equals(CONFLICTING, DOUBLE_OR_NULL.union(STRING_OR_NULL));
+ Expect.equals(UNKNOWN, DOUBLE_OR_NULL.union(STRING_OR_NULL));
Expect.equals(DOUBLE_OR_NULL, DOUBLE_OR_NULL.union(NULL));
- Expect.equals(CONFLICTING, STRING_OR_NULL.union(CONFLICTING));
- Expect.equals(STRING_OR_NULL, STRING_OR_NULL.union(UNKNOWN));
- Expect.equals(CONFLICTING, STRING_OR_NULL.union(BOOLEAN));
- Expect.equals(CONFLICTING, STRING_OR_NULL.union(NUMBER));
- Expect.equals(CONFLICTING, STRING_OR_NULL.union(INTEGER));
- Expect.equals(CONFLICTING, STRING_OR_NULL.union(DOUBLE));
- Expect.equals(CONFLICTING, STRING_OR_NULL.union(INDEXABLE_PRIMITIVE));
+ Expect.equals(STRING_OR_NULL, STRING_OR_NULL.union(CONFLICTING));
+ Expect.equals(UNKNOWN, STRING_OR_NULL.union(UNKNOWN));
+ Expect.equals(UNKNOWN, STRING_OR_NULL.union(BOOLEAN));
+ Expect.equals(UNKNOWN, STRING_OR_NULL.union(NUMBER));
+ Expect.equals(UNKNOWN, STRING_OR_NULL.union(INTEGER));
+ Expect.equals(UNKNOWN, STRING_OR_NULL.union(DOUBLE));
+ Expect.equals(UNKNOWN, STRING_OR_NULL.union(INDEXABLE_PRIMITIVE));
Expect.equals(STRING_OR_NULL, STRING_OR_NULL.union(STRING));
- Expect.equals(CONFLICTING, STRING_OR_NULL.union(READABLE_ARRAY));
- Expect.equals(CONFLICTING, STRING_OR_NULL.union(MUTABLE_ARRAY));
- Expect.equals(CONFLICTING, STRING_OR_NULL.union(EXTENDABLE_ARRAY));
- Expect.equals(CONFLICTING, STRING_OR_NULL.union(NON_PRIMITIVE1));
- Expect.equals(CONFLICTING, STRING_OR_NULL.union(NON_PRIMITIVE2));
- Expect.equals(CONFLICTING, STRING_OR_NULL.union(POTENTIAL_ARRAY));
+ Expect.equals(UNKNOWN, STRING_OR_NULL.union(READABLE_ARRAY));
+ Expect.equals(UNKNOWN, STRING_OR_NULL.union(MUTABLE_ARRAY));
+ Expect.equals(UNKNOWN, STRING_OR_NULL.union(EXTENDABLE_ARRAY));
+ Expect.equals(UNKNOWN, STRING_OR_NULL.union(NON_PRIMITIVE1));
+ Expect.equals(UNKNOWN, STRING_OR_NULL.union(NON_PRIMITIVE2));
+ Expect.equals(UNKNOWN, STRING_OR_NULL.union(POTENTIAL_ARRAY));
Expect.equals(POTENTIAL_STRING, STRING_OR_NULL.union(POTENTIAL_STRING));
- Expect.equals(CONFLICTING, STRING_OR_NULL.union(BOOLEAN_OR_NULL));
- Expect.equals(CONFLICTING, STRING_OR_NULL.union(NUMBER_OR_NULL));
- Expect.equals(CONFLICTING, STRING_OR_NULL.union(INTEGER_OR_NULL));
- Expect.equals(CONFLICTING, STRING_OR_NULL.union(DOUBLE_OR_NULL));
+ Expect.equals(UNKNOWN, STRING_OR_NULL.union(BOOLEAN_OR_NULL));
+ Expect.equals(UNKNOWN, STRING_OR_NULL.union(NUMBER_OR_NULL));
+ Expect.equals(UNKNOWN, STRING_OR_NULL.union(INTEGER_OR_NULL));
+ Expect.equals(UNKNOWN, STRING_OR_NULL.union(DOUBLE_OR_NULL));
Expect.equals(STRING_OR_NULL, STRING_OR_NULL.union(STRING_OR_NULL));
Expect.equals(STRING_OR_NULL, STRING_OR_NULL.union(NULL));
- Expect.equals(CONFLICTING, NULL.union(CONFLICTING));
- Expect.equals(NULL, NULL.union(UNKNOWN));
+ Expect.equals(NULL, NULL.union(CONFLICTING));
+ Expect.equals(UNKNOWN, NULL.union(UNKNOWN));
Expect.equals(BOOLEAN_OR_NULL, NULL.union(BOOLEAN));
Expect.equals(NUMBER_OR_NULL, NULL.union(NUMBER));
Expect.equals(INTEGER_OR_NULL, NULL.union(INTEGER));
Expect.equals(DOUBLE_OR_NULL, NULL.union(DOUBLE));
- Expect.equals(CONFLICTING, NULL.union(INDEXABLE_PRIMITIVE));
+ Expect.equals(UNKNOWN, NULL.union(INDEXABLE_PRIMITIVE));
Expect.equals(STRING_OR_NULL, NULL.union(STRING));
- Expect.equals(CONFLICTING, NULL.union(READABLE_ARRAY));
- Expect.equals(CONFLICTING, NULL.union(MUTABLE_ARRAY));
- Expect.equals(CONFLICTING, NULL.union(EXTENDABLE_ARRAY));
- Expect.equals(CONFLICTING, NULL.union(NON_PRIMITIVE1));
- Expect.equals(CONFLICTING, NULL.union(NON_PRIMITIVE2));
+ Expect.equals(UNKNOWN, NULL.union(READABLE_ARRAY));
+ Expect.equals(UNKNOWN, NULL.union(MUTABLE_ARRAY));
+ Expect.equals(UNKNOWN, NULL.union(EXTENDABLE_ARRAY));
+ Expect.equals(UNKNOWN, NULL.union(NON_PRIMITIVE1));
+ Expect.equals(UNKNOWN, NULL.union(NON_PRIMITIVE2));
Expect.equals(POTENTIAL_ARRAY, NULL.union(POTENTIAL_ARRAY));
Expect.equals(POTENTIAL_STRING, NULL.union(POTENTIAL_STRING));
Expect.equals(BOOLEAN_OR_NULL, NULL.union(BOOLEAN_OR_NULL));
« lib/compiler/implementation/ssa/types.dart ('K') | « lib/compiler/implementation/ssa/types_propagation.dart ('k') | tests/language/field_optimization2_test.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698