Package pascal.taie.language.natives

Class EmptyNativeModel

java.lang.Object

pascal.taie.language.natives.EmptyNativeModel

All Implemented Interfaces:

Serializable, NativeModel

public class EmptyNativeModel
extends Object
implements NativeModel

Builds empty IR for every native method.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
EmptyNativeModel()

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

EmptyNativeModel

public EmptyNativeModel()

Method Details

buildNativeIR

public IR buildNativeIR(JMethod method)

Specified by:

buildNativeIR in interface NativeModel