ua.gradsoft.javachecker.trace
Class JavaObjectConstantTraceObjectModel

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

All Implemented Interfaces:

JavaTraceObjectModel

public class JavaObjectConstantTraceObjectModel
extends java.lang.Object
implements JavaTraceObjectModel

Author:

rssh

Constructor Summary

JavaObjectConstantTraceObjectModel(JavaObjectConstantExpressionModel oce)

Method Summary

JavaExpressionModel	getExpressionModel()
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

Constructor Detail

JavaObjectConstantTraceObjectModel

public JavaObjectConstantTraceObjectModel(JavaObjectConstantExpressionModel oce)

Method Detail

getExpressionModel

public JavaExpressionModel getExpressionModel()

Specified by:

getExpressionModel in interface JavaTraceObjectModel

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