Class Op04StructuredStatement

java.lang.Object

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

All Implemented Interfaces:

Graph<Op04StructuredStatement>, MutableGraph<Op04StructuredStatement>, StatementContainer<StructuredStatement>, Dumpable, TypeUsageCollectable

public class Op04StructuredStatement
extends Object
implements MutableGraph<Op04StructuredStatement>, Dumpable, StatementContainer<StructuredStatement>, TypeUsageCollectable

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Op04StructuredStatement.UnstructuredIfConverter

Constructor Summary

Constructors

Constructor	Description
Op04StructuredStatement(InstrIndex instrIndex, Collection<BlockIdentifier> blockMembership, StructuredStatement structuredStatement)
Op04StructuredStatement(StructuredStatement justStatement)

Method Summary

Modifier and Type	Method	Description
void	addSource(Op04StructuredStatement source)
void	addTarget(Op04StructuredStatement target)
static void	applyChecker(Op04Checker checker, Op04StructuredStatement root, DecompilerComments comments)
static void	applyTypeAnnotations(AttributeCode code, Op04StructuredStatement root, SortedMap<Integer,Integer> instrsByOffset, DecompilerComments comments)
static boolean	checkTypeClashes(Op04StructuredStatement block, BytecodeMeta bytecodeMeta)
void	collectTypeUsages(TypeUsageCollector collector)
static void	convertUnstructuredIf(Op04StructuredStatement root)
void	copyBlockInformationFrom(StatementContainer<StructuredStatement> other)
void	copyBytecodeInformationFrom(StatementContainer<StructuredStatement> other)
static void	discoverLocalClassScopes(Method method, Op04StructuredStatement root, VariableFactory variableFactory, Options options)
static void	discoverVariableScopes(Method method, Op04StructuredStatement root, VariableFactory variableFactory, Options options, ClassFileVersion classFileVersion, BytecodeMeta bytecodeMeta)
Dumper	dump(Dumper dumper)
static FieldVariable	findInnerClassOuterThis(Method method, Op04StructuredStatement root)
static void	fixInnerClassConstructorSyntheticOuterArgs(ClassFile classFile, Method method, Op04StructuredStatement root, Set<MethodPrototype> processed)
static void	flattenNonReferencedBlocks(Op04StructuredStatement block)
Set<BlockIdentifier>	getBlockIdentifiers()
Collection<BlockIdentifier>	getBlockMembership()
Set<BlockIdentifier>	getBlocksEnded()
BlockIdentifier	getBlockStarted()
InstrIndex	getIndex()
String	getLabel()
List<Op04StructuredStatement>	getSources()
SSAIdentifiers<LValue>	getSSAIdentifiers()
StructuredStatement	getStatement()
String	getTargetLabel(int idx)
List<Op04StructuredStatement>	getTargets()
StructuredStatement	getTargetStatement(int idx)
void	informBlockMembership(Vector<BlockIdentifier> currentlyIn)
static void	inlinePossibles(Op04StructuredStatement root)
static void	inlineSyntheticAccessors(DCCommonState state, Method method, Op04StructuredStatement root)
static void	insertLabelledBlocks(Op04StructuredStatement root)
boolean	isEmptyInitialiser()
boolean	isFullyStructured()
static boolean	isTryWithResourceSynthetic(Method m, Op04StructuredStatement root)
void	linearizeStatementsInto(List<StructuredStatement> out)
static void	miscKeyholeTransforms(VariableFactory variableFactory, Op04StructuredStatement root)
void	nopOut()
void	nopOutConditional()
Op04StructuredStatement	nopThisAndReplace()
static void	normalizeInstanceOf(Op04StructuredStatement root, Options options, ClassFileVersion classFileVersion)
static void	prettifyBadLoops(Op04StructuredStatement root)
static void	reduceClashDeclarations(Op04StructuredStatement root, BytecodeMeta bytecodeMeta)
static void	removeConstructorBoilerplate(Op04StructuredStatement root)
static void	removeEndResource(ClassFile classFile, Op04StructuredStatement root)
static void	removeInnerClassOuterThis(Method method, Op04StructuredStatement root)
void	removeLastContinue(BlockIdentifier block)
UnstructuredWhile	removeLastEndWhile()
void	removeLastGoto()
static void	removePointlessBlocks(Op04StructuredStatement root)
static void	removePointlessControlFlow(Op04StructuredStatement root)
static void	removePointlessReturn(Op04StructuredStatement root)
static void	removePrimitiveDeconversion(Options options, Method method, Op04StructuredStatement root)
static void	removeStructuredGotos(Op04StructuredStatement root)
static void	removeUnnecessaryLabelledBreaks(Op04StructuredStatement root)
static void	removeUnnecessaryVarargArrays(Options options, Method method, Op04StructuredStatement root)
static void	replaceInSources(Op04StructuredStatement original, Op04StructuredStatement replacement)
static void	replaceInTargets(Op04StructuredStatement original, Op04StructuredStatement replacement)
static void	replaceNestedSyntheticOuterRefs(Op04StructuredStatement root)
void	replaceSource(Op04StructuredStatement from, Op04StructuredStatement to)
void	replaceStatement(StructuredStatement newTarget)
void	replaceStatementWithNOP(String comment)
void	replaceTarget(Op04StructuredStatement from, Op04StructuredStatement to)
static void	rewriteBadCastChains(Options options, Method method, Op04StructuredStatement root)
static void	rewriteExplicitTypeUsages(Method method, Op04StructuredStatement block, AnonymousClassUsage anonymousClassUsage, ClassFile classFile)
static void	rewriteLambdas(DCCommonState state, Method method, Op04StructuredStatement root)
static void	rewriteNarrowingAssignments(Options options, Method method, Op04StructuredStatement root)
void	setSources(List<Op04StructuredStatement> sources)
void	setTargets(List<Op04StructuredStatement> targets)
static void	switchExpression(Method method, Op04StructuredStatement root, DecompilerComments comments)
static void	tidyAnonymousConstructors(Op04StructuredStatement root)
static void	tidyEmptyCatch(Op04StructuredStatement root)
static void	tidyInstanceMatches(Op04StructuredStatement block)
static void	tidyObfuscation(Options options, Op04StructuredStatement root)
static void	tidyTryCatch(Op04StructuredStatement root)
static void	tidyTypedBooleans(Op04StructuredStatement root)
static void	tidyVariableNames(Method method, Op04StructuredStatement root, BytecodeMeta bytecodeMeta, DecompilerComments comments, ClassCache classCache)
String	toString()
void	transform(StructuredStatementTransformer transformer, StructuredScope scope)

Methods inherited from class Object

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

Constructor Details

Op04StructuredStatement

public Op04StructuredStatement(StructuredStatement justStatement)

Op04StructuredStatement

public Op04StructuredStatement(InstrIndex instrIndex,
 Collection<BlockIdentifier> blockMembership,
 StructuredStatement structuredStatement)

Method Details

rewriteExplicitTypeUsages

public static void rewriteExplicitTypeUsages(Method method,
 Op04StructuredStatement block,
 AnonymousClassUsage anonymousClassUsage,
 ClassFile classFile)

flattenNonReferencedBlocks

public static void flattenNonReferencedBlocks(Op04StructuredStatement block)

switchExpression

public static void switchExpression(Method method,
 Op04StructuredStatement root,
 DecompilerComments comments)

reduceClashDeclarations

public static void reduceClashDeclarations(Op04StructuredStatement root,
 BytecodeMeta bytecodeMeta)

normalizeInstanceOf

public static void normalizeInstanceOf(Op04StructuredStatement root,
 Options options,
 ClassFileVersion classFileVersion)

nopThisAndReplace

public Op04StructuredStatement nopThisAndReplace()

nopOut

public void nopOut()

Specified by:

nopOut in interface StatementContainer<StructuredStatement>

getStatement

public StructuredStatement getStatement()

Specified by:

getStatement in interface StatementContainer<StructuredStatement>

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

Specified by:

collectTypeUsages in interface TypeUsageCollectable

getTargetStatement

public StructuredStatement getTargetStatement(int idx)

Specified by:

getTargetStatement in interface StatementContainer<StructuredStatement>

getLabel

public String getLabel()

Specified by:

getLabel in interface StatementContainer<StructuredStatement>

getIndex

public InstrIndex getIndex()

Specified by:

getIndex in interface StatementContainer<StructuredStatement>

replaceStatement

public void replaceStatement(StructuredStatement newTarget)

Specified by:

replaceStatement in interface StatementContainer<StructuredStatement>

nopOutConditional

public void nopOutConditional()

Specified by:

nopOutConditional in interface StatementContainer<StructuredStatement>

getSSAIdentifiers

public SSAIdentifiers<LValue> getSSAIdentifiers()

Specified by:

getSSAIdentifiers in interface StatementContainer<StructuredStatement>

getBlockIdentifiers

public Set<BlockIdentifier> getBlockIdentifiers()

Specified by:

getBlockIdentifiers in interface StatementContainer<StructuredStatement>

getBlockStarted

public BlockIdentifier getBlockStarted()

Specified by:

getBlockStarted in interface StatementContainer<StructuredStatement>

getBlocksEnded

public Set<BlockIdentifier> getBlocksEnded()

Specified by:

getBlocksEnded in interface StatementContainer<StructuredStatement>

copyBlockInformationFrom

public void copyBlockInformationFrom(StatementContainer<StructuredStatement> other)

Specified by:

copyBlockInformationFrom in interface StatementContainer<StructuredStatement>

copyBytecodeInformationFrom

public void copyBytecodeInformationFrom(StatementContainer<StructuredStatement> other)

Specified by:

copyBytecodeInformationFrom in interface StatementContainer<StructuredStatement>

getBlockMembership

public Collection<BlockIdentifier> getBlockMembership()

dump

public Dumper dump(Dumper dumper)

Specified by:

dump in interface Dumpable

getSources

public List<Op04StructuredStatement> getSources()

Specified by:

getSources in interface Graph<Op04StructuredStatement>

getTargets

public List<Op04StructuredStatement> getTargets()

Specified by:

getTargets in interface Graph<Op04StructuredStatement>

addSource

public void addSource(Op04StructuredStatement source)

Specified by:

addSource in interface MutableGraph<Op04StructuredStatement>

addTarget

public void addTarget(Op04StructuredStatement target)

Specified by:

addTarget in interface MutableGraph<Op04StructuredStatement>

getTargetLabel

public String getTargetLabel(int idx)

isEmptyInitialiser

public boolean isEmptyInitialiser()

replaceTarget

public void replaceTarget(Op04StructuredStatement from,
 Op04StructuredStatement to)

replaceSource

public void replaceSource(Op04StructuredStatement from,
 Op04StructuredStatement to)

setSources

public void setSources(List<Op04StructuredStatement> sources)

setTargets

public void setTargets(List<Op04StructuredStatement> targets)

replaceInSources

public static void replaceInSources(Op04StructuredStatement original,
 Op04StructuredStatement replacement)

replaceInTargets

public static void replaceInTargets(Op04StructuredStatement original,
 Op04StructuredStatement replacement)

linearizeStatementsInto

public void linearizeStatementsInto(List<StructuredStatement> out)

removeLastContinue

public void removeLastContinue(BlockIdentifier block)

removeLastGoto

public void removeLastGoto()

removeLastEndWhile

public UnstructuredWhile removeLastEndWhile()

informBlockMembership

public void informBlockMembership(Vector<BlockIdentifier> currentlyIn)

toString

public String toString()

Overrides:

toString in class Object

replaceStatementWithNOP

public void replaceStatementWithNOP(String comment)

isFullyStructured

public boolean isFullyStructured()

transform

public void transform(StructuredStatementTransformer transformer,
 StructuredScope scope)

insertLabelledBlocks

public static void insertLabelledBlocks(Op04StructuredStatement root)

tidyEmptyCatch

public static void tidyEmptyCatch(Op04StructuredStatement root)

tidyTryCatch

public static void tidyTryCatch(Op04StructuredStatement root)

inlinePossibles

public static void inlinePossibles(Op04StructuredStatement root)

convertUnstructuredIf

public static void convertUnstructuredIf(Op04StructuredStatement root)

tidyVariableNames

public static void tidyVariableNames(Method method,
 Op04StructuredStatement root,
 BytecodeMeta bytecodeMeta,
 DecompilerComments comments,
 ClassCache classCache)

applyTypeAnnotations

public static void applyTypeAnnotations(AttributeCode code,
 Op04StructuredStatement root,
 SortedMap<Integer,Integer> instrsByOffset,
 DecompilerComments comments)

removePointlessReturn

public static void removePointlessReturn(Op04StructuredStatement root)

removeEndResource

public static void removeEndResource(ClassFile classFile,
 Op04StructuredStatement root)

removePointlessControlFlow

public static void removePointlessControlFlow(Op04StructuredStatement root)

tidyTypedBooleans

public static void tidyTypedBooleans(Op04StructuredStatement root)

miscKeyholeTransforms

public static void miscKeyholeTransforms(VariableFactory variableFactory,
 Op04StructuredStatement root)

tidyObfuscation

public static void tidyObfuscation(Options options,
 Op04StructuredStatement root)

prettifyBadLoops

public static void prettifyBadLoops(Op04StructuredStatement root)

removeStructuredGotos

public static void removeStructuredGotos(Op04StructuredStatement root)

removeUnnecessaryLabelledBreaks

public static void removeUnnecessaryLabelledBreaks(Op04StructuredStatement root)

removePointlessBlocks

public static void removePointlessBlocks(Op04StructuredStatement root)

discoverVariableScopes

public static void discoverVariableScopes(Method method,
 Op04StructuredStatement root,
 VariableFactory variableFactory,
 Options options,
 ClassFileVersion classFileVersion,
 BytecodeMeta bytecodeMeta)

discoverLocalClassScopes

public static void discoverLocalClassScopes(Method method,
 Op04StructuredStatement root,
 VariableFactory variableFactory,
 Options options)

tidyInstanceMatches

public static void tidyInstanceMatches(Op04StructuredStatement block)

checkTypeClashes

public static boolean checkTypeClashes(Op04StructuredStatement block,
 BytecodeMeta bytecodeMeta)

findInnerClassOuterThis

public static FieldVariable findInnerClassOuterThis(Method method,
 Op04StructuredStatement root)

removeInnerClassOuterThis

public static void removeInnerClassOuterThis(Method method,
 Op04StructuredStatement root)

fixInnerClassConstructorSyntheticOuterArgs

public static void fixInnerClassConstructorSyntheticOuterArgs(ClassFile classFile,
 Method method,
 Op04StructuredStatement root,
 Set<MethodPrototype> processed)

tidyAnonymousConstructors

public static void tidyAnonymousConstructors(Op04StructuredStatement root)

inlineSyntheticAccessors

public static void inlineSyntheticAccessors(DCCommonState state,
 Method method,
 Op04StructuredStatement root)

removeConstructorBoilerplate

public static void removeConstructorBoilerplate(Op04StructuredStatement root)

rewriteLambdas

public static void rewriteLambdas(DCCommonState state,
 Method method,
 Op04StructuredStatement root)

removeUnnecessaryVarargArrays

public static void removeUnnecessaryVarargArrays(Options options,
 Method method,
 Op04StructuredStatement root)

removePrimitiveDeconversion

public static void removePrimitiveDeconversion(Options options,
 Method method,
 Op04StructuredStatement root)

rewriteBadCastChains

public static void rewriteBadCastChains(Options options,
 Method method,
 Op04StructuredStatement root)

rewriteNarrowingAssignments

public static void rewriteNarrowingAssignments(Options options,
 Method method,
 Op04StructuredStatement root)

replaceNestedSyntheticOuterRefs

public static void replaceNestedSyntheticOuterRefs(Op04StructuredStatement root)

applyChecker

public static void applyChecker(Op04Checker checker,
 Op04StructuredStatement root,
 DecompilerComments comments)

isTryWithResourceSynthetic

public static boolean isTryWithResourceSynthetic(Method m,
 Op04StructuredStatement root)