Class AbstractStructuredConditionalLoopStatement

java.lang.Object

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

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

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

All Implemented Interfaces:

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

Direct Known Subclasses:

StructuredDo, StructuredWhile

public abstract class AbstractStructuredConditionalLoopStatement
extends AbstractStructuredBlockStatement

Field Summary

Fields

Modifier and Type	Field	Description
protected final BlockIdentifier	block
protected ConditionalExpression	condition

Constructor Summary

Constructors

Constructor	Description
AbstractStructuredConditionalLoopStatement(BytecodeLoc loc, ConditionalExpression condition, BlockIdentifier block, Op04StructuredStatement body)

Method Summary

Modifier and Type	Method	Description
void	collectTypeUsages(TypeUsageCollector collector)
BlockIdentifier	getBlock()
BlockIdentifier	getBreakableBlockOrNull()
ConditionalExpression	getCondition()
boolean	isInfinite()
boolean	isScopeBlock()
void	linearizeInto(List<StructuredStatement> out)
void	rewriteExpressions(ExpressionRewriter expressionRewriter)
boolean	supportsBreak()
boolean	supportsContinueBreak()
void	traceLocalVariableScope(LValueScopeDiscoverer scopeDiscoverer)

Methods inherited from class AbstractStructuredBlockStatement

getBody, isRecursivelyStructured, transformStructuredChildren

Methods inherited from class AbstractStructuredStatement

addLoc, alwaysDefines, canDefine, canFall, claimBlock, fallsNopToNext, findCreatedHere, getContainer, getInline, getLoc, informBlockHeirachy, inlineable, isEffectivelyNOP, isProperlyStructured, markCreator, match, setContainer, suggestName, toString, transformStructuredChildrenInReverse

Methods inherited from class Object

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

Methods inherited from interface Dumpable

dump

Methods inherited from interface HasByteCodeLoc

getCombinedLoc

Field Details

condition

protected ConditionalExpression condition

block

protected final BlockIdentifier block

Constructor Details

AbstractStructuredConditionalLoopStatement

AbstractStructuredConditionalLoopStatement(BytecodeLoc loc,
 ConditionalExpression condition,
 BlockIdentifier block,
 Op04StructuredStatement body)

Method Details

getBlock

public BlockIdentifier getBlock()

getCondition

public ConditionalExpression getCondition()

getBreakableBlockOrNull

public BlockIdentifier getBreakableBlockOrNull()

Specified by:

getBreakableBlockOrNull in interface StructuredStatement

Overrides:

getBreakableBlockOrNull in class AbstractStructuredStatement

supportsBreak

public boolean supportsBreak()

Specified by:

supportsBreak in interface StructuredStatement

Overrides:

supportsBreak in class AbstractStructuredStatement

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

Specified by:

collectTypeUsages in interface TypeUsageCollectable

Overrides:

collectTypeUsages in class AbstractStructuredBlockStatement

isInfinite

public boolean isInfinite()

isScopeBlock

public boolean isScopeBlock()

Specified by:

isScopeBlock in interface StructuredStatement

Overrides:

isScopeBlock in class AbstractStructuredStatement

supportsContinueBreak

public boolean supportsContinueBreak()

Specified by:

supportsContinueBreak in interface StructuredStatement

Overrides:

supportsContinueBreak in class AbstractStructuredStatement

traceLocalVariableScope

public void traceLocalVariableScope(LValueScopeDiscoverer scopeDiscoverer)

linearizeInto

public void linearizeInto(List<StructuredStatement> out)

rewriteExpressions

public void rewriteExpressions(ExpressionRewriter expressionRewriter)