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	Description
private BlockIdentifier	blockIdentifier
private Set<BlockIdentifier>	blocksEndedAfter
private ConditionalExpression	condition

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
StructuredStatement	claimBlock(Op04StructuredStatement innerBlock, BlockIdentifier blockIdentifier, Vector<BlockIdentifier> blocksCurrentlyIn)
void	collectTypeUsages(TypeUsageCollector collector)
Dumper	dump(Dumper dumper)
BytecodeLoc	getCombinedLoc()
ConditionalExpression	getCondition()
StructuredStatement	informBlockHeirachy(Vector<BlockIdentifier> blockIdentifiers)

Methods inherited from class AbstractUnStructuredStatement

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

Methods inherited from class AbstractStructuredStatement

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

Methods inherited from class Object

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

Field Details

condition

private ConditionalExpression condition

blockIdentifier

private BlockIdentifier blockIdentifier

blocksEndedAfter

private Set<BlockIdentifier> blocksEndedAfter

Constructor Details

UnstructuredWhile

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

Method Details

dump

public Dumper dump(Dumper dumper)

getCombinedLoc

public BytecodeLoc getCombinedLoc()

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

informBlockHeirachy

public StructuredStatement informBlockHeirachy(Vector<BlockIdentifier> blockIdentifiers)

Specified by:

informBlockHeirachy in interface StructuredStatement

Overrides:

informBlockHeirachy in class AbstractStructuredStatement

claimBlock

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

Specified by:

claimBlock in interface StructuredStatement

Overrides:

claimBlock in class AbstractStructuredStatement

getCondition

public ConditionalExpression getCondition()