ua.gradsoft.javachecker.models.expressions
Class JavaTermSpecializedMethodCallExpressionModel

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

All Implemented Interfaces:

JavaExpressionModel

public final class JavaTermSpecializedMethodCallExpressionModel
extends JavaTermExpressionModel

Model for SpecializedMethodCall (i. e. )

Author:

rssh@gradsoft.ua

Field Summary

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

enclosedType_, statement_, t_

Constructor Summary

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

Method Summary

JavaExpressionKind	getKind()
JavaMethodModel	getMethodModel()
Term	getModelTerm() SpecializedMethodCallModel(bounds,obj,name,arguments,methodModel,ctx)
java.util.List<JavaExpressionModel>	getSubExpressions()
JavaTypeModel	getType()
java.util.List<JavaTypeModel>	getTypeArguments()
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

JavaTermSpecializedMethodCallExpressionModel

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

Creates a new instance of JavaTermSpecializedMethodCallExpressionModel

Throws:

TermWareException

Method Detail

getKind

public JavaExpressionKind getKind()

getType

public JavaTypeModel getType()
                      throws TermWareException,
                             EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

getMethodModel

public JavaMethodModel getMethodModel()
                               throws TermWareException,
                                      EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

isType

public boolean isType()

Description copied from interface: JavaExpressionModel

return true, if expression represents type.

getSubExpressions

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

isConstantExpression

public boolean isConstantExpression()
                             throws TermWareException,
                                    EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

getTypeArguments

public java.util.List<JavaTypeModel> getTypeArguments()
                                               throws TermWareException,
                                                      EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

getModelTerm

public Term getModelTerm()
                  throws TermWareException,
                         EntityNotFoundException

SpecializedMethodCallModel(bounds,obj,name,arguments,methodModel,ctx)

Returns:

model term

Throws:

TermWareException

EntityNotFoundException