korat.instrumentation.bytecode
Class OperandStack.StackElem

java.lang.Object
  korat.instrumentation.bytecode.OperandStack.StackElem

Enclosing class:

OperandStack

public static class OperandStack.StackElem
extends Object

Memento class that stores needed informations about stack elements

Author:

Aleksandar Milicevic

Field Summary

OperandStack.ConsumedByKind	consumedBy
OperandStack.ElemKind	kind
CtClass	opType

Constructor Summary

OperandStack.StackElem()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

opType

public CtClass opType

kind

public OperandStack.ElemKind kind

consumedBy

public OperandStack.ConsumedByKind consumedBy

Constructor Detail

OperandStack.StackElem

public OperandStack.StackElem()