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
All Methods Instance Methods Concrete Methods Modifier and Type Method 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.bytecode.analysis.loc.HasByteCodeLoc
getCombinedLoc
-
Methods inherited from interface org.benf.cfr.reader.util.TypeUsageCollectable
collectTypeUsages
-
-
-
-
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 interfaceStructuredStatement
- Overrides:
transformStructuredChildrenInReverse
in classAbstractStructuredStatement
-
isProperlyStructured
public final boolean isProperlyStructured()
- Specified by:
isProperlyStructured
in interfaceStructuredStatement
- Overrides:
isProperlyStructured
in classAbstractStructuredStatement
-
getBreakableBlockOrNull
public BlockIdentifier getBreakableBlockOrNull()
- Specified by:
getBreakableBlockOrNull
in interfaceStructuredStatement
- Overrides:
getBreakableBlockOrNull
in classAbstractStructuredStatement
-
isRecursivelyStructured
public final boolean isRecursivelyStructured()
- Specified by:
isRecursivelyStructured
in interfaceStructuredStatement
- Overrides:
isRecursivelyStructured
in classAbstractStructuredStatement
-
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 interfaceMatcher<StructuredStatement>
- Overrides:
match
in classAbstractStructuredStatement
-
rewriteExpressions
public void rewriteExpressions(ExpressionRewriter expressionRewriter)
-
isEffectivelyNOP
public boolean isEffectivelyNOP()
- Specified by:
isEffectivelyNOP
in interfaceStructuredStatement
- Overrides:
isEffectivelyNOP
in classAbstractStructuredStatement
-
findCreatedHere
public java.util.List<LValue> findCreatedHere()
- Specified by:
findCreatedHere
in interfaceStructuredStatement
- Overrides:
findCreatedHere
in classAbstractStructuredStatement
-
suggestName
public java.lang.String suggestName(LocalVariable createdHere, Predicate<java.lang.String> testNameUsedFn)
- Specified by:
suggestName
in interfaceStructuredStatement
- Overrides:
suggestName
in classAbstractStructuredStatement
-
-