OpenJDK 27 · com.sun.tools.javac.code.Types · APIdia, the JavaDoc alternative

Modifier and Type	Class and Description
pack-priv class	Types.Adapter
public static class	Types.AdaptFailure
public class	Types.CandidatesCache
pack-priv class	Types.CaptureScanner This visitor scans a type recursively looking for occurrences of captured type variables.
pack-priv class	Types.ClosureHolder
public abstract static class	Types.DefaultSymbolVisitor< the return type of the operation implemented by this visitor; use Void if no return type is needed. R, the type of the second argument (the first being the symbol itself) of the operation implemented by this visitor; use Void if a second argument is not needed. S> A default visitor for symbols.
public abstract static class	Types.DefaultTypeVisitor< the return type of the operation implemented by this visitor; use Void if no return type is needed. R, the type of the second argument (the first being the type itself) of the operation implemented by this visitor; use Void if a second argument is not needed. S> A default visitor for types.
pack-priv class	Types.DescriptorCache A cache that keeps track of function descriptors associated with given functional interfaces.
pack-priv class	Types.DescriptorFilter Scope filter used to skip methods that should be ignored (such as methods overridden by j.l.Object) during function interface conversion interface check
pack-priv class	Types.DisjointChecker
public static class	Types.FunctionDescriptorLookupError Exception used to report a function descriptor lookup failure.
private static class	Types.HashCodeVisitor
private class	Types.HasSameArgs
pack-priv class	Types.ImplementationCache
public static class	Types.MapVisitor< the type of the second argument (the first being the type itself) of this mapping; use Void if a second argument is not needed. S> A visitor for implementing a mapping from types to types.
pack-priv class	Types.MembersClosureCache
private class	Types.MethodFilter
public static enum	Types.MostSpecificReturnCheck This enum defines the strategy for implementing most specific return type check during the most specific and functional interface checks.
pack-priv static enum	Types.ProjectionKind A projection kind.
pack-priv class	Types.Rewriter
public abstract class	Types.SignatureGenerator
public abstract static class	Types.SimpleVisitor< the return type of the operation implemented by this visitor; use Void if no return type is needed. R, the type of the second argument (the first being the type itself) of the operation implemented by this visitor; use Void if a second argument is not needed. S> A simple visitor for types.
private class	Types.Subst
pack-priv abstract class	Types.TypeEqualityVisitor Type-equality relation - type variables are considered equals if they share the same object identity.
public static class	Types.TypeMapping<S> An abstract class for mappings from types to types (see `Type#map(TypeMapping)`.
pack-priv class	Types.TypePair
pack-priv class	Types.TypeProjection This visitor performs upwards and downwards projections on types.
public abstract static class	Types.TypeRelation A plain relation on types.
public abstract static class	Types.UnaryVisitor< the return type of the operation implemented by this visitor; use Void if no return type is needed. R> A convenience visitor for implementing operations that only require one argument (the type itself), that is, unary operations.
public static class	Types.UniqueType A wrapper for a type that allows use in sets.

Modifier and Type	Field and Description
private Type	arraySuperType
private final Types.SimpleVisitor<Type, Symbol>	asSub
private Types.SimpleVisitor<Type, Symbol>	asSuper
pack-priv BiPredicate<Type, Type>	basicClosureSkip
private Predicate<Symbol>	bridgeFilter
public Types.CandidatesCache	candidatesCache
pack-priv final Name	capturedName
pack-priv final Check	chk
private Types.UnaryVisitor<Type>	classBound
private Map<Type, List<Type>>	closureCache A cache for closures.
private Types.TypeRelation	containsType
private final Types.TypeMapping<Void>	cvarLowerBoundMapping
private Types.DescriptorCache	descCache
pack-priv JCDiagnostic.Factory	diags
private final Types.UnaryVisitor<List<Type>>	directSupertypes
private Types.TypeRelation	disjointType
public final boolean	dumpStacktraceOnError
private Types.TypeMapping<Void>	elemTypeFun Mapping to take element type of an arraytype
pack-priv final Enter	enter
private Types.TypeMapping<Boolean>	erasure
pack-priv Types.TypeEqualityVisitor	exactTypeVisitor
private static final Types.HashCodeVisitor	hashCodeStrictVisitor
private static final Types.HashCodeVisitor	hashCodeVisitor
pack-priv Types.TypeRelation	hasSameArgs_nonstrict
pack-priv Types.TypeRelation	hasSameArgs_strict
private Types.ImplementationCache	implCache
private Types.UnaryVisitor<List<Type>>	interfaces
private Types.TypeRelation	isCastable
pack-priv Map<Type, Boolean>	isDerivedRawCache
private Types.UnaryVisitor<Boolean>	isReifiable
pack-priv Types.TypeEqualityVisitor	isSameTypeVisitor
private Types.TypeRelation	isSubtype
private final Types.UnaryVisitor<Boolean>	isUnbounded
private Types.MembersClosureCache	membersCache
private Types.SimpleVisitor<Type, Symbol>	memberType
pack-priv Set<Types.TypePair>	mergeCache
pack-priv final JavacMessages	messages
private final Types.MapVisitor<List<Type>>	methodWithParameters
private final Types.MapVisitor<Type>	methodWithReturn
private final Types.MapVisitor<List<Type>>	methodWithThrown
pack-priv final Names	names
private static final Types.TypeMapping<Void>	newInstanceFun
public final Warner	noWarnings
private Types.UnaryVisitor<Type>	supertype
pack-priv final Symtab	syms
protected static final Context.Key<Types>	typesKey
pack-priv List<Warner>	warnStack

Access	Constructor and Description
protected	Types(Context context)

Method Summary

Modifier and Type	Method and Description
public void	adapt(Type the source type source, Type the target type target, ListBuffer<Type> the type variables of the computed substitution from, ListBuffer<Type> the types of the computed substitution. to) Adapt a type by computing a substitution which maps a source type to a target type.
private void	adaptSelf(Type t, ListBuffer<Type> from, ListBuffer<Type> to)
private void	appendTyparamString(Type.TypeVar t, StringBuilder buf)
private Type	arraySuperType()
public Type	asEnclosingSuper(Type a type t, Symbol a symbol sym) This method returns the first type in a sequence (starting at `t`) that is a subclass of `sym`.
public Type	asOuterSuper(Type a type t, Symbol a symbol sym) This method returns the first type in a sequence (starting at `t`) that is a subclass of `sym`.
public Type	asSub(Type t, Symbol sym) Return the least specific subtype of t that starts with symbol sym.
public Type	asSuper(Type a type t, Symbol a symbol sym) Return the (most specific) base type of t that starts with the given symbol.
public Symbol.ClassSymbol	boxedClass(Type t) Return the class that boxes the given primitive.
public Type	boxedTypeOrType(Type t) Return the boxed type if 't' is primitive, otherwise return 't' itself.
public List<Type>	capture(List<Type> ts) Capture conversion as specified by the JLS.
public Type	capture(Type t)
public List<Type>	Returns: the set of captured variables found in t captures(Type the type where occurrences of captured variables have to be found t) Computes the set of captured variables mentioned in a given type.
private void	checkUnsafeVarargsConversion(Type t, Type s, Warner warn)
public Type	classBound(Type t) If the given type is a (possibly selected) type variable, return the bounding class of this type, otherwise return the type itself.
public List<Type>	closure(Type t) Returns the closure of a class or interface type.
public Collector<Type, Types.ClosureHolder, List<Type>>	closureCollector(boolean minClosure, BiPredicate<Type, Type> shouldSkip) Collect types into a new closure (using a `ClosureHolder`)
public List<Type>	closureMin(List<Type> cl) Return the minimum types of a closure, suitable for computing compoundMin or glb.
private Type	compoundMin(List<Type> cl) Return the minimum type of a closure, a compound type if no unique minimum exists.
public Type	constantType(PoolConstant.LoadableConstant c)
public boolean	containedBy(Type t, Type s)
pack-priv boolean	containsType(List<Type> ts, List<Type> ss)
public boolean	containsType(Type a type t, Type a type s) Check if t contains s.
public boolean	containsTypeEquivalent(List<Type> ts, List<Type> ss)
private boolean	containsTypeEquivalent(Type t, Type s)
public boolean	covariantReturnType(Type t, Type s, Warner warner) Is t an appropriate return type in an overrider for a method that returns s?
public Type	createErrorType(Type originalType)
public Type	createErrorType(Symbol.ClassSymbol c, Type originalType)
public Type	createErrorType(Name name, Symbol.TypeSymbol container, Type originalType)
public Type	createMethodTypeWithParameters(Type original, List<Type> newParams)
public Type	createMethodTypeWithReturn(Type original, Type newReturn)
public Type	createMethodTypeWithThrown(Type original, List<Type> newThrown)
public Type	cvarLowerBound(Type a type t) Get a capture variable's lower bound, returning other types unchanged.
public List<Type>	cvarLowerBounds(List<Type> ts)
public Type	cvarUpperBound(Type a type t) Get a capture variable's upper bound, returning other types unchanged.
public int	dimensions(Type t) The number of dimensions of an array type.
public List<Type>	directSupertypes(Type t)
public boolean	disjointType(Type t, Type s) Two types or wildcards are considered disjoint if it can be proven that no type can be contained in both.
public boolean	disjointTypes(List<Type> ts, List<Type> ss)
public Type	elemtype(Type t) The element type of an array.
public Type	elemtypeOrType(Type t)
public List<Type>	erasedSupertypes(Type t)
private boolean	eraseNotNeeded(Type t)
public Type	erasure(Type t) The erasure of t `\|t\|` -- the type that results when all type parameters in t are deleted.
private Type	erasure(Type t, boolean recurse)
public List<Type>	erasure(List<Type> ts)
public Type	erasureRecursive(Type t)
public List<Type>	erasureRecursive(List<Type> ts)
public Symbol	findDescriptorSymbol(Symbol.TypeSymbol origin) Find the method descriptor associated to this class symbol - if the symbol 'origin' is not a functional interface, an exception is thrown.
public Type	findDescriptorType(Type origin) Find the type of the method descriptor associated to this class symbol - if the symbol 'origin' is not a functional interface, an exception is thrown.
public Symbol.MethodSymbol	firstUnimplementedAbstract(Symbol.ClassSymbol sym) Return first abstract member of class `sym'.
private Symbol.MethodSymbol	firstUnimplementedAbstractImpl(Symbol.ClassSymbol impl, Symbol.ClassSymbol c)
public List<Type>	freshTypeVariables(List<Type> types)
public List<Symbol>	functionalInterfaceBridges(Symbol.TypeSymbol origin) Find the minimal set of methods that are overridden by the functional descriptor in 'origin'.
public List<Type>	getBounds(Type.TypeVar t) Return list of bounds of the given type variable.
public Attribute.RetentionPolicy	getRetention(Attribute.Compound a)
public Attribute.RetentionPolicy	getRetention(Symbol.TypeSymbol sym)
private boolean	giveWarning(Type from, Type to)
public Type	glb(List<Type> ts)
public Type	glb(Type t, Type s)
private Type	glbFlattened(List<Type> List of type to glb flatBounds, Type Original type to use if the result is an error type errT) Perform glb for a list of non-primitive, non-error, non-compound types; redundant elements are removed.
public int	hashCode(Type t) Compute a hash code on a type.
public int	hashCode(Type t, boolean strict)
public boolean	hasSameArgs(Type t, Type s) Does t have the same arguments as s?
public boolean	hasSameArgs(Type t, Type s, boolean strict)
private boolean	hasSameArgs(Type t, Type s, Types.TypeRelation hasSameArgs)
public boolean	hasSameBounds(Type.ForAll t, Type.ForAll s) Does t have the same bounds for quantified variables as s?
public Symbol.MethodSymbol	implementation(Symbol.MethodSymbol ms, Symbol.TypeSymbol origin, boolean checkResult, Predicate<Symbol> implFilter)
public List<Type>	insert(List<Type> cl, Type t, BiPredicate<Type, Type> shouldSkip) Insert a type in a closure
public List<Type>	insert(List<Type> cl, Type t)
public static Types	instance(Context context)
public List<Symbol.MethodSymbol>	interfaceCandidates(Type site, Symbol.MethodSymbol ms)
public List<Type>	interfaces(Type t) Return the interfaces implemented by this class.
public List<Type>	intersect(List<Type> cl1, List<Type> cl2) Intersect two closures
public boolean	isArray(Type t)
public boolean	isAssignable(Type t, Type s)
public boolean	isAssignable(Type t, Type s, Warner warn) Is t assignable to s?
public boolean	isCaptureOf(Type s, Type.WildcardType t)
public boolean	isCastable(Type t, Type s)
public boolean	isCastable(Type t, Type s, Warner warn) Is t castable to s?
public boolean	isConvertible(Type t, Type s, Warner warn) Is t a subtype of or convertible via boxing/unboxing conversion to s?
public boolean	isConvertible(Type t, Type s) Is t a subtype of or convertible via boxing/unboxing conversions to s?
public boolean	isDerivedRaw(Type t)
public boolean	isDerivedRaw(List<Type> ts)
public boolean	isDerivedRawInternal(Type t)
public boolean	isDirectSuperInterface(Symbol.TypeSymbol isym, Symbol.TypeSymbol origin)
public boolean	isFunctionalInterface(Symbol.TypeSymbol tsym) Is given type a functional interface?
public boolean	isFunctionalInterface(Type site)
public boolean	isReifiable(Type t)
public boolean	isSameType(Type t, Type s) Is t the same type as s?
public boolean	isSameTypes(List<Type> ts, List<Type> ss) Are corresponding elements of the lists the same type?
public boolean	isSameWildcard(Type.WildcardType t, Type s)
public boolean	isSignaturePolymorphic(Symbol.MethodSymbol msym) A polymorphic signature method (JLS 15.12.3) is a method that (i) is declared in the java.lang.invoke.MethodHandle/VarHandle classes; (ii) takes a single variable arity parameter; (iii) whose declared type is Object[]; (iv) has any return type, Object signifying a polymorphic return type; and (v) is native.
public boolean	Returns: true if t is a subsignature of s. isSubSignature(Type first signature (possibly raw). t, Type second signature (could be subjected to erasure). s) Returns true iff the first signature is a subsignature of the other.
public final boolean	isSubtype(Type t, Type s) Is t a subtype of s?
public boolean	isSubtype(Type t, Type s, boolean capture)
public final boolean	isSubtypeNoCapture(Type t, Type s)
public boolean	isSubtypes(List<Type> ts, List<Type> ss) Are corresponding elements of ts subtypes of ss?
public boolean	isSubtypesUnchecked(List<Type> ts, List<Type> ss, Warner warn) Are corresponding elements of ts subtypes of ss, allowing unchecked conversions?
public boolean	isSubtypeUnchecked(Type t, Type s) Is t an unchecked subtype of s?
public boolean	isSubtypeUnchecked(Type t, Type s, Warner warn) Is t an unchecked subtype of s?
public boolean	isSubtypeUnchecked(Type t, List<Type> ts, Warner warn) Is t a subtype of every type in given list `ts'?
private boolean	isSubtypeUncheckedInternal(Type t, Type s, boolean capture, Warner warn)
public boolean	isSuperType(Type t, Type s) Is t a supertype of s?
public boolean	Returns: true iff the given type is unbounded or raw isUnbounded(Type a type t) Checks that all the arguments to a class are unbounded wildcards or something else that doesn't make any restrictions on the arguments.
public boolean	isUnconditionallyExactCombined(Type currentType, Type testType) Check both type or value-based unconditional exactness between any combination of reference or primitive types for the value of a constant expression according to JLS 5.7.2.
public boolean	isUnconditionallyExactTypeBased(Type Source primitive or reference type source, Type Target primitive or reference type target) Check type-based unconditional exactness between any combination of reference or primitive types according to JLS 5.7.2.
public boolean	isUnconditionallyExactValueBased(Type Source primitive or reference type, should be a numeric value source, Type Target primitive or reference type target) Check value-based unconditional exactness between any combination of reference or primitive types for the value of a constant expression according to JLS 5.7.2.
public Type	lub(List<Type> ts) Return the least upper bound of list of types.
public Type	lub(Type... ts) Return the least upper bound (lub) of set of types.
public Type.ArrayType	Returns: the ArrayType for the given component makeArrayType(Type The component type of the ArrayType t) Returns an ArrayType with the component type t
private Type.WildcardType	makeExtendsWildcard(Type the upper bound bound, Type.TypeVar the formal type parameter that will be substituted by the wildcard formal) Create a wildcard with the given upper (extends) bound; create an unbounded wildcard if bound is Object.
public Symbol.ClassSymbol	makeFunctionalInterfaceClass(Env<AttrContext> env, Name name, Type target, long cflags) Create a symbol for a class that implements a given functional interface and overrides its functional descriptor.
public Type.IntersectionClassType	makeIntersectionType(List<Type> the types from which the intersection type is formed bounds) Make an intersection type from non-empty list of types.
public Type.IntersectionClassType	makeIntersectionType(List<Type> the types from which the intersection type is formed bounds, boolean are all bounds interface types? allInterfaces) Make an intersection type from non-empty list of types.
private Type.WildcardType	makeSuperWildcard(Type the lower bound bound, Type.TypeVar the formal type parameter that will be substituted by the wildcard formal) Create a wildcard with the given lower (super) bound; create an unbounded wildcard if bound is bottom (type of `null`).
public Scope.CompoundScope	membersClosure(Type site, boolean skipInterface)
public Type	memberType(Type a type t, Symbol a symbol sym) The type of given symbol, seen as a member of t.
private Type	merge(Type c1, Type c2)
public Optional<Symbol>	mergeAbstracts(List<Symbol> ambiguousInOrder, Type site, boolean sigCheck) Merge multiple abstract methods.
public List<Type>	newInstances(List<Type> tvars) Create new vector of type variables from list of variables changing all recursive bounds from old to new list.
public void	newRound()
public boolean	notSoftSubtype(Type t, Type s) This relation answers the question: is impossible that something of type `t' can be a subtype of `s'?
public Symbol	overriddenObjectMethod(Symbol.TypeSymbol origin, Symbol msym)
public boolean	Returns: true if either argument is a subsignature of the other. overrideEquivalent(Type a signature (possible raw, could be subjected to erasure). t, Type a signature (possible raw, could be subjected to erasure). s) Returns true iff these signatures are related by override equivalence.
public boolean	overridesObjectMethod(Symbol.TypeSymbol origin, Symbol msym)
private boolean	pendingBridges(Symbol.ClassSymbol origin, Symbol.TypeSymbol s)
public List<Symbol.MethodSymbol>	prune(List<Symbol.MethodSymbol> methods)
public int	rank(Type t) The rank of a class is the length of the longest path between the class and java.lang.Object in the class inheritance graph.
private Type	relaxBound(Type t)
public Type	removeWildcards(Type site)
public boolean	resultSubtype(Type t, Type s, Warner warner) Does t have a result that is a subtype of the result type of s, suitable for covariant returns?
public boolean	returnTypeSubstitutable(Type r1, Type r2) Return-Type-Substitutable.
public boolean	returnTypeSubstitutable(Type r1, Type r2, Type r2res, Warner warner)
private Type	Returns: the type rewritten with wildcards (existential quantifiers) only rewriteQuantifiers(Type a type t, boolean if true return an upper bound; otherwise a lower bound high, boolean only rewrite captured wildcards if false; otherwise rewrite all type variables rewriteTypeVars) Rewrite all type variables (universal quantifiers) in the given type to wildcards (existential quantifiers).
public void	setBounds(Type.TypeVar a type variable t, List<Type> the bounds, must be nonempty bounds) Same as `Types#setBounds(TypeVar, List, boolean)`, except that third parameter is computed directly, as follows: if all all bounds are interface types, the computed supertype is Object,otherwise the supertype is simply left null (in this case, the supertype is assumed to be the head of the bound list passed as second argument).
public void	setBounds(Type.TypeVar a type variable t, List<Type> the bounds, must be nonempty bounds, boolean are all bounds interface types? allInterfaces) Set the bounds field of the given type variable to reflect a (possibly multiple) list of bounds.
private boolean	sideCast(Type from, Type to, Warner warn)
private boolean	sideCastFinal(Type from, Type to, Warner warn)
public Type	skipTypeVars(Type site, boolean capture) Recursively skip type-variables until a class/array type is found; capture conversion is then (optionally) applied to the resulting type.
public List<Type>	subst(List<Type> ts, List<Type> from, List<Type> to)
public Type	subst(Type t, List<Type> from, List<Type> to) Substitute all occurrences of a type in `from' with the corresponding type in `to' in 't'.
public Type.TypeVar	substBound(Type.TypeVar t, List<Type> from, List<Type> to)
public List<Type>	substBounds(List<Type> tvars, List<Type> from, List<Type> to)
public Type	supertype(Type t)
private List<Type>	supertypeClosure(Type t, Type s)
public String	toString(Type t, Locale locale) Helper method for generating a string representation of a given type accordingly to a given locale
public String	toString(Symbol t, Locale locale) Helper method for generating a string representation of a given type accordingly to a given locale
public String	toString(Type t) Deprecated Types.toString(Type t, Locale l) provides better support for localization This toString is slightly more descriptive than the one on Type.
private String	typaramsString(List<Type> tvars)
public Type	unboxedType(Type t) Return the primitive type corresponding to a boxed type.
public Type	unboxedTypeOrType(Type t) Return the unboxed type if 't' is a boxed class, otherwise return 't' itself.
public List<Type>	union(List<Type> cl1, List<Type> cl2, BiPredicate<Type, Type> shouldSkip) Form the union of two closures
public List<Type>	union(List<Type> cl1, List<Type> cl2)
public Type	Returns: the type obtained as result of the projection upward(Type the type to be projected t, List<Type> the set of type variables to be mapped vars) Computes an upward projection of given type, and vars.
public Type	wildLowerBound(Type a type argument, either a wildcard or a type t) Get a wildcard's lower bound, returning non-wildcards unchanged.
public Type	wildUpperBound(Type a type argument, either a wildcard or a type t) Get a wildcard's upper bound, returning non-wildcards unchanged.

Inherited from java.lang.Object:: clone equals finalize getClass hashCode notify notifyAll toString wait wait wait

public Class Types

Nested and Inner Type Summary

Field Summary

Constructor Summary

Method Summary