ua.gradsoft.javachecker.trace
Class JavaLongTraceModel

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

All Implemented Interfaces:

JavaTraceObjectModel

public class JavaLongTraceModel
extends JavaPrimitiveTraceModel

Trace Model for long

Author:

rssh

Field Summary

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

typeModel_

Constructor Summary

JavaLongTraceModel(long value)

Method Summary

JavaExpressionModel	getExpressionModel()
long	getValue()
void	setValue(long 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

JavaLongTraceModel

public JavaLongTraceModel(long value)

Method Detail

getExpressionModel

public JavaExpressionModel getExpressionModel()

getValue

public long getValue()

setValue

public void setValue(long value)