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

Class AbstractUnStructuredStatement

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.structured.statement.AbstractStructuredStatement

org.benf.cfr.reader.bytecode.analysis.structured.statement.AbstractUnStructuredStatement

All Implemented Interfaces:

HasByteCodeLoc, Matcher<StructuredStatement>, StructuredStatement, Dumpable, TypeUsageCollectable

Direct Known Subclasses:

UnstructuredAnonBreakTarget, UnstructuredAnonymousBreak, UnstructuredBreak, UnstructuredCase, UnstructuredCatch, UnstructuredDo, UnstructuredFinally, UnstructuredFor, UnstructuredGoto, UnstructuredIf, UnstructuredIter, UnstructuredSwitch, UnstructuredSynchronized, UnstructuredTry, UnstructuredWhile

public abstract class AbstractUnStructuredStatement
extends AbstractStructuredStatement

Constructor Summary

Constructors

Constructor and Description
AbstractUnStructuredStatement(BytecodeLoc loc)

Method Summary

Modifier and Type	Method and Description
java.util.List<LValue>	findCreatedHere()
BlockIdentifier	getBreakableBlockOrNull()
boolean	isEffectivelyNOP()
boolean	isProperlyStructured()
boolean	isRecursivelyStructured()
void	linearizeInto(java.util.List<StructuredStatement> out)
boolean	match(MatchIterator<StructuredStatement> matchIterator, MatchResultCollector matchResultCollector)
void	rewriteExpressions(ExpressionRewriter expressionRewriter)
java.lang.String	suggestName(LocalVariable createdHere, Predicate<java.lang.String> testNameUsedFn)
void	traceLocalVariableScope(LValueScopeDiscoverer scopeDiscoverer)
void	transformStructuredChildren(StructuredStatementTransformer transformer, StructuredScope scope)
void	transformStructuredChildrenInReverse(StructuredStatementTransformer transformer, StructuredScope scope)

Methods inherited from class org.benf.cfr.reader.bytecode.analysis.structured.statement.AbstractStructuredStatement

addLoc, alwaysDefines, canDefine, canFall, claimBlock, fallsNopToNext, getContainer, getInline, getLoc, informBlockHeirachy, inlineable, isScopeBlock, markCreator, setContainer, supportsBreak, supportsContinueBreak, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.benf.cfr.reader.util.output.Dumpable

dump

Methods inherited from interface org.benf.cfr.reader.util.TypeUsageCollectable

collectTypeUsages

Methods inherited from interface org.benf.cfr.reader.bytecode.analysis.loc.HasByteCodeLoc

getCombinedLoc

Constructor Detail

AbstractUnStructuredStatement

public AbstractUnStructuredStatement(BytecodeLoc loc)

Method Detail

transformStructuredChildren

public final void transformStructuredChildren(StructuredStatementTransformer transformer,
                                              StructuredScope scope)

transformStructuredChildrenInReverse

public final void transformStructuredChildrenInReverse(StructuredStatementTransformer transformer,
                                                       StructuredScope scope)

Specified by:

transformStructuredChildrenInReverse in interface StructuredStatement

Overrides:

transformStructuredChildrenInReverse in class AbstractStructuredStatement

isProperlyStructured

public final boolean isProperlyStructured()

Specified by:

isProperlyStructured in interface StructuredStatement

Overrides:

isProperlyStructured in class AbstractStructuredStatement

getBreakableBlockOrNull

public BlockIdentifier getBreakableBlockOrNull()

Specified by:

getBreakableBlockOrNull in interface StructuredStatement

Overrides:

getBreakableBlockOrNull in class AbstractStructuredStatement

isRecursivelyStructured

public final boolean isRecursivelyStructured()

Specified by:

isRecursivelyStructured in interface StructuredStatement

Overrides:

isRecursivelyStructured in class AbstractStructuredStatement

linearizeInto

public void linearizeInto(java.util.List<StructuredStatement> out)

traceLocalVariableScope

public void traceLocalVariableScope(LValueScopeDiscoverer scopeDiscoverer)

match

public boolean match(MatchIterator<StructuredStatement> matchIterator,
                     MatchResultCollector matchResultCollector)

Specified by:

match in interface Matcher<StructuredStatement>

Overrides:

match in class AbstractStructuredStatement

rewriteExpressions

public void rewriteExpressions(ExpressionRewriter expressionRewriter)

isEffectivelyNOP

public boolean isEffectivelyNOP()

Specified by:

isEffectivelyNOP in interface StructuredStatement

Overrides:

isEffectivelyNOP in class AbstractStructuredStatement

findCreatedHere

public java.util.List<LValue> findCreatedHere()

Specified by:

findCreatedHere in interface StructuredStatement

Overrides:

findCreatedHere in class AbstractStructuredStatement

suggestName

public java.lang.String suggestName(LocalVariable createdHere,
                                    Predicate<java.lang.String> testNameUsedFn)

Specified by:

suggestName in interface StructuredStatement

Overrides:

suggestName in class AbstractStructuredStatement