soot.dexpler.instructions

Class ConditionalJumpInstruction

java.lang.Object

soot.dexpler.instructions.DexlibAbstractInstruction

soot.dexpler.instructions.JumpInstruction

soot.dexpler.instructions.ConditionalJumpInstruction

All Implemented Interfaces:

DeferableInstruction

Direct Known Subclasses:

IfTestInstruction, IfTestzInstruction

public abstract class ConditionalJumpInstruction
extends JumpInstruction
implements DeferableInstruction

Field Summary

Fields inherited from class soot.dexpler.instructions.JumpInstruction

markerUnit, targetInstruction

Fields inherited from class soot.dexpler.instructions.DexlibAbstractInstruction

codeAddress, instruction, lineNumber, unit

Constructor Summary

Constructors

Constructor and Description
ConditionalJumpInstruction(Instruction instruction, int codeAdress)

Method Summary

Modifier and Type	Method and Description
void	deferredJimplify(DexBody body) Jimplify this instruction with the guarantee that every other (non-deferred) instruction has been jimplified.
protected ConditionExpr	getComparisonExpr(DexBody body, int reg) Get comparison expression depending on opcode against zero or null.
protected ConditionExpr	getComparisonExpr(Immediate one, Immediate other) Get comparison expression depending on opcode between two immediates
protected abstract IfStmt	ifStatement(DexBody body) Return an if statement depending on the instruction.
void	jimplify(DexBody body) Jimplify this instruction.

Methods inherited from class soot.dexpler.instructions.JumpInstruction

getTargetInstruction

Methods inherited from class soot.dexpler.instructions.DexlibAbstractInstruction

addTags, getInstruction, getLineNumber, getUnit, getUsedRegistersNums, getUsedRegistersNums, introducedTypes, setLineNumber, setUnit

Methods inherited from class java.lang.Object

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

Constructor Detail

ConditionalJumpInstruction

public ConditionalJumpInstruction(Instruction instruction,
                                  int codeAdress)

Method Detail

ifStatement

protected abstract IfStmt ifStatement(DexBody body)

Return an if statement depending on the instruction.

jimplify

public void jimplify(DexBody body)

Description copied from class: DexlibAbstractInstruction

Jimplify this instruction.

Specified by:

jimplify in class DexlibAbstractInstruction

Parameters:

body - to jimplify into.

deferredJimplify

public void deferredJimplify(DexBody body)

Description copied from interface: DeferableInstruction

Jimplify this instruction with the guarantee that every other (non-deferred) instruction has been jimplified.

Specified by:

deferredJimplify in interface DeferableInstruction

Parameters:

body - to jimplify into

getComparisonExpr

protected ConditionExpr getComparisonExpr(DexBody body,
                                          int reg)

Get comparison expression depending on opcode against zero or null. If the register is used as an object this will create a comparison with null, not zero.

Parameters:

body - the containing DexBody

reg - the register to compare against zero.

getComparisonExpr

protected ConditionExpr getComparisonExpr(Immediate one,
                                          Immediate other)

Get comparison expression depending on opcode between two immediates

Parameters:

one - first immediate

other - second immediate

Throws:

java.lang.RuntimeException - if this is not a IfTest or IfTestz instruction.