public class UnstructuredWhile extends AbstractUnStructuredStatement
Modifier and Type | Field and Description |
---|---|
private BlockIdentifier |
blockIdentifier |
private java.util.Set<BlockIdentifier> |
blocksEndedAfter |
private ConditionalExpression |
condition |
Constructor and Description |
---|
UnstructuredWhile(BytecodeLoc loc,
ConditionalExpression condition,
BlockIdentifier blockIdentifier,
java.util.Set<BlockIdentifier> blocksEndedAfter) |
Modifier and Type | Method and Description |
---|---|
StructuredStatement |
claimBlock(Op04StructuredStatement innerBlock,
BlockIdentifier blockIdentifier,
java.util.Vector<BlockIdentifier> blocksCurrentlyIn) |
void |
collectTypeUsages(TypeUsageCollector collector) |
Dumper |
dump(Dumper dumper) |
BytecodeLoc |
getCombinedLoc() |
ConditionalExpression |
getCondition() |
StructuredStatement |
informBlockHeirachy(java.util.Vector<BlockIdentifier> blockIdentifiers) |
findCreatedHere, getBreakableBlockOrNull, isEffectivelyNOP, isProperlyStructured, isRecursivelyStructured, linearizeInto, match, rewriteExpressions, suggestName, traceLocalVariableScope, transformStructuredChildren, transformStructuredChildrenInReverse
addLoc, alwaysDefines, canDefine, canFall, fallsNopToNext, getContainer, getInline, getLoc, inlineable, isScopeBlock, markCreator, setContainer, supportsBreak, supportsContinueBreak, toString
private ConditionalExpression condition
private BlockIdentifier blockIdentifier
private java.util.Set<BlockIdentifier> blocksEndedAfter
public UnstructuredWhile(BytecodeLoc loc, ConditionalExpression condition, BlockIdentifier blockIdentifier, java.util.Set<BlockIdentifier> blocksEndedAfter)
public BytecodeLoc getCombinedLoc()
public void collectTypeUsages(TypeUsageCollector collector)
public StructuredStatement informBlockHeirachy(java.util.Vector<BlockIdentifier> blockIdentifiers)
informBlockHeirachy
in interface StructuredStatement
informBlockHeirachy
in class AbstractStructuredStatement
public StructuredStatement claimBlock(Op04StructuredStatement innerBlock, BlockIdentifier blockIdentifier, java.util.Vector<BlockIdentifier> blocksCurrentlyIn)
claimBlock
in interface StructuredStatement
claimBlock
in class AbstractStructuredStatement
public ConditionalExpression getCondition()