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 Object
implements MutableGraph<Op03SimpleStatement>, Dumpable, StatementContainer<Statement>, IndexedStatement

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	Op03SimpleStatement.GraphVisitorCallee

Constructor Summary

Constructors

Constructor and Description
Op03SimpleStatement(Op02WithProcessedDataAndRefs original, Statement statement)
Op03SimpleStatement(Set<BlockIdentifier> containedIn, Statement statement, InstrIndex index)
Op03SimpleStatement(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, List<Op03SimpleStatement> statements)
void	clear()
void	clearTargets()
void	clearThisComparisonBlock()
void	collect(LValueAssignmentAndAliasCondenser lValueAssigmentCollector)
void	condense(LValueRewriter lValueRewriter)
void	copyBlockInformationFrom(StatementContainer<Statement> other)
void	copyBytecodeInformationFrom(StatementContainer<Statement> other)
static Op04StructuredStatement	createInitialStructuredBlock(List<Op03SimpleStatement> statements)
Dumper	dump(Dumper dumper)
void	dumpInner(Dumper dumper)
void	findCreation(CreationCollector creationCollector)
void	forceSSAIdentifiers(SSAIdentifiers<LValue> newIdentifiers)
Set<BlockIdentifier>	getBlockIdentifiers()
Set<BlockIdentifier>	getBlocksEnded()
BlockIdentifier	getBlockStarted()
BlockIdentifier	getFirstStatementInThisBlock()
InstrIndex	getIndex()
JumpType	getJumpType()
String	getLabel()
Op03SimpleStatement	getLinearlyNext()
Op03SimpleStatement	getLinearlyPrevious()
List<Op03SimpleStatement>	getSources()
SSAIdentifiers<LValue>	getSSAIdentifiers()
Statement	getStatement()
List<Op03SimpleStatement>	getTargets()
Statement	getTargetStatement(int idx)
BlockIdentifier	getThisComparisonBlock()
boolean	isAgreedNop()
boolean	isCompound()
boolean	isPossibleExitFor(BlockIdentifier ident)
void	markBlock(BlockIdentifier blockIdentifier)
void	markBlockStatement(BlockIdentifier blockIdentifier, Op03SimpleStatement lastInBlock, Op03SimpleStatement blockEnd, List<Op03SimpleStatement> statements)
void	markFirstStatementInBlock(BlockIdentifier blockIdentifier)
void	nopOut()
void	nopOutConditional()
static void	noteInterestingLifetimes(List<Op03SimpleStatement> statements)
void	removeGotoTarget(Op03SimpleStatement oldTarget)
static void	removePointlessSwitchDefaults(List<Op03SimpleStatement> statements)
void	removeSource(Op03SimpleStatement oldSource)
void	removeTarget(Op03SimpleStatement oldTarget)
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)
List<Op03SimpleStatement>	splitCompound()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Op03SimpleStatement

public Op03SimpleStatement(Op02WithProcessedDataAndRefs original,
                           Statement statement)

Op03SimpleStatement

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

Op03SimpleStatement

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

Method Detail

getSources

public List<Op03SimpleStatement> getSources()

Specified by:

getSources in interface Graph<Op03SimpleStatement>

getTargets

public 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>

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 Set<BlockIdentifier> getBlockIdentifiers()

Specified by:

getBlockIdentifiers in interface StatementContainer<Statement>

getBlockStarted

public BlockIdentifier getBlockStarted()

Specified by:

getBlockStarted in interface StatementContainer<Statement>

getBlocksEnded

public 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()

splice

public void splice(Op03SimpleStatement newSource)

replaceTarget

public void replaceTarget(Op03SimpleStatement oldTarget,
                          Op03SimpleStatement newTarget)

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,
                               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()

getLabel

public 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

isCompound

public boolean isCompound()

splitCompound

public List<Op03SimpleStatement> splitCompound()

forceSSAIdentifiers

public void forceSSAIdentifiers(SSAIdentifiers<LValue> newIdentifiers)

noteInterestingLifetimes

public static void noteInterestingLifetimes(List<Op03SimpleStatement> statements)

assignSSAIdentifiers

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

createInitialStructuredBlock

public static Op04StructuredStatement createInitialStructuredBlock(List<Op03SimpleStatement> statements)

getJumpType

public JumpType getJumpType()

addPossibleExitFor

public void addPossibleExitFor(BlockIdentifier ident)

isPossibleExitFor

public boolean isPossibleExitFor(BlockIdentifier ident)

removePointlessSwitchDefaults

public static void removePointlessSwitchDefaults(List<Op03SimpleStatement> statements)

toString

public String toString()

Overrides:

toString in class Object