joeq.Compiler.BytecodeAnalysis
Class Bytecodes.IFLE

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

All Implemented Interfaces:

Serializable, Cloneable, Bytecodes.InstructionTargeter, Bytecodes.StackConsumer

Enclosing interface:

Bytecodes

public static class Bytecodes.IFLE
extends Bytecodes.IfInstruction
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

Bytecodes.IFLE(Bytecodes.InstructionHandle target)

Method Summary

void	accept(Bytecodes.Visitor v) Call corresponding visitor method(s).
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

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.IFLE

public Bytecodes.IFLE(Bytecodes.InstructionHandle target)

Method Detail

negate

public Bytecodes.IfInstruction negate()

Specified by:

negate in class Bytecodes.IfInstruction

Returns:

negation of instruction

accept

public void accept(Bytecodes.Visitor v)

Call corresponding visitor method(s). The order is: Call visitor methods of implemented interfaces first, then call methods according to the class hierarchy in descending order, i.e., the most specific visitXXX() call comes last.

Specified by:

accept in class Bytecodes.Instruction

Parameters:

v - Visitor object