ua.gradsoft.javachecker.models
Class JavaTermAnnotationInstanceModel

java.lang.Object
  ua.gradsoft.javachecker.models.JavaAnnotationInstanceModel
      ua.gradsoft.javachecker.models.JavaTermAnnotationInstanceModel

public class JavaTermAnnotationInstanceModel
extends JavaAnnotationInstanceModel

Author:

rssh

Field Summary

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

elementType_, target_

Constructor Summary

JavaTermAnnotationInstanceModel(Term t, java.lang.annotation.ElementType elementType, java.lang.Object target)
Creates a new instance of JavaTermAnnotationInstanceModel

Method Summary

JavaTypeModel	getAnnotationModel()
JavaExpressionModel	getElement(java.lang.String element) expression, which is defined in annotations.
java.util.Map<java.lang.String,JavaExpressionModel>	getElements() Map, which contains declared fields.
Term	getModelTerm() AnnotationInstanceModel([pair(Identifier(name),value)],this)
Term	getNameTerm()
boolean	hasElement(java.lang.String element) true, if element whith name elementName is provided in this annotation

Methods inherited from class ua.gradsoft.javachecker.models.JavaAnnotationInstanceModel

getRetentionPolicy, getTargetAnnotationTypeModel, getTargetConstructorModel, getTargetElementType, getTargetFieldModel, getTargetFormalParameterModel, getTargetLocalVariableModel, getTargetMethodModel, getTargetTypeModel

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JavaTermAnnotationInstanceModel

public JavaTermAnnotationInstanceModel(Term t,
                                       java.lang.annotation.ElementType elementType,
                                       java.lang.Object target)
                                throws TermWareException

Creates a new instance of JavaTermAnnotationInstanceModel

Throws:

TermWareException

Method Detail

getAnnotationModel

public JavaTypeModel getAnnotationModel()
                                 throws TermWareException,
                                        EntityNotFoundException

Specified by:

getAnnotationModel in class JavaAnnotationInstanceModel

Throws:

TermWareException

EntityNotFoundException

hasElement

public boolean hasElement(java.lang.String element)

Description copied from class: JavaAnnotationInstanceModel

true, if element whith name elementName is provided in this annotation

Specified by:

hasElement in class JavaAnnotationInstanceModel

getElement

public JavaExpressionModel getElement(java.lang.String element)
                               throws NotSupportedException

Description copied from class: JavaAnnotationInstanceModel

expression, which is defined in annotations.

Specified by:

getElement in class JavaAnnotationInstanceModel

Throws:

NotSupportedException

getElements

public java.util.Map<java.lang.String,JavaExpressionModel> getElements()

Description copied from class: JavaAnnotationInstanceModel

Map, which contains declared fields.

Specified by:

getElements in class JavaAnnotationInstanceModel

getModelTerm

public Term getModelTerm()
                  throws TermWareException,
                         EntityNotFoundException

AnnotationInstanceModel([pair(Identifier(name),value)],this)

Specified by:

getModelTerm in class JavaAnnotationInstanceModel

Throws:

TermWareException

EntityNotFoundException

getNameTerm

public Term getNameTerm()