Package org.sonar.java.resolve

Class TypeVariableJavaType

java.lang.Object

org.sonar.java.resolve.JavaType

org.sonar.java.resolve.TypeVariableJavaType

All Implemented Interfaces:

Type

public class TypeVariableJavaType
extends JavaType

Nested Class Summary

Nested classes/interfaces inherited from interface org.sonar.plugins.java.api.semantic.Type

Type.ArrayType, Type.Primitives

Field Summary

Fields inherited from class org.sonar.java.resolve.JavaType

ARRAY, BOOLEAN, BOT, BYTE, CHAR, CLASS, DEFERRED, DOUBLE, FLOAT, INT, INTERSECTION, LONG, METHOD, PARAMETERIZED, SHORT, TYPEVAR, UNKNOWN, VOID, WILDCARD

Constructor Summary

Constructors

Constructor	Description
TypeVariableJavaType(JavaSymbol.TypeVariableJavaSymbol symbol)

Method Summary

Modifier and Type	Method	Description
List<JavaType>	bounds()
JavaType	erasure()	Erasure of a type variable is the erasure of its leftmost bound.
boolean	isSubtypeOf(String fullyQualifiedName)	Check whether a type is a subtype of the one designed by the fully qualified name.
boolean	isSubtypeOf(Type superType)	Check whether a type is a subtype of another.

Methods inherited from class org.sonar.java.resolve.JavaType

directSuperTypes, fullyQualifiedName, getSuperType, getSymbol, is, isArray, isClass, isNumerical, isParameterized, isPrimitive, isPrimitive, isPrimitiveWrapper, isTagged, isUnknown, isVoid, name, primitiveType, primitiveWrapperType, symbol, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeVariableJavaType

public TypeVariableJavaType(JavaSymbol.TypeVariableJavaSymbol symbol)

Method Detail

erasure

public JavaType erasure()

Erasure of a type variable is the erasure of its leftmost bound.

Specified by:

erasure in interface Type

Overrides:

erasure in class JavaType

Returns:

erased type.

bounds

public List<JavaType> bounds()

isSubtypeOf

public boolean isSubtypeOf(String fullyQualifiedName)

Description copied from interface: Type

Check whether a type is a subtype of the one designed by the fully qualified name.

This method will consider implemented interfaces as well as superclasses.

   Type type;
   type.isSubtypeOf("Object[]");
   type.isSubtypeOf("org.mypackage.MyClass");
   type.isSubtypeOf("org.mypackage.MyInterface");
   type.isSubtypeOf("java.lang.Object");

Specified by:

isSubtypeOf in interface Type

Overrides:

isSubtypeOf in class JavaType

Parameters:

fullyQualifiedName - fully qualified name to check in the type hierarchy. Use "[]" for arrays.

Returns:

true if the type is the one passed in parameter or have this type in its hierarchy. false otherwise.

isSubtypeOf

public boolean isSubtypeOf(Type superType)

Description copied from interface: Type

Check whether a type is a subtype of another.

This method will consider implemented interfaces as well as superclasses.

   Type type, myOtherType;
   type.isSubtypeOf(myOtherType);

Specified by:

isSubtypeOf in interface Type

Overrides:

isSubtypeOf in class JavaType

Parameters:

superType - instance of a potential superType.

Returns:

true if types are equivalent or if the one passed in parameter is in the hierarchy. false otherwise.