ua.gradsoft.javachecker.trace
Class JavaTraceArrayModel

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

All Implemented Interfaces:

JavaTraceObjectModel

public class JavaTraceArrayModel
extends java.lang.Object
implements JavaTraceObjectModel

Model for array

Author:

rssh

Constructor Summary

JavaTraceArrayModel(JavaTermExpressionModel expression, JavaTypeModel referencedType, int length)

JavaTraceArrayModel(JavaTypeModel referencedType, int length)

Method Summary

JavaTraceObjectModel	get(int i)
JavaExpressionModel	getExpressionModel()
JavaTraceObjectModel	getField(java.lang.String name)
JavaTypeModel	getType()
boolean	hasFields()
void	set(int i, JavaTraceObjectModel element)
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

JavaTraceArrayModel

public JavaTraceArrayModel(JavaTypeModel referencedType,
                           int length)

JavaTraceArrayModel

public JavaTraceArrayModel(JavaTermExpressionModel expression,
                           JavaTypeModel referencedType,
                           int length)

Method Detail

getExpressionModel

public JavaExpressionModel getExpressionModel()
                                       throws TermWareException,
                                              EntityNotFoundException

Specified by:

getExpressionModel in interface JavaTraceObjectModel

Throws:

TermWareException

EntityNotFoundException

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

set

public void set(int i,
                JavaTraceObjectModel element)
         throws EvaluationException

Throws:

EvaluationException

get

public JavaTraceObjectModel get(int i)
                         throws EvaluationException

Throws:

EvaluationException