FunctionType

java.lang.Object
- com.google.javascript.rhino.jstype.JSType
- - com.google.javascript.rhino.jstype.ObjectType
  - - com.google.javascript.rhino.jstype.PrototypeObjectType
    - - com.google.javascript.rhino.jstype.FunctionType

All Implemented Interfaces:

FunctionTypeI, ObjectTypeI, TypeI, java.io.Serializable

Direct Known Subclasses:

ErrorFunctionType, NoObjectType
```
public class FunctionType
extends PrototypeObjectType
implements FunctionTypeI
```
This derived type provides extended information about a function, including its return type and argument types.
Note: the parameters list is the LP node that is the parent of the actual NAME node containing the parsed argument list (annotated with JSDOC_TYPE_PROP's for the compile-time type of each argument.

See Also:

Serialized Form

Nested Class Summary

Nested Classes
Modifier and Type Class and Description

private static class FunctionType.Kind

private static class FunctionType.PropAccess
- Nested classes/interfaces inherited from class com.google.javascript.rhino.jstype.JSType
  JSType.EqCache, JSType.ImplCache, JSType.MatchStatus, JSType.TypePair

Nested Classes
Modifier and Type	Class and Description
`private static class`	`FunctionType.Kind`
`private static class`	`FunctionType.PropAccess`

Field Summary

Fields
Modifier and Type	Field and Description
`private ArrowType`	`call` `[[Call]]` property.
`private com.google.common.collect.ImmutableList<ObjectType>`	`extendedInterfaces` The interfaces directly extended by this function (for interfaces) It is only relevant for constructors.
`private com.google.common.collect.ImmutableList<ObjectType>`	`implementedInterfaces` The interfaces directly implemented by this function (for constructors) It is only relevant for constructors.
`private boolean`	`isStructuralInterface` if this is an interface, indicate whether or not it supports structural interface matching
`private FunctionType.Kind`	`kind` Whether a function is a constructor, an interface, or just an ordinary function.
`private FunctionType.PropAccess`	`propAccess` Whether the instances are structs, dicts, or unrestricted.
`private Property`	`prototypeSlot` The `prototype` property.
`private static long`	`serialVersionUID`
`private Node`	`source` The function node which this type represents.
`private java.util.List<FunctionType>`	`subTypes` The types which are subtypes of this function.
`private JSType`	`typeOfThis` The type of `this` in the scope of this function.

Fields inherited from class com.google.javascript.rhino.jstype.JSType
ALPHA, registry, templateTypeMap

Constructor Summary

Constructors
Modifier	Constructor and Description
`(package private)`	`FunctionType(JSTypeRegistry registry, java.lang.String name, Node source, ArrowType arrowType, JSType typeOfThis, TemplateTypeMap templateTypeMap, boolean isConstructor, boolean nativeType)` Creates an instance for a function that might be a constructor.
`private`	`FunctionType(JSTypeRegistry registry, java.lang.String name, Node source, TemplateTypeMap typeParameters)` Creates an instance for a function that is an interface.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`private void`	`addRelatedExtendedInterfaces(ObjectType instance, java.util.Set<ObjectType> set)`
`private void`	`addRelatedInterfaces(ObjectType instance, java.util.Set<ObjectType> set)`
`private void`	`addSubType(FunctionType subType)` Adds a type to the list of subtypes for this type.
`(package private) void`	`addSubTypeIfNotPresent(FunctionType subType)`
`private void`	`appendArgString(java.lang.StringBuilder b, Node p, boolean forAnnotations)`
`private void`	`appendOptionalArgString(java.lang.StringBuilder builder, JSType paramType, boolean forAnnotations)` Gets the string representation of an optional param.
`private void`	`appendVarArgsString(java.lang.StringBuilder builder, JSType paramType, boolean forAnnotations)` Gets the string representation of a var args param.
`boolean`	`canBeCalled()` This predicate is used to test whether a given type can be used as the 'function' in a function call.
`java.util.List<FunctionType>`	`checkExtendsLoop()` check if there is a loop in the type extends chain
`java.util.List<FunctionType>`	`checkExtendsLoop(java.util.HashSet<FunctionType> cache, java.util.List<FunctionType> path)`
`(package private) boolean`	`checkFunctionEquivalenceHelper(FunctionType that, EquivalenceMethod eqMethod, JSType.EqCache eqCache)` Two function types are equal if their signatures match.
`void`	`clearCachedValues()` Clear cached values.
`TypeI`	`convertMethodToFunction()` Creates a new function type B based on the original function type A.
`(package private) boolean`	`defineProperty(java.lang.String name, JSType type, boolean inferred, Node propertyNode)` Defines a property.
`boolean`	`explicitlyImplOrExtInterface(FunctionType interfaceType)` check whether or not this function type has implemented the given interface if this function is an interface, check whether or not this interface has extended the given interface
`void`	`extendTemplateTypeMapBasedOn(ObjectType type)` Extends the TemplateTypeMap of the function's this type, based on the specified type.
`FunctionType`	`forgetParameterAndReturnTypes()` Create a new constructor with the parameters and return type stripped.
`(package private) static FunctionType`	`forInterface(JSTypeRegistry registry, java.lang.String name, Node source, TemplateTypeMap typeParameters)` Creates an instance for a function that is an interface.
`java.lang.Iterable<ObjectType>`	`getAllImplementedInterfaces()` Returns all interfaces implemented by a class or its superclass and any superclasses for any of those interfaces.
`FunctionType`	`getBindReturnType(int argsToBind)` Get the return value of calling "bind" on this function with the specified number of arguments.
`private FunctionType`	`getCallOrBindSignature(boolean isCall)` Notice that "call" and "bind" have the same argument signature, except that all the arguments of "bind" (except the first) are optional.
`private java.lang.String`	`getDebugHashCodeStringOf(JSType type)`
`java.lang.Iterable<ObjectType>`	`getExtendedInterfaces()` Returns interfaces directly extended by an interface
`int`	`getExtendedInterfacesCount()` Returns the number of interfaces directly extended by an interface
`java.lang.Iterable<ObjectType>`	`getImplementedInterfaces()` Returns interfaces implemented directly by a class or its superclass.
`ObjectType`	`getInstanceType()` Gets the type of instance of this function.
`(package private) ArrowType`	`getInternalArrowType()` Gets the internal arrow type.
`int`	`getMaxArguments()` Gets the maximum number of arguments that this function requires, or Integer.MAX_VALUE if this is a variable argument function.
`int`	`getMinArguments()` Gets the minimum number of arguments that this function requires.
`java.lang.Iterable<ObjectType>`	`getOwnImplementedInterfaces()` Returns interfaces directly implemented by the class.
`java.util.Set<java.lang.String>`	`getOwnPropertyNames()` Includes the prototype iff someone has created it.
`java.lang.Iterable<Node>`	`getParameters()`
`Node`	`getParametersNode()` Gets an LP node that contains all params.
`JSType`	`getPropertyType(java.lang.String name)` Gets the property type of the property whose name is given.
`java.util.Map<java.lang.String,JSType>`	`getPropertyTypeMap()` get the map of properties to types covered in a function type
`ObjectType`	`getPrototype()` Gets the `prototype` property of this function type.
`JSType`	`getReturnType()`
`Property`	`getSlot(java.lang.String name)` Default getSlot implementation.
`Node`	`getSource()` Gets the source node or null if this is an unknown function.
`java.util.List<FunctionType>`	`getSubTypes()` Returns a list of types that are subtypes of this type.
`FunctionType`	`getSuperClassConstructor()` Given a constructor or an interface type, get its superclass constructor or `null` if none exists.
`static ObjectType`	`getTopDefiningInterface(ObjectType type, java.lang.String propertyName)` Given an interface and a property, finds the top-most super interface that has the property defined (including this interface).
`ObjectType`	`getTopMostDefiningType(java.lang.String propertyName)` Given a constructor or an interface type and a property, finds the top-most superclass that has the property defined (including this constructor).
`JSType`	`getTypeOfThis()` Gets the type of `this` in this function.
`boolean`	`hasAnyTemplateTypesInternal()`
`boolean`	`hasCachedValues()` Returns true if any cached values have been set for this type.
`boolean`	`hasEqualCallType(FunctionType otherType)`
`int`	`hashCode()`
`boolean`	`hasImplementedInterfaces()`
`boolean`	`hasInstanceType()` Returns whether this function type has an instance type.
`boolean`	`hasProperties()`
`boolean`	`isConstructor()` Whether this type is a `FunctionType` that is a constructor or a named type that points to such a type.
`boolean`	`isInstanceType()` Whether this type is an Instance object of some constructor.
`boolean`	`isInterface()` Whether this type is a `FunctionType` that is an interface or a named type that points to such a type.
`boolean`	`isOrdinaryFunction()` Whether this type is a `FunctionType` that is an ordinary function or a named type that points to such a type.
`boolean`	`isReturnTypeInferred()`
`boolean`	`isStructuralInterface()`
`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`	`makesDicts()` When a class B inherits from A and A is annotated as a dict, then B automatically gets the annotation, even if B's constructor is not explicitly annotated.
`boolean`	`makesStructs()` When a class B inherits from A and A is annotated as a struct, then B automatically gets the annotation, even if B's constructor is not explicitly annotated.
`(package private) JSType`	`resolveInternal(ErrorReporter t, StaticTypedScope<JSType> scope)`
`private com.google.common.collect.ImmutableList<ObjectType>`	`resolveTypeListHelper(com.google.common.collect.ImmutableList<ObjectType> list, ErrorReporter t, StaticTypedScope<JSType> scope)` Resolve each item in the list, and return a new list if any references changed.
`void`	`setDict()`
`void`	`setExtendedInterfaces(java.util.List<ObjectType> extendedInterfaces)`
`void`	`setImplementedInterfaces(java.util.List<ObjectType> implementedInterfaces)`
`void`	`setImplicitMatch(boolean flag)` sets the current interface type to support structural interface matching (abbr.
`(package private) void`	`setInstanceType(ObjectType instanceType)` Sets the instance type.
`(package private) boolean`	`setPrototype(ObjectType prototype, Node propertyNode)` Sets the prototype.
`void`	`setPrototypeBasedOn(ObjectType baseType)` Sets the prototype, creating the prototype object from the given base type.
`(package private) void`	`setPrototypeBasedOn(ObjectType baseType, Node propertyNode)`
`private boolean`	`setPrototypeNoCheck(ObjectType prototype, Node propertyNode)` Set the prototype without doing any sanity checks.
`void`	`setSource(Node source)` Sets the source node.
`void`	`setStruct()`
`(package private) FunctionType`	`supAndInfHelper(FunctionType that, boolean leastSuper)` Computes the supremum or infimum of two functions.
`java.lang.String`	`toDebugHashCodeString()` A hash code function for diagnosing complicated issues around type-identity.
`FunctionType`	`toMaybeFunctionType()` Downcasts this to a FunctionType, or returns null if this is not a function.
`(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`.
`protected boolean`	`treatThisTypesAsCovariant(FunctionType other, JSType.ImplCache implicitImplCache)`
`private FunctionType`	`tryMergeFunctionPiecewise(FunctionType other, boolean leastSuper)` Try to get the sup/inf of two functions by looking at the piecewise components.
`private static void`	`updatePropertyTypeMap(FunctionType type, java.util.Map<java.lang.String,JSType> propTypeMap, java.util.HashSet<FunctionType> cache)`
`(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.

Methods inherited from class com.google.javascript.rhino.jstype.PrototypeObjectType
getConstructor, getCtorExtendedInterfaces, getCtorImplementedInterfaces, getImplicitPrototype, getOwnerFunction, getPropertyMap, getReferenceName, hasReferenceName, isAnonymous, isNativeObjectType, isPrettyPrint, isSubtype, matchConstraint, matchesNumberContext, matchesObjectContext, matchesStringContext, matchRecordTypeConstraint, removeProperty, setImplicitPrototype, setOwnerFunction, setPrettyPrint, setPropertyJSDocInfo, setPropertyNode, unboxesTo

Methods inherited from class com.google.javascript.rhino.jstype.JSType
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, isNoObjectType, isNoResolvedType, isNoType, isNullable, 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

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.google.javascript.rhino.FunctionTypeI
getReferenceName

Methods inherited from interface com.google.javascript.rhino.TypeI
isBottom, isEquivalentTo, isFunctionType, isSubtypeOf, isUnknownType, restrictByNotNullOrUndefined, toMaybeObjectType

- Field Detail
  - serialVersionUID
```
private static final long serialVersionUID
```
    See Also:
    
    Constant Field Values
  - call
```
private ArrowType call
```
    [[Call]] property.
  - prototypeSlot
```
private Property prototypeSlot
```
    The prototype property. This field is lazily initialized by #getPrototype(). The most important reason for lazily initializing this field is that there are cycles in the native types graph, so some prototypes must temporarily be null during the construction of the graph. If non-null, the type must be a PrototypeObjectType.
  - kind
```
private final FunctionType.Kind kind
```
    Whether a function is a constructor, an interface, or just an ordinary function.
  - propAccess
```
private FunctionType.PropAccess propAccess
```
    Whether the instances are structs, dicts, or unrestricted.
  - typeOfThis
```
private JSType typeOfThis
```
    The type of this in the scope of this function.
  - source
```
private Node source
```
    The function node which this type represents. It may be null.
  - isStructuralInterface
```
private boolean isStructuralInterface
```
    if this is an interface, indicate whether or not it supports structural interface matching
  - implementedInterfaces
```
private com.google.common.collect.ImmutableList<ObjectType> implementedInterfaces
```
    The interfaces directly implemented by this function (for constructors) It is only relevant for constructors. May not be null.
  - extendedInterfaces
```
private com.google.common.collect.ImmutableList<ObjectType> extendedInterfaces
```
    The interfaces directly extended by this function (for interfaces) It is only relevant for constructors. May not be null.
  - subTypes
```
private java.util.List<FunctionType> subTypes
```
    The types which are subtypes of this function. It is only relevant for constructors and may be null.
- Constructor Detail
  - FunctionType
```
FunctionType(JSTypeRegistry registry,
             java.lang.String name,
             Node source,
             ArrowType arrowType,
             JSType typeOfThis,
             TemplateTypeMap templateTypeMap,
             boolean isConstructor,
             boolean nativeType)
```
    Creates an instance for a function that might be a constructor.
  - FunctionType
```
private FunctionType(JSTypeRegistry registry,
                     java.lang.String name,
                     Node source,
                     TemplateTypeMap typeParameters)
```
    Creates an instance for a function that is an interface.
- Method Detail
  - forInterface
```
static FunctionType forInterface(JSTypeRegistry registry,
                                 java.lang.String name,
                                 Node source,
                                 TemplateTypeMap typeParameters)
```
    Creates an instance for a function that is an interface.
  - isInstanceType
```
public boolean isInstanceType()
```
    Description copied from class: JSType
    
    Whether this type is an Instance object of some constructor. Does not necessarily mean this is an InstanceObjectType.
    
    Overrides:
    
    isInstanceType in class JSType
  - isConstructor
```
public boolean isConstructor()
```
    Description copied from class: JSType
    
    Whether this type is a FunctionType that is a constructor or a named type that points to such a type.
    
    Specified by:
    
    isConstructor in interface TypeI
    
    Overrides:
    
    isConstructor in class JSType
  - isInterface
```
public boolean isInterface()
```
    Description copied from class: JSType
    
    Whether this type is a FunctionType that is an interface or a named type that points to such a type.
    
    Specified by:
    
    isInterface in interface TypeI
    
    Overrides:
    
    isInterface in class JSType
  - isOrdinaryFunction
```
public boolean isOrdinaryFunction()
```
    Description copied from class: JSType
    
    Whether this type is a FunctionType that is an ordinary function or a named type that points to such a type.
    
    Overrides:
    
    isOrdinaryFunction in class JSType
  - makesStructs
```
public boolean makesStructs()
```
    When a class B inherits from A and A is annotated as a struct, then B automatically gets the annotation, even if B's constructor is not explicitly annotated.
  - makesDicts
```
public boolean makesDicts()
```
    When a class B inherits from A and A is annotated as a dict, then B automatically gets the annotation, even if B's constructor is not explicitly annotated.
  - setStruct
```
public void setStruct()
```
  - setDict
```
public void setDict()
```
  - toMaybeFunctionType
```
public FunctionType toMaybeFunctionType()
```
    Description copied from class: JSType
    
    Downcasts this to a FunctionType, or returns null if this is not a function. For the purposes of this function, we define a MaybeFunctionType as any type in the sub-lattice { x | LEAST_FUNCTION_TYPE <= x <= GREATEST_FUNCTION_TYPE } This definition excludes bottom types like NoType and NoObjectType. This definition is somewhat arbitrary and axiomatic, but this is the definition that makes the most sense for the most callers.
    
    Specified by:
    
    toMaybeFunctionType in interface TypeI
    
    Overrides:
    
    toMaybeFunctionType in class JSType
  - canBeCalled
```
public boolean canBeCalled()
```
    Description copied from class: JSType
    
    This predicate is used to test whether a given type can be used as the 'function' in a function call.
    
    Overrides:
    
    canBeCalled in class PrototypeObjectType
    
    Returns:
    
    true if this type might be callable.
  - hasImplementedInterfaces
```
public boolean hasImplementedInterfaces()
```
  - getParameters
```
public java.lang.Iterable<Node> getParameters()
```
  - getParametersNode
```
public Node getParametersNode()
```
    Gets an LP node that contains all params. May be null.
  - getMinArguments
```
public int getMinArguments()
```
    Gets the minimum number of arguments that this function requires.
  - getMaxArguments
```
public int getMaxArguments()
```
    Gets the maximum number of arguments that this function requires, or Integer.MAX_VALUE if this is a variable argument function.
  - getReturnType
```
public JSType getReturnType()
```
  - isReturnTypeInferred
```
public boolean isReturnTypeInferred()
```
  - getInternalArrowType
```
ArrowType getInternalArrowType()
```
    Gets the internal arrow type. For use by subclasses only.
  - getSlot
```
public Property getSlot(java.lang.String name)
```
    Description copied from class: ObjectType
    
    Default getSlot implementation. This gets overridden by FunctionType for lazily-resolved prototypes.
    
    Overrides:
    
    getSlot in class ObjectType
  - getOwnPropertyNames
```
public java.util.Set<java.lang.String> getOwnPropertyNames()
```
    Includes the prototype iff someone has created it. We do not want to expose the prototype for ordinary functions.
    
    Overrides:
    
    getOwnPropertyNames in class ObjectType
  - getPrototype
```
public ObjectType getPrototype()
```
    Gets the prototype property of this function type. This is equivalent to (ObjectType) getPropertyType("prototype").
  - setPrototypeBasedOn
```
public void setPrototypeBasedOn(ObjectType baseType)
```
    Sets the prototype, creating the prototype object from the given base type.
    
    Parameters:
    
    baseType - The base type.
  - setPrototypeBasedOn
```
void setPrototypeBasedOn(ObjectType baseType,
                         Node propertyNode)
```
  - extendTemplateTypeMapBasedOn
```
public void extendTemplateTypeMapBasedOn(ObjectType type)
```
    Extends the TemplateTypeMap of the function's this type, based on the specified type.
    
    Parameters:
    
    type -
  - setPrototype
```
boolean setPrototype(ObjectType prototype,
                     Node propertyNode)
```
    Sets the prototype.
    
    Parameters:
    
    prototype - the prototype. If this value is null it will silently be discarded.
  - setPrototypeNoCheck
```
private boolean setPrototypeNoCheck(ObjectType prototype,
                                    Node propertyNode)
```
    Set the prototype without doing any sanity checks.
  - explicitlyImplOrExtInterface
```
public boolean explicitlyImplOrExtInterface(FunctionType interfaceType)
```
    check whether or not this function type has implemented the given interface if this function is an interface, check whether or not this interface has extended the given interface
    
    Parameters:
    
    interfaceType - the interface type
    
    Returns:
    
    true if implemented
  - getAllImplementedInterfaces
```
public java.lang.Iterable<ObjectType> getAllImplementedInterfaces()
```
    Returns all interfaces implemented by a class or its superclass and any superclasses for any of those interfaces. If this is called before all types are resolved, it may return an incomplete set.
  - addRelatedInterfaces
```
private void addRelatedInterfaces(ObjectType instance,
                                  java.util.Set<ObjectType> set)
```
  - getImplementedInterfaces
```
public java.lang.Iterable<ObjectType> getImplementedInterfaces()
```
    Returns interfaces implemented directly by a class or its superclass.
  - getOwnImplementedInterfaces
```
public java.lang.Iterable<ObjectType> getOwnImplementedInterfaces()
```
    Returns interfaces directly implemented by the class.
  - setImplementedInterfaces
```
public void setImplementedInterfaces(java.util.List<ObjectType> implementedInterfaces)
```
  - addRelatedExtendedInterfaces
```
private void addRelatedExtendedInterfaces(ObjectType instance,
                                          java.util.Set<ObjectType> set)
```
  - getExtendedInterfaces
```
public java.lang.Iterable<ObjectType> getExtendedInterfaces()
```
    Returns interfaces directly extended by an interface
  - getExtendedInterfacesCount
```
public int getExtendedInterfacesCount()
```
    Returns the number of interfaces directly extended by an interface
  - setExtendedInterfaces
```
public void setExtendedInterfaces(java.util.List<ObjectType> extendedInterfaces)
                           throws java.lang.UnsupportedOperationException
```
    Throws:
    
    java.lang.UnsupportedOperationException
  - getPropertyType
```
public JSType getPropertyType(java.lang.String name)
```
    Description copied from class: ObjectType
    
    Gets the property type of the property whose name is given. If the underlying object does not have this property, the Unknown type is returned to indicate that no information is available on this property. This gets overridden by FunctionType for lazily-resolved call() and bind() functions.
    
    Overrides:
    
    getPropertyType in class ObjectType
    
    Returns:
    
    the property's type or UnknownType. This method never returns null.
  - getBindReturnType
```
public FunctionType getBindReturnType(int argsToBind)
```
    Get the return value of calling "bind" on this function with the specified number of arguments. If -1 is passed, then we will return a result that accepts any parameters.
  - getCallOrBindSignature
```
private FunctionType getCallOrBindSignature(boolean isCall)
```
    Notice that "call" and "bind" have the same argument signature, except that all the arguments of "bind" (except the first) are optional.
  - defineProperty
```
boolean defineProperty(java.lang.String name,
                       JSType type,
                       boolean inferred,
                       Node propertyNode)
```
    Description copied from class: ObjectType
    
    Defines a property.
    For clarity, callers should prefer ObjectType.defineDeclaredProperty(java.lang.String, com.google.javascript.rhino.jstype.JSType, com.google.javascript.rhino.Node) and ObjectType.defineInferredProperty(java.lang.String, com.google.javascript.rhino.jstype.JSType, com.google.javascript.rhino.Node).
    
    Overrides:
    
    defineProperty in class PrototypeObjectType
    
    Parameters:
    
    name - the property's name
    
    type - the type
    
    inferred - true if this property's type is inferred
    
    propertyNode - the node that represents the definition of property. Depending on the actual sub-type the node type might be different. The general idea is to have an estimate of where in the source code this property is defined.
    
    Returns:
    
    True if the property was registered successfully, false if this conflicts with a previous property type declaration.
  - supAndInfHelper
```
FunctionType supAndInfHelper(FunctionType that,
                             boolean leastSuper)
```
    Computes the supremum or infimum of two functions. Because sup() and inf() share a lot of logic for functions, we use a single helper.
    
    Parameters:
    
    leastSuper - If true, compute the supremum of this with that. Otherwise, compute the infimum.
    
    Returns:
    
    The least supertype or greatest subtype.
  - tryMergeFunctionPiecewise
```
private FunctionType tryMergeFunctionPiecewise(FunctionType other,
                                               boolean leastSuper)
```
    Try to get the sup/inf of two functions by looking at the piecewise components.
  - getSuperClassConstructor
```
public FunctionType getSuperClassConstructor()
```
    Given a constructor or an interface type, get its superclass constructor or null if none exists.
  - getTopDefiningInterface
```
public static ObjectType getTopDefiningInterface(ObjectType type,
                                                 java.lang.String propertyName)
```
    Given an interface and a property, finds the top-most super interface that has the property defined (including this interface).
  - getTopMostDefiningType
```
public ObjectType getTopMostDefiningType(java.lang.String propertyName)
```
    Given a constructor or an interface type and a property, finds the top-most superclass that has the property defined (including this constructor).
  - checkFunctionEquivalenceHelper
```
boolean checkFunctionEquivalenceHelper(FunctionType that,
                                       EquivalenceMethod eqMethod,
                                       JSType.EqCache eqCache)
```
    Two function types are equal if their signatures match. Since they don't have signatures, two interfaces are equal if their names match.
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class JSType
  - hasEqualCallType
```
public boolean hasEqualCallType(FunctionType otherType)
```
  - toStringHelper
```
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.
    
    Overrides:
    
    toStringHelper in class PrototypeObjectType
    
    Parameters:
    
    forAnnotations - Whether this is for use in code generator annotations. Otherwise, it's for warnings.
  - appendArgString
```
private void appendArgString(java.lang.StringBuilder b,
                             Node p,
                             boolean forAnnotations)
```
  - appendVarArgsString
```
private void appendVarArgsString(java.lang.StringBuilder builder,
                                 JSType paramType,
                                 boolean forAnnotations)
```
    Gets the string representation of a var args param.
  - appendOptionalArgString
```
private void appendOptionalArgString(java.lang.StringBuilder builder,
                                     JSType paramType,
                                     boolean forAnnotations)
```
    Gets the string representation of an optional param.
  - isSubtype
```
public 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.
    
    Overrides:
    
    isSubtype in class PrototypeObjectType
    
    Returns:
    
    this <: that
  - isSubtype
```
protected boolean isSubtype(JSType that,
                            JSType.ImplCache implicitImplCache)
```
    Description copied from class: JSType
    
    checking isSubtype with structural interface matching
    
    Overrides:
    
    isSubtype in class PrototypeObjectType
    
    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.
  - treatThisTypesAsCovariant
```
protected boolean treatThisTypesAsCovariant(FunctionType other,
                                            JSType.ImplCache implicitImplCache)
```
  - visit
```
public <T> T visit(Visitor<T> visitor)
```
    Description copied from class: JSType
    
    Visit this type with the given visitor.
    
    Overrides:
    
    visit in class ObjectType
    
    Returns:
    
    the value returned by the visitor
    
    See Also:
    
    Visitor
  - visit
```
<T> T visit(RelationshipVisitor<T> visitor,
            JSType that)
```
    Description copied from class: JSType
    
    Visit the types with the given visitor.
    
    Overrides:
    
    visit in class ObjectType
    
    Returns:
    
    the value returned by the visitor
    
    See Also:
    
    RelationshipVisitor
  - getInstanceType
```
public ObjectType getInstanceType()
```
    Gets the type of instance of this function.
    
    Specified by:
    
    getInstanceType in interface FunctionTypeI
    
    Throws:
    
    java.lang.IllegalStateException - if this function is not a constructor (see isConstructor()).
  - setInstanceType
```
void setInstanceType(ObjectType instanceType)
```
    Sets the instance type. This should only be used for special native types.
  - hasInstanceType
```
public boolean hasInstanceType()
```
    Returns whether this function type has an instance type.
  - getTypeOfThis
```
public JSType getTypeOfThis()
```
    Gets the type of this in this function.
    
    Specified by:
    
    getTypeOfThis in interface FunctionTypeI
    
    Overrides:
    
    getTypeOfThis in class ObjectType
  - getSource
```
public Node getSource()
```
    Gets the source node or null if this is an unknown function.
    
    Specified by:
    
    getSource in interface FunctionTypeI
  - setSource
```
public void setSource(Node source)
```
    Sets the source node.
    
    Specified by:
    
    setSource in interface FunctionTypeI
  - addSubTypeIfNotPresent
```
void addSubTypeIfNotPresent(FunctionType subType)
```
  - addSubType
```
private void addSubType(FunctionType subType)
```
    Adds a type to the list of subtypes for this type.
  - clearCachedValues
```
public void clearCachedValues()
```
    Description copied from class: ObjectType
    
    Clear cached values. Should be called before making changes to a prototype that may have been changed since creation.
    
    Overrides:
    
    clearCachedValues in class ObjectType
  - getSubTypes
```
public java.util.List<FunctionType> getSubTypes()
```
    Returns a list of types that are subtypes of this type. This is only valid for constructor functions, and may be null. This allows a downward traversal of the subtype graph.
    
    Specified by:
    
    getSubTypes in interface FunctionTypeI
  - hasCachedValues
```
public boolean hasCachedValues()
```
    Description copied from class: ObjectType
    
    Returns true if any cached values have been set for this type. If true, then the prototype chain should not be changed, as it might invalidate the cached values.
    
    Overrides:
    
    hasCachedValues in class PrototypeObjectType
  - resolveInternal
```
JSType resolveInternal(ErrorReporter t,
                       StaticTypedScope<JSType> scope)
```
    Overrides:
    
    resolveInternal in class PrototypeObjectType
    
    See Also:
    
    JSType.resolve(com.google.javascript.rhino.ErrorReporter, com.google.javascript.rhino.jstype.StaticTypedScope<com.google.javascript.rhino.jstype.JSType>)
  - resolveTypeListHelper
```
private com.google.common.collect.ImmutableList<ObjectType> resolveTypeListHelper(com.google.common.collect.ImmutableList<ObjectType> list,
                                                                                  ErrorReporter t,
                                                                                  StaticTypedScope<JSType> scope)
```
    Resolve each item in the list, and return a new list if any references changed. Otherwise, return null.
  - toDebugHashCodeString
```
public java.lang.String toDebugHashCodeString()
```
    Description copied from class: JSType
    
    A hash code function for diagnosing complicated issues around type-identity.
    
    Overrides:
    
    toDebugHashCodeString in class JSType
  - getDebugHashCodeStringOf
```
private java.lang.String getDebugHashCodeStringOf(JSType type)
```
  - forgetParameterAndReturnTypes
```
public FunctionType forgetParameterAndReturnTypes()
```
    Create a new constructor with the parameters and return type stripped.
  - hasAnyTemplateTypesInternal
```
public boolean hasAnyTemplateTypesInternal()
```
    Overrides:
    
    hasAnyTemplateTypesInternal in class JSType
  - convertMethodToFunction
```
public TypeI convertMethodToFunction()
```
    Description copied from interface: FunctionTypeI
    
    Creates a new function type B based on the original function type A. Takes the receiver type (this type) of A and makes it the first argument of B; B has no receiver type. Used by the DevirtualizePrototypeMethods pass.
    
    Specified by:
    
    convertMethodToFunction in interface FunctionTypeI
  - hasProperties
```
public boolean hasProperties()
```
    Specified by:
    
    hasProperties in interface FunctionTypeI
  - setImplicitMatch
```
public void setImplicitMatch(boolean flag)
```
    sets the current interface type to support structural interface matching (abbr. SMI)
    
    Parameters:
    
    flag - indicates whether or not it should support SMI
  - isStructuralInterface
```
public boolean isStructuralInterface()
```
    Overrides:
    
    isStructuralInterface in class JSType
  - getPropertyTypeMap
```
public java.util.Map<java.lang.String,JSType> getPropertyTypeMap()
```
    get the map of properties to types covered in a function type
    
    Overrides:
    
    getPropertyTypeMap in class ObjectType
    
    Returns:
    
    a Map that maps the property's name to the property's type
  - updatePropertyTypeMap
```
private static void updatePropertyTypeMap(FunctionType type,
                                          java.util.Map<java.lang.String,JSType> propTypeMap,
                                          java.util.HashSet<FunctionType> cache)
```
  - checkExtendsLoop
```
public java.util.List<FunctionType> checkExtendsLoop()
```
    check if there is a loop in the type extends chain
    
    Returns:
    
    an array of all functions in the loop chain if a loop exists, otherwise returns null
  - checkExtendsLoop
```
public java.util.List<FunctionType> checkExtendsLoop(java.util.HashSet<FunctionType> cache,
                                                     java.util.List<FunctionType> path)
```

Class FunctionType

Nested Class Summary

Nested classes/interfaces inherited from class com.google.javascript.rhino.jstype.JSType

Field Summary

Fields inherited from class com.google.javascript.rhino.jstype.JSType

Constructor Summary

Method Summary

Methods inherited from class com.google.javascript.rhino.jstype.PrototypeObjectType

Methods inherited from class com.google.javascript.rhino.jstype.ObjectType

Methods inherited from class com.google.javascript.rhino.jstype.JSType

Methods inherited from class java.lang.Object

Methods inherited from interface com.google.javascript.rhino.FunctionTypeI

Methods inherited from interface com.google.javascript.rhino.TypeI

Field Detail

serialVersionUID

call

prototypeSlot

kind

propAccess

typeOfThis

source

isStructuralInterface

implementedInterfaces

extendedInterfaces

subTypes

Constructor Detail

FunctionType

FunctionType

Method Detail

forInterface

isInstanceType

isConstructor

isInterface

isOrdinaryFunction

makesStructs

makesDicts

setStruct

setDict

toMaybeFunctionType

canBeCalled

hasImplementedInterfaces

getParameters

getParametersNode

getMinArguments

getMaxArguments

getReturnType

isReturnTypeInferred

getInternalArrowType

getSlot

getOwnPropertyNames

getPrototype

setPrototypeBasedOn

setPrototypeBasedOn

extendTemplateTypeMapBasedOn

setPrototype

setPrototypeNoCheck

explicitlyImplOrExtInterface

getAllImplementedInterfaces

addRelatedInterfaces

getImplementedInterfaces

getOwnImplementedInterfaces

setImplementedInterfaces

addRelatedExtendedInterfaces

getExtendedInterfaces

getExtendedInterfacesCount

setExtendedInterfaces

getPropertyType

getBindReturnType

getCallOrBindSignature

defineProperty

supAndInfHelper

tryMergeFunctionPiecewise

getSuperClassConstructor

getTopDefiningInterface

getTopMostDefiningType

checkFunctionEquivalenceHelper

hashCode

hasEqualCallType

toStringHelper

appendArgString