com.google.javascript.rhino.jstype

Class NoResolvedType

java.lang.Object

com.google.javascript.rhino.jstype.JSType

com.google.javascript.rhino.jstype.ObjectType

com.google.javascript.rhino.jstype.PrototypeObjectType

com.google.javascript.rhino.jstype.FunctionType

com.google.javascript.rhino.jstype.NoObjectType

com.google.javascript.rhino.jstype.NoType

com.google.javascript.rhino.jstype.NoResolvedType

All Implemented Interfaces:

FunctionTypeI, ObjectTypeI, TypeI, Serializable

public class NoResolvedType
extends NoType

An unresolved type that was forward declared. So we know it exists, but that it wasn't pulled into this binary. In most cases, it behaves like a bottom type in the type lattice: no real type should be assigned to a NoResolvedType, but the NoResolvedType is a subtype of everything. In a few cases, it behaves like the unknown type: properties of this type are also NoResolved types, and comparisons to other types always have an unknown result.

Author:

nicksantos@google.com (Nick Santos)

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class com.google.javascript.rhino.jstype.JSType

JSType.SubtypingMode, JSType.TypePair

Nested classes/interfaces inherited from interface com.google.javascript.rhino.TypeI

TypeI.Nullability, TypeI.TypeInference

Field Summary

Fields inherited from class com.google.javascript.rhino.jstype.JSType

templateTypeMap

Method Summary

Modifier and Type	Method and Description
String	getReferenceName() Gets the reference name for this object.
com.google.common.collect.ImmutableList<JSType>	getTemplateTypes() Gets the declared default element type.
boolean	isConstructor() Whether this type is a FunctionType that is a constructor or a named type that points to such a type.
boolean	isNoResolvedType()
boolean	isNoType()
boolean	isSubtype(JSType that) A function is a subtype of another if their call methods are related via subtyping and this is a subtype of that with regard to the prototype chain.
protected boolean	isSubtype(JSType that, com.google.javascript.rhino.jstype.JSType.ImplCache implicitImplCache, JSType.SubtypingMode subtypingMode) checking isSubtype with structural interface matching

Methods inherited from class com.google.javascript.rhino.jstype.NoType

getPossibleToBooleanOutcomes, isNoObjectType, isNullable, isVoidable, matchesNumberContext, matchesObjectContext, matchesStringContext, visit

Methods inherited from class com.google.javascript.rhino.jstype.NoObjectType

getConstructor, getImplicitPrototype, hashCode, hasReferenceName, removeProperty, setPropertyJSDocInfo, toMaybeFunctionType

Methods inherited from class com.google.javascript.rhino.jstype.FunctionType

acceptsArguments, canBeCalled, checkExtendsLoop, checkExtendsLoop, clearCachedValues, convertMethodToFunction, explicitlyImplOrExtInterface, extendTemplateTypeMapBasedOn, forgetParameterAndReturnTypes, getAllImplementedInterfaces, getAncestorInterfaces, getBindReturnType, getDirectSubTypes, getExtendedInterfaces, getExtendedInterfacesCount, getImplementedInterfaces, getInstanceType, getMaxArity, getMinArity, getOwnImplementedInterfaces, getOwnPropertyNames, getParameters, getParametersNode, getParameterTypes, getPropertyType, getPropertyTypeMap, getPrototype, getPrototypeProperty, getReturnType, getSlot, getSource, getSuperClassConstructor, getTopMostDefiningType, getTypeOfThis, hasAnyTemplateTypesInternal, hasCachedValues, hasEqualCallType, hasImplementedInterfaces, hasInstanceType, hasProperties, isAbstract, isInstanceType, isInterface, isOrdinaryFunction, isReturnTypeInferred, isStructuralInterface, makesDicts, makesStructs, setDict, setExtendedInterfaces, setImplementedInterfaces, setImplicitMatch, setPrototypeBasedOn, setSource, setStruct, toDebugHashCodeString, withReturnType

Methods inherited from class com.google.javascript.rhino.jstype.PrototypeObjectType

getCtorExtendedInterfaces, getCtorImplementedInterfaces, getOwnerFunction, isAnonymous, isNativeObjectType, matchConstraint, matchRecordTypeConstraint, setPropertyNode, unboxesTo

Methods inherited from class com.google.javascript.rhino.jstype.ObjectType

cast, createDelegateSuffix, defineDeclaredProperty, defineInferredProperty, defineSynthesizedProperty, findPropertyType, getDisplayName, getEnumeratedTypeOfEnumObject, getJSDocInfo, getLegacyResolvedType, getNormalizedReferenceName, getOwnPropertyDefSite, getOwnPropertyJSDocInfo, getOwnSlot, getParentScope, getPropertiesCount, getPropertyDefSite, getPropertyJSDocInfo, getPropertyNames, getPropertyNode, getPrototypeObject, getRawType, getRootNode, getTopDefiningInterface, hasOwnProperty, hasProperty, instantiateGenericsWithUnknown, isAmbiguousObject, isFunctionPrototypeType, isObject, isPropertyInExterns, isPropertyTypeDeclared, isPropertyTypeInferred, isStructuralType, isUnknownType, normalizeObjectForCheckAccessControls, setJSDocInfo, testForEquality

Methods inherited from class com.google.javascript.rhino.jstype.JSType

autobox, autoboxAndGetObject, autoboxesTo, canCastTo, canTestForEqualityWith, canTestForShallowEqualityWith, collapseUnion, containsArray, dereference, differsFrom, equals, extendTemplateTypeMap, getEnumeratedTypeOfEnumElement, getGreatestSubtype, getGreatestSubtypeWithProperty, getLeastSupertype, getRestrictedTypeGivenToBooleanOutcome, getTemplateTypeMap, getTypeParameters, getTypesUnderEquality, getTypesUnderInequality, getTypesUnderShallowEquality, getTypesUnderShallowInequality, getUnionMembers, hasAnyTemplateTypes, hasDisplayName, isAllType, isArrayType, isBooleanObjectType, isBooleanValueType, isBottom, isBoxableScalar, isCheckedUnknownType, isDateType, isDict, isEmptyType, isEnumElement, isEnumElementType, isEnumObject, isEnumType, isEquivalent, isEquivalentTo, isEquivalentTo, isExplicitlyVoidable, isFullyInstantiated, isFunctionType, isGenericObjectType, isGlobalThisType, isInstanceofObject, isLegacyNamedType, isLiteralObject, isNamedType, isNominalConstructor, isNominalType, isNullType, isNumber, isNumberObjectType, isNumberValueType, isObjectType, isPartiallyInstantiated, isPrototypeObject, isRecordType, isRegexpType, isResolved, isSomeUnknownType, isString, isStringObjectType, isStringValueType, isStruct, isSubtype, isSubtypeOf, isSubtypeWithoutStructuralTyping, isTemplateType, isTemplatizedType, isTop, isTypeVariable, isUnionType, isUnresolved, isUnresolvedOrResolvedUnknown, isVoidType, matchesInt32Context, matchesUint32Context, meetWith, resolve, restrictByNotNullOrUndefined, setValidator, toAnnotationString, toMaybeEnumElementType, toMaybeEnumType, toMaybeFunctionType, toMaybeNamedType, toMaybeObjectType, toMaybeRecordType, toMaybeTemplateType, toMaybeTemplatizedType, toMaybeUnionType, toObjectType, toString, typeInference

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.google.javascript.rhino.TypeI

autobox, autoboxAndGetObject, containsArray, getDisplayName, getEnumeratedTypeOfEnumElement, getGreatestSubtypeWithProperty, getJSDocInfo, getTypeParameters, getUnionMembers, isBooleanValueType, isBottom, isBoxableScalar, isEnumElement, isEnumObject, isEquivalentTo, isFullyInstantiated, isFunctionType, isGenericObjectType, isInstanceofObject, isLiteralObject, isNullType, isNumberValueType, isObjectType, isPartiallyInstantiated, isPrototypeObject, isRecordType, isSomeUnknownType, isStringValueType, isSubtypeOf, isSubtypeWithoutStructuralTyping, isTop, isTypeVariable, isUnionType, isUnknownType, isUnresolved, isUnresolvedOrResolvedUnknown, isVoidType, meetWith, restrictByNotNullOrUndefined, toAnnotationString, toMaybeObjectType, typeInference

Methods inherited from interface com.google.javascript.rhino.ObjectTypeI

isLegacyNamedType

Method Detail

getReferenceName

@Nullable
public String getReferenceName()

Description copied from class: ObjectType

Gets the reference name for this object. This includes named types like constructors, prototypes, and enums. It notably does not include literal types like strings and booleans and structural types.

Specified by:

getReferenceName in interface FunctionTypeI

Overrides:

getReferenceName in class NoObjectType

Returns:

the object's name or null if this is an anonymous object

getTemplateTypes

@Nullable
public com.google.common.collect.ImmutableList<JSType> getTemplateTypes()

Description copied from class: ObjectType

Gets the declared default element type.

Specified by:

getTemplateTypes in interface ObjectTypeI

Overrides:

getTemplateTypes in class ObjectType

Returns:

Returns null if this type is not generic. TODO(dimvar): this could have a better name, but it's used by non-compiler code. Rename in a follow-up CL. TODO(dimvar): After deleting the old type checker, change the signature of this and other methods in TypeI to stop using wildcards.

See Also:

TemplatizedType

isNoResolvedType

public boolean isNoResolvedType()

Overrides:

isNoResolvedType in class JSType

isNoType

public boolean isNoType()

Overrides:

isNoType in class NoType

isConstructor

public boolean isConstructor()

Description copied from class: JSType

Whether this type is a FunctionType that is a constructor or a named type that points to such a type.

Specified by:

isConstructor in interface TypeI

Overrides:

isConstructor in class NoObjectType

isSubtype

public boolean isSubtype(JSType that)

Description copied from class: FunctionType

A function is a subtype of another if their call methods are related via subtyping and this is a subtype of that with regard to the prototype chain.

Overrides:

isSubtype in class NoType

Returns:

this <: that

isSubtype

protected boolean isSubtype(JSType that,
                            com.google.javascript.rhino.jstype.JSType.ImplCache implicitImplCache,
                            JSType.SubtypingMode subtypingMode)

Description copied from class: JSType

checking isSubtype with structural interface matching

Overrides:

isSubtype in class NoType

implicitImplCache - a cache that records the checked or currently checking type pairs, for example, if previous checking found that constructor C is a subtype of interface I, then in the cache, table key <I,C> maps to IMPLEMENT status.