Lines Matching defs:TypeImpl
260 // typedef TypeImpl<Config> Type;
289 class TypeImpl : public Config::Base {
305 typedef typename Config::template Handle<TypeImpl>::type TypeHandle;
318 static TypeImpl* type() { \
390 bool Is(TypeImpl* that) { return this == that || this->SlowIs(that); }
394 bool Maybe(TypeImpl* that);
398 bool Equals(TypeImpl* that) { return this->Is(that) && that->Is(this); }
412 bool NowIs(TypeImpl* that);
471 static inline TypeImpl* cast(typename Config::Base* object);
491 template<class> friend class TypeImpl;
499 TypeImpl* unhandle() { return this; }
519 bool SlowIs(TypeImpl* that);
547 bool SimplyEquals(TypeImpl* that);
564 class TypeImpl<Config>::BitsetType : public TypeImpl<Config> {
566 friend class TypeImpl<Config>;
577 static TypeImpl* New(bitset bits) {
599 static bitset Glb(TypeImpl* type); // greatest lower bound that's a bitset
600 static bitset Lub(TypeImpl* type); // least upper bound that's a bitset
637 class TypeImpl<Config>::StructuralType : public TypeImpl<Config> {
639 template<class> friend class TypeImpl;
692 class TypeImpl<Config>::UnionType : public StructuralType {
699 static UnionType* cast(TypeImpl* type) {
712 class TypeImpl<Config>::ClassType : public StructuralType {
736 static ClassType* cast(TypeImpl* type) {
747 class TypeImpl<Config>::ConstantType : public StructuralType {
760 static ConstantType* cast(TypeImpl* type) {
773 class TypeImpl<Config>::RangeType : public StructuralType {
794 static RangeType* cast(TypeImpl* type) {
807 class TypeImpl<Config>::ContextType : public StructuralType {
818 static ContextType* cast(TypeImpl* type) {
829 class TypeImpl<Config>::ArrayType : public StructuralType {
840 static ArrayType* cast(TypeImpl* type) {
851 class TypeImpl<Config>::FunctionType : public StructuralType {
869 static FunctionType* cast(TypeImpl* type) {
880 class TypeImpl<Config>::Iterator {
887 template<class> friend class TypeImpl;
907 typedef TypeImpl<ZoneTypeConfig> Type;
941 typedef TypeImpl<ZoneTypeConfig> Type;
949 typedef TypeImpl<HeapTypeConfig> Type;
988 typedef TypeImpl<HeapTypeConfig> HeapType;
996 typedef TypeImpl<Config> Type;
