ua.gradsoft.javachecker.models.expressions
Class JavaTermInstanceOfExpressionModel

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

All Implemented Interfaces:

JavaExpressionModel

public class JavaTermInstanceOfExpressionModel
extends JavaTermExpressionModel

Expression for InstanceOf

Author:

Ruslan Shevchenko

Field Summary

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

enclosedType_, statement_, t_

Constructor Summary

JavaTermInstanceOfExpressionModel(Term t, JavaTermStatementModel st, JavaTypeModel enclosedType)

Method Summary

JavaTypeModel	getInstanceOfType()
JavaExpressionKind	getKind()
Term	getModelTerm() InstanceOfExpressionModel(typeRef,expression,ctx)
JavaTermExpressionModel	getSubexpression()
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

JavaTermInstanceOfExpressionModel

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

Throws:

TermWareException

Method Detail

getKind

public JavaExpressionKind getKind()

getType

public JavaTypeModel getType()

isType

public boolean isType()

Description copied from interface: JavaExpressionModel

return true, if expression represents type.

getInstanceOfType

public JavaTypeModel getInstanceOfType()
                                throws TermWareException,
                                       EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

getSubExpressions

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

getSubexpression

public JavaTermExpressionModel getSubexpression()

isConstantExpression

public boolean isConstantExpression()
                             throws TermWareException,
                                    EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

getModelTerm

public Term getModelTerm()
                  throws TermWareException,
                         EntityNotFoundException

InstanceOfExpressionModel(typeRef,expression,ctx)

Returns:

model term

Throws:

TermWareException

EntityNotFoundException