Package com.google.javascript.rhino.jstype

Class NoType

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

All Implemented Interfaces:

JSType.WithSourceRef

public class NoType
extends NoObjectType

Bottom type, representing the subclass of any value or object. Although JavaScript programmers can't explicitly denote the bottom type, it comes up in static analysis. For example, if we have: var x = null; if (x) { f(x); } We need to be able to assign x a type within the f(x) call. Since it has no possible type, we assign x the NoType, so that f(x) is legal no matter what the type of f's first argument is.

See Also:

• Bottom types

Nested Class Summary

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

FunctionType.Builder, FunctionType.Parameter

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

JSType.HasPropertyKind, JSType.Nullability, JSType.SubtypingMode, JSType.TypePair, JSType.WithSourceRef

Field Summary

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

templateTypeMap

Method Summary

Modifier and Type	Method	Description
final BooleanLiteralSet	getPossibleToBooleanOutcomes()	Computes the set of possible outcomes of the ToBoolean predicate for this type.
final boolean	isNoObjectType()
boolean	isNoType()
final boolean	isNullable()	Tests whether this type is nullable.
final boolean	isVoidable()	Tests whether this type is voidable.
final <T> T	visit(Visitor<T> visitor)	Visit this type with the given visitor.

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

getConstructor, getImplicitPrototype, getReferenceName, matchesNumberContext, matchesObjectContext, matchesStringContext, matchesSymbolContext, setPropertyJSDocInfo, toMaybeFunctionType

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

acceptsArguments, builder, canBeCalled, checkExtendsLoop, clearCachedValues, forgetParameterAndReturnTypes, getAllImplementedInterfaces, getAncestorInterfaces, getBindReturnType, getCanonicalRepresentation, getClosurePrimitive, getConstructorOnlyTemplateParameters, getExtendedInterfaces, getExtendedInterfacesCount, getGoogModuleId, getImplementedInterfaces, getInstanceType, getMaxArity, getMinArity, getOwnImplementedInterfaces, getOwnPropertyNames, getParameters, getPropertyType, getPropertyTypeMap, getPrototype, getPrototypeProperty, getReturnType, getSlot, getSource, getSuperClassConstructor, getTypeOfThis, hasCachedValues, hasEqualCallType, hasImplementedInterfaces, hasInstanceType, hasProperties, isAbstract, isAmbiguousConstructor, isConstructor, isInstanceType, isInterface, isOrdinaryFunction, isReturnTypeInferred, isStructuralInterface, makesDicts, makesStructs, setDict, setExplicitUnrestricted, setExtendedInterfaces, setImplementedInterfaces, setImplicitMatch, setPrototypeBasedOn, setSource, setStruct, toBuilder

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

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

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

cast, createDelegateSuffix, defineDeclaredProperty, defineInferredProperty, defineSynthesizedProperty, findClosestDefinition, findPropertyTypeWithoutConsideringTemplateTypes, getClosestDefiningType, getDisplayName, getEnumeratedTypeOfEnumObject, getImplicitPrototypeChain, getJSDocInfo, getNormalizedReferenceName, getOwnPropertyDefSite, getOwnPropertyJSDocInfo, getOwnPropertyKind, getOwnSlot, getPropertiesCount, getPropertyDefSite, getPropertyJSDocInfo, getPropertyKind, getPropertyNames, getPropertyNode, getRawType, getTemplateTypes, hasOwnDeclaredProperty, hasOwnProperty, hasReferenceName, isFunctionPrototypeType, isObject, isPropertyInExterns, isPropertyTypeDeclared, isPropertyTypeInferred, isStructuralType, isUnknownType, setJSDocInfo, testForEquality

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

areSimilar, assertFunctionType, assertObjectType, autobox, autoboxesTo, canCastTo, canTestForEqualityWith, canTestForShallowEqualityWith, collapseUnion, containsReferenceAncestor, dereference, differsFrom, equals, findPropertyType, getEnumeratedTypeOfEnumElement, getGreatestSubtype, getLeastSupertype, getPropertyKind, getRestrictedTypeGivenOutcome, getTemplateTypeMap, getTypeParameters, getTypesUnderEquality, getTypesUnderInequality, getTypesUnderShallowEquality, getTypesUnderShallowInequality, getUnionMembers, hasAnyTemplateTypes, hasDisplayName, hashCode, hasProperty, isAllType, isArrayType, isBigIntObjectType, isBigIntOrNumber, isBigIntValueType, isBooleanObjectType, isBooleanValueType, isBoxableScalar, isCheckedUnknownType, isDateType, isDict, isEmptyType, isEnumElementType, isEnumType, isExplicitlyVoidable, isFunctionType, isGlobalThisType, isLiteralObject, isNamedType, isNominalConstructorOrInterface, isNominalType, isNoResolvedType, isNullType, isNumber, isNumberObjectType, isNumberValueType, isObjectType, isOnlyBigInt, isRawTypeOfTemplatizedType, isReadonlyArrayType, isRecordType, isRegexpType, isResolved, isSomeUnknownType, isString, isStringObjectType, isStringValueType, isStruct, isSubtype, isSubtype, isSubtypeOf, isSubtypeOf, isSubtypeWithoutStructuralTyping, isSuccessfullyResolved, isSymbol, isSymbolObjectType, isSymbolValueType, isTemplateType, isTemplatizedType, isUnionType, isUnsuccessfullyResolved, isVoidType, loosenTypecheckingDueToForwardReferencedSupertype, mergeSupertypeTemplateTypes, resolve, restrictByNotNull, restrictByNotNullOrUndefined, restrictByNotUndefined, setValidator, toAnnotationString, toMaybeEnumElementType, toMaybeEnumType, toMaybeFunctionType, toMaybeNamedType, toMaybeObjectType, toMaybeRecordType, toMaybeTemplateType, toMaybeTemplatizedType, toMaybeUnionType, toObjectType, toString

Methods inherited from class java.lang.Object

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

Method Details

isNoObjectType

public final boolean isNoObjectType()

Overrides:

isNoObjectType in class NoObjectType

isNoType

public boolean isNoType()

Overrides:

isNoType in class JSType

isNullable

public final boolean isNullable()

Description copied from class: JSType

Tests whether this type is nullable.

Overrides:

isNullable in class JSType

isVoidable

public final boolean isVoidable()

Description copied from class: JSType

Tests whether this type is voidable.

Overrides:

isVoidable in class JSType

getPossibleToBooleanOutcomes

public final BooleanLiteralSet getPossibleToBooleanOutcomes()

Description copied from class: JSType

Computes the set of possible outcomes of the ToBoolean predicate for this type. The ToBoolean predicate is defined by the ECMA-262 standard, 3^rd edition. Its behavior for simple types can be summarized by the following table:

ToBoolean results by input type

type	result
undefined	{false}
null	{false}
boolean	{true, false}
number	{true, false}
string	{true, false}
Object	{true}

Overrides:

getPossibleToBooleanOutcomes in class ObjectType

Returns:

the set of boolean literals for this type

visit

public final <T> T visit(Visitor<T> visitor)

Description copied from class: JSType

Visit this type with the given visitor.

Overrides:

visit in class NoObjectType

Returns:

the value returned by the visitor

See Also:

• Visitor