Package pascal.taie.ir.stmt

Class FieldStmt<L extends LValue,R extends RValue>

java.lang.Object

pascal.taie.ir.stmt.DefinitionStmt<L,R>

pascal.taie.ir.stmt.AssignStmt<L,R>

pascal.taie.ir.stmt.FieldStmt<L,R>

All Implemented Interfaces:

Serializable, Stmt, Indexable

Direct Known Subclasses:

LoadField, StoreField

public abstract class FieldStmt<L extends LValue,R extends RValue>
extends AssignStmt<L,R>

Load/Store field statements.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
protected int	index
protected int	lineNumber

Method Summary

Modifier and Type	Method	Description
boolean	canFallThrough()
abstract FieldAccess	getFieldAccess()
FieldRef	getFieldRef()
int	getIndex()
int	getLineNumber()
boolean	isStatic()
void	setIndex(int index)
void	setLineNumber(int lineNumber)

Methods inherited from class pascal.taie.ir.stmt.AssignStmt

getDef, getLValue, getRValue, getUses, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface pascal.taie.ir.stmt.Stmt

accept

Field Details

index

protected int index

lineNumber

protected int lineNumber

Method Details

getFieldAccess

public abstract FieldAccess getFieldAccess()

getFieldRef

public FieldRef getFieldRef()

isStatic

public boolean isStatic()

getIndex

public int getIndex()

Specified by:

getIndex in interface Indexable

Specified by:

getIndex in interface Stmt

Returns:

the index of this Stmt in the container IR.

setIndex

public void setIndex(int index)

Specified by:

setIndex in interface Stmt

getLineNumber

public int getLineNumber()

Specified by:

getLineNumber in interface Stmt

Returns:

the line number of this Stmt in the original source file. If the line number is unavailable, return -1.

setLineNumber

public void setLineNumber(int lineNumber)

Specified by:

setLineNumber in interface Stmt

canFallThrough

public boolean canFallThrough()

Specified by:

canFallThrough in interface Stmt

Returns:

true if execution after this statement could continue at the following statement, otherwise false.