public class GotoStatement extends JumpingStatement
Constructor and Description |
---|
GotoStatement(BytecodeLoc loc) |
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) |
addLoc, collectLocallyMutatedVariables, collectLValueAssignments, collectObjectCreation, doesBlackListLValueReplacement, getCompoundParts, getContainer, getCreatedLValue, getLoc, getRValue, getTargetStatement, isCompound, outerDeepClone, setContainer, setLifetimeHint, toString, wantsLifetimeHint
private JumpType jumpType
public GotoStatement(BytecodeLoc loc)
public BytecodeLoc getCombinedLoc()
public Statement deepClone(CloneHelper cloneHelper)
public void replaceSingleUsageLValues(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers)
public void rewriteExpressions(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers)
public void collectLValueUsage(LValueUsageCollector lValueUsageCollector)
public JumpType getJumpType()
getJumpType
in class JumpingStatement
public void setJumpType(JumpType jumpType)
setJumpType
in class JumpingStatement
public Statement getJumpTarget()
getJumpTarget
in class JumpingStatement
public boolean isConditional()
isConditional
in class JumpingStatement
public boolean canThrow(ExceptionCheck caught)
canThrow
in interface Statement
canThrow
in class AbstractStatement
protected BlockIdentifier getTargetStartBlock()
public StructuredStatement getStructuredStatement()
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public boolean equivalentUnder(java.lang.Object o, EquivalenceConstraint constraint)
public boolean fallsToNext()
fallsToNext
in interface Statement
fallsToNext
in class AbstractStatement