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

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 and Description
protected BlockIdentifier	block
protected ConditionalExpression	condition

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class org.benf.cfr.reader.bytecode.analysis.structured.statement.AbstractStructuredBlockStatement

getBody, isRecursivelyStructured, transformStructuredChildren

Methods inherited from class org.benf.cfr.reader.bytecode.analysis.structured.statement.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 java.lang.Object

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

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

dump

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

getCombinedLoc

Field Detail

condition

protected ConditionalExpression condition

block

protected final BlockIdentifier block

Constructor Detail

AbstractStructuredConditionalLoopStatement

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

Method Detail

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(java.util.List<StructuredStatement> out)

rewriteExpressions

public void rewriteExpressions(ExpressionRewriter expressionRewriter)