org.benf.cfr.reader.bytecode.analysis.opgraph

Class Op03SimpleStatement

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.opgraph.Op03SimpleStatement

All Implemented Interfaces:

Graph<Op03SimpleStatement>, IndexedStatement, MutableGraph<Op03SimpleStatement>, StatementContainer<Statement>, Dumpable

public class Op03SimpleStatement
extends java.lang.Object
implements MutableGraph<Op03SimpleStatement>, Dumpable, StatementContainer<Statement>, IndexedStatement

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	Op03SimpleStatement.GraphVisitorCallee

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Set<BlockIdentifier>	containedInBlocks
private Statement	containedStatement
private BlockIdentifier	firstStatementInThisBlock
private InstrIndex	index
private boolean	isNop
private Op03SimpleStatement	linearlyNext
private Op03SimpleStatement	linearlyPrevious
private java.util.Set<BlockIdentifier>	possibleExitsFor
private java.util.List<Op03SimpleStatement>	sources
private SSAIdentifiers<LValue>	ssaIdentifiers
private java.util.List<Op03SimpleStatement>	targets
private BlockIdentifier	thisComparisonBlock

Constructor Summary

Constructors

Constructor and Description
Op03SimpleStatement(Op02WithProcessedDataAndRefs original, Statement statement)
Op03SimpleStatement(java.util.Set<BlockIdentifier> containedIn, Statement statement, InstrIndex index)
Op03SimpleStatement(java.util.Set<BlockIdentifier> containedIn, Statement statement, SSAIdentifiers<LValue> ssaIdentifiers, InstrIndex index)

Method Summary

Modifier and Type	Method and Description
void	addPossibleExitFor(BlockIdentifier ident)
void	addSource(Op03SimpleStatement source)
void	addTarget(Op03SimpleStatement target)
static void	assignSSAIdentifiers(Method method, java.util.List<Op03SimpleStatement> statements)
void	clear()
void	clearTargets()
void	clearThisComparisonBlock()
void	collect(LValueAssignmentAndAliasCondenser lValueAssigmentCollector)
private void	collectLocallyMutatedVariables(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory)
void	condense(LValueRewriter lValueRewriter)
void	copyBlockInformationFrom(StatementContainer<Statement> other)
void	copyBytecodeInformationFrom(StatementContainer<Statement> other)
static Op04StructuredStatement	createInitialStructuredBlock(java.util.List<Op03SimpleStatement> statements)
Dumper	dump(Dumper dumper)
void	dumpInner(Dumper dumper)
void	findCreation(CreationCollector creationCollector)
void	forceSSAIdentifiers(SSAIdentifiers<LValue> newIdentifiers)
java.util.Set<BlockIdentifier>	getBlockIdentifiers()
java.util.Set<BlockIdentifier>	getBlocksEnded()
BlockIdentifier	getBlockStarted()
BlockIdentifier	getFirstStatementInThisBlock()
InstrIndex	getIndex()
JumpType	getJumpType()
java.lang.String	getLabel()
Op03SimpleStatement	getLinearlyNext()
Op03SimpleStatement	getLinearlyPrevious()
java.util.List<Op03SimpleStatement>	getSources()
SSAIdentifiers<LValue>	getSSAIdentifiers()
Statement	getStatement()
private Op04StructuredStatement	getStructuredStatementPlaceHolder()
java.util.List<Op03SimpleStatement>	getTargets()
Statement	getTargetStatement(int idx)
BlockIdentifier	getThisComparisonBlock()
boolean	isAgreedNop()
boolean	isCompound()
boolean	isPossibleExitFor(BlockIdentifier ident)
private void	markAgreedNop()
void	markBlock(BlockIdentifier blockIdentifier)
void	markBlockStatement(BlockIdentifier blockIdentifier, Op03SimpleStatement lastInBlock, Op03SimpleStatement blockEnd, java.util.List<Op03SimpleStatement> statements)
void	markFirstStatementInBlock(BlockIdentifier blockIdentifier)
private boolean	needsLabel()
void	nopOut()
void	nopOutConditional()
static void	noteInterestingLifetimes(java.util.List<Op03SimpleStatement> statements)
void	removeGotoTarget(Op03SimpleStatement oldTarget)
private static void	removePointlessSwitchDefault(Op03SimpleStatement swtch)
static void	removePointlessSwitchDefaults(java.util.List<Op03SimpleStatement> statements)
void	removeSource(Op03SimpleStatement oldSource)
void	removeTarget(Op03SimpleStatement oldTarget)
(package private) void	replaceBlockIfIn(BlockIdentifier oldB, BlockIdentifier newB)
private void	replaceSingleSourceWith(Op03SimpleStatement oldSource, java.util.List<Op03SimpleStatement> newSources)
void	replaceSource(Op03SimpleStatement oldSource, Op03SimpleStatement newSource)
void	replaceStatement(Statement newStatement)
void	replaceTarget(Op03SimpleStatement oldTarget, Op03SimpleStatement newTarget)
void	rewrite(ExpressionRewriter expressionRewriter)
void	setFirstStatementInThisBlock(BlockIdentifier firstStatementInThisBlock)
void	setIndex(InstrIndex index)
void	setLinearlyNext(Op03SimpleStatement linearlyNext)
void	setLinearlyPrevious(Op03SimpleStatement linearlyPrevious)
void	splice(Op03SimpleStatement newSource)
java.util.List<Op03SimpleStatement>	splitCompound()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

sources

private final java.util.List<Op03SimpleStatement> sources

targets

private final java.util.List<Op03SimpleStatement> targets

linearlyPrevious

private Op03SimpleStatement linearlyPrevious

linearlyNext

private Op03SimpleStatement linearlyNext

isNop

private boolean isNop

index

private InstrIndex index

containedStatement

private Statement containedStatement

ssaIdentifiers

private SSAIdentifiers<LValue> ssaIdentifiers

thisComparisonBlock

private BlockIdentifier thisComparisonBlock

firstStatementInThisBlock

private BlockIdentifier firstStatementInThisBlock

containedInBlocks

private final java.util.Set<BlockIdentifier> containedInBlocks

possibleExitsFor

private java.util.Set<BlockIdentifier> possibleExitsFor

Constructor Detail

Op03SimpleStatement

public Op03SimpleStatement(Op02WithProcessedDataAndRefs original,
                           Statement statement)

Op03SimpleStatement

public Op03SimpleStatement(java.util.Set<BlockIdentifier> containedIn,
                           Statement statement,
                           InstrIndex index)

Op03SimpleStatement

public Op03SimpleStatement(java.util.Set<BlockIdentifier> containedIn,
                           Statement statement,
                           SSAIdentifiers<LValue> ssaIdentifiers,
                           InstrIndex index)

Method Detail

getSources

public java.util.List<Op03SimpleStatement> getSources()

Specified by:

getSources in interface Graph<Op03SimpleStatement>

getTargets

public java.util.List<Op03SimpleStatement> getTargets()

Specified by:

getTargets in interface Graph<Op03SimpleStatement>

setLinearlyNext

public void setLinearlyNext(Op03SimpleStatement linearlyNext)

getLinearlyPrevious

public Op03SimpleStatement getLinearlyPrevious()

setLinearlyPrevious

public void setLinearlyPrevious(Op03SimpleStatement linearlyPrevious)

getFirstStatementInThisBlock

public BlockIdentifier getFirstStatementInThisBlock()

setFirstStatementInThisBlock

public void setFirstStatementInThisBlock(BlockIdentifier firstStatementInThisBlock)

addSource

public void addSource(Op03SimpleStatement source)

Specified by:

addSource in interface MutableGraph<Op03SimpleStatement>

addTarget

public void addTarget(Op03SimpleStatement target)

Specified by:

addTarget in interface MutableGraph<Op03SimpleStatement>

getStatement

public Statement getStatement()

Specified by:

getStatement in interface StatementContainer<Statement>

getTargetStatement

public Statement getTargetStatement(int idx)

Specified by:

getTargetStatement in interface StatementContainer<Statement>

replaceStatement

public void replaceStatement(Statement newStatement)

Specified by:

replaceStatement in interface StatementContainer<Statement>

markAgreedNop

private void markAgreedNop()

nopOut

public void nopOut()

Specified by:

nopOut in interface StatementContainer<Statement>

nopOutConditional

public void nopOutConditional()

Specified by:

nopOutConditional in interface StatementContainer<Statement>

clear

public void clear()

getSSAIdentifiers

public SSAIdentifiers<LValue> getSSAIdentifiers()

Specified by:

getSSAIdentifiers in interface StatementContainer<Statement>

getBlockIdentifiers

public java.util.Set<BlockIdentifier> getBlockIdentifiers()

Specified by:

getBlockIdentifiers in interface StatementContainer<Statement>

getBlockStarted

public BlockIdentifier getBlockStarted()

Specified by:

getBlockStarted in interface StatementContainer<Statement>

getBlocksEnded

public java.util.Set<BlockIdentifier> getBlocksEnded()

Specified by:

getBlocksEnded in interface StatementContainer<Statement>

getLinearlyNext

public Op03SimpleStatement getLinearlyNext()

copyBlockInformationFrom

public void copyBlockInformationFrom(StatementContainer<Statement> other)

Specified by:

copyBlockInformationFrom in interface StatementContainer<Statement>

copyBytecodeInformationFrom

public void copyBytecodeInformationFrom(StatementContainer<Statement> other)

Specified by:

copyBytecodeInformationFrom in interface StatementContainer<Statement>

isAgreedNop

public boolean isAgreedNop()

replaceBlockIfIn

void replaceBlockIfIn(BlockIdentifier oldB,
                      BlockIdentifier newB)

splice

public void splice(Op03SimpleStatement newSource)

replaceTarget

public void replaceTarget(Op03SimpleStatement oldTarget,
                          Op03SimpleStatement newTarget)

replaceSingleSourceWith

private void replaceSingleSourceWith(Op03SimpleStatement oldSource,
                                     java.util.List<Op03SimpleStatement> newSources)

replaceSource

public void replaceSource(Op03SimpleStatement oldSource,
                          Op03SimpleStatement newSource)

removeSource

public void removeSource(Op03SimpleStatement oldSource)

removeTarget

public void removeTarget(Op03SimpleStatement oldTarget)

removeGotoTarget

public void removeGotoTarget(Op03SimpleStatement oldTarget)

getIndex

public InstrIndex getIndex()

Specified by:

getIndex in interface IndexedStatement

Specified by:

getIndex in interface StatementContainer<Statement>

setIndex

public void setIndex(InstrIndex index)

getThisComparisonBlock

public BlockIdentifier getThisComparisonBlock()

clearThisComparisonBlock

public void clearThisComparisonBlock()

markBlockStatement

public void markBlockStatement(BlockIdentifier blockIdentifier,
                               Op03SimpleStatement lastInBlock,
                               Op03SimpleStatement blockEnd,
                               java.util.List<Op03SimpleStatement> statements)

markFirstStatementInBlock

public void markFirstStatementInBlock(BlockIdentifier blockIdentifier)

markBlock

public void markBlock(BlockIdentifier blockIdentifier)

collect

public void collect(LValueAssignmentAndAliasCondenser lValueAssigmentCollector)

condense

public void condense(LValueRewriter lValueRewriter)

rewrite

public void rewrite(ExpressionRewriter expressionRewriter)

findCreation

public void findCreation(CreationCollector creationCollector)

clearTargets

public void clearTargets()

needsLabel

private boolean needsLabel()

getLabel

public java.lang.String getLabel()

Specified by:

getLabel in interface StatementContainer<Statement>

dumpInner

public void dumpInner(Dumper dumper)

dump

public Dumper dump(Dumper dumper)

Specified by:

dump in interface Dumpable

getStructuredStatementPlaceHolder

private Op04StructuredStatement getStructuredStatementPlaceHolder()

isCompound

public boolean isCompound()

splitCompound

public java.util.List<Op03SimpleStatement> splitCompound()

collectLocallyMutatedVariables

private void collectLocallyMutatedVariables(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory)

forceSSAIdentifiers

public void forceSSAIdentifiers(SSAIdentifiers<LValue> newIdentifiers)

noteInterestingLifetimes

public static void noteInterestingLifetimes(java.util.List<Op03SimpleStatement> statements)

assignSSAIdentifiers

public static void assignSSAIdentifiers(Method method,
                                        java.util.List<Op03SimpleStatement> statements)

createInitialStructuredBlock

public static Op04StructuredStatement createInitialStructuredBlock(java.util.List<Op03SimpleStatement> statements)

getJumpType

public JumpType getJumpType()

addPossibleExitFor

public void addPossibleExitFor(BlockIdentifier ident)

isPossibleExitFor

public boolean isPossibleExitFor(BlockIdentifier ident)

removePointlessSwitchDefault

private static void removePointlessSwitchDefault(Op03SimpleStatement swtch)

removePointlessSwitchDefaults

public static void removePointlessSwitchDefaults(java.util.List<Op03SimpleStatement> statements)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object