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

Interface Statement

All Superinterfaces:

ComparableUnderEC, DeepCloneable<Statement>, Dumpable, HasByteCodeLoc

All Known Implementing Classes:

AbstractAssignment, AbstractStatement, AnonBreakTarget, AssignmentPreMutation, AssignmentSimple, CaseStatement, CatchStatement, CommentStatement, CompoundStatement, ConstructorStatement, DoStatement, ExpressionStatement, FinallyStatement, ForIterStatement, ForStatement, GotoStatement, IfExitingStatement, IfStatement, JSRCallStatement, JSRRetStatement, JumpingStatement, MonitorEnterStatement, MonitorExitStatement, MonitorStatement, Nop, RawSwitchStatement, ReturnNothingStatement, ReturnStatement, ReturnValueStatement, SwitchStatement, ThrowStatement, TryStatement, WhileStatement

public interface Statement
extends Dumpable, ComparableUnderEC, DeepCloneable<Statement>, HasByteCodeLoc

Method Summary

Modifier and Type	Method	Description
boolean	canThrow(ExceptionCheck caught)
SSAIdentifiers<LValue>	collectLocallyMutatedVariables(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory)
void	collectLValueAssignments(LValueAssignmentCollector<Statement> lValueAssigmentCollector)
void	collectLValueUsage(LValueUsageCollector lValueUsageCollector)
void	collectObjectCreation(CreationCollector creationCollector)
boolean	doesBlackListLValueReplacement(LValue lValue, Expression expression)
boolean	equivalentUnder(Object o, EquivalenceConstraint constraint)
boolean	fallsToNext()
List<Statement>	getCompoundParts()
StatementContainer<Statement>	getContainer()
LValue	getCreatedLValue()
Expression	getRValue()
StructuredStatement	getStructuredStatement()
boolean	isCompound()
void	replaceSingleUsageLValues(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers)
void	rewriteExpressions(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers)
void	setContainer(StatementContainer<Statement> container)
void	setLifetimeHint(LValue lv, boolean usedInChildren)
Set<LValue>	wantsLifetimeHint()

Methods inherited from interface org.benf.cfr.reader.bytecode.analysis.parse.rewriters.DeepCloneable

deepClone, outerDeepClone

Methods inherited from interface org.benf.cfr.reader.util.output.Dumpable

dump

Methods inherited from interface org.benf.cfr.reader.bytecode.analysis.loc.HasByteCodeLoc

addLoc, getCombinedLoc, getLoc

Method Details

setContainer

void setContainer(StatementContainer<Statement> container)

collectLValueAssignments

void collectLValueAssignments(LValueAssignmentCollector<Statement> lValueAssigmentCollector)

collectLValueUsage

void collectLValueUsage(LValueUsageCollector lValueUsageCollector)

doesBlackListLValueReplacement

boolean doesBlackListLValueReplacement(LValue lValue,
 Expression expression)

replaceSingleUsageLValues

void replaceSingleUsageLValues(LValueRewriter lValueRewriter,
 SSAIdentifiers ssaIdentifiers)

rewriteExpressions

void rewriteExpressions(ExpressionRewriter expressionRewriter,
 SSAIdentifiers ssaIdentifiers)

collectObjectCreation

void collectObjectCreation(CreationCollector creationCollector)

collectLocallyMutatedVariables

SSAIdentifiers<LValue> collectLocallyMutatedVariables(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory)

isCompound

boolean isCompound()

getCreatedLValue

LValue getCreatedLValue()

getRValue

Expression getRValue()

getContainer

StatementContainer<Statement> getContainer()

getCompoundParts

List<Statement> getCompoundParts()

getStructuredStatement

StructuredStatement getStructuredStatement()

equivalentUnder

boolean equivalentUnder(Object o,
 EquivalenceConstraint constraint)

Specified by:

equivalentUnder in interface ComparableUnderEC

fallsToNext

boolean fallsToNext()

canThrow

boolean canThrow(ExceptionCheck caught)

wantsLifetimeHint

Set<LValue> wantsLifetimeHint()

setLifetimeHint

void setLifetimeHint(LValue lv,
 boolean usedInChildren)