|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectcom.google.javascript.rhino.jstype.JSType
com.google.javascript.rhino.jstype.ObjectType
com.google.javascript.rhino.jstype.EnumElementType
public class EnumElementType
The type of individual elements of an enum type
(see EnumType).
| Nested Class Summary |
|---|
| Nested classes/interfaces inherited from class com.google.javascript.rhino.jstype.ObjectType |
|---|
ObjectType.Property |
| Nested classes/interfaces inherited from class com.google.javascript.rhino.jstype.JSType |
|---|
JSType.TypePair |
| Field Summary |
|---|
| Fields inherited from class com.google.javascript.rhino.jstype.JSType |
|---|
EMPTY_TYPE_COMPONENT, ENUMDECL, NOT_A_CLASS, NOT_A_TYPE, NOT_ENUMDECL, UNKNOWN_NAME |
| Method Summary | ||
|---|---|---|
JSType |
autoboxesTo()
Gets the type to which this type auto-boxes. |
|
boolean |
canBeCalled()
This predicate is used to test whether a given type can be used as the 'function' in a function call. |
|
JSType |
findPropertyType(String propertyName)
Coerces this type to an Object type, then gets the type of the property whose name is given. |
|
FunctionType |
getConstructor()
Gets this object's constructor. |
|
ObjectType |
getImplicitPrototype()
Gets the implicit prototype (a.k.a. |
|
JSType |
getPrimitiveType()
Gets the primitive type of this enum element. |
|
int |
getPropertiesCount()
Gets the number of properties of this object. |
|
JSType |
getPropertyType(String propertyName)
Gets the property type of the property whose name is given. |
|
String |
getReferenceName()
Gets the reference name for this object. |
|
ObjectType.Property |
getSlot(String name)
Returns any defined slot within this scope for this name. |
|
int |
hashCode()
If this is equal to a NamedType object, its hashCode must be equal to the hashCode of the NamedType object. |
|
boolean |
hasProperty(String propertyName)
Checks whether the property whose name is given is present on the object. |
|
boolean |
hasReferenceName()
Returns true if the object is named. |
|
boolean |
isEquivalentTo(JSType that)
Checks if two types are equivalent. |
|
boolean |
isNominalType()
Whether this type is a nominal type (a named instance object or a named enum). |
|
boolean |
isNullable()
This predicate determines whether objects of this type can have the null value, and therefore can appear in contexts where null is expected. |
|
boolean |
isObject()
Tests whether this type is an Object, or any subtype thereof. |
|
boolean |
isPropertyTypeDeclared(String propertyName)
Checks whether the property's type is declared. |
|
boolean |
isPropertyTypeInferred(String propertyName)
Checks whether the property's type is inferred. |
|
boolean |
isSubtype(JSType that)
Checks whether this is a subtype of that. |
|
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. |
|
TernaryValue |
testForEquality(JSType that)
Compares this and that. |
|
EnumElementType |
toMaybeEnumElementType()
Downcasts this to an EnumElementType, or returns null if this is not an EnumElementType. |
|
|
visit(Visitor<T> visitor)
Visit this type with the given visitor. |
|
| Methods inherited from class java.lang.Object |
|---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
| Method Detail |
|---|
public ObjectType.Property getSlot(String name)
StaticScope
getSlot in interface StaticScope<JSType>getSlot in class ObjectTypename - The name of the variable slot to look up.
null if no
definition exists.public EnumElementType toMaybeEnumElementType()
JSType
toMaybeEnumElementType in class JSTypepublic boolean matchesNumberContext()
JSType
matchesNumberContext 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 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 canBeCalled()
JSType
canBeCalled in class JSTypetrue if this type might be callable.public boolean isObject()
JSTypeObject, or any subtype thereof.
isObject in class ObjectTypethis <: Objectpublic TernaryValue testForEquality(JSType that)
JSTypethis and that.
testForEquality in class ObjectTypeTernaryValue.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 isNullable()
isNullable in class JSTypepublic boolean isNominalType()
JSType
isNominalType in class JSTypepublic boolean isEquivalentTo(JSType that)
JSType
isEquivalentTo in class JSTypepublic int hashCode()
hashCode in class JSTypepublic String getReferenceName()
ObjectType
getReferenceName in class ObjectTypenull if this is an anonymous
objectpublic boolean hasReferenceName()
ObjectType
hasReferenceName in class ObjectTypepublic boolean isSubtype(JSType that)
JSTypethis is a subtype of that.Subtyping rules:
(T<sub>1</sub>, …, T<sub>n</sub>) <: U if and only
T<sub>k</sub> <: U for all k ∈ 1..n.U <: (T<sub>1</sub>, …, T<sub>n</sub>) if and only
if U <: T<sub>k</sub> for some index k.O<sub>1</sub> is a subtype
of an object O<sub>2</sub> if it has more properties
than O<sub>2</sub> and all common properties are
pairwise subtypes.
isSubtype in class JSTypethis <: thatpublic <T> T visit(Visitor<T> visitor)
JSType
visit in class ObjectTypeVisitorpublic boolean isPropertyTypeDeclared(String propertyName)
ObjectType
isPropertyTypeDeclared in class ObjectTypepublic boolean isPropertyTypeInferred(String propertyName)
ObjectType
isPropertyTypeInferred in class ObjectTypepublic ObjectType getImplicitPrototype()
ObjectType[[Prototype]] property).
getImplicitPrototype in class ObjectTypepublic int getPropertiesCount()
ObjectType
getPropertiesCount in class ObjectTypepublic JSType findPropertyType(String propertyName)
JSTypeObjectType.getPropertyType(java.lang.String), returns null if the property
is not found.
findPropertyType in class ObjectTypenull if the current type cannot
have properties, or if the type is not found.public JSType getPropertyType(String propertyName)
ObjectType
getPropertyType in class ObjectTypeUnknownType. This method never
returns null.public boolean hasProperty(String propertyName)
ObjectType
hasProperty in class ObjectTypepublic FunctionType getConstructor()
ObjectType
getConstructor in class ObjectTypenull if it is a native
object (constructed natively v.s. by instantiation of a function)public JSType autoboxesTo()
JSType
autoboxesTo in class JSTypenull if this type does not auto-boxpublic JSType getPrimitiveType()
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||