Package pascal.taie.language.natives

Interface NativeModel

All Superinterfaces:

Serializable

All Known Implementing Classes:

DefaultNativeModel, EmptyNativeModel

public interface NativeModel
extends Serializable

Method Summary

Modifier and Type	Method	Description
IR	buildNativeIR(JMethod method)

Method Details

buildNativeIR

IR buildNativeIR(JMethod method)