manifold.internal.javac

Class ManTypes_8

java.lang.Object

com.sun.tools.javac.code.Types

manifold.internal.javac.ManTypes_8

All Implemented Interfaces:

ManTypes

public class ManTypes_8
extends com.sun.tools.javac.code.Types
implements ManTypes

Nested Class Summary

Nested classes/interfaces inherited from class com.sun.tools.javac.code.Types

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

Field Summary

Fields inherited from class com.sun.tools.javac.code.Types

noWarnings, typesKey

Fields inherited from interface manifold.internal.javac.ManTypes

CACHED_PAIRS

Method Summary

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()

Methods inherited from class com.sun.tools.javac.code.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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface manifold.internal.javac.ManTypes

_isAssignableToStructuralType, eraseTypeVars, getAllFields, getAllMethods, hasStructurallyEquivalentArgs, isAssignableToStructuralType, isGetterMatch, isGetterRecordAccessorMatch, isSetterFieldMatch, isStructuralMatch, verifyTuple

Method Detail

instance

public static com.sun.tools.javac.code.Types instance(com.sun.tools.javac.util.Context ctx)

types

public com.sun.tools.javac.code.Types types()

Specified by:

types in interface ManTypes

isAssignable

public boolean isAssignable(com.sun.tools.javac.code.Type from,
                            com.sun.tools.javac.code.Type to,
                            com.sun.tools.javac.util.Warner warn)

Overrides:

isAssignable in class com.sun.tools.javac.code.Types

isAssignableToAnyAnnotation

public boolean isAssignableToAnyAnnotation(com.sun.tools.javac.code.Type from,
                                           com.sun.tools.javac.code.Type to)

isNullType

public boolean isNullType(com.sun.tools.javac.code.Type t)

memberType

public com.sun.tools.javac.code.Type memberType(com.sun.tools.javac.code.Type qualifier,
                                                com.sun.tools.javac.code.Symbol memberSym)

Overrides:

memberType in class com.sun.tools.javac.code.Types

returnTypeSubstitutable

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)

Overrides:

returnTypeSubstitutable in class com.sun.tools.javac.code.Types

resultSubtype

public boolean resultSubtype(com.sun.tools.javac.code.Type t,
                             com.sun.tools.javac.code.Type s,
                             com.sun.tools.javac.util.Warner warner)

Overrides:

resultSubtype in class com.sun.tools.javac.code.Types

isConvertible

public boolean isConvertible(com.sun.tools.javac.code.Type t,
                             com.sun.tools.javac.code.Type s,
                             com.sun.tools.javac.util.Warner warn)

Overrides:

isConvertible in class com.sun.tools.javac.code.Types

isSubtype

public boolean isSubtype(com.sun.tools.javac.code.Type t,
                         com.sun.tools.javac.code.Type s,
                         boolean capture)

Overrides:

isSubtype in class com.sun.tools.javac.code.Types

isSuperType

public boolean isSuperType(com.sun.tools.javac.code.Type t,
                           com.sun.tools.javac.code.Type s)

Overrides:

isSuperType in class com.sun.tools.javac.code.Types

isCastable

public boolean isCastable(com.sun.tools.javac.code.Type t,
                          com.sun.tools.javac.code.Type s,
                          com.sun.tools.javac.util.Warner warn)

Overrides:

isCastable in class com.sun.tools.javac.code.Types

implementation

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)

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. Thus we need to let the normal signature flow through.

Overrides:

implementation in class com.sun.tools.javac.code.Types