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

Interface StructuredStatement

All Superinterfaces:

Dumpable, HasByteCodeLoc, Matcher<StructuredStatement>, TypeUsageCollectable

All Known Implementing Classes:

AbstractPlaceholder, AbstractStructuredBlockStatement, AbstractStructuredConditionalLoopStatement, AbstractStructuredContinue, AbstractStructuredStatement, AbstractUnStructuredStatement, BeginBlock, Block, ElseBlock, EndBlock, StructuredAssert, StructuredAssignment, StructuredBreak, StructuredCase, StructuredCatch, StructuredComment, StructuredContinue, StructuredDefinition, StructuredDo, StructuredExpressionStatement, StructuredExpressionYield, StructuredFakeDecompFailure, StructuredFinally, StructuredFor, StructuredIf, StructuredIter, StructuredReturn, StructuredSwitch, StructuredSynchronized, StructuredThrow, StructuredTry, StructuredWhile, UnstructuredAnonBreakTarget, UnstructuredAnonymousBreak, UnstructuredBreak, UnstructuredCase, UnstructuredCatch, UnstructuredContinue, UnstructuredDo, UnstructuredFinally, UnstructuredFor, UnstructuredGoto, UnstructuredIf, UnstructuredIter, UnstructuredSwitch, UnstructuredSynchronized, UnstructuredTry, UnstructuredWhile, WildcardMatch.BlockWildcard

public interface StructuredStatement
extends Dumpable, TypeUsageCollectable, HasByteCodeLoc, Matcher<StructuredStatement>

Method Summary

Modifier and Type	Method	Description
boolean	alwaysDefines(LValue scopedEntity)
boolean	canDefine(LValue scopedEntity, ScopeDiscoverInfoCache factCache)
boolean	canFall()
StructuredStatement	claimBlock(Op04StructuredStatement innerBlock, BlockIdentifier blockIdentifier, Vector<BlockIdentifier> blocksCurrentlyIn)
boolean	fallsNopToNext()
List<LValue>	findCreatedHere()
BlockIdentifier	getBreakableBlockOrNull()
Op04StructuredStatement	getContainer()
Op04StructuredStatement	getInline()
StructuredStatement	informBlockHeirachy(Vector<BlockIdentifier> blockIdentifiers)
boolean	inlineable()
boolean	isEffectivelyNOP()
boolean	isProperlyStructured()
boolean	isRecursivelyStructured()
boolean	isScopeBlock()
void	linearizeInto(List<StructuredStatement> out)
void	markCreator(LValue scopedEntity, StatementContainer<StructuredStatement> hint)
void	rewriteExpressions(ExpressionRewriter expressionRewriter)
void	setContainer(Op04StructuredStatement container)
String	suggestName(LocalVariable createdHere, Predicate<String> testNameUsedFn)
boolean	supportsBreak()
boolean	supportsContinueBreak()
void	traceLocalVariableScope(LValueScopeDiscoverer scopeDiscoverer)
void	transformStructuredChildren(StructuredStatementTransformer transformer, StructuredScope scope)
void	transformStructuredChildrenInReverse(StructuredStatementTransformer transformer, StructuredScope scope)

Methods inherited from interface org.benf.cfr.reader.util.output.Dumpable

dump

Methods inherited from interface org.benf.cfr.reader.bytecode.analysis.loc.HasByteCodeLoc

addLoc, getCombinedLoc, getLoc

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

match

Methods inherited from interface org.benf.cfr.reader.util.TypeUsageCollectable

collectTypeUsages

Method Details

getContainer

Op04StructuredStatement getContainer()

setContainer

void setContainer(Op04StructuredStatement container)

claimBlock

StructuredStatement claimBlock(Op04StructuredStatement innerBlock,
 BlockIdentifier blockIdentifier,
 Vector<BlockIdentifier> blocksCurrentlyIn)

informBlockHeirachy

StructuredStatement informBlockHeirachy(Vector<BlockIdentifier> blockIdentifiers)

transformStructuredChildren

void transformStructuredChildren(StructuredStatementTransformer transformer,
 StructuredScope scope)

transformStructuredChildrenInReverse

void transformStructuredChildrenInReverse(StructuredStatementTransformer transformer,
 StructuredScope scope)

rewriteExpressions

void rewriteExpressions(ExpressionRewriter expressionRewriter)

isProperlyStructured

boolean isProperlyStructured()

isRecursivelyStructured

boolean isRecursivelyStructured()

getBreakableBlockOrNull

BlockIdentifier getBreakableBlockOrNull()

linearizeInto

void linearizeInto(List<StructuredStatement> out)

traceLocalVariableScope

void traceLocalVariableScope(LValueScopeDiscoverer scopeDiscoverer)

markCreator

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

alwaysDefines

boolean alwaysDefines(LValue scopedEntity)

canDefine

boolean canDefine(LValue scopedEntity,
 ScopeDiscoverInfoCache factCache)

supportsContinueBreak

boolean supportsContinueBreak()

supportsBreak

boolean supportsBreak()

isScopeBlock

boolean isScopeBlock()

inlineable

boolean inlineable()

getInline

Op04StructuredStatement getInline()

isEffectivelyNOP

boolean isEffectivelyNOP()

fallsNopToNext

boolean fallsNopToNext()

canFall

boolean canFall()

findCreatedHere

List<LValue> findCreatedHere()

suggestName

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