com.sun.tools.javac.code.Types.AdaptFailure, com.sun.tools.javac.code.Types.DefaultSymbolVisitor<R,S>, com.sun.tools.javac.code.Types.DefaultTypeVisitor<R,S>, com.sun.tools.javac.code.Types.FunctionDescriptorLookupError, com.sun.tools.javac.code.Types.MapVisitor<S>, com.sun.tools.javac.code.Types.SignatureGenerator, com.sun.tools.javac.code.Types.SimpleVisitor<R,S>, com.sun.tools.javac.code.Types.TypeRelation, com.sun.tools.javac.code.Types.UnaryVisitor<R>, com.sun.tools.javac.code.Types.UniqueType
CACHED_PAIRS
Modifier and Type | Method and Description |
---|---|
com.sun.tools.javac.code.Symbol.MethodSymbol |
implementation(com.sun.tools.javac.code.Symbol.MethodSymbol ms,
com.sun.tools.javac.code.Symbol.TypeSymbol origin,
boolean checkResult,
com.sun.tools.javac.util.Filter<com.sun.tools.javac.code.Symbol> implFilter)
Override to keep track of when/if implementation() is in scope, if ManTypes#memberType() should not try to
substitute the qualifier type for @Self because the qualifier is not really a call site, rather it is the
declaring class of the method being checked for override etc.
|
static com.sun.tools.javac.code.Types |
instance(com.sun.tools.javac.util.Context ctx) |
boolean |
isAssignable(com.sun.tools.javac.code.Type from,
com.sun.tools.javac.code.Type to,
com.sun.tools.javac.util.Warner warn) |
boolean |
isAssignableToAnyAnnotation(com.sun.tools.javac.code.Type from,
com.sun.tools.javac.code.Type to) |
boolean |
isCastable(com.sun.tools.javac.code.Type t,
com.sun.tools.javac.code.Type s,
com.sun.tools.javac.util.Warner warn) |
boolean |
isConvertible(com.sun.tools.javac.code.Type t,
com.sun.tools.javac.code.Type s,
com.sun.tools.javac.util.Warner warn) |
boolean |
isNullType(com.sun.tools.javac.code.Type t) |
boolean |
isSubtype(com.sun.tools.javac.code.Type t,
com.sun.tools.javac.code.Type s,
boolean capture) |
boolean |
isSuperType(com.sun.tools.javac.code.Type t,
com.sun.tools.javac.code.Type s) |
com.sun.tools.javac.code.Type |
memberType(com.sun.tools.javac.code.Type qualifier,
com.sun.tools.javac.code.Symbol memberSym) |
boolean |
resultSubtype(com.sun.tools.javac.code.Type t,
com.sun.tools.javac.code.Type s,
com.sun.tools.javac.util.Warner warner) |
boolean |
returnTypeSubstitutable(com.sun.tools.javac.code.Type r1,
com.sun.tools.javac.code.Type r2,
com.sun.tools.javac.code.Type r2res,
com.sun.tools.javac.util.Warner warner) |
com.sun.tools.javac.code.Types |
types() |
adapt, asEnclosingSuper, asOuterSuper, asSub, asSuper, boxedClass, boxedTypeOrType, capture, capture, classBound, closure, containedBy, containsType, containsTypeEquivalent, covariantReturnType, createErrorType, createErrorType, createErrorType, createMethodTypeWithParameters, createMethodTypeWithReturn, createMethodTypeWithThrown, cvarLowerBound, cvarLowerBounds, cvarUpperBound, dimensions, directSupertypes, disjointType, disjointTypes, elemtype, elemtypeOrType, erasure, erasure, erasureRecursive, erasureRecursive, findDescriptorSymbol, findDescriptorType, firstUnimplementedAbstract, freshTypeVariables, functionalInterfaceBridges, getBounds, getRetention, getRetention, glb, glb, hashCode, hasSameArgs, hasSameArgs, hasSameBounds, insert, interfaceCandidates, interfaces, intersect, isArray, isAssignable, isCaptureOf, isCastable, isConvertible, isDerivedRaw, isDerivedRaw, isDerivedRawInternal, isDirectSuperInterface, isEqualityComparable, isFunctionalInterface, isFunctionalInterface, isReifiable, isSameAnnotatedType, isSameType, isSameType, isSameTypes, isSameTypes, isSameWildcard, isSignaturePolymorphic, isSubSignature, isSubSignature, isSubtype, isSubtypeNoCapture, isSubtypes, isSubtypesUnchecked, isSubtypeUnchecked, isSubtypeUnchecked, isSubtypeUnchecked, isUnbounded, lub, lub, makeArrayType, makeFunctionalInterfaceClass, makeIntersectionType, makeIntersectionType, makeIntersectionType, membersClosure, newInstances, notSoftSubtype, overrideEquivalent, overridesObjectMethod, prune, rank, removeWildcards, returnTypeSubstitutable, setBounds, setBounds, subst, subst, substBound, substBounds, supertype, toString, toString, toString, unboxedType, unboxedTypeOrType, union, wildLowerBound, wildUpperBound
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
_isAssignableToStructuralType, eraseTypeVars, getAllFields, getAllMethods, hasStructurallyEquivalentArgs, isAssignableToStructuralType, isGetterMatch, isGetterRecordAccessorMatch, isSetterFieldMatch, isStructuralMatch, verifyTuple
public static com.sun.tools.javac.code.Types instance(com.sun.tools.javac.util.Context ctx)
public boolean isAssignable(com.sun.tools.javac.code.Type from, com.sun.tools.javac.code.Type to, com.sun.tools.javac.util.Warner warn)
isAssignable
in class com.sun.tools.javac.code.Types
public boolean isAssignableToAnyAnnotation(com.sun.tools.javac.code.Type from, com.sun.tools.javac.code.Type to)
public boolean isNullType(com.sun.tools.javac.code.Type t)
public com.sun.tools.javac.code.Type memberType(com.sun.tools.javac.code.Type qualifier, com.sun.tools.javac.code.Symbol memberSym)
memberType
in class com.sun.tools.javac.code.Types
public boolean returnTypeSubstitutable(com.sun.tools.javac.code.Type r1, com.sun.tools.javac.code.Type r2, com.sun.tools.javac.code.Type r2res, com.sun.tools.javac.util.Warner warner)
returnTypeSubstitutable
in class com.sun.tools.javac.code.Types
public boolean resultSubtype(com.sun.tools.javac.code.Type t, com.sun.tools.javac.code.Type s, com.sun.tools.javac.util.Warner warner)
resultSubtype
in class com.sun.tools.javac.code.Types
public boolean isConvertible(com.sun.tools.javac.code.Type t, com.sun.tools.javac.code.Type s, com.sun.tools.javac.util.Warner warn)
isConvertible
in class com.sun.tools.javac.code.Types
public boolean isSubtype(com.sun.tools.javac.code.Type t, com.sun.tools.javac.code.Type s, boolean capture)
isSubtype
in class com.sun.tools.javac.code.Types
public boolean isSuperType(com.sun.tools.javac.code.Type t, com.sun.tools.javac.code.Type s)
isSuperType
in class com.sun.tools.javac.code.Types
public boolean isCastable(com.sun.tools.javac.code.Type t, com.sun.tools.javac.code.Type s, com.sun.tools.javac.util.Warner warn)
isCastable
in class com.sun.tools.javac.code.Types
public com.sun.tools.javac.code.Symbol.MethodSymbol implementation(com.sun.tools.javac.code.Symbol.MethodSymbol ms, com.sun.tools.javac.code.Symbol.TypeSymbol origin, boolean checkResult, com.sun.tools.javac.util.Filter<com.sun.tools.javac.code.Symbol> implFilter)
implementation
in class com.sun.tools.javac.code.Types
Copyright © 2024. All rights reserved.