ConditionalBranchInstruction (WALA Shrike 1.5.1 API)

java.lang.Object
- com.ibm.wala.shrikeBT.Instruction
- - com.ibm.wala.shrikeBT.ConditionalBranchInstruction

All Implemented Interfaces:

Constants, IConditionalBranchInstruction, IInstruction, Cloneable
```
public final class ConditionalBranchInstruction
extends Instruction
implements IConditionalBranchInstruction
```
This class represents conditional branches. A conditional branch tests two integers or two object references for some relationship, and takes the branch if the relationship holds.

Nested Class Summary
- Nested classes/interfaces inherited from interface com.ibm.wala.shrikeBT.IConditionalBranchInstruction
  IConditionalBranchInstruction.IOperator, IConditionalBranchInstruction.Operator
- Nested classes/interfaces inherited from interface com.ibm.wala.shrikeBT.IInstruction
  IInstruction.Visitor

Field Summary
- Fields inherited from class com.ibm.wala.shrikeBT.Instruction
  noInstructions
- Fields inherited from interface com.ibm.wala.shrikeBT.Constants
  ACC_ABSTRACT, ACC_FINAL, ACC_INTERFACE, ACC_NATIVE, ACC_PRIVATE, ACC_PROTECTED, ACC_PUBLIC, ACC_STATIC, ACC_STRICT, ACC_SUPER, ACC_SYNCHRONIZED, ACC_SYNTHETIC, ACC_TRANSIENT, ACC_VOLATILE, CONSTANT_Class, CONSTANT_Double, CONSTANT_FieldRef, CONSTANT_Float, CONSTANT_Integer, CONSTANT_InterfaceMethodRef, CONSTANT_InvokeDynamic, CONSTANT_Long, CONSTANT_MethodHandle, CONSTANT_MethodRef, CONSTANT_MethodType, CONSTANT_NameAndType, CONSTANT_String, CONSTANT_Utf8, indexedTypes, indexedTypes_T, MAYBE, NO, OP_aaload, OP_aastore, OP_aconst_null, OP_aload, OP_aload_0, OP_aload_1, OP_aload_2, OP_aload_3, OP_anewarray, OP_areturn, OP_arraylength, OP_astore, OP_astore_0, OP_astore_1, OP_astore_2, OP_astore_3, OP_athrow, OP_baload, OP_bastore, OP_bipush, OP_caload, OP_castore, OP_checkcast, OP_d2f, OP_d2i, OP_d2l, OP_dadd, OP_daload, OP_dastore, OP_dcmpg, OP_dcmpl, OP_dconst_0, OP_dconst_1, OP_ddiv, OP_dload, OP_dload_0, OP_dload_1, OP_dload_2, OP_dload_3, OP_dmul, OP_dneg, OP_drem, OP_dreturn, OP_dstore, OP_dstore_0, OP_dstore_1, OP_dstore_2, OP_dstore_3, OP_dsub, OP_dup, OP_dup_x1, OP_dup_x2, OP_dup2, OP_dup2_x1, OP_dup2_x2, OP_f2d, OP_f2i, OP_f2l, OP_fadd, OP_faload, OP_fastore, OP_fcmpg, OP_fcmpl, OP_fconst_0, OP_fconst_1, OP_fconst_2, OP_fdiv, OP_fload, OP_fload_0, OP_fload_1, OP_fload_2, OP_fload_3, OP_fmul, OP_fneg, OP_frem, OP_freturn, OP_fstore, OP_fstore_0, OP_fstore_1, OP_fstore_2, OP_fstore_3, OP_fsub, OP_getfield, OP_getstatic, OP_goto, OP_goto_w, OP_i2b, OP_i2c, OP_i2d, OP_i2f, OP_i2l, OP_i2s, OP_iadd, OP_iaload, OP_iand, OP_iastore, OP_iconst_0, OP_iconst_1, OP_iconst_2, OP_iconst_3, OP_iconst_4, OP_iconst_5, OP_iconst_m1, OP_idiv, OP_if_acmpeq, OP_if_acmpne, OP_if_icmpeq, OP_if_icmpge, OP_if_icmpgt, OP_if_icmple, OP_if_icmplt, OP_if_icmpne, OP_ifeq, OP_ifge, OP_ifgt, OP_ifle, OP_iflt, OP_ifne, OP_ifnonnull, OP_ifnull, OP_iinc, OP_iload, OP_iload_0, OP_iload_1, OP_iload_2, OP_iload_3, OP_imul, OP_ineg, OP_instanceof, OP_invokedynamic, OP_invokeinterface, OP_invokespecial, OP_invokestatic, OP_invokevirtual, OP_ior, OP_irem, OP_ireturn, OP_ishl, OP_ishr, OP_istore, OP_istore_0, OP_istore_1, OP_istore_2, OP_istore_3, OP_isub, OP_iushr, OP_ixor, OP_jsr, OP_jsr_w, OP_l2d, OP_l2f, OP_l2i, OP_ladd, OP_laload, OP_land, OP_lastore, OP_lcmp, OP_lconst_0, OP_lconst_1, OP_ldc, OP_ldc_w, OP_ldc2_w, OP_ldiv, OP_lload, OP_lload_0, OP_lload_1, OP_lload_2, OP_lload_3, OP_lmul, OP_lneg, OP_lookupswitch, OP_lor, OP_lrem, OP_lreturn, OP_lshl, OP_lshr, OP_lstore, OP_lstore_0, OP_lstore_1, OP_lstore_2, OP_lstore_3, OP_lsub, OP_lushr, OP_lxor, OP_monitorenter, OP_monitorexit, OP_multianewarray, OP_new, OP_newarray, OP_nop, OP_pop, OP_pop2, OP_putfield, OP_putstatic, OP_ret, OP_return, OP_saload, OP_sastore, OP_sipush, OP_swap, OP_tableswitch, OP_wide, T_BOOLEAN, T_BYTE, T_CHAR, T_DOUBLE, T_FLOAT, T_INT, T_LONG, T_SHORT, TYPE_boolean, TYPE_boolean_index, TYPE_byte, TYPE_byte_index, TYPE_char, TYPE_char_index, TYPE_Class, TYPE_double, TYPE_double_index, TYPE_Error, TYPE_Exception, TYPE_float, TYPE_float_index, TYPE_int, TYPE_int_index, TYPE_long, TYPE_long_index, TYPE_MethodHandle, TYPE_MethodType, TYPE_null, TYPE_Object, TYPE_Object_index, TYPE_RuntimeException, TYPE_short, TYPE_short_index, TYPE_String, TYPE_Throwable, TYPE_unknown, TYPE_void, YES

Constructor Summary

Constructors
Modifier Constructor and Description

protected ConditionalBranchInstruction(short opcode, int label)

Constructors
Modifier	Constructor and Description
`protected`	`ConditionalBranchInstruction(short opcode, int label)`

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`boolean`	`equals(Object o)`
`int[]`	`getBranchTargets()`
`IConditionalBranchInstruction.Operator`	`getOperator()`
`int`	`getPoppedCount()`
`int`	`getTarget()`
`String`	`getType()`
`int`	`hashCode()`
`boolean`	`isPEI()` PEI == "Potentially excepting instruction"
`static ConditionalBranchInstruction`	`make(short opcode, int label)`
`static ConditionalBranchInstruction`	`make(String type, IConditionalBranchInstruction.Operator operator, int label)`
`IInstruction`	`redirectTargets(int[] targetMap)`
`String`	`toString()` Subclasses must implement toString.
`void`	`visit(IInstruction.Visitor v)` Apply a Visitor to this instruction.

Methods inherited from class com.ibm.wala.shrikeBT.Instruction
clone, getOpcode, getPushedType, getPushedWordSize, isFallThrough

Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.ibm.wala.shrikeBT.IInstruction
getPushedType, getPushedWordSize, isFallThrough

- Constructor Detail
  - ConditionalBranchInstruction
```
protected ConditionalBranchInstruction(short opcode,
                                       int label)
```
- Method Detail
  - make
```
public static ConditionalBranchInstruction make(String type,
                                                IConditionalBranchInstruction.Operator operator,
                                                int label)
                                         throws IllegalArgumentException
```
    Throws:
    
    IllegalArgumentException
  - make
```
public static ConditionalBranchInstruction make(short opcode,
                                                int label)
                                         throws IllegalArgumentException
```
    Throws:
    
    IllegalArgumentException
  - equals
```
public boolean equals(Object o)
```
    Overrides:
    
    equals in class Object
  - toString
```
public String toString()
```
    Description copied from class: Instruction
    
    Subclasses must implement toString.
    
    Specified by:
    
    toString in interface IInstruction
    
    Specified by:
    
    toString in class Instruction
  - getBranchTargets
```
public int[] getBranchTargets()
```
    Specified by:
    
    getBranchTargets in interface IInstruction
    
    Overrides:
    
    getBranchTargets in class Instruction
    
    Returns:
    
    an array containing the labels this instruction can branch to (not including the following instruction if this instruction 'falls through')
  - getTarget
```
public int getTarget()
```
    Specified by:
    
    getTarget in interface IConditionalBranchInstruction
  - redirectTargets
```
public IInstruction redirectTargets(int[] targetMap)
                             throws IllegalArgumentException
```
    Specified by:
    
    redirectTargets in interface IInstruction
    
    Overrides:
    
    redirectTargets in class Instruction
    
    Returns:
    
    an Instruction equivalent to this one but with any branch labels updated by looking them up in the targetMap array
    
    Throws:
    
    IllegalArgumentException
  - getOperator
```
public IConditionalBranchInstruction.Operator getOperator()
```
    Specified by:
    
    getOperator in interface IConditionalBranchInstruction
  - getType
```
public String getType()
```
    Specified by:
    
    getType in interface IConditionalBranchInstruction
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class Object
  - getPoppedCount
```
public int getPoppedCount()
```
    Specified by:
    
    getPoppedCount in interface IInstruction
    
    Overrides:
    
    getPoppedCount in class Instruction
    
    Returns:
    
    the number of values this instruction pops off the working stack
  - visit
```
public void visit(IInstruction.Visitor v)
           throws NullPointerException
```
    Description copied from class: Instruction
    
    Apply a Visitor to this instruction. We invoke the appropriate Visitor method according to the type of this instruction.
    
    Specified by:
    
    visit in interface IInstruction
    
    Specified by:
    
    visit in class Instruction
    
    Throws:
    
    NullPointerException
  - isPEI
```
public boolean isPEI()
```
    Description copied from interface: IInstruction
    
    PEI == "Potentially excepting instruction"
    
    Specified by:
    
    isPEI in interface IInstruction
    
    Returns:
    
    true iff this instruction might throw an exception

Class ConditionalBranchInstruction

Nested Class Summary

Nested classes/interfaces inherited from interface com.ibm.wala.shrikeBT.IConditionalBranchInstruction

Nested classes/interfaces inherited from interface com.ibm.wala.shrikeBT.IInstruction

Field Summary

Fields inherited from class com.ibm.wala.shrikeBT.Instruction

Fields inherited from interface com.ibm.wala.shrikeBT.Constants

Constructor Summary

Method Summary

Methods inherited from class com.ibm.wala.shrikeBT.Instruction

Methods inherited from class java.lang.Object

Methods inherited from interface com.ibm.wala.shrikeBT.IInstruction

Constructor Detail

ConditionalBranchInstruction

Method Detail

make

make

equals

toString

getBranchTargets

getTarget

redirectTargets

getOperator

getType

hashCode

getPoppedCount

visit

isPEI