Class UnstructuredIf

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.UnstructuredIf

All Implemented Interfaces:

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

public class UnstructuredIf
extends AbstractUnStructuredStatement

Constructor Summary

Constructors

Constructor	Description
UnstructuredIf(BytecodeLoc loc, ConditionalExpression conditionalExpression, BlockIdentifier knownIfBlock, BlockIdentifier knownElseBlock)

Method Summary

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

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, informBlockHeirachy, inlineable, isScopeBlock, markCreator, setContainer, supportsBreak, supportsContinueBreak, toString

Methods inherited from class Object

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

Constructor Details

UnstructuredIf

public UnstructuredIf(BytecodeLoc loc,
 ConditionalExpression conditionalExpression,
 BlockIdentifier knownIfBlock,
 BlockIdentifier knownElseBlock)

Method Details

getCombinedLoc

public BytecodeLoc getCombinedLoc()

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

dump

public Dumper dump(Dumper dumper)

claimBlock

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

Specified by:

claimBlock in interface StructuredStatement

Overrides:

claimBlock in class AbstractStructuredStatement

convertEmptyToGoto

public StructuredStatement convertEmptyToGoto()