Package pascal.taie.language.natives

Class DefaultNativeModel

java.lang.Object

pascal.taie.language.natives.DefaultNativeModel

All Implemented Interfaces:

Serializable, NativeModel

public class DefaultNativeModel
extends Object
implements NativeModel

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
DefaultNativeModel(TypeSystem typeSystem, ClassHierarchy hierarchy, int javaVersion)

Method Summary

Modifier and Type	Method	Description
IR	buildNativeIR(JMethod method)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

DefaultNativeModel

public DefaultNativeModel(TypeSystem typeSystem,
 ClassHierarchy hierarchy,
 int javaVersion)

Method Details

buildNativeIR

public IR buildNativeIR(JMethod method)

Specified by:

buildNativeIR in interface NativeModel