Class AbstractPlaceholder
- java.lang.Object
-
- org.benf.cfr.reader.bytecode.analysis.structured.statement.placeholder.AbstractPlaceholder
-
- All Implemented Interfaces:
HasByteCodeLoc
,Matcher<StructuredStatement>
,StructuredStatement
,Dumpable
,TypeUsageCollectable
- Direct Known Subclasses:
BeginBlock
,ElseBlock
,EndBlock
public abstract class AbstractPlaceholder extends java.lang.Object implements StructuredStatement
-
-
Constructor Summary
Constructors Constructor Description AbstractPlaceholder()
-
Method Summary
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.matchutil.Matcher
match
-
Methods inherited from interface org.benf.cfr.reader.bytecode.analysis.structured.StructuredStatement
supportsBreak, supportsContinueBreak
-
-
-
-
Method Detail
-
linearizeInto
public void linearizeInto(java.util.List<StructuredStatement> out)
- Specified by:
linearizeInto
in interfaceStructuredStatement
-
collectTypeUsages
public void collectTypeUsages(TypeUsageCollector collector)
- Specified by:
collectTypeUsages
in interfaceTypeUsageCollectable
-
getCombinedLoc
public BytecodeLoc getCombinedLoc()
- Specified by:
getCombinedLoc
in interfaceHasByteCodeLoc
-
getLoc
public BytecodeLoc getLoc()
- Specified by:
getLoc
in interfaceHasByteCodeLoc
-
addLoc
public void addLoc(HasByteCodeLoc loc)
- Specified by:
addLoc
in interfaceHasByteCodeLoc
-
isProperlyStructured
public boolean isProperlyStructured()
- Specified by:
isProperlyStructured
in interfaceStructuredStatement
-
isRecursivelyStructured
public boolean isRecursivelyStructured()
- Specified by:
isRecursivelyStructured
in interfaceStructuredStatement
-
getBreakableBlockOrNull
public BlockIdentifier getBreakableBlockOrNull()
- Specified by:
getBreakableBlockOrNull
in interfaceStructuredStatement
-
fallsNopToNext
public boolean fallsNopToNext()
- Specified by:
fallsNopToNext
in interfaceStructuredStatement
-
isScopeBlock
public boolean isScopeBlock()
- Specified by:
isScopeBlock
in interfaceStructuredStatement
-
transformStructuredChildren
public void transformStructuredChildren(StructuredStatementTransformer transformer, StructuredScope scope)
- Specified by:
transformStructuredChildren
in interfaceStructuredStatement
-
transformStructuredChildrenInReverse
public void transformStructuredChildrenInReverse(StructuredStatementTransformer transformer, StructuredScope scope)
- Specified by:
transformStructuredChildrenInReverse
in interfaceStructuredStatement
-
rewriteExpressions
public void rewriteExpressions(ExpressionRewriter expressionRewriter)
- Specified by:
rewriteExpressions
in interfaceStructuredStatement
-
informBlockHeirachy
public StructuredStatement informBlockHeirachy(java.util.Vector<BlockIdentifier> blockIdentifiers)
- Specified by:
informBlockHeirachy
in interfaceStructuredStatement
-
claimBlock
public StructuredStatement claimBlock(Op04StructuredStatement innerBlock, BlockIdentifier blockIdentifier, java.util.Vector<BlockIdentifier> blocksCurrentlyIn)
- Specified by:
claimBlock
in interfaceStructuredStatement
-
getContainer
public Op04StructuredStatement getContainer()
- Specified by:
getContainer
in interfaceStructuredStatement
-
setContainer
public void setContainer(Op04StructuredStatement container)
- Specified by:
setContainer
in interfaceStructuredStatement
-
traceLocalVariableScope
public void traceLocalVariableScope(LValueScopeDiscoverer scopeDiscoverer)
- Specified by:
traceLocalVariableScope
in interfaceStructuredStatement
-
markCreator
public void markCreator(LValue scopedEntity, StatementContainer<StructuredStatement> hint)
- Specified by:
markCreator
in interfaceStructuredStatement
-
alwaysDefines
public boolean alwaysDefines(LValue scopedEntity)
- Specified by:
alwaysDefines
in interfaceStructuredStatement
-
canDefine
public boolean canDefine(LValue scopedEntity, ScopeDiscoverInfoCache factCache)
- Specified by:
canDefine
in interfaceStructuredStatement
-
canFall
public boolean canFall()
- Specified by:
canFall
in interfaceStructuredStatement
-
findCreatedHere
public java.util.List<LValue> findCreatedHere()
- Specified by:
findCreatedHere
in interfaceStructuredStatement
-
suggestName
public java.lang.String suggestName(LocalVariable createdHere, Predicate<java.lang.String> testNameUsedFn)
- Specified by:
suggestName
in interfaceStructuredStatement
-
inlineable
public boolean inlineable()
- Specified by:
inlineable
in interfaceStructuredStatement
-
getInline
public Op04StructuredStatement getInline()
- Specified by:
getInline
in interfaceStructuredStatement
-
isEffectivelyNOP
public boolean isEffectivelyNOP()
- Specified by:
isEffectivelyNOP
in interfaceStructuredStatement
-
-