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

Class StructuredFor

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

All Implemented Interfaces:

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

public class StructuredFor
extends AbstractStructuredBlockStatement

Constructor Summary

Constructors

Constructor and Description
StructuredFor(BytecodeLoc loc, ConditionalExpression condition, AssignmentSimple initial, List<AbstractAssignmentExpression> assignments, Op04StructuredStatement body, BlockIdentifier block)

Method Summary

Modifier and Type	Method and Description
boolean	canDefine(LValue scopedEntity, ScopeDiscoverInfoCache factCache)
void	collectTypeUsages(TypeUsageCollector collector)
Dumper	dump(Dumper dumper)
List<LValue>	findCreatedHere()
BlockIdentifier	getBlock()
BlockIdentifier	getBreakableBlockOrNull()
BytecodeLoc	getCombinedLoc()
boolean	isScopeBlock()
void	linearizeInto(List<StructuredStatement> out)
void	markCreator(LValue scopedEntity, StatementContainer<StructuredStatement> hint)
boolean	match(MatchIterator<StructuredStatement> matchIterator, MatchResultCollector matchResultCollector)
void	rewriteExpressions(ExpressionRewriter expressionRewriter)
String	suggestName(LocalVariable createdHere, Predicate<String> testNameUsedFn)
boolean	supportsBreak()
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, canFall, claimBlock, fallsNopToNext, getContainer, getInline, getLoc, informBlockHeirachy, inlineable, isEffectivelyNOP, isProperlyStructured, setContainer, supportsContinueBreak, toString, transformStructuredChildrenInReverse

Methods inherited from class java.lang.Object

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

Constructor Detail

StructuredFor

public StructuredFor(BytecodeLoc loc,
                     ConditionalExpression condition,
                     AssignmentSimple initial,
                     List<AbstractAssignmentExpression> assignments,
                     Op04StructuredStatement body,
                     BlockIdentifier block)

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

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

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

canDefine

public boolean canDefine(LValue scopedEntity,
                         ScopeDiscoverInfoCache factCache)

Specified by:

canDefine in interface StructuredStatement

Overrides:

canDefine in class AbstractStructuredStatement

findCreatedHere

public List<LValue> findCreatedHere()

Specified by:

findCreatedHere in interface StructuredStatement

Overrides:

findCreatedHere in class AbstractStructuredStatement

suggestName

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

Specified by:

suggestName in interface StructuredStatement

Overrides:

suggestName in class AbstractStructuredStatement

rewriteExpressions

public void rewriteExpressions(ExpressionRewriter expressionRewriter)

getBlock

public BlockIdentifier getBlock()

match

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

Specified by:

match in interface Matcher<StructuredStatement>

Overrides:

match in class AbstractStructuredStatement