public class NoType extends NoObjectType
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.JSType.EqCache, JSType.ImplCache, JSType.MatchStatus, JSType.TypePair
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
ALPHA, registry, templateTypeMap
Constructor and Description |
---|
NoType(JSTypeRegistry registry) |
Modifier and Type | Method and Description |
---|---|
BooleanLiteralSet |
getPossibleToBooleanOutcomes()
Computes the set of possible outcomes of the
ToBoolean predicate
for this type. |
boolean |
isNoObjectType() |
boolean |
isNoType() |
boolean |
isNullable()
Tests whether this type is nullable.
|
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,
JSType.ImplCache implicitImplCache)
checking isSubtype with structural interface matching
|
boolean |
matchesNumberContext()
This predicate is used to test whether a given type can appear in a
numeric context, such as an operand of a multiply operator.
|
boolean |
matchesObjectContext()
This predicate is used to test whether a given type can appear in an
Object context, such as the expression in a with statement. |
boolean |
matchesStringContext()
This predicate is used to test whether a given type can appear in a
String context, such as an operand of a string concat (+) operator. |
(package private) java.lang.String |
toStringHelper(boolean forAnnotations)
Informally, a function is represented by
function (params): returnType where the params is a comma
separated list of types, the first one being a special
this:T if the function expects a known type for this . |
(package private) <T> T |
visit(RelationshipVisitor<T> visitor,
JSType that)
Visit the types with the given visitor.
|
<T> T |
visit(Visitor<T> visitor)
Visit this type with the given visitor.
|
defineProperty, getConstructor, getImplicitPrototype, getReferenceName, hashCode, hasReferenceName, removeProperty, resolveInternal, setPropertyJSDocInfo, toMaybeFunctionType
addSubTypeIfNotPresent, canBeCalled, checkExtendsLoop, checkExtendsLoop, checkFunctionEquivalenceHelper, clearCachedValues, convertMethodToFunction, explicitlyImplOrExtInterface, extendTemplateTypeMapBasedOn, forgetParameterAndReturnTypes, forInterface, getAllImplementedInterfaces, getBindReturnType, getExtendedInterfaces, getExtendedInterfacesCount, getImplementedInterfaces, getInstanceType, getInternalArrowType, getMaxArguments, getMinArguments, getOwnImplementedInterfaces, getOwnPropertyNames, getParameters, getParametersNode, getPropertyType, getPropertyTypeMap, getPrototype, getReturnType, getSlot, getSource, getSubTypes, getSuperClassConstructor, getTopDefiningInterface, getTopMostDefiningType, getTypeOfThis, hasAnyTemplateTypesInternal, hasCachedValues, hasEqualCallType, hasImplementedInterfaces, hasInstanceType, hasProperties, isConstructor, isInstanceType, isInterface, isOrdinaryFunction, isReturnTypeInferred, isStructuralInterface, makesDicts, makesStructs, setDict, setExtendedInterfaces, setImplementedInterfaces, setImplicitMatch, setInstanceType, setPrototype, setPrototypeBasedOn, setPrototypeBasedOn, setSource, setStruct, supAndInfHelper, toDebugHashCodeString, treatThisTypesAsCovariant
getCtorExtendedInterfaces, getCtorImplementedInterfaces, getOwnerFunction, getPropertyMap, isAnonymous, isNativeObjectType, isPrettyPrint, isSubtype, matchConstraint, matchRecordTypeConstraint, setImplicitPrototype, setOwnerFunction, setPrettyPrint, setPropertyNode, unboxesTo
cast, checkStructuralEquivalenceHelper, collectPropertyNames, createDelegateSuffix, defineDeclaredProperty, defineInferredProperty, defineSynthesizedProperty, detectImplicitPrototypeCycle, detectInheritanceCycle, findPropertyType, getDisplayName, getJSDocInfo, getNormalizedReferenceName, getOwnPropertyJSDocInfo, getOwnSlot, getParentScope, getPropertiesCount, getPropertyNames, getPropertyNode, getRootNode, getTemplateTypes, hasOwnDeclaredProperty, hasOwnProperty, hasProperty, isFunctionPrototypeType, isImplicitPrototype, isObject, isPropertyInExterns, isPropertyTypeDeclared, isPropertyTypeInferred, isStructuralSubtype, isStructuralType, isUnknownType, setJSDocInfo, testForEquality
autobox, autoboxesTo, canCastTo, canTestForEqualityWith, canTestForShallowEqualityWith, checkEquivalenceHelper, checkEquivalenceHelper, collapseUnion, dereference, differsFrom, equals, extendTemplateTypeMap, filterNoResolvedType, getGreatestSubtype, getGreatestSubtype, getLeastSupertype, getLeastSupertype, getNativeType, getRestrictedTypeGivenToBooleanOutcome, getTemplateTypeMap, getTypesUnderEquality, getTypesUnderInequality, getTypesUnderShallowEquality, getTypesUnderShallowInequality, hasAnyTemplateTypes, hasDisplayName, isAllType, isArrayType, isBooleanObjectType, isBooleanValueType, isBottom, isCheckedUnknownType, isDateType, isDict, isEmptyType, isEnumElementType, isEnumType, isEquivalent, isEquivalentTo, isEquivalentTo, isExemptFromTemplateTypeInvariance, isExplicitlyVoidable, isFunctionType, isGlobalThisType, isNamedType, isNominalConstructor, isNominalType, isNoResolvedType, isNullType, isNumber, isNumberObjectType, isNumberValueType, isRecordType, isRegexpType, isResolved, isString, isStringObjectType, isStringValueType, isStruct, isSubtypeHelper, isSubtypeOf, isSubtypeWithoutStructuralTyping, isTemplateType, isTemplatizedType, isTheObjectType, isUnionType, isVoidable, isVoidType, matchesInt32Context, matchesUint32Context, resolve, restrictByNotNullOrUndefined, safeResolve, setResolvedTypeInternal, setValidator, testForEqualityHelper, toAnnotationString, toMaybeEnumElementType, toMaybeEnumType, toMaybeFunctionType, toMaybeNamedType, toMaybeObjectType, toMaybeRecordType, toMaybeTemplateType, toMaybeTemplatizedType, toMaybeUnionType, toNonNullAnnotationString, toObjectType, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
isBottom, isEquivalentTo, isFunctionType, isSubtypeOf, isUnknownType, restrictByNotNullOrUndefined, toMaybeObjectType
private static final long serialVersionUID
NoType(JSTypeRegistry registry)
public boolean isNoObjectType()
isNoObjectType
in class NoObjectType
public boolean isNullable()
JSType
isNullable
in class JSType
public boolean isSubtype(JSType that)
FunctionType
this
is a subtype of that
with regard to
the prototype chain.isSubtype
in class NoObjectType
this <: that
protected boolean isSubtype(JSType that, JSType.ImplCache implicitImplCache)
JSType
isSubtype
in class NoObjectType
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.public BooleanLiteralSet getPossibleToBooleanOutcomes()
JSType
ToBoolean
predicate
for this type. The ToBoolean
predicate is defined by the ECMA-262
standard, 3rd edition. Its behavior for simple types can be
summarized by the following table:
type | result |
---|---|
undefined | {false} |
null | {false} |
boolean | {true, false} |
number | {true, false} |
string | {true, false} |
Object | {true} |
getPossibleToBooleanOutcomes
in class ObjectType
public boolean matchesNumberContext()
JSType
matchesNumberContext
in class NoObjectType
public boolean matchesObjectContext()
JSType
Object
context, such as the expression in a with statement.
Most types we will encounter, except notably null
, have at least
the potential for converting to Object
. Host defined objects can
get peculiar.matchesObjectContext
in class NoObjectType
public boolean matchesStringContext()
JSType
String
context, such as an operand of a string concat (+) operator.
All types have at least the potential for converting to String
.
When we add externally defined types, such as a browser OM, we may choose
to add types that do not automatically convert to String
.matchesStringContext
in class NoObjectType
public <T> T visit(Visitor<T> visitor)
JSType
visit
in class NoObjectType
Visitor
<T> T visit(RelationshipVisitor<T> visitor, JSType that)
JSType
visit
in class NoObjectType
RelationshipVisitor
java.lang.String toStringHelper(boolean forAnnotations)
FunctionType
function (params): returnType
where the params
is a comma
separated list of types, the first one being a special
this:T
if the function expects a known type for this
.toStringHelper
in class NoObjectType
forAnnotations
- Whether this is for use in code generator
annotations. Otherwise, it's for warnings.