Module org.htmlunit.corejs

Package org.htmlunit.corejs.javascript.lc.type

Interface ParameterizedTypeInfo

All Superinterfaces:

TypeInfo

All Known Implementing Classes:

ParameterizedTypeInfoImpl

public interface ParameterizedTypeInfo
extends TypeInfo

a TypeInfo implementation representing ParameterizedType

Author:

ZZZank

See Also:

• ParameterizedType

Field Summary

Fields inherited from interface org.htmlunit.corejs.javascript.lc.type.TypeInfo

BIG_INT, BOOLEAN, BYTE, CHARACTER, DATE, DOUBLE, FLOAT, INT, LONG, NONE, NUMBER, OBJECT, OBJECT_ARRAY, PRIMITIVE_BOOLEAN, PRIMITIVE_BYTE, PRIMITIVE_CHARACTER, PRIMITIVE_DOUBLE, PRIMITIVE_FLOAT, PRIMITIVE_INT, PRIMITIVE_LONG, PRIMITIVE_SHORT, PRIMITIVE_VOID, RAW_CLASS, RAW_CONSUMER, RAW_ENUM_SET, RAW_FUNCTION, RAW_LIST, RAW_MAP, RAW_OPTIONAL, RAW_PREDICATE, RAW_SET, RAW_SUPPLIER, RUNNABLE, SHORT, STRING, STRING_ARRAY, VOID

Method Summary

Modifier and Type	Method	Description
default Map<VariableTypeInfo,TypeInfo>	extractConsolidationMapping(TypeInfoFactory factory)	Extract consolidation mapping based on params() and Class.getTypeParameters()
default int	getTypeTag()	none of the base types is parameterized, unless this object is an implementation of Scriptable with type variables, which is incredibly rare but still possible
default boolean	isAssignableFrom(TypeInfo another)
default boolean	isFunctionalInterface()
default boolean	isInstance(Object o)
default boolean	isInterface()
TypeInfo	ownerType()
default TypeInfo	param(int index)	Example:
List<TypeInfo>	params()
TypeInfo	rawType()

Methods inherited from interface org.htmlunit.corejs.javascript.lc.type.TypeInfo

asClass, consolidate, createDefaultValue, enumConstants, getComponentType, is, isArray, isBoolean, isByte, isCharacter, isDouble, isEnum, isFloat, isInt, isLong, isNot, isNumber, isObjectExact, isPrimitive, isShort, isString, isVoid, newArray, shouldReplace, toString, toString

Method Details

rawType

TypeInfo rawType()

See Also:

• ParameterizedType.getRawType()

params

List<TypeInfo> params()

See Also:

• ParameterizedType.getActualTypeArguments()

param

default TypeInfo param(int index)

Description copied from interface: TypeInfo

Example:

1. for Map<String, Integer>, param(-1) == TypeInfo.NONE, param(0) == TypeInfo.STRING, param(1) == TypeInfo.INT, param(2) == TypeInfo.NONE

2. for Map (raw usage of generic class) or Integer (not generic class), param(anyNumberHere) == TypeInfo.NONE

Specified by:

param in interface TypeInfo

Returns:

the actual type parameter at provided index, or TypeInfo.NONE if:

1. index not in valid range, or

2. the TypeInfo itself is not representing a ParameterizedType

See Also:

• params()

ownerType

TypeInfo ownerType()

See Also:

• ParameterizedType.getOwnerType()

extractConsolidationMapping

default Map<VariableTypeInfo,TypeInfo> extractConsolidationMapping(TypeInfoFactory factory)

Extract consolidation mapping based on params() and Class.getTypeParameters()

Example: type is List<String>, calling ((ParameterizedTypeInfo) type).extractConsolidationMapping(TypeInfoFactory.GLOBAL) will give E -> String, where the E the type variable declared by List

isInterface

default boolean isInterface()

Specified by:

isInterface in interface TypeInfo

See Also:

• Class.isInterface()

isFunctionalInterface

default boolean isFunctionalInterface()

Specified by:

isFunctionalInterface in interface TypeInfo

See Also:

• FunctionalInterface

isAssignableFrom

default boolean isAssignableFrom(TypeInfo another)

Specified by:

isAssignableFrom in interface TypeInfo

Returns:

true if the caller TypeInfo represents the super class of the class represented by another TypeInfo

See Also:

• Class.isAssignableFrom(Class)

isInstance

default boolean isInstance(Object o)

Specified by:

isInstance in interface TypeInfo

Returns:

true if o is an instance of this class represented by the caller TypeInfo

See Also:

• Class.isInstance(Object)

getTypeTag

default int getTypeTag()

none of the base types is parameterized, unless this object is an implementation of Scriptable with type variables, which is incredibly rare but still possible

Specified by:

getTypeTag in interface TypeInfo

See Also:

• FunctionObject.getTypeTag(Class)