Package pascal.taie.ir.stmt

Class Cast

java.lang.Object

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

pascal.taie.ir.stmt.AssignStmt<Var,CastExp>

pascal.taie.ir.stmt.Cast

All Implemented Interfaces:

Serializable, Stmt, Indexable

public class Cast
extends AssignStmt<Var,CastExp>

Representation of cast statement, e.g., a = (T) b.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
protected int	index
protected int	lineNumber

Constructor Summary

Constructors

Constructor	Description
Cast(Var lvalue, CastExp rvalue)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(StmtVisitor<T> visitor)
boolean	canFallThrough()
int	getIndex()
int	getLineNumber()
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

Field Details

index

protected int index

lineNumber

protected int lineNumber

Constructor Details

Cast

public Cast(Var lvalue,
 CastExp rvalue)

Method Details

accept

public <T> T accept(StmtVisitor<T> visitor)

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.