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

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 and Description
AbstractPlaceholder()

Method Summary

Modifier and Type	Method and Description
void	addLoc(HasByteCodeLoc loc)
boolean	alwaysDefines(LValue scopedEntity)
boolean	canDefine(LValue scopedEntity, ScopeDiscoverInfoCache factCache)
boolean	canFall()
StructuredStatement	claimBlock(Op04StructuredStatement innerBlock, BlockIdentifier blockIdentifier, java.util.Vector<BlockIdentifier> blocksCurrentlyIn)
void	collectTypeUsages(TypeUsageCollector collector)
Dumper	dump(Dumper dumper)
boolean	fallsNopToNext()
java.util.List<LValue>	findCreatedHere()
BlockIdentifier	getBreakableBlockOrNull()
BytecodeLoc	getCombinedLoc()
Op04StructuredStatement	getContainer()
Op04StructuredStatement	getInline()
BytecodeLoc	getLoc()
StructuredStatement	informBlockHeirachy(java.util.Vector<BlockIdentifier> blockIdentifiers)
boolean	inlineable()
boolean	isEffectivelyNOP()
boolean	isProperlyStructured()
boolean	isRecursivelyStructured()
boolean	isScopeBlock()
void	linearizeInto(java.util.List<StructuredStatement> out)
void	markCreator(LValue scopedEntity, StatementContainer<StructuredStatement> hint)
void	rewriteExpressions(ExpressionRewriter expressionRewriter)
void	setContainer(Op04StructuredStatement container)
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 java.lang.Object

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

Methods inherited from interface org.benf.cfr.reader.bytecode.analysis.structured.StructuredStatement

supportsBreak, supportsContinueBreak

Methods inherited from interface org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.matchutil.Matcher

match

Constructor Detail

AbstractPlaceholder

public AbstractPlaceholder()

Method Detail

linearizeInto

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

Specified by:

linearizeInto in interface StructuredStatement

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

Specified by:

collectTypeUsages in interface TypeUsageCollectable

getCombinedLoc

public BytecodeLoc getCombinedLoc()

Specified by:

getCombinedLoc in interface HasByteCodeLoc

getLoc

public BytecodeLoc getLoc()

Specified by:

getLoc in interface HasByteCodeLoc

addLoc

public void addLoc(HasByteCodeLoc loc)

Specified by:

addLoc in interface HasByteCodeLoc

isProperlyStructured

public boolean isProperlyStructured()

Specified by:

isProperlyStructured in interface StructuredStatement

isRecursivelyStructured

public boolean isRecursivelyStructured()

Specified by:

isRecursivelyStructured in interface StructuredStatement

getBreakableBlockOrNull

public BlockIdentifier getBreakableBlockOrNull()

Specified by:

getBreakableBlockOrNull in interface StructuredStatement

fallsNopToNext

public boolean fallsNopToNext()

Specified by:

fallsNopToNext in interface StructuredStatement

isScopeBlock

public boolean isScopeBlock()

Specified by:

isScopeBlock in interface StructuredStatement

transformStructuredChildren

public void transformStructuredChildren(StructuredStatementTransformer transformer,
                                        StructuredScope scope)

Specified by:

transformStructuredChildren in interface StructuredStatement

transformStructuredChildrenInReverse

public void transformStructuredChildrenInReverse(StructuredStatementTransformer transformer,
                                                 StructuredScope scope)

Specified by:

transformStructuredChildrenInReverse in interface StructuredStatement

rewriteExpressions

public void rewriteExpressions(ExpressionRewriter expressionRewriter)

Specified by:

rewriteExpressions in interface StructuredStatement

informBlockHeirachy

public StructuredStatement informBlockHeirachy(java.util.Vector<BlockIdentifier> blockIdentifiers)

Specified by:

informBlockHeirachy in interface StructuredStatement

claimBlock

public StructuredStatement claimBlock(Op04StructuredStatement innerBlock,
                                      BlockIdentifier blockIdentifier,
                                      java.util.Vector<BlockIdentifier> blocksCurrentlyIn)

Specified by:

claimBlock in interface StructuredStatement

getContainer

public Op04StructuredStatement getContainer()

Specified by:

getContainer in interface StructuredStatement

setContainer

public void setContainer(Op04StructuredStatement container)

Specified by:

setContainer in interface StructuredStatement

traceLocalVariableScope

public void traceLocalVariableScope(LValueScopeDiscoverer scopeDiscoverer)

Specified by:

traceLocalVariableScope in interface StructuredStatement

markCreator

public void markCreator(LValue scopedEntity,
                        StatementContainer<StructuredStatement> hint)

Specified by:

markCreator in interface StructuredStatement

alwaysDefines

public boolean alwaysDefines(LValue scopedEntity)

Specified by:

alwaysDefines in interface StructuredStatement

canDefine

public boolean canDefine(LValue scopedEntity,
                         ScopeDiscoverInfoCache factCache)

Specified by:

canDefine in interface StructuredStatement

canFall

public boolean canFall()

Specified by:

canFall in interface StructuredStatement

findCreatedHere

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

Specified by:

findCreatedHere in interface StructuredStatement

suggestName

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

Specified by:

suggestName in interface StructuredStatement

dump

public Dumper dump(Dumper dumper)

Specified by:

dump in interface Dumpable

inlineable

public boolean inlineable()

Specified by:

inlineable in interface StructuredStatement

getInline

public Op04StructuredStatement getInline()

Specified by:

getInline in interface StructuredStatement

isEffectivelyNOP

public boolean isEffectivelyNOP()

Specified by:

isEffectivelyNOP in interface StructuredStatement