Package it.unive.lisa.program.cfg.statement

Class NativeCall

java.lang.Object

it.unive.lisa.program.cfg.statement.Statement

it.unive.lisa.program.cfg.statement.Expression

it.unive.lisa.program.cfg.statement.Call

it.unive.lisa.program.cfg.statement.NativeCall

All Implemented Interfaces:

ProgramPoint, CodeElement, Node<Statement,Edge,CFG>, java.lang.Comparable<Statement>

Direct Known Subclasses:

BinaryNativeCall, TernaryNativeCall, UnaryNativeCall

public abstract class NativeCall
extends Call

A native call, modeling the usage of one of the native constructs of the language.

Field Summary

Fields inherited from class it.unive.lisa.program.cfg.statement.Statement

offset

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	NativeCall(CFG cfg, CodeLocation location, java.lang.String constructName, Expression... parameters)	Builds the untyped native call, happening at the given location in the program.
protected	NativeCall(CFG cfg, CodeLocation location, java.lang.String constructName, Type staticType, Expression... parameters)	Builds the native call, happening at the given location in the program.

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object obj)
java.lang.String	getConstructName()	Yields the CFG that is targeted by this CFG call.
int	hashCode()
java.lang.String	toString()

Methods inherited from class it.unive.lisa.program.cfg.statement.Call

accept, callSemantics, getParameters, semantics, setOffset

Methods inherited from class it.unive.lisa.program.cfg.statement.Expression

getDynamicType, getMetaVariables, getParentStatement, getRootStatement, getRuntimeTypes, getStaticType, setParentStatement, setRuntimeTypes

Methods inherited from class it.unive.lisa.program.cfg.statement.Statement

compareTo, getCFG, getLocation, getOffset, stopsExecution, throwsError

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

NativeCall

protected NativeCall(CFG cfg,
                     CodeLocation location,
                     java.lang.String constructName,
                     Expression... parameters)

Builds the untyped native call, happening at the given location in the program. The static type of this call is Untyped.

Parameters:

cfg - the cfg that this expression belongs to

location - the location where the expression is defined within the source file. If unknown, use null

constructName - the name of the construct invoked by this native call

parameters - the parameters of this call

NativeCall

protected NativeCall(CFG cfg,
                     CodeLocation location,
                     java.lang.String constructName,
                     Type staticType,
                     Expression... parameters)

Builds the native call, happening at the given location in the program.

Parameters:

cfg - the cfg that this expression belongs to

location - the location where this expression is defined within the source file. If unknown, use null

constructName - the name of the construct invoked by this native call

staticType - the static type of this call

parameters - the parameters of this call

Method Detail

getConstructName

public final java.lang.String getConstructName()

Yields the CFG that is targeted by this CFG call.

Returns:

the target CFG

hashCode

public int hashCode()

Overrides:

hashCode in class Call

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class Call

toString

public final java.lang.String toString()

Specified by:

toString in class Statement