ua.gradsoft.javachecker.trace
Interface JavaTraceObjectModel

All Known Implementing Classes:

JavaBooleanTraceModel, JavaIntTraceModel, JavaLongTraceModel, JavaObjectConstantTraceObjectModel, JavaPrimitiveTraceModel, JavaShortTraceModel, JavaTermTraceObjectModel, JavaTraceArrayModel, JavaTraceNullModel

public interface JavaTraceObjectModel

trace object model

Author:

rssh

Method Summary

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

Method Detail

getExpressionModel

JavaExpressionModel getExpressionModel()
                                       throws TermWareException,
                                              EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

getType

JavaTypeModel getType()
                      throws TermWareException,
                             EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

hasFields

boolean hasFields()
                  throws TermWareException,
                         EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

getField

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

Throws:

TermWareException

EntityNotFoundException

EvaluationException

setField

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

Throws:

TermWareException

EntityNotFoundException

EvaluationException