joeq.Compiler.BytecodeAnalysis
Class Bytecodes.RET

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

All Implemented Interfaces:

Serializable, 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

Field Summary

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

length, opcode

Constructor Summary

Bytecodes.RET(int index)

Method Summary

void	accept(Bytecodes.Visitor v) Call corresponding visitor method(s).
void	dump(DataOutputStream out) Dump instruction as byte code to stream out.
int	getIndex()
jq_Type	getType()
protected void	initFromFile(jq_ConstantPool cp, jwutil.io.ByteSequence bytes, boolean wide) Read needed data (e.g.
void	setIndex(int n) Set index of local variable containg the return address
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

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

Constructor Detail

Bytecodes.RET

public Bytecodes.RET(int index)

Method Detail

dump

public void dump(DataOutputStream out)
          throws IOException

Dump instruction as byte code to stream out.

Overrides:

dump in class Bytecodes.Instruction

Parameters:

out - Output stream

Throws:

IOException

initFromFile

protected void initFromFile(jq_ConstantPool cp,
                            jwutil.io.ByteSequence bytes,
                            boolean wide)
                     throws IOException

Read needed data (e.g. index) from file.

Overrides:

initFromFile in class Bytecodes.Instruction

Parameters:

cp - constant pool of class we are reading

bytes - byte sequence to read from

wide - "wide" instruction flag

Throws:

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