soot.JastAddJ

Interface BranchPropagation

All Known Implementing Classes:

BranchTargetStmt, DoStmt, EnhancedForStmt, ForStmt, LabeledStmt, SwitchStmt, WhileStmt

public interface BranchPropagation

Method Summary

Modifier and Type	Method and Description
Collection	branches()
Stmt	branchTarget(Stmt branchStmt)
void	collectBranches(Collection c)
void	collectFinally(Stmt branchStmt, ArrayList list)
Collection	escapedBranches()
Collection	targetBranches()
Collection	targetBreaks()
Collection	targetContinues()
boolean	targetOf(BreakStmt stmt)
boolean	targetOf(ContinueStmt stmt)

Method Detail

collectBranches

void collectBranches(Collection c)

branchTarget

Stmt branchTarget(Stmt branchStmt)

collectFinally

void collectFinally(Stmt branchStmt,
                    ArrayList list)

targetContinues

Collection targetContinues()

targetBreaks

Collection targetBreaks()

targetBranches

Collection targetBranches()

escapedBranches

Collection escapedBranches()

branches

Collection branches()

targetOf

boolean targetOf(ContinueStmt stmt)

targetOf

boolean targetOf(BreakStmt stmt)