joeq.Compiler.BytecodeAnalysis
Class Bytecodes.RET

java.lang.Object
  joeq.Compiler.BytecodeAnalysis.Bytecodes.Instruction
      joeq.Compiler.BytecodeAnalysis.Bytecodes.RET

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, Bytecodes.IndexedInstruction, Bytecodes.TypedInstruction

Enclosing interface:

Bytecodes

public static class Bytecodes.RET
extends Bytecodes.Instruction
implements Bytecodes.IndexedInstruction, Bytecodes.TypedInstruction

See Also:

Serialized Form

Constructor Summary

Bytecodes.RET(int index)

Method Summary

void	accept(Bytecodes.Visitor v) Call corresponding visitor method(s).
void	dump(java.io.DataOutputStream out) Dump instruction as byte code to stream out.
int	getIndex()
jq_Type	getType()
void	setIndex(int n) Set index of local variable containg the return address
java.lang.String	toString(boolean verbose) Long output format: <name of opcode> "["<opcode number>"]" "("<length of instruction>")"

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

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Bytecodes.RET

public Bytecodes.RET(int index)

Method Detail

dump

public void dump(java.io.DataOutputStream out)
          throws java.io.IOException

Dump instruction as byte code to stream out.

Overrides:

dump in class Bytecodes.Instruction

Parameters:

out - Output stream

Throws:

java.io.IOException

getIndex

public final int getIndex()

Specified by:

getIndex in interface Bytecodes.IndexedInstruction

Returns:

index of local variable containg the return address

setIndex

public final void setIndex(int n)

Set index of local variable containg the return address

Specified by:

setIndex in interface Bytecodes.IndexedInstruction

toString

public java.lang.String toString(boolean verbose)

Description copied from class: Bytecodes.Instruction

Long output format: <name of opcode> "["<opcode number>"]" "("<length of instruction>")"

Overrides:

toString in class Bytecodes.Instruction

Parameters:

verbose - long/short format switch

Returns:

mnemonic for instruction

getType

public jq_Type getType()

Specified by:

getType in interface Bytecodes.TypedInstruction

Returns:

return address type

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