|
|||||||||
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 ObjectType
name
- The name of the variable slot to look up.
null
if no
definition exists.public EnumElementType toMaybeEnumElementType()
JSType
toMaybeEnumElementType
in class JSType
public boolean matchesNumberContext()
JSType
matchesNumberContext
in class JSType
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 JSType
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 JSType
public boolean canBeCalled()
JSType
canBeCalled
in class JSType
true
if this type might be callable.public boolean isObject()
JSType
Object
, or any subtype thereof.
isObject
in class ObjectType
this <: Object
public TernaryValue testForEquality(JSType that)
JSType
this
and that
.
testForEquality
in class ObjectType
TernaryValue.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 JSType
public boolean isNominalType()
JSType
isNominalType
in class JSType
public boolean isEquivalentTo(JSType that)
JSType
isEquivalentTo
in class JSType
public int hashCode()
hashCode
in class JSType
public String getReferenceName()
ObjectType
getReferenceName
in class ObjectType
null
if this is an anonymous
objectpublic boolean hasReferenceName()
ObjectType
hasReferenceName
in class ObjectType
public boolean isSubtype(JSType that)
JSType
this
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 JSType
this <: that
public <T> T visit(Visitor<T> visitor)
JSType
visit
in class ObjectType
Visitor
public boolean isPropertyTypeDeclared(String propertyName)
ObjectType
isPropertyTypeDeclared
in class ObjectType
public boolean isPropertyTypeInferred(String propertyName)
ObjectType
isPropertyTypeInferred
in class ObjectType
public ObjectType getImplicitPrototype()
ObjectType
[[Prototype]]
property).
getImplicitPrototype
in class ObjectType
public int getPropertiesCount()
ObjectType
getPropertiesCount
in class ObjectType
public JSType findPropertyType(String propertyName)
JSType
ObjectType.getPropertyType(java.lang.String)
, returns null if the property
is not found.
findPropertyType
in class ObjectType
null
if the current type cannot
have properties, or if the type is not found.public JSType getPropertyType(String propertyName)
ObjectType
getPropertyType
in class ObjectType
UnknownType
. This method never
returns null
.public boolean hasProperty(String propertyName)
ObjectType
hasProperty
in class ObjectType
public FunctionType getConstructor()
ObjectType
getConstructor
in class ObjectType
null
if it is a native
object (constructed natively v.s. by instantiation of a function)public JSType autoboxesTo()
JSType
autoboxesTo
in class JSType
null
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 |