ua.gradsoft.javachecker.models.expressions
Class JavaTermStaticFieldExpressionModel

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

All Implemented Interfaces:

JavaExpressionModel

public class JavaTermStaticFieldExpressionModel
extends JavaTermExpressionModel

Model, which represent static field of some class.

Field Summary

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

enclosedType_, statement_, t_

Constructor Summary

JavaTermStaticFieldExpressionModel(JavaMemberVariableModel vm, Term t, JavaTermStatementModel st, JavaTypeModel enclosedType)
Creates a new instance of JavaTermStaticFieldExpressionModel

Method Summary

JavaMemberVariableModel	getFieldModel()
JavaExpressionKind	getKind()
Term	getModelTerm() StaticFieldModel(typeRef,identifier,memberVariable,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

JavaTermStaticFieldExpressionModel

public JavaTermStaticFieldExpressionModel(JavaMemberVariableModel vm,
                                          Term t,
                                          JavaTermStatementModel st,
                                          JavaTypeModel enclosedType)
                                   throws TermWareException

Creates a new instance of JavaTermStaticFieldExpressionModel

Throws:

TermWareException

Method Detail

getKind

public JavaExpressionKind getKind()

isType

public boolean isType()

Description copied from interface: JavaExpressionModel

return true, if expression represents type.

getType

public JavaTypeModel getType()
                      throws TermWareException,
                             EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

getSubExpressions

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

isConstantExpression

public boolean isConstantExpression()
                             throws TermWareException,
                                    EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

getModelTerm

public Term getModelTerm()
                  throws TermWareException,
                         EntityNotFoundException

StaticFieldModel(typeRef,identifier,memberVariable,ctx)

Returns:

model term

Throws:

TermWareException

EntityNotFoundException

getFieldModel

public JavaMemberVariableModel getFieldModel()