ua.gradsoft.javachecker.models
Class JavaTypeArgumentBoundConstructorModel

java.lang.Object
  extended by ua.gradsoft.javachecker.models.JavaConstructorModel
      extended by ua.gradsoft.javachecker.models.JavaTypeArgumentBoundConstructorModel
All Implemented Interfaces:
AttributedEntity, JavaTopLevelBlockOwnerModel, JavaTypeArgumentBoundTopLevelBlockOwnerModel

public class JavaTypeArgumentBoundConstructorModel
extends JavaConstructorModel
implements JavaTypeArgumentBoundTopLevelBlockOwnerModel

Author:
rssh

Constructor Summary
JavaTypeArgumentBoundConstructorModel(JavaConstructorModel origin, JavaTypeArgumentBoundTypeModel owner)
          Creates a new instance of JavaTypeArgumentBoundConstructorModel
 
Method Summary
 java.util.Map<java.lang.String,JavaAnnotationInstanceModel> getAnnotationsMap()
          get Map of declared annotations, binded to this constructor.
 java.util.List<JavaFormalParameterModel> getFormalParametersList()
          get List of formal parameters
 java.util.Map<java.lang.String,JavaFormalParameterModel> getFormalParametersMap()
          get Map of formal parameters.
 Term getModelTerm()
          TypeArgumentBoundConstructorModel(originModel,substitution, context);
 java.lang.String getName()
          return name of method or 'Initializer' or 'Constructor'
 JavaTopLevelBlockOwnerModel getOrigin()
           
 JavaTypeArgumentsSubstitution getSubstitution()
           
 java.util.List<JavaTypeModel> getThrowsList()
          get List of throwed types in trows specification.
 JavaTypeArgumentBoundTopLevelBlockModel getTopLevelBlockModel()
          return block model, if storing of block model is supported, otherwise throws NotSupportedException
 JavaTypeArgumentBoundTypeModel getTypeArgumentBoundTypeModel()
           
 JavaTypeModel getTypeModel()
           
 java.util.List<JavaTypeVariableAbstractModel> getTypeParameters()
           
 boolean isSupportBlockModel()
          return true if storing of block model is supported, otherwise false.
 
Methods inherited from class ua.gradsoft.javachecker.models.JavaConstructorModel
getAttribute, getChildAttributes, printErasedSignature, printSignature, setAttribute
 
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.JavaTopLevelBlockOwnerModel
printErasedSignature, printSignature
 
Methods inherited from interface ua.gradsoft.javachecker.attributes.AttributedEntity
getAttribute, getChildAttributes, setAttribute
 

Constructor Detail

JavaTypeArgumentBoundConstructorModel

public JavaTypeArgumentBoundConstructorModel(JavaConstructorModel origin,
                                             JavaTypeArgumentBoundTypeModel owner)
Creates a new instance of JavaTypeArgumentBoundConstructorModel

Method Detail

getName

public java.lang.String getName()
Description copied from interface: JavaTopLevelBlockOwnerModel
return name of method or 'Initializer' or 'Constructor'

Specified by:
getName in interface JavaTopLevelBlockOwnerModel

getTypeModel

public JavaTypeModel getTypeModel()
Specified by:
getTypeModel in interface JavaTopLevelBlockOwnerModel

getTypeArgumentBoundTypeModel

public JavaTypeArgumentBoundTypeModel getTypeArgumentBoundTypeModel()
Specified by:
getTypeArgumentBoundTypeModel in interface JavaTypeArgumentBoundTopLevelBlockOwnerModel

getTypeParameters

public java.util.List<JavaTypeVariableAbstractModel> getTypeParameters()
                                                                throws TermWareException
Specified by:
getTypeParameters in interface JavaTopLevelBlockOwnerModel
Specified by:
getTypeParameters in class JavaConstructorModel
Throws:
TermWareException

getFormalParametersList

public java.util.List<JavaFormalParameterModel> getFormalParametersList()
                                                                 throws TermWareException,
                                                                        EntityNotFoundException
Description copied from interface: JavaTopLevelBlockOwnerModel
get List of formal parameters

Specified by:
getFormalParametersList in interface JavaTopLevelBlockOwnerModel
Specified by:
getFormalParametersList in class JavaConstructorModel
Throws:
TermWareException
EntityNotFoundException

getFormalParametersMap

public java.util.Map<java.lang.String,JavaFormalParameterModel> getFormalParametersMap()
                                                                                throws TermWareException,
                                                                                       EntityNotFoundException
Description copied from interface: JavaTopLevelBlockOwnerModel
get Map of formal parameters.

Specified by:
getFormalParametersMap in interface JavaTopLevelBlockOwnerModel
Specified by:
getFormalParametersMap in class JavaConstructorModel
Throws:
TermWareException
EntityNotFoundException

getAnnotationsMap

public java.util.Map<java.lang.String,JavaAnnotationInstanceModel> getAnnotationsMap()
                                                                              throws TermWareException
Description copied from class: JavaConstructorModel
get Map of declared annotations, binded to this constructor. (note, that inherited annotations are not here). Key is full name of annotation class.

Specified by:
getAnnotationsMap in interface JavaTopLevelBlockOwnerModel
Specified by:
getAnnotationsMap in class JavaConstructorModel
Returns:
map of annotations.
Throws:
TermWareException

getThrowsList

public java.util.List<JavaTypeModel> getThrowsList()
                                            throws TermWareException,
                                                   EntityNotFoundException
Description copied from interface: JavaTopLevelBlockOwnerModel
get List of throwed types in trows specification.

Specified by:
getThrowsList in interface JavaTopLevelBlockOwnerModel
Throws:
TermWareException
EntityNotFoundException

isSupportBlockModel

public boolean isSupportBlockModel()
Description copied from interface: JavaTopLevelBlockOwnerModel
return true if storing of block model is supported, otherwise false.

Specified by:
isSupportBlockModel in interface JavaTopLevelBlockOwnerModel

getTopLevelBlockModel

public JavaTypeArgumentBoundTopLevelBlockModel getTopLevelBlockModel()
                                                              throws TermWareException
Description copied from interface: JavaTopLevelBlockOwnerModel
return block model, if storing of block model is supported, otherwise throws NotSupportedException

Specified by:
getTopLevelBlockModel in interface JavaTopLevelBlockOwnerModel
Throws:
TermWareException

getModelTerm

public Term getModelTerm()
                  throws TermWareException,
                         EntityNotFoundException
TypeArgumentBoundConstructorModel(originModel,substitution, context);

Specified by:
getModelTerm in interface JavaTopLevelBlockOwnerModel
Throws:
TermWareException
EntityNotFoundException

getSubstitution

public JavaTypeArgumentsSubstitution getSubstitution()
                                              throws TermWareException
Specified by:
getSubstitution in interface JavaTypeArgumentBoundTopLevelBlockOwnerModel
Throws:
TermWareException

getOrigin

public JavaTopLevelBlockOwnerModel getOrigin()
Specified by:
getOrigin in interface JavaTypeArgumentBoundTopLevelBlockOwnerModel