Class Hierarchy
- java.lang.Object
- pascal.taie.language.type.ClassType (implements pascal.taie.language.type.ReferenceType)
- java.lang.Record
- pascal.taie.language.type.ArrayType (implements pascal.taie.language.type.ReferenceType)
- pascal.taie.language.type.TypeSystemImpl (implements pascal.taie.language.type.TypeSystem)
Interface Hierarchy
- java.io.Serializable
- pascal.taie.language.type.Type
- pascal.taie.language.type.ReferenceType
- pascal.taie.language.type.ValueType
- pascal.taie.language.type.PrimitiveType
- pascal.taie.language.type.TypeSystem
- pascal.taie.language.type.Type
Enum Class Hierarchy
- java.lang.Object
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
- pascal.taie.language.type.BooleanType (implements pascal.taie.language.type.PrimitiveType)
- pascal.taie.language.type.BottomType (implements pascal.taie.language.type.Type)
- pascal.taie.language.type.ByteType (implements pascal.taie.language.type.PrimitiveType)
- pascal.taie.language.type.CharType (implements pascal.taie.language.type.PrimitiveType)
- pascal.taie.language.type.DoubleType (implements pascal.taie.language.type.PrimitiveType)
- pascal.taie.language.type.FloatType (implements pascal.taie.language.type.PrimitiveType)
- pascal.taie.language.type.IntType (implements pascal.taie.language.type.PrimitiveType)
- pascal.taie.language.type.LongType (implements pascal.taie.language.type.PrimitiveType)
- pascal.taie.language.type.NullType (implements pascal.taie.language.type.ReferenceType)
- pascal.taie.language.type.ShortType (implements pascal.taie.language.type.PrimitiveType)
- pascal.taie.language.type.VoidType (implements pascal.taie.language.type.Type)
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)