public class VoidType extends ValueType
undefined value.JSType.EqCache, JSType.ImplCache, JSType.MatchStatus, JSType.TypePair| Modifier and Type | Field and Description |
|---|---|
private static long |
serialVersionUID |
ALPHA, registry, templateTypeMap| Constructor and Description |
|---|
VoidType(JSTypeRegistry registry) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getDisplayName()
Returns a user meaningful label for the JSType instance.
|
BooleanLiteralSet |
getPossibleToBooleanOutcomes()
Computes the set of possible outcomes of the
ToBoolean predicate
for this type. |
boolean |
isExplicitlyVoidable()
Tests whether this type explicitly allows undefined, as opposed to ? or *.
|
boolean |
isVoidType() |
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. |
JSType |
restrictByNotNullOrUndefined()
If this is a union type, returns a union type that does not include
the null or undefined type.
|
TernaryValue |
testForEquality(JSType that)
Compares
this and that. |
(package private) java.lang.String |
toStringHelper(boolean forAnnotations) |
<T> T |
visit(Visitor<T> visitor)
Visit this type with the given visitor.
|
hasDisplayName, resolveInternal, visitautobox, autoboxesTo, canBeCalled, canCastTo, canTestForEqualityWith, canTestForShallowEqualityWith, checkEquivalenceHelper, checkEquivalenceHelper, collapseUnion, dereference, differsFrom, equals, extendTemplateTypeMap, filterNoResolvedType, findPropertyType, getGreatestSubtype, getGreatestSubtype, getJSDocInfo, getLeastSupertype, getLeastSupertype, getNativeType, getRestrictedTypeGivenToBooleanOutcome, getTemplateTypeMap, getTypesUnderEquality, getTypesUnderInequality, getTypesUnderShallowEquality, getTypesUnderShallowInequality, hasAnyTemplateTypes, hasAnyTemplateTypesInternal, hashCode, hasProperty, isAllType, isArrayType, isBooleanObjectType, isBooleanValueType, isBottom, isCheckedUnknownType, isConstructor, isDateType, isDict, isEmptyType, isEnumElementType, isEnumType, isEquivalent, isEquivalentTo, isEquivalentTo, isExemptFromTemplateTypeInvariance, isFunctionPrototypeType, isFunctionType, isGlobalThisType, isInstanceType, isInterface, isNamedType, isNominalConstructor, isNominalType, isNoObjectType, isNoResolvedType, isNoType, isNullable, isNullType, isNumber, isNumberObjectType, isNumberValueType, isObject, isOrdinaryFunction, isRecordType, isRegexpType, isResolved, isString, isStringObjectType, isStringValueType, isStruct, isStructuralInterface, isStructuralType, isSubtype, isSubtype, isSubtypeHelper, isSubtypeOf, isSubtypeWithoutStructuralTyping, isTemplateType, isTemplatizedType, isTheObjectType, isUnionType, isUnknownType, isVoidable, matchConstraint, matchesInt32Context, matchesUint32Context, resolve, safeResolve, setResolvedTypeInternal, setValidator, testForEqualityHelper, toAnnotationString, toDebugHashCodeString, toMaybeEnumElementType, toMaybeEnumType, toMaybeFunctionType, toMaybeFunctionType, toMaybeNamedType, toMaybeObjectType, toMaybeRecordType, toMaybeTemplateType, toMaybeTemplatizedType, toMaybeUnionType, toNonNullAnnotationString, toObjectType, toString, unboxesToprivate static final long serialVersionUID
VoidType(JSTypeRegistry registry)
public JSType restrictByNotNullOrUndefined()
JSTyperestrictByNotNullOrUndefined in interface TypeIrestrictByNotNullOrUndefined in class JSTypepublic TernaryValue testForEquality(JSType that)
JSTypethis and that.testForEquality in class JSTypeTernaryValue.TRUE if the comparison of values of
this type and that always succeed (such as
undefined compared to null)TernaryValue.FALSE if the comparison of values of
this type and that always fails (such as
undefined compared to number)TernaryValue.UNKNOWN if the comparison can succeed or
fail depending on the concrete valuespublic boolean matchesNumberContext()
JSTypematchesNumberContext in class JSTypepublic boolean matchesObjectContext()
JSTypeObject 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 JSTypepublic boolean matchesStringContext()
JSTypeString 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 JSTypepublic boolean isVoidType()
isVoidType in class JSTypepublic boolean isExplicitlyVoidable()
JSTypeisExplicitlyVoidable in class JSTypejava.lang.String toStringHelper(boolean forAnnotations)
toStringHelper in class JSTypeforAnnotations - Whether this is for use in code generator
annotations. Otherwise, it's for warnings.public java.lang.String getDisplayName()
JSTypegetDisplayName in class JSTypepublic BooleanLiteralSet getPossibleToBooleanOutcomes()
JSTypeToBoolean 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 JSType