boomerang.scene.wala

Class WALAIfStatement

java.lang.Object

boomerang.scene.wala.WALAIfStatement

All Implemented Interfaces:

IfStatement

public class WALAIfStatement
extends Object
implements IfStatement

Nested Class Summary

Nested classes/interfaces inherited from interface boomerang.scene.IfStatement

IfStatement.Evaluation

Constructor Summary

Constructors

Constructor and Description
WALAIfStatement(com.ibm.wala.ssa.SSAConditionalBranchInstruction delegate, WALAMethod method)

Method Summary

Modifier and Type	Method and Description
IfStatement.Evaluation	evaluate(Val val)
Statement	getTarget()
boolean	uses(Val val)

Methods inherited from class java.lang.Object

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

Constructor Detail

WALAIfStatement

public WALAIfStatement(com.ibm.wala.ssa.SSAConditionalBranchInstruction delegate,
                       WALAMethod method)

Method Detail

getTarget

public Statement getTarget()

Specified by:

getTarget in interface IfStatement

evaluate

public IfStatement.Evaluation evaluate(Val val)

Specified by:

evaluate in interface IfStatement

uses

public boolean uses(Val val)

Specified by:

uses in interface IfStatement