ua.gradsoft.javachecker.models.expressions
Class JavaTermIdentifierExpressionModel

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

All Implemented Interfaces:

JavaIdentifierExpressionModel, JavaExpressionModel

public class JavaTermIdentifierExpressionModel
extends JavaTermExpressionModel
implements JavaIdentifierExpressionModel

Expression emodel for identifier. (Variable or type)

Author:

Ruslan Shevchenko

Field Summary

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

enclosedType_, statement_, t_

Constructor Summary

JavaTermIdentifierExpressionModel(Term t, JavaTermStatementModel st, JavaTypeModel enclosedType)

Method Summary

java.lang.String	getIdentifier()
JavaExpressionKind	getKind()
Term	getModelTerm() VariableModel(name,variableModel) | TypeRef(name,typeModel)
java.util.List<JavaExpressionModel>	getSubExpressions()
JavaTypeModel	getType()
JavaVariableModel	getVariableModel()
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

Methods inherited from interface ua.gradsoft.javachecker.models.JavaExpressionModel

getEnclosedType, getStatementModel, getTerm

Constructor Detail

JavaTermIdentifierExpressionModel

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

Throws:

TermWareException

Method Detail

getKind

public JavaExpressionKind getKind()

Specified by:

getKind in interface JavaExpressionModel

getType

public JavaTypeModel getType()
                      throws TermWareException,
                             EntityNotFoundException

Specified by:

getType in interface JavaExpressionModel

Throws:

TermWareException

EntityNotFoundException

isType

public boolean isType()
               throws TermWareException,
                      EntityNotFoundException

Description copied from interface: JavaExpressionModel

return true, if expression represents type.

Specified by:

isType in interface JavaExpressionModel

Throws:

TermWareException

EntityNotFoundException

getSubExpressions

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

Specified by:

getSubExpressions in interface JavaExpressionModel

getVariableModel

public JavaVariableModel getVariableModel()
                                   throws TermWareException,
                                          EntityNotFoundException

Returns:

variable model, if isType is false, otherwise - null.

Throws:

TermWareException

EntityNotFoundException

isConstantExpression

public boolean isConstantExpression()
                             throws TermWareException,
                                    EntityNotFoundException

Specified by:

isConstantExpression in interface JavaExpressionModel

Throws:

TermWareException

EntityNotFoundException

getModelTerm

public Term getModelTerm()
                  throws TermWareException,
                         EntityNotFoundException

VariableModel(name,variableModel) | TypeRef(name,typeModel)

Specified by:

getModelTerm in interface JavaExpressionModel

Returns:

model term

Throws:

TermWareException

EntityNotFoundException

getIdentifier

public java.lang.String getIdentifier()

Specified by:

getIdentifier in interface JavaIdentifierExpressionModel