ua.gradsoft.javachecker.trace
Class JavaPrimitiveTraceModel

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

All Implemented Interfaces:

JavaTraceObjectModel

Direct Known Subclasses:

JavaBooleanTraceModel, JavaIntTraceModel, JavaLongTraceModel, JavaShortTraceModel

public abstract class JavaPrimitiveTraceModel
extends java.lang.Object
implements JavaTraceObjectModel

Class for trace models of primitive types

Author:

rssh

Field Summary

protected JavaPrimitiveTypeModel

typeModel_

Constructor Summary

protected

JavaPrimitiveTraceModel(JavaPrimitiveTypeModel typeModel)

Method Summary

JavaTraceObjectModel	getField(java.lang.String name)
JavaTypeModel	getType()
boolean	hasFields()
void	setField(java.lang.String name, JavaTraceObjectModel value)

Methods inherited from class java.lang.Object

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

Methods inherited from interface ua.gradsoft.javachecker.trace.JavaTraceObjectModel

getExpressionModel

Field Detail

typeModel_

protected JavaPrimitiveTypeModel typeModel_

Constructor Detail

JavaPrimitiveTraceModel

protected JavaPrimitiveTraceModel(JavaPrimitiveTypeModel typeModel)

Method Detail

getField

public JavaTraceObjectModel getField(java.lang.String name)
                              throws TermWareException,
                                     EntityNotFoundException,
                                     EvaluationException

Specified by:

getField in interface JavaTraceObjectModel

Throws:

TermWareException

EntityNotFoundException

EvaluationException

getType

public JavaTypeModel getType()
                      throws TermWareException,
                             EntityNotFoundException

Specified by:

getType in interface JavaTraceObjectModel

Throws:

TermWareException

EntityNotFoundException

hasFields

public boolean hasFields()
                  throws TermWareException,
                         EntityNotFoundException

Specified by:

hasFields in interface JavaTraceObjectModel

Throws:

TermWareException

EntityNotFoundException

setField

public void setField(java.lang.String name,
                     JavaTraceObjectModel value)
              throws TermWareException,
                     EntityNotFoundException,
                     EvaluationException

Specified by:

setField in interface JavaTraceObjectModel

Throws:

TermWareException

EntityNotFoundException

EvaluationException