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	Description
AbstractUnStructuredStatement(BytecodeLoc loc)

Method Summary

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

Methods inherited from class AbstractStructuredStatement

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

Methods inherited from class Object

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

Methods inherited from interface Dumpable

dump

Methods inherited from interface HasByteCodeLoc

getCombinedLoc

Methods inherited from interface TypeUsageCollectable

collectTypeUsages

Constructor Details

AbstractUnStructuredStatement

public AbstractUnStructuredStatement(BytecodeLoc loc)

Method Details

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(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 List<LValue> findCreatedHere()

Specified by:

findCreatedHere in interface StructuredStatement

Overrides:

findCreatedHere in class AbstractStructuredStatement

suggestName

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

Specified by:

suggestName in interface StructuredStatement

Overrides:

suggestName in class AbstractStructuredStatement