ua.gradsoft.javachecker.trace
Class JavaIntTraceModel

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

All Implemented Interfaces:

JavaTraceObjectModel

public class JavaIntTraceModel
extends JavaPrimitiveTraceModel

Trace model for 'int'

Author:

rssh

Field Summary

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

typeModel_

Constructor Summary

JavaIntTraceModel(int value)

Method Summary

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

JavaIntTraceModel

public JavaIntTraceModel(int value)

Method Detail

getExpressionModel

public JavaExpressionModel getExpressionModel()

getValue

public int getValue()

setValue

public void setValue(int value)