com.google.javascript.rhino

Interface TypeIRegistry

All Superinterfaces:

java.io.Serializable

All Known Implementing Classes:

JSTypeRegistry

public interface TypeIRegistry
extends java.io.Serializable

Author:

blickly@google.com (Ben Lickly), dimvar@google.com (Dimitris Vardoulakis)

Method Summary

Modifier and Type	Method and Description
TypeI	buildRecordTypeFromObject(ObjectTypeI obj)
java.lang.String	createGetterPropName(java.lang.String originalPropName) For NTI, this method returns an obfuscated name that represents the getter.
TypeI	createRecordType(java.util.Map<java.lang.String,? extends TypeI> props) Creates an anonymous structural type with the given properties.
java.lang.String	createSetterPropName(java.lang.String originalPropName) For NTI, this method returns an obfuscated name that represents the setter.
TypeI	createTypeFromCommentNode(Node n)
TypeI	createUnionType(java.util.List<? extends TypeI> variants)
TypeI	evaluateTypeExpression(JSTypeExpression expr, TypeIEnv<TypeI> typeEnv)
TypeI	evaluateTypeExpressionInGlobalScope(JSTypeExpression expr)
TypeI	getGlobalType(java.lang.String typeName) Returns the type represented by typeName or null if not found.
FunctionTypeI	getNativeFunctionType(JSTypeNative typeId)
ObjectTypeI	getNativeObjectType(JSTypeNative typeId)
TypeI	getNativeType(JSTypeNative typeId)
java.lang.String	getReadableTypeName(Node n)
TypeI	getType(StaticScope scope, java.lang.String typeName) Returns the type represented by typeName or null if not found.
TypeI	instantiateGenericType(ObjectTypeI genericType, com.google.common.collect.ImmutableList<? extends TypeI> typeArgs) Instantiates genericType using typeArgs.

Method Detail

createTypeFromCommentNode

TypeI createTypeFromCommentNode(Node n)

getNativeFunctionType

FunctionTypeI getNativeFunctionType(JSTypeNative typeId)

getNativeObjectType

ObjectTypeI getNativeObjectType(JSTypeNative typeId)

getNativeType

TypeI getNativeType(JSTypeNative typeId)

getReadableTypeName

java.lang.String getReadableTypeName(Node n)

createGetterPropName

java.lang.String createGetterPropName(java.lang.String originalPropName)

For NTI, this method returns an obfuscated name that represents the getter. For OTI, the property name is unchanged.

createSetterPropName

java.lang.String createSetterPropName(java.lang.String originalPropName)

For NTI, this method returns an obfuscated name that represents the setter. For OTI, the property name is unchanged. This method is a bit of a hack. In the future, NTI can handle getters/setters more gracefully by having a field in the Property class. See also: https://github.com/google/closure-compiler/issues/2545.

getType

TypeI getType(StaticScope scope,
              java.lang.String typeName)

Returns the type represented by typeName or null if not found. If you pass Foo to this method, and Foo can be an instance or a constructor, you get the Foo instance, in contrast to TypeIEnv#getNamespaceType, where you'd get the Foo constructor. If Foo is not a nominal type, returns the namespace type.

getGlobalType

TypeI getGlobalType(java.lang.String typeName)

Returns the type represented by typeName or null if not found. If you pass Foo to this method, and Foo can be an instance or a constructor, you get the Foo instance, in contrast to TypeIEnv#getNamespaceType, where you'd get the Foo constructor. If Foo is not a nominal type, returns the namespace type.

createUnionType

TypeI createUnionType(java.util.List<? extends TypeI> variants)

createRecordType

TypeI createRecordType(java.util.Map<java.lang.String,? extends TypeI> props)

Creates an anonymous structural type with the given properties.

instantiateGenericType

TypeI instantiateGenericType(ObjectTypeI genericType,
                             com.google.common.collect.ImmutableList<? extends TypeI> typeArgs)

Instantiates genericType using typeArgs. If genericType has fewer type variables than the number of typeArgs, we pad with unknown. If it has more, we drop the extra typeArgs. TODO(dimvar): fix the callers to pass the right number of typeArgs and throw here.

evaluateTypeExpressionInGlobalScope

TypeI evaluateTypeExpressionInGlobalScope(JSTypeExpression expr)

evaluateTypeExpression

TypeI evaluateTypeExpression(JSTypeExpression expr,
                             TypeIEnv<TypeI> typeEnv)

buildRecordTypeFromObject

TypeI buildRecordTypeFromObject(ObjectTypeI obj)