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.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.BottomType (implements pascal.taie.language.type.Type)
- pascal.taie.language.type.NullType (implements pascal.taie.language.type.ReferenceType)
- pascal.taie.language.type.PrimitiveType (implements pascal.taie.language.type.Type)
- 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)