Uses of Interface
pascal.taie.language.natives.NativeModel
Packages that use NativeModel
-
Uses of NativeModel in pascal.taie
Methods in pascal.taie that return NativeModelModifier and TypeMethodDescriptionprotected static NativeModel
AbstractWorldBuilder.getNativeModel
(TypeSystem typeSystem, ClassHierarchy hierarchy, Options options) World.getNativeModel()
Methods in pascal.taie with parameters of type NativeModel -
Uses of NativeModel in pascal.taie.language.natives
Classes in pascal.taie.language.natives that implement NativeModelModifier and TypeClassDescriptionclass
class
Builds empty IR for every native method.