org.sonar.java.resolve

Class ParametrizedTypeJavaType

java.lang.Object

org.sonar.java.resolve.JavaType

org.sonar.java.resolve.ClassJavaType

org.sonar.java.resolve.ParametrizedTypeJavaType

All Implemented Interfaces:

Type

public class ParametrizedTypeJavaType
extends ClassJavaType

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, LONG, METHOD, PARAMETERIZED, SHORT, TYPEVAR, UNKNOWN, VOID, WILDCARD

Constructor Summary

Constructors

Constructor and Description
ParametrizedTypeJavaType(JavaSymbol.TypeJavaSymbol symbol, TypeSubstitution typeSubstitution, TypeSubstitutionSolver typeSubstitutionSolver)

Method Summary

Modifier and Type	Method and Description
JavaType	erasure() JLS8 4.6
boolean	isSubtypeOf(Type superType) Check whether a type is a subtype of another.
protected ClassJavaType	substitutedType(ClassJavaType type)
JavaType	substitution(TypeVariableJavaType typeVariableType)
List<TypeVariableJavaType>	typeParameters()

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

directSuperTypes, getSuperType, is, isSubtypeOf, superTypes

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

fullyQualifiedName, getSymbol, 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

ParametrizedTypeJavaType

public ParametrizedTypeJavaType(JavaSymbol.TypeJavaSymbol symbol,
                                TypeSubstitution typeSubstitution,
                                TypeSubstitutionSolver typeSubstitutionSolver)

Method Detail

erasure

public JavaType erasure()

Description copied from class: JavaType

JLS8 4.6

Specified by:

erasure in interface Type

Overrides:

erasure in class JavaType

Returns:

erased type.

substitution

@Nullable
public JavaType substitution(TypeVariableJavaType typeVariableType)

typeParameters

public List<TypeVariableJavaType> typeParameters()

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 ClassJavaType

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.

substitutedType

protected ClassJavaType substitutedType(ClassJavaType type)

Overrides:

substitutedType in class ClassJavaType