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

Field Summary

Fields

Modifier and Type	Field	Description
private List<AbstractAssignmentExpression>	assignments
private final BlockIdentifier	block
private ConditionalExpression	condition
private AssignmentSimple	initial
private boolean	isCreator

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	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 AbstractStructuredBlockStatement

getBody, isRecursivelyStructured, transformStructuredChildren

Methods inherited from class AbstractStructuredStatement

addLoc, alwaysDefines, canFall, claimBlock, fallsNopToNext, getContainer, getInline, getLoc, informBlockHeirachy, inlineable, isEffectivelyNOP, isProperlyStructured, setContainer, supportsContinueBreak, toString, transformStructuredChildrenInReverse

Methods inherited from class Object

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

Field Details

condition

private ConditionalExpression condition

initial

private AssignmentSimple initial

assignments

private List<AbstractAssignmentExpression> assignments

block

private final BlockIdentifier block

isCreator

private boolean isCreator

Constructor Details

StructuredFor

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

Method Details

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