ua.gradsoft.javachecker.models
Class JavaWildcardBoundsTypeModel

java.lang.Object
  ua.gradsoft.javachecker.models.JavaTypeModel
      ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel

All Implemented Interfaces:

AttributedEntity

public class JavaWildcardBoundsTypeModel
extends JavaTypeModel

Model for wildcard bounds.

Author:

Ruslan Shevchenko

Constructor Summary

JavaWildcardBoundsTypeModel()

JavaWildcardBoundsTypeModel(JavaTypeModel where)
Creates a new instance of JavaWildcardBoundsTypeModel with Object-like unbound capture.

JavaWildcardBoundsTypeModel(JavaWildcardBoundsKind kind, JavaTypeModel boundTypeModel)

JavaWildcardBoundsTypeModel(Term t, JavaTypeModel where, java.util.List<JavaTypeVariableAbstractModel> typeParameters)

Method Summary

java.util.Map<java.lang.String,JavaAnnotationInstanceModel>	getAnnotationsMap() get map of annotations, declared in source code.
Term	getASTTerm() return AST term, if exoists, otherwise - null
JavaTypeModel	getBoundTypeModel() get bound type model
java.util.List<JavaConstructorModel>	getConstructorModels() get list of constructor models.
JavaAnnotationInstanceModel	getDefaultAnnotationInstanceModel() if this is annotation, get annotation instance model, otherwise return null;
JavaExpressionModel	getDefaultInitializerExpression()
JavaStatementModel	getEnclosedStatement() if this is local or anonimous class and it is possible to get enclosing statement - return enclosed statement, otherwise - null
JavaTypeModel	getEnclosedType() return enclosed class
java.util.Map<java.lang.String,JavaEnumConstantModel>	getEnumConstantModels() key of return values are names of enum constants.
java.lang.String	getErasedName()
Term	getFullNameAsTerm()
java.util.List<JavaInitializerModel>	getInitializerModels() get list of initializer models
JavaWildcardBoundsKind	getKind()
java.util.Map<java.lang.String,JavaMemberVariableModel>	getMemberVariableModels() key of return values are names of member variables.
java.util.Map<java.lang.String,java.util.List<JavaMethodModel>>	getMethodModels() key of return values are names of methods.
Term	getModelTerm() WildCardBoundsModel(super|extends,TypeRef(boundTypeModel_))
JavaTermModifiersModel	getModifiersModel() get modifiers moder
java.lang.String	getName()
java.util.Map<java.lang.String,JavaTypeModel>	getNestedTypeModels()
JavaTypeModel	getReferencedType() Nullable
Term	getShortNameAsTerm()
JavaTypeModel	getSuperClass() get superclass.
java.util.List<JavaTypeModel>	getSuperInterfaces() get all superinterfaces.
java.util.List<JavaTypeVariableAbstractModel>	getTypeParameters() return type parameters.
boolean	hasASTTerm() return true, if type model have AST Term
boolean	hasMemberVariableModels()
boolean	hasMethodModels()
boolean	hasNestedTypeModels() when return true, getNestedTypeModels() returns set of nested types.
boolean	hasTypeParameters() if this type hase type parameters ?
boolean	isAnnotationType()
boolean	isAnonimous() true, if this is anonimous type.
boolean	isArray()
boolean	isClass()
boolean	isEnum()
boolean	isInterface()
boolean	isLocal() true, if this is local type
boolean	isNested() return true if this type is nested inside some other type.
boolean	isNull()
boolean	isPrimitiveType()
boolean	isTypeVariable()
boolean	isUnknown() return true, if this is unknown typemodel.
boolean	isWildcardBounds()

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

findMemberVariableModel, findMethodModels, findNestedTypeModel, getAnnotation, getAttribute, getAttributes, getAttributesData, getCanonicalName, getChildAttributes, getErasedFullName, getFullName, getJavaFacts, getPackageModel, getUnitModel, hasAnnotation, setAttribute, setUnitModel

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaWildcardBoundsTypeModel

public JavaWildcardBoundsTypeModel(JavaTypeModel where)
                            throws TermWareException

Creates a new instance of JavaWildcardBoundsTypeModel with Object-like unbound capture.

Throws:

TermWareException

JavaWildcardBoundsTypeModel

public JavaWildcardBoundsTypeModel(Term t,
                                   JavaTypeModel where,
                                   java.util.List<JavaTypeVariableAbstractModel> typeParameters)
                            throws TermWareException

Throws:

TermWareException

JavaWildcardBoundsTypeModel

public JavaWildcardBoundsTypeModel()
                            throws TermWareException

Throws:

TermWareException

JavaWildcardBoundsTypeModel

public JavaWildcardBoundsTypeModel(JavaWildcardBoundsKind kind,
                                   JavaTypeModel boundTypeModel)
                            throws TermWareException

Throws:

TermWareException

Method Detail

getName

public java.lang.String getName()

Specified by:

getName in class JavaTypeModel

getErasedName

public java.lang.String getErasedName()

Specified by:

getErasedName in class JavaTypeModel

getShortNameAsTerm

public Term getShortNameAsTerm()
                        throws TermWareException

Specified by:

getShortNameAsTerm in class JavaTypeModel

Throws:

TermWareException

getFullNameAsTerm

public Term getFullNameAsTerm()
                       throws TermWareException

Specified by:

getFullNameAsTerm in class JavaTypeModel

Throws:

TermWareException

getModifiersModel

public JavaTermModifiersModel getModifiersModel()

Description copied from class: JavaTypeModel

get modifiers moder

Specified by:

getModifiersModel in class JavaTypeModel

Returns:

Modifiers model

isClass

public boolean isClass()

Specified by:

isClass in class JavaTypeModel

isInterface

public boolean isInterface()

Specified by:

isInterface in class JavaTypeModel

isEnum

public boolean isEnum()

Specified by:

isEnum in class JavaTypeModel

isAnnotationType

public boolean isAnnotationType()

Specified by:

isAnnotationType in class JavaTypeModel

Returns:

false

getDefaultAnnotationInstanceModel

public JavaAnnotationInstanceModel getDefaultAnnotationInstanceModel()

Description copied from class: JavaTypeModel

if this is annotation, get annotation instance model, otherwise return null;

Specified by:

getDefaultAnnotationInstanceModel in class JavaTypeModel

Returns:

null

isPrimitiveType

public boolean isPrimitiveType()

Specified by:

isPrimitiveType in class JavaTypeModel

isArray

public boolean isArray()

Specified by:

isArray in class JavaTypeModel

isTypeVariable

public boolean isTypeVariable()

Specified by:

isTypeVariable in class JavaTypeModel

isWildcardBounds

public boolean isWildcardBounds()

Specified by:

isWildcardBounds in class JavaTypeModel

isNull

public boolean isNull()

Specified by:

isNull in class JavaTypeModel

isUnknown

public boolean isUnknown()

Description copied from class: JavaTypeModel

return true, if this is unknown typemodel. (clients of library can create Unknonwn model, when it is not possible to resolve entity, but resolving is not critical in context)

Specified by:

isUnknown in class JavaTypeModel

getKind

public JavaWildcardBoundsKind getKind()

isLocal

public boolean isLocal()

Description copied from class: JavaTypeModel

true, if this is local type

Specified by:

isLocal in class JavaTypeModel

isAnonimous

public boolean isAnonimous()

Description copied from class: JavaTypeModel

true, if this is anonimous type.

Specified by:

isAnonimous in class JavaTypeModel

getEnclosedStatement

public JavaStatementModel getEnclosedStatement()

Description copied from class: JavaTypeModel

if this is local or anonimous class and it is possible to get enclosing statement - return enclosed statement, otherwise - null

Specified by:

getEnclosedStatement in class JavaTypeModel

getBoundTypeModel

public JavaTypeModel getBoundTypeModel()

get bound type model

getSuperClass

public JavaTypeModel getSuperClass()
                            throws TermWareException

Description copied from class: JavaTypeModel

get superclass. does not supported for primitive types, type arguments, wildcard bounds

Specified by:

getSuperClass in class JavaTypeModel

Throws:

TermWareException

getSuperInterfaces

public java.util.List<JavaTypeModel> getSuperInterfaces()

Description copied from class: JavaTypeModel

get all superinterfaces. does not supported for primitive types, type arguments, wildcard bounds, arrays.

Specified by:

getSuperInterfaces in class JavaTypeModel

Returns:

all direct superinterfaces.

getEnclosedType

public JavaTypeModel getEnclosedType()
                              throws TermWareException

Description copied from class: JavaTypeModel

return enclosed class

Specified by:

getEnclosedType in class JavaTypeModel

Returns:

null

Throws:

TermWareException

getReferencedType

public JavaTypeModel getReferencedType()
                                throws TermWareException

Description copied from class: JavaTypeModel

Nullable

Specified by:

getReferencedType in class JavaTypeModel

Returns:

null;

Throws:

TermWareException

hasMethodModels

public boolean hasMethodModels()

Specified by:

hasMethodModels in class JavaTypeModel

Returns:

true if type has methods.

getMethodModels

public java.util.Map<java.lang.String,java.util.List<JavaMethodModel>> getMethodModels()

Description copied from class: JavaTypeModel

key of return values are names of methods. When type is unappropriative for methods (example - TypeVariable) return empty map

Specified by:

getMethodModels in class JavaTypeModel

hasMemberVariableModels

public boolean hasMemberVariableModels()

Specified by:

hasMemberVariableModels in class JavaTypeModel

getMemberVariableModels

public java.util.Map<java.lang.String,JavaMemberVariableModel> getMemberVariableModels()

Description copied from class: JavaTypeModel

key of return values are names of member variables. When type is unappropriative for methods - return empty map

Specified by:

getMemberVariableModels in class JavaTypeModel

getConstructorModels

public java.util.List<JavaConstructorModel> getConstructorModels()

Description copied from class: JavaTypeModel

get list of constructor models.

Specified by:

getConstructorModels in class JavaTypeModel

getInitializerModels

public java.util.List<JavaInitializerModel> getInitializerModels()

Description copied from class: JavaTypeModel

get list of initializer models

Specified by:

getInitializerModels in class JavaTypeModel

getEnumConstantModels

public java.util.Map<java.lang.String,JavaEnumConstantModel> getEnumConstantModels()

Description copied from class: JavaTypeModel

key of return values are names of enum constants. When type is not enum - return empty map.

Specified by:

getEnumConstantModels in class JavaTypeModel

isNested

public boolean isNested()

Description copied from class: JavaTypeModel

return true if this type is nested inside some other type.

Specified by:

isNested in class JavaTypeModel

hasNestedTypeModels

public boolean hasNestedTypeModels()

Description copied from class: JavaTypeModel

when return true, getNestedTypeModels() returns set of nested types. Otherwise getNestedTypeModels throws NotSupportedException

Specified by:

hasNestedTypeModels in class JavaTypeModel

getNestedTypeModels

public java.util.Map<java.lang.String,JavaTypeModel> getNestedTypeModels()

Specified by:

getNestedTypeModels in class JavaTypeModel

Returns:

set of nested types.

hasTypeParameters

public boolean hasTypeParameters()
                          throws TermWareException

Description copied from class: JavaTypeModel

if this type hase type parameters ?

Specified by:

hasTypeParameters in class JavaTypeModel

Throws:

TermWareException

getTypeParameters

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

Description copied from class: JavaTypeModel

return type parameters. (i. e. for class { ... } definitions are ) in case of absence of type paramters return empty list

Specified by:

getTypeParameters in class JavaTypeModel

Throws:

TermWareException

getAnnotationsMap

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

Description copied from class: JavaTypeModel

get map of annotations, declared in source code.

Specified by:

getAnnotationsMap in class JavaTypeModel

Returns:

empty map

hasASTTerm

public boolean hasASTTerm()

Description copied from class: JavaTypeModel

return true, if type model have AST Term

Specified by:

hasASTTerm in class JavaTypeModel

getASTTerm

public Term getASTTerm()

Description copied from class: JavaTypeModel

return AST term, if exoists, otherwise - null

Specified by:

getASTTerm in class JavaTypeModel

getModelTerm

public Term getModelTerm()
                  throws TermWareException

WildCardBoundsModel(super|extends,TypeRef(boundTypeModel_))

Specified by:

getModelTerm in class JavaTypeModel

Throws:

TermWareException

getDefaultInitializerExpression

public JavaExpressionModel getDefaultInitializerExpression()
                                                    throws TermWareException,
                                                           EntityNotFoundException

Specified by:

getDefaultInitializerExpression in class JavaTypeModel

Returns:

default initializer erxpression, if entity is not initialized. (i.e. null for complex types, and so on)

Throws:

TermWareException

EntityNotFoundException