ua.gradsoft.javachecker.models.expressions
Class JavaTermTypeExpressionModel

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

All Implemented Interfaces:

JavaExpressionModel

Direct Known Subclasses:

JavaTermNestedTypeExpressionModel, JavaTermTypeNameExpressionModel

public abstract class JavaTermTypeExpressionModel
extends JavaTermExpressionModel

Expression, which means type

Field Summary

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

enclosedType_, statement_, t_

Constructor Summary

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

Method Summary

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

getKind, getModelTerm, getSubExpressions, getType, isConstantExpression

Constructor Detail

JavaTermTypeExpressionModel

public JavaTermTypeExpressionModel(Term t,
                                   JavaTermStatementModel st,
                                   JavaTypeModel enclosedType)

Creates a new instance of JavaTermTypeExpressionModel

Method Detail

isType

public boolean isType()

Description copied from interface: JavaExpressionModel

return true, if expression represents type.