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

Class IfStatement

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.parse.statement.AbstractStatement

org.benf.cfr.reader.bytecode.analysis.parse.statement.JumpingStatement

org.benf.cfr.reader.bytecode.analysis.parse.statement.GotoStatement

org.benf.cfr.reader.bytecode.analysis.parse.statement.IfStatement

All Implemented Interfaces:

HasByteCodeLoc, DeepCloneable<Statement>, Statement, ComparableUnderEC, Dumpable

public class IfStatement
extends GotoStatement

Field Summary

Fields

Modifier and Type	Field and Description
private ConditionalExpression	condition
private static int	JUMP_NOT_TAKEN
private static int	JUMP_TAKEN
private BlockIdentifier	knownElseBlock
private BlockIdentifier	knownIfBlock

Constructor Summary

Constructors

Constructor and Description
IfStatement(BytecodeLoc loc, ConditionalExpression conditionalExpression)

Method Summary

Modifier and Type	Method and Description
boolean	canThrow(ExceptionCheck caught)
void	collectLValueUsage(LValueUsageCollector lValueUsageCollector)
Dumper	dump(Dumper dumper)
boolean	equals(java.lang.Object o)
Pair<BlockIdentifier,BlockIdentifier>	getBlocks()
BytecodeLoc	getCombinedLoc()
ConditionalExpression	getCondition()
Statement	getJumpTarget()
BlockIdentifier	getKnownIfBlock()
StructuredStatement	getStructuredStatement()
boolean	hasElseBlock()
boolean	isConditional()
void	negateCondition()
void	optimiseForTypes()
void	replaceSingleUsageLValues(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers)
void	replaceWithWhileLoopEnd(BlockIdentifier blockIdentifier)
void	replaceWithWhileLoopStart(BlockIdentifier blockIdentifier)
void	rewriteExpressions(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers)
void	setCondition(ConditionalExpression condition)
void	setKnownBlocks(BlockIdentifier ifBlock, BlockIdentifier elseBlock)
void	simplifyCondition()

Methods inherited from class org.benf.cfr.reader.bytecode.analysis.parse.statement.GotoStatement

deepClone, equivalentUnder, fallsToNext, getJumpType, getTargetStartBlock, setJumpType

Methods inherited from class org.benf.cfr.reader.bytecode.analysis.parse.statement.AbstractStatement

addLoc, collectLocallyMutatedVariables, collectLValueAssignments, collectObjectCreation, doesBlackListLValueReplacement, getCompoundParts, getContainer, getCreatedLValue, getLoc, getRValue, getTargetStatement, isCompound, outerDeepClone, setContainer, setLifetimeHint, toString, wantsLifetimeHint

Methods inherited from class java.lang.Object

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

Field Detail

JUMP_NOT_TAKEN

private static final int JUMP_NOT_TAKEN

See Also:

Constant Field Values

JUMP_TAKEN

private static final int JUMP_TAKEN

See Also:

Constant Field Values

condition

private ConditionalExpression condition

knownIfBlock

private BlockIdentifier knownIfBlock

knownElseBlock

private BlockIdentifier knownElseBlock

Constructor Detail

IfStatement

public IfStatement(BytecodeLoc loc,
                   ConditionalExpression conditionalExpression)

Method Detail

getCombinedLoc

public BytecodeLoc getCombinedLoc()

Specified by:

getCombinedLoc in interface HasByteCodeLoc

Overrides:

getCombinedLoc in class GotoStatement

dump

public Dumper dump(Dumper dumper)

Specified by:

dump in interface Dumpable

Overrides:

dump in class GotoStatement

replaceSingleUsageLValues

public void replaceSingleUsageLValues(LValueRewriter lValueRewriter,
                                      SSAIdentifiers ssaIdentifiers)

Specified by:

replaceSingleUsageLValues in interface Statement

Overrides:

replaceSingleUsageLValues in class GotoStatement

rewriteExpressions

public void rewriteExpressions(ExpressionRewriter expressionRewriter,
                               SSAIdentifiers ssaIdentifiers)

Specified by:

rewriteExpressions in interface Statement

Overrides:

rewriteExpressions in class GotoStatement

collectLValueUsage

public void collectLValueUsage(LValueUsageCollector lValueUsageCollector)

Specified by:

collectLValueUsage in interface Statement

Overrides:

collectLValueUsage in class GotoStatement

getCondition

public ConditionalExpression getCondition()

setCondition

public void setCondition(ConditionalExpression condition)

simplifyCondition

public void simplifyCondition()

negateCondition

public void negateCondition()

replaceWithWhileLoopStart

public void replaceWithWhileLoopStart(BlockIdentifier blockIdentifier)

replaceWithWhileLoopEnd

public void replaceWithWhileLoopEnd(BlockIdentifier blockIdentifier)

getJumpTarget

public Statement getJumpTarget()

Overrides:

getJumpTarget in class GotoStatement

isConditional

public boolean isConditional()

Overrides:

isConditional in class GotoStatement

canThrow

public boolean canThrow(ExceptionCheck caught)

Specified by:

canThrow in interface Statement

Overrides:

canThrow in class GotoStatement

getStructuredStatement

public StructuredStatement getStructuredStatement()

Specified by:

getStructuredStatement in interface Statement

Overrides:

getStructuredStatement in class GotoStatement

setKnownBlocks

public void setKnownBlocks(BlockIdentifier ifBlock,
                           BlockIdentifier elseBlock)

getBlocks

public Pair<BlockIdentifier,BlockIdentifier> getBlocks()

getKnownIfBlock

public BlockIdentifier getKnownIfBlock()

hasElseBlock

public boolean hasElseBlock()

optimiseForTypes

public void optimiseForTypes()

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class GotoStatement