ua.gradsoft.javachecker.trace
Class JavaShortTraceModel

java.lang.Object
  ua.gradsoft.javachecker.trace.JavaPrimitiveTraceModel
      ua.gradsoft.javachecker.trace.JavaShortTraceModel

All Implemented Interfaces:

JavaTraceObjectModel

public class JavaShortTraceModel
extends JavaPrimitiveTraceModel

Trace model for 'short' primitives

Author:

rssh

Field Summary

Fields inherited from class ua.gradsoft.javachecker.trace.JavaPrimitiveTraceModel

typeModel_

Constructor Summary

JavaShortTraceModel(short value)

Method Summary

JavaExpressionModel	getExpressionModel()
short	getValue()
void	setValue(short value)

Methods inherited from class ua.gradsoft.javachecker.trace.JavaPrimitiveTraceModel

getField, getType, hasFields, setField

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaShortTraceModel

public JavaShortTraceModel(short value)

Method Detail

getExpressionModel

public JavaExpressionModel getExpressionModel()

getValue

public short getValue()

setValue

public void setValue(short value)