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

Class AbstractStatement

java.lang.Object

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

All Implemented Interfaces:

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

Direct Known Subclasses:

AbstractAssignment, AnonBreakTarget, CaseStatement, CatchStatement, CommentStatement, CompoundStatement, ConstructorStatement, DoStatement, ExpressionStatement, FinallyStatement, ForIterStatement, ForStatement, IfExitingStatement, JSRCallStatement, JSRRetStatement, JumpingStatement, MonitorStatement, Nop, RawSwitchStatement, ReturnStatement, SwitchStatement, TryStatement, WhileStatement

public abstract class AbstractStatement
extends java.lang.Object
implements Statement

Field Summary

Fields

Modifier and Type	Field and Description
private StatementContainer<Statement>	container
private BytecodeLoc	loc

Constructor Summary

Constructors

Constructor and Description
AbstractStatement(BytecodeLoc loc)

Method Summary

Modifier and Type	Method and Description
void	addLoc(HasByteCodeLoc loc)
boolean	canThrow(ExceptionCheck caught)
SSAIdentifiers<LValue>	collectLocallyMutatedVariables(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory)
void	collectLValueAssignments(LValueAssignmentCollector<Statement> lValueAssigmentCollector)
void	collectObjectCreation(CreationCollector creationCollector)
boolean	doesBlackListLValueReplacement(LValue lValue, Expression expression)
boolean	fallsToNext()
java.util.List<Statement>	getCompoundParts()
StatementContainer<Statement>	getContainer()
LValue	getCreatedLValue()
BytecodeLoc	getLoc()
Expression	getRValue()
protected Statement	getTargetStatement(int idx)
boolean	isCompound()
Statement	outerDeepClone(CloneHelper cloneHelper)
void	setContainer(StatementContainer<Statement> container)
void	setLifetimeHint(LValue lv, boolean usedInChildren)
java.lang.String	toString()
java.util.Set<LValue>	wantsLifetimeHint()

Methods inherited from class java.lang.Object

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

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

collectLValueUsage, equivalentUnder, getStructuredStatement, replaceSingleUsageLValues, rewriteExpressions

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

dump

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

deepClone

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

getCombinedLoc

Field Detail

loc

private BytecodeLoc loc

container

private StatementContainer<Statement> container

Constructor Detail

AbstractStatement

public AbstractStatement(BytecodeLoc loc)

Method Detail

getLoc

public BytecodeLoc getLoc()

Specified by:

getLoc in interface HasByteCodeLoc

addLoc

public void addLoc(HasByteCodeLoc loc)

Specified by:

addLoc in interface HasByteCodeLoc

setContainer

public void setContainer(StatementContainer<Statement> container)

Specified by:

setContainer in interface Statement

outerDeepClone

public Statement outerDeepClone(CloneHelper cloneHelper)

Specified by:

outerDeepClone in interface DeepCloneable<Statement>

getCreatedLValue

public LValue getCreatedLValue()

Specified by:

getCreatedLValue in interface Statement

collectLValueAssignments

public void collectLValueAssignments(LValueAssignmentCollector<Statement> lValueAssigmentCollector)

Specified by:

collectLValueAssignments in interface Statement

doesBlackListLValueReplacement

public boolean doesBlackListLValueReplacement(LValue lValue,
                                              Expression expression)

Specified by:

doesBlackListLValueReplacement in interface Statement

collectObjectCreation

public void collectObjectCreation(CreationCollector creationCollector)

Specified by:

collectObjectCreation in interface Statement

collectLocallyMutatedVariables

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

Specified by:

collectLocallyMutatedVariables in interface Statement

getContainer

public StatementContainer<Statement> getContainer()

Specified by:

getContainer in interface Statement

getRValue

public Expression getRValue()

Specified by:

getRValue in interface Statement

getTargetStatement

protected Statement getTargetStatement(int idx)

isCompound

public boolean isCompound()

Specified by:

isCompound in interface Statement

getCompoundParts

public java.util.List<Statement> getCompoundParts()

Specified by:

getCompoundParts in interface Statement

toString

public final java.lang.String toString()

Overrides:

toString in class java.lang.Object

fallsToNext

public boolean fallsToNext()

Specified by:

fallsToNext in interface Statement

canThrow

public boolean canThrow(ExceptionCheck caught)

Specified by:

canThrow in interface Statement

wantsLifetimeHint

public java.util.Set<LValue> wantsLifetimeHint()

Specified by:

wantsLifetimeHint in interface Statement

setLifetimeHint

public void setLifetimeHint(LValue lv,
                            boolean usedInChildren)

Specified by:

setLifetimeHint in interface Statement