joeq.Compiler.BytecodeAnalysis
Class Bytecodes.IfInstruction

java.lang.Object
  joeq.Compiler.BytecodeAnalysis.Bytecodes.Instruction
      joeq.Compiler.BytecodeAnalysis.Bytecodes.BranchInstruction
          joeq.Compiler.BytecodeAnalysis.Bytecodes.IfInstruction

All Implemented Interfaces:

Serializable, Cloneable, Bytecodes.InstructionTargeter, Bytecodes.StackConsumer

Direct Known Subclasses:

Bytecodes.IF_ACMPEQ, Bytecodes.IF_ACMPNE, Bytecodes.IF_ICMPEQ, Bytecodes.IF_ICMPGE, Bytecodes.IF_ICMPGT, Bytecodes.IF_ICMPLE, Bytecodes.IF_ICMPLT, Bytecodes.IF_ICMPNE, Bytecodes.IFEQ, Bytecodes.IFGE, Bytecodes.IFGT, Bytecodes.IFLE, Bytecodes.IFLT, Bytecodes.IFNE, Bytecodes.IFNONNULL, Bytecodes.IFNULL

Enclosing interface:

Bytecodes

public abstract static class Bytecodes.IfInstruction
extends Bytecodes.BranchInstruction
implements Bytecodes.StackConsumer

See Also:

Serialized Form

Field Summary

Fields inherited from class joeq.Compiler.BytecodeAnalysis.Bytecodes.BranchInstruction

index, position, target

Fields inherited from class joeq.Compiler.BytecodeAnalysis.Bytecodes.Instruction

length, opcode

Constructor Summary

protected

Bytecodes.IfInstruction(short opcode, Bytecodes.InstructionHandle target)

Method Summary

abstract Bytecodes.IfInstruction

negate()

Methods inherited from class joeq.Compiler.BytecodeAnalysis.Bytecodes.BranchInstruction

containsTarget, dump, getIndex, getTarget, getTargetOffset, getTargetOffset, initFromFile, setTarget, toString, updatePosition, updateTarget

Methods inherited from class joeq.Compiler.BytecodeAnalysis.Bytecodes.Instruction

accept, consumeStack, copy, getLength, getOpcode, produceStack, readInstruction, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface joeq.Compiler.BytecodeAnalysis.Bytecodes.StackConsumer

consumeStack

Constructor Detail

Bytecodes.IfInstruction

protected Bytecodes.IfInstruction(short opcode,
                                  Bytecodes.InstructionHandle target)

Parameters:

opcode - opcode of this instruction

target - target instruction to branch to

Method Detail

negate

public abstract Bytecodes.IfInstruction negate()

Returns:

negation of instruction, e.g. IFEQ.negate() == IFNE