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
private static class	Op04StructuredStatement.EmptyCatchTidier
private static class	Op04StructuredStatement.Inliner
private static class	Op04StructuredStatement.LabelledBlockExtractor
private static class	Op04StructuredStatement.MutableProcessingBlockState
private static class	Op04StructuredStatement.NamedBreakRemover
private static class	Op04StructuredStatement.PointlessBlockRemover
private static class	Op04StructuredStatement.ScopeDescendingTransformer
private static class	Op04StructuredStatement.StackedBlock
private static class	Op04StructuredStatement.StructuredGotoRemover
private static class	Op04StructuredStatement.TryCatchTidier
static class	Op04StructuredStatement.UnstructuredIfConverter

Field Summary

Fields

Modifier and Type	Field	Description
private Set<BlockIdentifier>	blockMembership
private static final Set<BlockIdentifier>	EMPTY_BLOCKSET
private InstrIndex	instrIndex
private static final Logger	logger
private List<Op04StructuredStatement>	sources
private StructuredStatement	structuredStatement
private List<Op04StructuredStatement>	targets

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)
private static void	applyLValueReplacer(Map<LValue,LValue> replacements, Op04StructuredStatement root)
static void	applyTypeAnnotations(AttributeCode code, Op04StructuredStatement root, SortedMap<Integer,Integer> instrsByOffset, DecompilerComments comments)
private static Set<BlockIdentifier>	blockSet(Collection<BlockIdentifier> in)
(package private) static Op04StructuredStatement	buildNestedBlocks(List<Op04StructuredStatement> containers)
static boolean	checkTypeClashes(Op04StructuredStatement block, BytecodeMeta bytecodeMeta)
private boolean	claimBlock(Op04StructuredStatement innerBlock, BlockIdentifier thisBlock, Vector<BlockIdentifier> currentlyIn)
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()
private static Set<BlockIdentifier>	getEndingBlocks(Stack<BlockIdentifier> wasIn, Set<BlockIdentifier> nowIn)
InstrIndex	getIndex()
private static String	getInnerClassOuterArgName(Method method, LValue lValueArg)
String	getLabel()
List<Op04StructuredStatement>	getSources()
SSAIdentifiers<LValue>	getSSAIdentifiers()
private static BlockIdentifier	getStartingBlocks(Stack<BlockIdentifier> wasIn, Set<BlockIdentifier> nowIn)
StructuredStatement	getStatement()
String	getTargetLabel(int idx)
List<Op04StructuredStatement>	getTargets()
StructuredStatement	getTargetStatement(int idx)
private boolean	hasUnstructuredSource()
private static void	hideField(Op04StructuredStatement root, MethodPrototype prototype, ClassFile classFile, int x, LocalVariable protoVar, LValue lValueArg, String overrideName)
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)
private static void	processEndingBlocks(Set<BlockIdentifier> endOfTheseBlocks, Stack<BlockIdentifier> blocksCurrentlyIn, Stack<Op04StructuredStatement.StackedBlock> stackedBlocks, Op04StructuredStatement.MutableProcessingBlockState mutableProcessingBlockState)
static void	reduceClashDeclarations(Op04StructuredStatement root, BytecodeMeta bytecodeMeta)
private static void	removeAnonymousSyntheticConstructorOuterArgs(Method method, Op04StructuredStatement root, boolean isInstance)
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()
private static void	removeMethodScopedSyntheticConstructorOuterArgs(Method method, Op04StructuredStatement root, Set<MethodPrototype> processed)
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)
private void	replaceAsSource(Op04StructuredStatement old)
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)
private static StructuredStatement	transformStructuredGotoWithScope(StructuredScope scope, StructuredStatement stm, Stack<Triplet<StructuredStatement, BlockIdentifier, Set<Op04StructuredStatement>>> breaktargets)

Methods inherited from class Object

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

Field Details

logger

private static final Logger logger

instrIndex

private InstrIndex instrIndex

sources

private List<Op04StructuredStatement> sources

targets

private List<Op04StructuredStatement> targets

structuredStatement

private StructuredStatement structuredStatement

blockMembership

private Set<BlockIdentifier> blockMembership

EMPTY_BLOCKSET

private static final Set<BlockIdentifier> EMPTY_BLOCKSET

Constructor Details

Op04StructuredStatement

public Op04StructuredStatement(StructuredStatement justStatement)

Op04StructuredStatement

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

Method Details

blockSet

private static Set<BlockIdentifier> blockSet(Collection<BlockIdentifier> in)

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>

hasUnstructuredSource

private boolean hasUnstructuredSource()

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

replaceAsSource

private void replaceAsSource(Op04StructuredStatement old)

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)

claimBlock

private boolean claimBlock(Op04StructuredStatement innerBlock,
 BlockIdentifier thisBlock,
 Vector<BlockIdentifier> currentlyIn)

getEndingBlocks

private static Set<BlockIdentifier> getEndingBlocks(Stack<BlockIdentifier> wasIn,
 Set<BlockIdentifier> nowIn)

getStartingBlocks

private static BlockIdentifier getStartingBlocks(Stack<BlockIdentifier> wasIn,
 Set<BlockIdentifier> nowIn)

processEndingBlocks

private static void processEndingBlocks(Set<BlockIdentifier> endOfTheseBlocks,
 Stack<BlockIdentifier> blocksCurrentlyIn,
 Stack<Op04StructuredStatement.StackedBlock> stackedBlocks,
 Op04StructuredStatement.MutableProcessingBlockState mutableProcessingBlockState)

isFullyStructured

public boolean isFullyStructured()

buildNestedBlocks

static Op04StructuredStatement buildNestedBlocks(List<Op04StructuredStatement> containers)

transformStructuredGotoWithScope

private static StructuredStatement transformStructuredGotoWithScope(StructuredScope scope,
 StructuredStatement stm,
 Stack<Triplet<StructuredStatement, BlockIdentifier, Set<Op04StructuredStatement>>> breaktargets)

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)

removeMethodScopedSyntheticConstructorOuterArgs

private static void removeMethodScopedSyntheticConstructorOuterArgs(Method method,
 Op04StructuredStatement root,
 Set<MethodPrototype> processed)

removeAnonymousSyntheticConstructorOuterArgs

private static void removeAnonymousSyntheticConstructorOuterArgs(Method method,
 Op04StructuredStatement root,
 boolean isInstance)

getInnerClassOuterArgName

private static String getInnerClassOuterArgName(Method method,
 LValue lValueArg)

hideField

private static void hideField(Op04StructuredStatement root,
 MethodPrototype prototype,
 ClassFile classFile,
 int x,
 LocalVariable protoVar,
 LValue lValueArg,
 String overrideName)

applyLValueReplacer

private static void applyLValueReplacer(Map<LValue,LValue> replacements,
 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)