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

Class UnstructuredWhile

java.lang.Object

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

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

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

All Implemented Interfaces:

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

public class UnstructuredWhile
extends AbstractUnStructuredStatement

Field Summary

Fields

Modifier and Type	Field and Description
private BlockIdentifier	blockIdentifier
private java.util.Set<BlockIdentifier>	blocksEndedAfter
private ConditionalExpression	condition

Constructor Summary

Constructors

Constructor and Description
UnstructuredWhile(BytecodeLoc loc, ConditionalExpression condition, BlockIdentifier blockIdentifier, java.util.Set<BlockIdentifier> blocksEndedAfter)

Method Summary

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)

Methods inherited from class org.benf.cfr.reader.bytecode.analysis.structured.statement.AbstractUnStructuredStatement

findCreatedHere, getBreakableBlockOrNull, isEffectivelyNOP, isProperlyStructured, isRecursivelyStructured, linearizeInto, match, rewriteExpressions, suggestName, traceLocalVariableScope, transformStructuredChildren, transformStructuredChildrenInReverse

Methods inherited from class org.benf.cfr.reader.bytecode.analysis.structured.statement.AbstractStructuredStatement

addLoc, alwaysDefines, canDefine, canFall, fallsNopToNext, getContainer, getInline, getLoc, inlineable, isScopeBlock, markCreator, setContainer, supportsBreak, supportsContinueBreak, toString

Methods inherited from class java.lang.Object

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

Field Detail

condition

private ConditionalExpression condition

blockIdentifier

private BlockIdentifier blockIdentifier

blocksEndedAfter

private java.util.Set<BlockIdentifier> blocksEndedAfter

Constructor Detail

UnstructuredWhile

public UnstructuredWhile(BytecodeLoc loc,
                         ConditionalExpression condition,
                         BlockIdentifier blockIdentifier,
                         java.util.Set<BlockIdentifier> blocksEndedAfter)

Method Detail

dump

public Dumper dump(Dumper dumper)

getCombinedLoc

public BytecodeLoc getCombinedLoc()

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

informBlockHeirachy

public StructuredStatement informBlockHeirachy(java.util.Vector<BlockIdentifier> blockIdentifiers)

Specified by:

informBlockHeirachy in interface StructuredStatement

Overrides:

informBlockHeirachy in class AbstractStructuredStatement

claimBlock

public StructuredStatement claimBlock(Op04StructuredStatement innerBlock,
                                      BlockIdentifier blockIdentifier,
                                      java.util.Vector<BlockIdentifier> blocksCurrentlyIn)

Specified by:

claimBlock in interface StructuredStatement

Overrides:

claimBlock in class AbstractStructuredStatement

getCondition

public ConditionalExpression getCondition()