ua.gradsoft.javachecker.models
Class JavaTypeArgumentBoundMethodModel

java.lang.Object
  ua.gradsoft.javachecker.models.JavaMethodModel
      ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMethodModel

All Implemented Interfaces:

AttributedEntity, JavaTopLevelBlockOwnerModel, JavaTypeArgumentBoundTopLevelBlockOwnerModel

public class JavaTypeArgumentBoundMethodModel
extends JavaMethodModel
implements JavaTypeArgumentBoundTopLevelBlockOwnerModel

Method with bound type arguments of class.

Author:

Ruslan Shevchenko

Constructor Summary

JavaTypeArgumentBoundMethodModel(JavaMethodModel origin, JavaTypeArgumentsSubstitution substitution)
Creates a new instance of JavaTypeArgumentBoundMethodModel

Method Summary

java.util.Map<java.lang.String,JavaAnnotationInstanceModel>	getAnnotationsMap() get Map of annotation.
JavaExpressionModel	getDefaultValue() return default value of method.
java.util.List<JavaFormalParameterModel>	getFormalParametersList() get list of formal parameters.
java.util.Map<java.lang.String,JavaFormalParameterModel>	getFormalParametersMap() get map of formal parameters.
java.util.List<JavaTypeModel>	getFormalParametersTypes() return list of forma-parameters types.
Term	getModelTerm() TypeArgumentBoundMethodModel(originModel,substitution, context);
JavaModifiersModel	getModifiers()
java.lang.String	getName() get name of method.
JavaMethodModel	getOrigin()
JavaTypeModel	getResultType()
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()
java.util.List<JavaTypeVariableAbstractModel>	getTypeParameters()
boolean	hasDefaultValue() If method has default value
boolean	isSupportBlockModel() return true if storing of block model is supported, otherwise false.
boolean	isSynthetic() true for synthetic

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

getAttribute, getChildAttributes, getJavaFacts, getTypeModel, print, 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

getTypeModel, printErasedSignature, printSignature

Methods inherited from interface ua.gradsoft.javachecker.attributes.AttributedEntity

getAttribute, getChildAttributes, setAttribute

Constructor Detail

JavaTypeArgumentBoundMethodModel

public JavaTypeArgumentBoundMethodModel(JavaMethodModel origin,
                                        JavaTypeArgumentsSubstitution substitution)

Creates a new instance of JavaTypeArgumentBoundMethodModel

Method Detail

getName

public java.lang.String getName()

Description copied from class: JavaMethodModel

get name of method.

Specified by:

getName in interface JavaTopLevelBlockOwnerModel

Specified by:

getName in class JavaMethodModel

Returns:

method name

getModifiers

public JavaModifiersModel getModifiers()

Specified by:

getModifiers in class JavaMethodModel

getTypeParameters

public java.util.List<JavaTypeVariableAbstractModel> getTypeParameters()
                                                                throws TermWareException

Specified by:

getTypeParameters in interface JavaTopLevelBlockOwnerModel

Specified by:

getTypeParameters in class JavaMethodModel

Throws:

TermWareException

getResultType

public JavaTypeModel getResultType()
                            throws TermWareException

Specified by:

getResultType in class JavaMethodModel

Throws:

TermWareException

getFormalParametersList

public java.util.List<JavaFormalParameterModel> getFormalParametersList()
                                                                 throws TermWareException,
                                                                        EntityNotFoundException

Description copied from class: JavaMethodModel

get list of formal parameters.

Specified by:

getFormalParametersList in interface JavaTopLevelBlockOwnerModel

Specified by:

getFormalParametersList in class JavaMethodModel

Throws:

TermWareException

EntityNotFoundException

getFormalParametersMap

public java.util.Map<java.lang.String,JavaFormalParameterModel> getFormalParametersMap()
                                                                                throws TermWareException,
                                                                                       EntityNotFoundException

Description copied from class: JavaMethodModel

get map of formal parameters.

Specified by:

getFormalParametersMap in interface JavaTopLevelBlockOwnerModel

Specified by:

getFormalParametersMap in class JavaMethodModel

Throws:

TermWareException

EntityNotFoundException

getFormalParametersTypes

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

Description copied from class: JavaMethodModel

return list of forma-parameters types. Note, that type for varargs parameters are arrays.

Specified by:

getFormalParametersTypes in class JavaMethodModel

Throws:

TermWareException

EntityNotFoundException

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

getAnnotationsMap

public java.util.Map<java.lang.String,JavaAnnotationInstanceModel> getAnnotationsMap()
                                                                              throws TermWareException

Description copied from class: JavaMethodModel

get Map of annotation.

Specified by:

getAnnotationsMap in interface JavaTopLevelBlockOwnerModel

Specified by:

getAnnotationsMap in class JavaMethodModel

Throws:

TermWareException

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

getTypeArgumentBoundTypeModel

public JavaTypeArgumentBoundTypeModel getTypeArgumentBoundTypeModel()
                                                             throws TermWareException

Specified by:

getTypeArgumentBoundTypeModel in interface JavaTypeArgumentBoundTopLevelBlockOwnerModel

Throws:

TermWareException

hasDefaultValue

public boolean hasDefaultValue()

Description copied from class: JavaMethodModel

If method has default value

Specified by:

hasDefaultValue in class JavaMethodModel

Returns:

true if method has default value. (i.,e. this is annotation method).

getDefaultValue

public JavaExpressionModel getDefaultValue()
                                    throws TermWareException,
                                           EntityNotFoundException

Description copied from class: JavaMethodModel

return default value of method. If method has not default value, return null

Specified by:

getDefaultValue in class JavaMethodModel

Throws:

TermWareException

EntityNotFoundException

isSynthetic

public boolean isSynthetic()
                    throws TermWareException

Description copied from class: JavaMethodModel

true for synthetic

Specified by:

isSynthetic in class JavaMethodModel

Throws:

TermWareException

getOrigin

public JavaMethodModel getOrigin()

Specified by:

getOrigin in interface JavaTypeArgumentBoundTopLevelBlockOwnerModel

getModelTerm

public Term getModelTerm()
                  throws TermWareException,
                         EntityNotFoundException

TypeArgumentBoundMethodModel(originModel,substitution, context);

Specified by:

getModelTerm in interface JavaTopLevelBlockOwnerModel

Throws:

TermWareException

EntityNotFoundException

getSubstitution

public JavaTypeArgumentsSubstitution getSubstitution()

Specified by:

getSubstitution in interface JavaTypeArgumentBoundTopLevelBlockOwnerModel