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

Class CompoundStatement

java.lang.Object

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

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

All Implemented Interfaces:

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

public class CompoundStatement
extends AbstractStatement

This should not be used to aggregate statements, but only to produce statements when multiple statements are generated by a single opcode. (eg dup).

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<Statement>	statements

Constructor Summary

Constructors

Constructor and Description
CompoundStatement(BytecodeLoc loc, Statement... statements)

Method Summary

Modifier and Type	Method and Description
void	collectLValueAssignments(LValueAssignmentCollector<Statement> lValueAssigmentCollector)
void	collectLValueUsage(LValueUsageCollector lValueUsageCollector)
Statement	deepClone(CloneHelper cloneHelper)
Dumper	dump(Dumper dumper)
boolean	equivalentUnder(java.lang.Object o, EquivalenceConstraint constraint)
BytecodeLoc	getCombinedLoc()
java.util.List<Statement>	getCompoundParts()
LValue	getCreatedLValue()
Expression	getRValue()
StructuredStatement	getStructuredStatement()
boolean	isCompound()
void	replaceSingleUsageLValues(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers)
void	rewriteExpressions(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers)

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

addLoc, canThrow, collectLocallyMutatedVariables, collectObjectCreation, doesBlackListLValueReplacement, fallsToNext, getContainer, getLoc, getTargetStatement, outerDeepClone, setContainer, setLifetimeHint, toString, wantsLifetimeHint

Methods inherited from class java.lang.Object

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

Field Detail

statements

private java.util.List<Statement> statements

Constructor Detail

CompoundStatement

public CompoundStatement(BytecodeLoc loc,
                         Statement... statements)

Method Detail

getCombinedLoc

public BytecodeLoc getCombinedLoc()

dump

public Dumper dump(Dumper dumper)

collectLValueAssignments

public void collectLValueAssignments(LValueAssignmentCollector<Statement> lValueAssigmentCollector)

Specified by:

collectLValueAssignments in interface Statement

Overrides:

collectLValueAssignments in class AbstractStatement

deepClone

public Statement deepClone(CloneHelper cloneHelper)

getCreatedLValue

public LValue getCreatedLValue()

Specified by:

getCreatedLValue in interface Statement

Overrides:

getCreatedLValue in class AbstractStatement

collectLValueUsage

public void collectLValueUsage(LValueUsageCollector lValueUsageCollector)

getRValue

public Expression getRValue()

Specified by:

getRValue in interface Statement

Overrides:

getRValue in class AbstractStatement

replaceSingleUsageLValues

public void replaceSingleUsageLValues(LValueRewriter lValueRewriter,
                                      SSAIdentifiers ssaIdentifiers)

rewriteExpressions

public void rewriteExpressions(ExpressionRewriter expressionRewriter,
                               SSAIdentifiers ssaIdentifiers)

isCompound

public boolean isCompound()

Specified by:

isCompound in interface Statement

Overrides:

isCompound in class AbstractStatement

getCompoundParts

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

Specified by:

getCompoundParts in interface Statement

Overrides:

getCompoundParts in class AbstractStatement

getStructuredStatement

public StructuredStatement getStructuredStatement()

equivalentUnder

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