ua.gradsoft.javachecker.models.expressions
Class JavaTermNestedTypeExpressionModel

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

All Implemented Interfaces:

JavaExpressionModel

public class JavaTermNestedTypeExpressionModel
extends JavaTermTypeExpressionModel

Type, which is nested in another type.

Author:

RSSH

Field Summary

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

enclosedType_, statement_, t_

Constructor Summary

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

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

JavaTermNestedTypeExpressionModel

public JavaTermNestedTypeExpressionModel(JavaTypeModel tm,
                                         Term t,
                                         JavaTermStatementModel st,
                                         JavaTypeModel enclosedType)

Creates a new instance of JavaTermNestedTypeExpressionModel

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