org.benf.cfr.reader.bytecode.analysis.parse.statement

Class GotoStatement

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.parse.statement.AbstractStatement

org.benf.cfr.reader.bytecode.analysis.parse.statement.JumpingStatement

org.benf.cfr.reader.bytecode.analysis.parse.statement.GotoStatement

All Implemented Interfaces:

HasByteCodeLoc, DeepCloneable<Statement>, Statement, ComparableUnderEC, Dumpable

Direct Known Subclasses:

IfStatement

public class GotoStatement
extends JumpingStatement

Field Summary

Fields

Modifier and Type	Field and Description
private JumpType	jumpType

Constructor Summary

Constructors

Constructor and Description
GotoStatement(BytecodeLoc loc)

Method Summary

Modifier and Type	Method and Description
boolean	canThrow(ExceptionCheck caught)
void	collectLValueUsage(LValueUsageCollector lValueUsageCollector)
Statement	deepClone(CloneHelper cloneHelper)
Dumper	dump(Dumper dumper)
boolean	equals(java.lang.Object o)
boolean	equivalentUnder(java.lang.Object o, EquivalenceConstraint constraint)
boolean	fallsToNext()
BytecodeLoc	getCombinedLoc()
Statement	getJumpTarget()
JumpType	getJumpType()
StructuredStatement	getStructuredStatement()
protected BlockIdentifier	getTargetStartBlock()
boolean	isConditional()
void	replaceSingleUsageLValues(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers)
void	rewriteExpressions(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers)
void	setJumpType(JumpType jumpType)

Methods inherited from class org.benf.cfr.reader.bytecode.analysis.parse.statement.AbstractStatement

addLoc, collectLocallyMutatedVariables, collectLValueAssignments, collectObjectCreation, doesBlackListLValueReplacement, getCompoundParts, getContainer, getCreatedLValue, getLoc, getRValue, getTargetStatement, isCompound, outerDeepClone, setContainer, setLifetimeHint, toString, wantsLifetimeHint

Methods inherited from class java.lang.Object

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

Field Detail

jumpType

private JumpType jumpType

Constructor Detail

GotoStatement

public GotoStatement(BytecodeLoc loc)

Method Detail

dump

public Dumper dump(Dumper dumper)

getCombinedLoc

public BytecodeLoc getCombinedLoc()

deepClone

public Statement deepClone(CloneHelper cloneHelper)

replaceSingleUsageLValues

public void replaceSingleUsageLValues(LValueRewriter lValueRewriter,
                                      SSAIdentifiers ssaIdentifiers)

rewriteExpressions

public void rewriteExpressions(ExpressionRewriter expressionRewriter,
                               SSAIdentifiers ssaIdentifiers)

collectLValueUsage

public void collectLValueUsage(LValueUsageCollector lValueUsageCollector)

getJumpType

public JumpType getJumpType()

Specified by:

getJumpType in class JumpingStatement

setJumpType

public void setJumpType(JumpType jumpType)

Specified by:

setJumpType in class JumpingStatement

getJumpTarget

public Statement getJumpTarget()

Specified by:

getJumpTarget in class JumpingStatement

isConditional

public boolean isConditional()

Specified by:

isConditional in class JumpingStatement

canThrow

public boolean canThrow(ExceptionCheck caught)

Specified by:

canThrow in interface Statement

Overrides:

canThrow in class AbstractStatement

getTargetStartBlock

protected BlockIdentifier getTargetStartBlock()

getStructuredStatement

public StructuredStatement getStructuredStatement()

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

equivalentUnder

public boolean equivalentUnder(java.lang.Object o,
                               EquivalenceConstraint constraint)

fallsToNext

public boolean fallsToNext()

Specified by:

fallsToNext in interface Statement

Overrides:

fallsToNext in class AbstractStatement