ua.gradsoft.javachecker.models.expressions
Class JavaTermTypeNameExpressionModel

java.lang.Object
  ua.gradsoft.javachecker.models.JavaTermExpressionModel
      ua.gradsoft.javachecker.models.expressions.JavaTermTypeExpressionModel
          ua.gradsoft.javachecker.models.expressions.JavaTermTypeNameExpressionModel

All Implemented Interfaces:

JavaExpressionModel

public class JavaTermTypeNameExpressionModel
extends JavaTermTypeExpressionModel

Expression for name. (note, that this is 'proxy' expression, which transparenty extends to undelying expressions during building of model term)

Field Summary

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

enclosedType_, statement_, t_

Constructor Summary

JavaTermTypeNameExpressionModel(JavaTypeModel type, Term t, JavaTermStatementModel st, JavaTypeModel enclosedType)
Creates a new instance of JavaTypeNameExpressionModel

Method Summary

JavaExpressionKind	getKind()
Term	getModelTerm() TypeRef(t,type_)
java.util.List<JavaExpressionModel>	getSubExpressions()
JavaTypeModel	getType()
boolean	isConstantExpression()

Methods inherited from class ua.gradsoft.javachecker.models.expressions.JavaTermTypeExpressionModel

isType

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

JavaTermTypeNameExpressionModel

public JavaTermTypeNameExpressionModel(JavaTypeModel type,
                                       Term t,
                                       JavaTermStatementModel st,
                                       JavaTypeModel enclosedType)

Creates a new instance of JavaTypeNameExpressionModel

Method Detail

getKind

public JavaExpressionKind getKind()

getType

public JavaTypeModel getType()

getSubExpressions

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

isConstantExpression

public boolean isConstantExpression()

getModelTerm

public Term getModelTerm()
                  throws TermWareException

TypeRef(t,type_)

Returns:

model term

Throws:

TermWareException