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

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.
static void	setTypeSubstitutionSolver(TypeSubstitutionSolver typeSubstitutionSolver)
JavaType	substitution(TypeVariableJavaType typeVariableType)
List<TypeVariableJavaType>	typeParameters()

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

is, isSubtypeOf

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

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

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.

setTypeSubstitutionSolver

public static void setTypeSubstitutionSolver(TypeSubstitutionSolver typeSubstitutionSolver)