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
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate List<AbstractAssignmentExpression>
private final BlockIdentifier
private ConditionalExpression
private AssignmentSimple
private boolean
-
Constructor Summary
ConstructorsConstructorDescriptionStructuredFor
(BytecodeLoc loc, ConditionalExpression condition, AssignmentSimple initial, List<AbstractAssignmentExpression> assignments, Op04StructuredStatement body, BlockIdentifier block) -
Method Summary
Modifier and TypeMethodDescriptionboolean
canDefine
(LValue scopedEntity, ScopeDiscoverInfoCache factCache) void
collectTypeUsages
(TypeUsageCollector collector) getBlock()
boolean
void
void
markCreator
(LValue scopedEntity, StatementContainer<StructuredStatement> hint) boolean
match
(MatchIterator<StructuredStatement> matchIterator, MatchResultCollector matchResultCollector) void
rewriteExpressions
(ExpressionRewriter expressionRewriter) suggestName
(LocalVariable createdHere, Predicate<String> testNameUsedFn) boolean
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
-
Field Details
-
condition
-
initial
-
assignments
-
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
- Specified by:
collectTypeUsages
in interfaceTypeUsageCollectable
- Overrides:
collectTypeUsages
in classAbstractStructuredBlockStatement
-
getCombinedLoc
-
dump
-
isScopeBlock
public boolean isScopeBlock()- Specified by:
isScopeBlock
in interfaceStructuredStatement
- Overrides:
isScopeBlock
in classAbstractStructuredStatement
-
linearizeInto
-
getBreakableBlockOrNull
- Specified by:
getBreakableBlockOrNull
in interfaceStructuredStatement
- Overrides:
getBreakableBlockOrNull
in classAbstractStructuredStatement
-
supportsBreak
public boolean supportsBreak()- Specified by:
supportsBreak
in interfaceStructuredStatement
- Overrides:
supportsBreak
in classAbstractStructuredStatement
-
traceLocalVariableScope
-
markCreator
- Specified by:
markCreator
in interfaceStructuredStatement
- Overrides:
markCreator
in classAbstractStructuredStatement
-
canDefine
- Specified by:
canDefine
in interfaceStructuredStatement
- Overrides:
canDefine
in classAbstractStructuredStatement
-
findCreatedHere
- Specified by:
findCreatedHere
in interfaceStructuredStatement
- Overrides:
findCreatedHere
in classAbstractStructuredStatement
-
suggestName
- Specified by:
suggestName
in interfaceStructuredStatement
- Overrides:
suggestName
in classAbstractStructuredStatement
-
rewriteExpressions
-
getBlock
-
match
public boolean match(MatchIterator<StructuredStatement> matchIterator, MatchResultCollector matchResultCollector) - Specified by:
match
in interfaceMatcher<StructuredStatement>
- Overrides:
match
in classAbstractStructuredStatement
-