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 Description private BlockIdentifier
block
private LValue
iterator
private Expression
list
-
Constructor Summary
Constructors Constructor Description StructuredIter(BytecodeLoc loc, BlockIdentifier block, LValue iterator, Expression list, Op04StructuredStatement body)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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
-
-
-
-
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 interfaceTypeUsageCollectable
- Overrides:
collectTypeUsages
in classAbstractStructuredBlockStatement
-
getCombinedLoc
public BytecodeLoc getCombinedLoc()
-
isScopeBlock
public boolean isScopeBlock()
- Specified by:
isScopeBlock
in interfaceStructuredStatement
- Overrides:
isScopeBlock
in classAbstractStructuredStatement
-
linearizeInto
public void linearizeInto(java.util.List<StructuredStatement> out)
-
getBreakableBlockOrNull
public BlockIdentifier getBreakableBlockOrNull()
- Specified by:
getBreakableBlockOrNull
in interfaceStructuredStatement
- Overrides:
getBreakableBlockOrNull
in classAbstractStructuredStatement
-
supportsContinueBreak
public boolean supportsContinueBreak()
- Specified by:
supportsContinueBreak
in interfaceStructuredStatement
- Overrides:
supportsContinueBreak
in classAbstractStructuredStatement
-
supportsBreak
public boolean supportsBreak()
- Specified by:
supportsBreak
in interfaceStructuredStatement
- Overrides:
supportsBreak
in classAbstractStructuredStatement
-
traceLocalVariableScope
public void traceLocalVariableScope(LValueScopeDiscoverer scopeDiscoverer)
-
markCreator
public void markCreator(LValue scopedEntity, StatementContainer<StructuredStatement> hint)
- Specified by:
markCreator
in interfaceStructuredStatement
- Overrides:
markCreator
in classAbstractStructuredStatement
-
alwaysDefines
public boolean alwaysDefines(LValue scopedEntity)
- Specified by:
alwaysDefines
in interfaceStructuredStatement
- Overrides:
alwaysDefines
in classAbstractStructuredStatement
-
canDefine
public boolean canDefine(LValue scopedEntity, ScopeDiscoverInfoCache factCache)
- Specified by:
canDefine
in interfaceStructuredStatement
- Overrides:
canDefine
in classAbstractStructuredStatement
-
findCreatedHere
public java.util.List<LValue> findCreatedHere()
- Specified by:
findCreatedHere
in interfaceStructuredStatement
- Overrides:
findCreatedHere
in classAbstractStructuredStatement
-
rewriteExpressions
public void rewriteExpressions(ExpressionRewriter expressionRewriter)
-
-