ua.gradsoft.javachecker.models
Class JavaClassArgumentBoundMethodModel

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

All Implemented Interfaces:

AttributedEntity, JavaTopLevelBlockOwnerModel, JavaTypeArgumentBoundTopLevelBlockOwnerModel

public class JavaClassArgumentBoundMethodModel
extends JavaMethodModel
implements JavaTypeArgumentBoundTopLevelBlockOwnerModel

Java method, whith argument bounds of subclass.

Author:

Ruslan Shevchenko

Constructor Summary

JavaClassArgumentBoundMethodModel(JavaTypeArgumentBoundTypeModel typeModel, JavaMethodModel origin)
Creates a new instance of JavaArgumentBoundToTypeMethodModel

Method Summary

java.util.Map<java.lang.String,JavaAnnotationInstanceModel>	getAnnotationsMap() get Map of annotation.
JavaExpressionModel	getDefaultValue() Argument-bound annotations are illegal.
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() return ClassTypeArgumentBoundMethodModel(context)
JavaModifiersModel	getModifiers()
java.lang.String	getName() get name of method.
JavaTopLevelBlockOwnerModel	getOrigin()
JavaTypeModel	getResultType()
JavaTypeArgumentsSubstitution	getSubstitution()
java.util.List<JavaTypeModel>	getThrowsList() get List of throwed types in trows specification.
JavaTopLevelBlockModel	getTopLevelBlockModel() return block model, if storing of block model is supported, otherwise throws NotSupportedException
JavaTypeArgumentBoundTypeModel	getTypeArgumentBoundTypeModel()
java.util.List<JavaTypeVariableAbstractModel>	getTypeParameters()
boolean	hasDefaultValue() Argument-bound annotations are illegal.
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

JavaClassArgumentBoundMethodModel

public JavaClassArgumentBoundMethodModel(JavaTypeArgumentBoundTypeModel typeModel,
                                         JavaMethodModel origin)

Creates a new instance of JavaArgumentBoundToTypeMethodModel

Method Detail

getTypeArgumentBoundTypeModel

public JavaTypeArgumentBoundTypeModel getTypeArgumentBoundTypeModel()

Specified by:

getTypeArgumentBoundTypeModel in interface JavaTypeArgumentBoundTopLevelBlockOwnerModel

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

isSynthetic

public boolean isSynthetic()
                    throws TermWareException

Description copied from class: JavaMethodModel

true for synthetic

Specified by:

isSynthetic 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 JavaTopLevelBlockModel 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

hasDefaultValue

public boolean hasDefaultValue()

Argument-bound annotations are illegal.

Specified by:

hasDefaultValue in class JavaMethodModel

Returns:

false;

getDefaultValue

public JavaExpressionModel getDefaultValue()

Argument-bound annotations are illegal.

Specified by:

getDefaultValue in class JavaMethodModel

Returns:

null

getModelTerm

public Term getModelTerm()
                  throws TermWareException

return ClassTypeArgumentBoundMethodModel(context)

Specified by:

getModelTerm in interface JavaTopLevelBlockOwnerModel

Throws:

TermWareException

getSubstitution

public JavaTypeArgumentsSubstitution getSubstitution()
                                              throws TermWareException

Specified by:

getSubstitution in interface JavaTypeArgumentBoundTopLevelBlockOwnerModel

Throws:

TermWareException

getOrigin

public JavaTopLevelBlockOwnerModel getOrigin()

Specified by:

getOrigin in interface JavaTypeArgumentBoundTopLevelBlockOwnerModel