Uses of Interface
pascal.taie.language.natives.NativeModel

Packages that use NativeModel

Package	Description
pascal.taie
pascal.taie.language.natives	Provide model for native methods.

Uses of NativeModel in pascal.taie

Methods in pascal.taie that return NativeModel

Modifier and Type	Method	Description
protected static NativeModel	AbstractWorldBuilder.getNativeModel(TypeSystem typeSystem, ClassHierarchy hierarchy, Options options)
NativeModel	World.getNativeModel()

Methods in pascal.taie with parameters of type NativeModel

Modifier and Type	Method	Description
void	World.setNativeModel(NativeModel nativeModel)

Uses of NativeModel in pascal.taie.language.natives

Classes in pascal.taie.language.natives that implement NativeModel

Modifier and Type	Class	Description
class	DefaultNativeModel
class	EmptyNativeModel	Builds empty IR for every native method.