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

Class StructuredIter

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.StructuredIter

All Implemented Interfaces:

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

public class StructuredIter
extends AbstractStructuredBlockStatement

Field Summary

Fields

Modifier and Type	Field and Description
private BlockIdentifier	block
private LValue	iterator
private Expression	list

Constructor Summary

Constructors

Constructor and Description
StructuredIter(BytecodeLoc loc, BlockIdentifier block, LValue iterator, Expression list, Op04StructuredStatement body)

Method Summary

Modifier and Type	Method and Description
boolean	alwaysDefines(LValue scopedEntity)
boolean	canDefine(LValue scopedEntity, ScopeDiscoverInfoCache factCache)
void	collectTypeUsages(TypeUsageCollector collector)
Dumper	dump(Dumper dumper)
java.util.List<LValue>	findCreatedHere()
BlockIdentifier	getBreakableBlockOrNull()
BytecodeLoc	getCombinedLoc()
boolean	isScopeBlock()
void	linearizeInto(java.util.List<StructuredStatement> out)
void	markCreator(LValue scopedEntity, StatementContainer<StructuredStatement> hint)
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, canFall, claimBlock, fallsNopToNext, getContainer, getInline, getLoc, informBlockHeirachy, inlineable, isEffectivelyNOP, isProperlyStructured, match, setContainer, suggestName, toString, transformStructuredChildrenInReverse

Methods inherited from class java.lang.Object

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

Field Detail

block

private final BlockIdentifier block

iterator

private LValue iterator

list

private Expression list

Constructor Detail

StructuredIter

StructuredIter(BytecodeLoc loc,
               BlockIdentifier block,
               LValue iterator,
               Expression list,
               Op04StructuredStatement body)

Method Detail

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

Specified by:

collectTypeUsages in interface TypeUsageCollectable

Overrides:

collectTypeUsages in class AbstractStructuredBlockStatement

getCombinedLoc

public BytecodeLoc getCombinedLoc()

dump

public Dumper dump(Dumper dumper)

isScopeBlock

public boolean isScopeBlock()

Specified by:

isScopeBlock in interface StructuredStatement

Overrides:

isScopeBlock in class AbstractStructuredStatement

linearizeInto

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

getBreakableBlockOrNull

public BlockIdentifier getBreakableBlockOrNull()

Specified by:

getBreakableBlockOrNull in interface StructuredStatement

Overrides:

getBreakableBlockOrNull in class AbstractStructuredStatement

supportsContinueBreak

public boolean supportsContinueBreak()

Specified by:

supportsContinueBreak in interface StructuredStatement

Overrides:

supportsContinueBreak in class AbstractStructuredStatement

supportsBreak

public boolean supportsBreak()

Specified by:

supportsBreak in interface StructuredStatement

Overrides:

supportsBreak in class AbstractStructuredStatement

traceLocalVariableScope

public void traceLocalVariableScope(LValueScopeDiscoverer scopeDiscoverer)

markCreator

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

Specified by:

markCreator in interface StructuredStatement

Overrides:

markCreator in class AbstractStructuredStatement

alwaysDefines

public boolean alwaysDefines(LValue scopedEntity)

Specified by:

alwaysDefines in interface StructuredStatement

Overrides:

alwaysDefines in class AbstractStructuredStatement

canDefine

public boolean canDefine(LValue scopedEntity,
                         ScopeDiscoverInfoCache factCache)

Specified by:

canDefine in interface StructuredStatement

Overrides:

canDefine in class AbstractStructuredStatement

findCreatedHere

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

Specified by:

findCreatedHere in interface StructuredStatement

Overrides:

findCreatedHere in class AbstractStructuredStatement

rewriteExpressions

public void rewriteExpressions(ExpressionRewriter expressionRewriter)