ua.gradsoft.javachecker.models.expressions
Class JavaTermFieldExpressionModel

java.lang.Object
  ua.gradsoft.javachecker.models.JavaTermExpressionModel
      ua.gradsoft.javachecker.models.expressions.JavaTermFieldExpressionModel

All Implemented Interfaces:

JavaExpressionModel

public class JavaTermFieldExpressionModel
extends JavaTermExpressionModel

Field($x,$y)

Author:

Ruslan Shevchenko

Field Summary

Fields inherited from class ua.gradsoft.javachecker.models.JavaTermExpressionModel

enclosedType_, statement_, t_

Constructor Summary

JavaTermFieldExpressionModel(JavaTermExpressionModel subExpr, Term t, JavaTermStatementModel st, JavaTypeModel enclosedType)
Creates a new instance of JavaTermFieldExpressionModel, when object inside field is already resolved.

JavaTermFieldExpressionModel(Term t, JavaTermStatementModel st, JavaTypeModel enclosedType)
Creates a new instance of JavaTermFieldExpressionModel

Method Summary

JavaMemberVariableModel	getFieldModel()
JavaExpressionKind	getKind()
Term	getModelTerm() FieldModel(objectOrType,identifier,fieldModel,ctx)
java.util.List<JavaExpressionModel>	getSubExpressions()
JavaTypeModel	getType()
boolean	isConstantExpression()
boolean	isType() return true, if expression represents type.

Methods inherited from class ua.gradsoft.javachecker.models.JavaTermExpressionModel

create, create, createPlaceContext, getEnclosedType, getStatementModel, getTerm, getTermStatementModel

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaTermFieldExpressionModel

public JavaTermFieldExpressionModel(Term t,
                                    JavaTermStatementModel st,
                                    JavaTypeModel enclosedType)
                             throws TermWareException

Creates a new instance of JavaTermFieldExpressionModel

Parameters:

t - - term, must be Field(expr-term,identifier)

st -

enclosedType -

Throws:

TermWareException

JavaTermFieldExpressionModel

public JavaTermFieldExpressionModel(JavaTermExpressionModel subExpr,
                                    Term t,
                                    JavaTermStatementModel st,
                                    JavaTypeModel enclosedType)
                             throws TermWareException

Creates a new instance of JavaTermFieldExpressionModel, when object inside field is already resolved.

Throws:

TermWareException

Method Detail

getKind

public JavaExpressionKind getKind()

getType

public JavaTypeModel getType()
                      throws TermWareException,
                             EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

isType

public boolean isType()

Description copied from interface: JavaExpressionModel

return true, if expression represents type.

getSubExpressions

public java.util.List<JavaExpressionModel> getSubExpressions()

getFieldModel

public JavaMemberVariableModel getFieldModel()
                                      throws TermWareException,
                                             EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

getModelTerm

public Term getModelTerm()
                  throws TermWareException,
                         EntityNotFoundException

FieldModel(objectOrType,identifier,fieldModel,ctx)

Returns:

model term

Throws:

TermWareException

EntityNotFoundException

isConstantExpression

public boolean isConstantExpression()
                             throws TermWareException,
                                    EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException