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

Class StructuredIf

java.lang.Object

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

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

All Implemented Interfaces:

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

public class StructuredIf
extends AbstractStructuredStatement
implements CanRemovePointlessBlock

Field Summary

Fields

Modifier and Type	Field and Description
(package private) ConditionalExpression	conditionalExpression
(package private) Op04StructuredStatement	elseBlock
(package private) Op04StructuredStatement	ifTaken

Constructor Summary

Constructors

Constructor and Description
StructuredIf(BytecodeLoc loc, ConditionalExpression conditionalExpression, Op04StructuredStatement ifTaken)
StructuredIf(BytecodeLoc loc, ConditionalExpression conditionalExpression, Op04StructuredStatement ifTaken, Op04StructuredStatement elseBlock)

Method Summary

Modifier and Type	Method and Description
boolean	canDefine(LValue scopedEntity, ScopeDiscoverInfoCache factCache)
void	collectTypeUsages(TypeUsageCollector collector)
StructuredStatement	convertToAssertion(StructuredAssert structuredAssert)
Dumper	dump(Dumper dumper)
boolean	fallsNopToNext()
BytecodeLoc	getCombinedLoc()
ConditionalExpression	getConditionalExpression()
Op04StructuredStatement	getIfTaken()
boolean	hasElseBlock()
StructuredStatement	informBlockHeirachy(java.util.Vector<BlockIdentifier> blockIdentifiers)
boolean	isRecursivelyStructured()
boolean	isScopeBlock()
void	linearizeInto(java.util.List<StructuredStatement> out)
void	markCreator(LValue scopedEntity, StatementContainer<StructuredStatement> hint)
boolean	match(MatchIterator<StructuredStatement> matchIterator, MatchResultCollector matchResultCollector)
void	removePointlessBlocks(StructuredScope scope)
void	rewriteExpressions(ExpressionRewriter expressionRewriter)
void	traceLocalVariableScope(LValueScopeDiscoverer scopeDiscoverer)
void	transformStructuredChildren(StructuredStatementTransformer transformer, StructuredScope scope)

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

addLoc, alwaysDefines, canFall, claimBlock, findCreatedHere, getBreakableBlockOrNull, getContainer, getInline, getLoc, inlineable, isEffectivelyNOP, isProperlyStructured, setContainer, suggestName, supportsBreak, supportsContinueBreak, toString, transformStructuredChildrenInReverse

Methods inherited from class java.lang.Object

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

Field Detail

conditionalExpression

ConditionalExpression conditionalExpression

ifTaken

Op04StructuredStatement ifTaken

elseBlock

Op04StructuredStatement elseBlock

Constructor Detail

StructuredIf

public StructuredIf(BytecodeLoc loc,
                    ConditionalExpression conditionalExpression,
                    Op04StructuredStatement ifTaken)

StructuredIf

public StructuredIf(BytecodeLoc loc,
                    ConditionalExpression conditionalExpression,
                    Op04StructuredStatement ifTaken,
                    Op04StructuredStatement elseBlock)

Method Detail

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

Specified by:

collectTypeUsages in interface TypeUsageCollectable

getCombinedLoc

public BytecodeLoc getCombinedLoc()

Specified by:

getCombinedLoc in interface HasByteCodeLoc

dump

public Dumper dump(Dumper dumper)

Specified by:

dump in interface Dumpable

hasElseBlock

public boolean hasElseBlock()

getConditionalExpression

public ConditionalExpression getConditionalExpression()

getIfTaken

public Op04StructuredStatement getIfTaken()

informBlockHeirachy

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

Specified by:

informBlockHeirachy in interface StructuredStatement

Overrides:

informBlockHeirachy in class AbstractStructuredStatement

isScopeBlock

public boolean isScopeBlock()

Specified by:

isScopeBlock in interface StructuredStatement

Overrides:

isScopeBlock in class AbstractStructuredStatement

transformStructuredChildren

public void transformStructuredChildren(StructuredStatementTransformer transformer,
                                        StructuredScope scope)

Specified by:

transformStructuredChildren in interface StructuredStatement

linearizeInto

public void linearizeInto(java.util.List<StructuredStatement> out)

Specified by:

linearizeInto in interface StructuredStatement

traceLocalVariableScope

public void traceLocalVariableScope(LValueScopeDiscoverer scopeDiscoverer)

Specified by:

traceLocalVariableScope in interface StructuredStatement

canDefine

public boolean canDefine(LValue scopedEntity,
                         ScopeDiscoverInfoCache factCache)

Specified by:

canDefine in interface StructuredStatement

Overrides:

canDefine in class AbstractStructuredStatement

markCreator

public void markCreator(LValue scopedEntity,
                        StatementContainer<StructuredStatement> hint)

Specified by:

markCreator in interface StructuredStatement

Overrides:

markCreator in class AbstractStructuredStatement

isRecursivelyStructured

public boolean isRecursivelyStructured()

Specified by:

isRecursivelyStructured in interface StructuredStatement

Overrides:

isRecursivelyStructured in class AbstractStructuredStatement

fallsNopToNext

public boolean fallsNopToNext()

Specified by:

fallsNopToNext in interface StructuredStatement

Overrides:

fallsNopToNext in class AbstractStructuredStatement

match

public boolean match(MatchIterator<StructuredStatement> matchIterator,
                     MatchResultCollector matchResultCollector)

Specified by:

match in interface Matcher<StructuredStatement>

Overrides:

match in class AbstractStructuredStatement

rewriteExpressions

public void rewriteExpressions(ExpressionRewriter expressionRewriter)

Specified by:

rewriteExpressions in interface StructuredStatement

convertToAssertion

public StructuredStatement convertToAssertion(StructuredAssert structuredAssert)

removePointlessBlocks

public void removePointlessBlocks(StructuredScope scope)

Specified by:

removePointlessBlocks in interface CanRemovePointlessBlock