korat.instrumentation.bytecode
Class BytecodeInstruction

java.lang.Object
  korat.instrumentation.bytecode.BytecodeInstruction

public class BytecodeInstruction
extends Object

Author:

Aleksandar Milicevic

Field Summary

private CodeIterator	cit
private int	idx
private int	opcode

Constructor Summary

BytecodeInstruction(CodeIterator cit, int idx)

Method Summary

void	accept(BytecodeVisitor visitor)
int	byteAt(int offset)
CodeIterator	getCit()
int	getIdx()
int	getOpcode()
boolean	isArrayStore()
boolean	isInvoke()
boolean	isLocalStore()
boolean	isPutField()
String	toString()
int	u16bitAt(int offset)

Methods inherited from class java.lang.Object

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

Field Detail

opcode

private int opcode

cit

private CodeIterator cit

idx

private int idx

Constructor Detail

BytecodeInstruction

public BytecodeInstruction(CodeIterator cit,
                           int idx)

Method Detail

getOpcode

public int getOpcode()

getCit

public CodeIterator getCit()

getIdx

public int getIdx()

accept

public void accept(BytecodeVisitor visitor)

byteAt

public int byteAt(int offset)

u16bitAt

public int u16bitAt(int offset)

toString

public String toString()

Overrides:

toString in class Object

isInvoke

public boolean isInvoke()

isPutField

public boolean isPutField()

isLocalStore

public boolean isLocalStore()

isArrayStore

public boolean isArrayStore()