Lines Matching defs:ObjectClass
97 ObjectClass = Type::Class(object_map, region);
173 TypeHandle ObjectClass;
1058 CheckSub(T.ObjectClass, T.Object);
1062 CheckUnordered(T.ObjectClass, T.ArrayClass);
1079 CheckUnordered(T.ObjectConstant1, T.ObjectClass);
1080 CheckUnordered(T.ObjectConstant2, T.ObjectClass);
1083 CheckUnordered(T.ArrayConstant, T.ObjectClass);
1381 CheckOverlap(T.ObjectClass, T.Object);
1383 CheckOverlap(T.ObjectClass, T.ObjectClass);
1385 CheckDisjoint(T.ObjectClass, T.ArrayClass);
1398 CheckDisjoint(T.ArrayConstant, T.ObjectClass);
1407 CheckOverlap(T.ObjectConstant1, T.ObjectClass); // !!!
1408 CheckOverlap(T.ObjectConstant2, T.ObjectClass); // !!!
1539 CheckSub(T.Union(T.ObjectClass, T.ArrayClass), T.Object);
1540 CheckUnordered(T.Union(T.ObjectClass, T.ArrayClass), T.Array);
1541 CheckOverlap(T.Union(T.ObjectClass, T.ArrayClass), T.Array);
1542 CheckDisjoint(T.Union(T.ObjectClass, T.ArrayClass), T.Number);
1548 T.Union(T.ObjectConstant1, T.ObjectConstant2), T.ObjectClass);
1554 T.Union(T.ObjectConstant1, T.ArrayConstant), T.ObjectClass); // !!!
1576 T.Union(T.ObjectClass, T.SignedSmall), T.Union(T.Object, T.Number));
1577 CheckSub(T.Union(T.ObjectClass, T.Array), T.Object);
1578 CheckUnordered(T.Union(T.ObjectClass, T.String), T.Array);
1579 CheckOverlap(T.Union(T.ObjectClass, T.String), T.Object);
1580 CheckDisjoint(T.Union(T.ObjectClass, T.String), T.Number);
1592 CheckUnordered(T.ObjectClass, T.Union(T.ObjectConstant1, T.ArrayClass));
1599 T.Union(T.ObjectConstant1, T.ArrayClass), T.ObjectClass); // !!!
1611 T.Union(T.ObjectClass, T.Union(T.ObjectConstant1, T.ObjectClass)),
1782 CheckEqual(T.Intersect(T.ObjectClass, T.Object), T.ObjectClass);
1783 CheckEqual(T.Intersect(T.ObjectClass, T.Array), T.None);
1784 CheckEqual(T.Intersect(T.ObjectClass, T.Number), T.None);
1796 T.Intersect(T.Object, T.Union(T.ObjectConstant1, T.ObjectClass)),
1797 T.Union(T.ObjectConstant1, T.ObjectClass));
1803 CHECK(T.Intersect(T.ObjectConstant1, T.ObjectClass)->IsInhabited()); // !!!
1836 T.Intersect(T.Union(T.ObjectClass, T.ArrayConstant), T.ArrayClass)
1849 T.Union(T.ArrayConstant, T.ObjectClass), T.ObjectConstant1)
1860 T.Union(T.Number, T.ObjectClass),