ua.gradsoft.javachecker.models.expressions
Class JavaTermAnnotationExpressionModel

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

All Implemented Interfaces:

JavaExpressionModel

public class JavaTermAnnotationExpressionModel
extends JavaTermExpressionModel

Model for annotation, which is part of other annotation.

Author:

rssh

Field Summary

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

enclosedType_, statement_, t_

Constructor Summary

JavaTermAnnotationExpressionModel(Term t, JavaAnnotationInstanceModel instanceModel, JavaTypeModel enclosedType, JavaAnnotationInstanceModel enclosedAnnotation)
Creates a new instance of JavaTermAnnotationExpressionModel

Method Summary

JavaExpressionKind	getKind()
Term	getModelTerm()
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

JavaTermAnnotationExpressionModel

public JavaTermAnnotationExpressionModel(Term t,
                                         JavaAnnotationInstanceModel instanceModel,
                                         JavaTypeModel enclosedType,
                                         JavaAnnotationInstanceModel enclosedAnnotation)

Creates a new instance of JavaTermAnnotationExpressionModel

Method Detail

getKind

public JavaExpressionKind getKind()

getType

public JavaTypeModel getType()
                      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()
                                                      throws TermWareException

Throws:

TermWareException

isConstantExpression

public boolean isConstantExpression()

getModelTerm

public Term getModelTerm()
                  throws TermWareException,
                         EntityNotFoundException

Returns:

model term

Throws:

TermWareException

EntityNotFoundException