Class Hierarchy
- java.lang.Object
- pascal.taie.language.natives.DefaultNativeModel (implements pascal.taie.language.natives.NativeModel)
- pascal.taie.language.natives.EmptyNativeModel (implements pascal.taie.language.natives.NativeModel)
Interface Hierarchy
- java.io.Serializable
- pascal.taie.language.natives.NativeModel