me.tomassetti.symbolsolver.model.usages.typesystem

Interface Type

All Known Implementing Classes:

ArrayType, NullType, PrimitiveType, ReferenceType, TypeVariable, VoidType, Wildcard

public interface Type

A usage of a type. It could be a primitive type or a reference type (enum, class, interface). In the later case it could take type typeParametersValues (other TypeUsages). It could also be a TypeVariable, like in:

class A { }

where B is a TypeVariable. It could also be Wildcard Type, possibly with constraints.

Author:

Federico Tomassetti

Method Summary

Modifier and Type	Method and Description
default int	arrayLevel()
default ArrayType	asArrayType()
default PrimitiveType	asPrimitive()
default ReferenceType	asReferenceType()
default TypeParameterDeclaration	asTypeParameter()
default Wildcard	asWildcard()
String	describe()
default boolean	isArray() Does this type represent an array?
boolean	isAssignableBy(Type other) This method checks if ThisType t = new OtherType() would compile.
default boolean	isNull() Is this the null type?
default boolean	isPrimitive() Is this a primitive type?
default boolean	isReference() Is this a non primitive value?
default boolean	isReferenceType() Can this be seen as a ReferenceTypeUsage? In other words: is this a reference to a class, an interface or an enum?
default boolean	isTypeVariable()
default boolean	isVoid()
default boolean	isWildcard()
default Type	replaceParam(String name, Type replaced) Deprecated.
default Type	replaceParam(TypeParameterDeclaration name, Type replaced)

Method Detail

isArray

default boolean isArray()

Does this type represent an array?

arrayLevel

default int arrayLevel()

isPrimitive

default boolean isPrimitive()

Is this a primitive type?

isNull

default boolean isNull()

Is this the null type?

isReference

default boolean isReference()

Is this a non primitive value?

isReferenceType

default boolean isReferenceType()

Can this be seen as a ReferenceTypeUsage? In other words: is this a reference to a class, an interface or an enum?

isVoid

default boolean isVoid()

isTypeVariable

default boolean isTypeVariable()

isWildcard

default boolean isWildcard()

asArrayType

default ArrayType asArrayType()

asReferenceType

default ReferenceType asReferenceType()

asTypeParameter

default TypeParameterDeclaration asTypeParameter()

asPrimitive

default PrimitiveType asPrimitive()

asWildcard

default Wildcard asWildcard()

describe

String describe()

replaceParam

@Deprecated
default Type replaceParam(String name,
                                      Type replaced)

Deprecated.

replaceParam

default Type replaceParam(TypeParameterDeclaration name,
                          Type replaced)

isAssignableBy

boolean isAssignableBy(Type other)

This method checks if ThisType t = new OtherType() would compile.