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

Class AbstractStructuredStatement

java.lang.Object

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

All Implemented Interfaces:

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

Direct Known Subclasses:

AbstractStructuredBlockStatement, AbstractStructuredContinue, AbstractUnStructuredStatement, Block, StructuredAssert, StructuredAssignment, StructuredBreak, StructuredCatch, StructuredComment, StructuredDefinition, StructuredExpressionStatement, StructuredExpressionYield, StructuredFinally, StructuredIf, StructuredReturn, StructuredThrow, StructuredTry

public abstract class AbstractStructuredStatement
extends java.lang.Object
implements StructuredStatement

Field Summary

Fields

Modifier and Type	Field and Description
private Op04StructuredStatement	container
private BytecodeLoc	loc

Constructor Summary

Constructors

Constructor and Description
AbstractStructuredStatement(BytecodeLoc loc)

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)
boolean	fallsNopToNext()
java.util.List<LValue>	findCreatedHere()
BlockIdentifier	getBreakableBlockOrNull()
Op04StructuredStatement	getContainer()
Op04StructuredStatement	getInline()
BytecodeLoc	getLoc()
StructuredStatement	informBlockHeirachy(java.util.Vector<BlockIdentifier> blockIdentifiers)
boolean	inlineable()
boolean	isEffectivelyNOP()
boolean	isProperlyStructured()
boolean	isRecursivelyStructured()
boolean	isScopeBlock()
void	markCreator(LValue scopedEntity, StatementContainer<StructuredStatement> hint)
boolean	match(MatchIterator<StructuredStatement> matchIterator, MatchResultCollector matchResultCollector)
void	setContainer(Op04StructuredStatement container)
java.lang.String	suggestName(LocalVariable createdHere, Predicate<java.lang.String> testNameUsedFn)
boolean	supportsBreak()
boolean	supportsContinueBreak()
java.lang.String	toString()
void	transformStructuredChildrenInReverse(StructuredStatementTransformer transformer, StructuredScope scope)

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.structured.StructuredStatement

linearizeInto, rewriteExpressions, traceLocalVariableScope, transformStructuredChildren

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

Field Detail

loc

private BytecodeLoc loc

container

private Op04StructuredStatement container

Constructor Detail

AbstractStructuredStatement

public AbstractStructuredStatement(BytecodeLoc loc)

Method Detail

addLoc

public void addLoc(HasByteCodeLoc loc)

Specified by:

addLoc in interface HasByteCodeLoc

getLoc

public BytecodeLoc getLoc()

Specified by:

getLoc in interface HasByteCodeLoc

getContainer

public Op04StructuredStatement getContainer()

Specified by:

getContainer in interface StructuredStatement

setContainer

public void setContainer(Op04StructuredStatement container)

Specified by:

setContainer in interface StructuredStatement

transformStructuredChildrenInReverse

public void transformStructuredChildrenInReverse(StructuredStatementTransformer transformer,
                                                 StructuredScope scope)

Specified by:

transformStructuredChildrenInReverse in interface StructuredStatement

claimBlock

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

Specified by:

claimBlock in interface StructuredStatement

informBlockHeirachy

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

Specified by:

informBlockHeirachy in interface StructuredStatement

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

match

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

Specified by:

match in interface Matcher<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

isScopeBlock

public boolean isScopeBlock()

Specified by:

isScopeBlock in interface StructuredStatement

supportsContinueBreak

public boolean supportsContinueBreak()

Specified by:

supportsContinueBreak in interface StructuredStatement

supportsBreak

public boolean supportsBreak()

Specified by:

supportsBreak 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

toString

public final java.lang.String toString()

Overrides:

toString in class java.lang.Object

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

canFall

public boolean canFall()

Specified by:

canFall in interface StructuredStatement

fallsNopToNext

public boolean fallsNopToNext()

Specified by:

fallsNopToNext in interface StructuredStatement