Package pascal.taie.language.type

Interface ReferenceType

All Superinterfaces:

Serializable, Type

All Known Implementing Classes:

ArrayType, ClassType, NullType

public interface ReferenceType
extends Type

Method Summary

Methods inherited from interface pascal.taie.language.type.Type

getName