com.google.javascript.jscomp.newtypes

Class DeclaredFunctionType

java.lang.Object

com.google.javascript.jscomp.newtypes.DeclaredFunctionType

All Implemented Interfaces:

java.io.Serializable

public final class DeclaredFunctionType
extends java.lang.Object
implements java.io.Serializable

This class represents the function types for functions that are defined statically in the code. Since these types may have incomplete ATparam and ATreturns JSDoc, this class needs to allow null JSTypes for undeclared formals/return. Used in the Scope class.

Author:

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

See Also:

Serialized Form

Method Summary

Modifier and Type	Method and Description
JSType	getFormalType(int argpos)
int	getMaxArity()
JSType	getNominalType()
int	getOptionalArity()
JSType	getReceiverType()
int	getRequiredArity()
JSType	getRestFormalsType()
JSType	getReturnType()
JSType	getThisType()
TypeParameters	getTypeParameters()
java.lang.String	getTypeVariableDefinedLocally(java.lang.String tvar)
boolean	hasRestFormals()
DeclaredFunctionType	instantiateGenericsWithUnknown()
boolean	isAbstract()
boolean	isGeneric()
boolean	isTypeVariableDefinedLocally(java.lang.String tvar)
static DeclaredFunctionType	meet(java.util.Collection<DeclaredFunctionType> toMeet)
DeclaredFunctionType	substituteNominalGenerics(NominalType nt)
FunctionType	toFunctionType()
java.lang.String	toString()
DeclaredFunctionType	withReceiverType(JSType newReceiverType)
DeclaredFunctionType	withTypeInfoFromSuper(DeclaredFunctionType superType, boolean getsTypeInfoFromParentMethod)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

toFunctionType

public FunctionType toFunctionType()

getFormalType

public JSType getFormalType(int argpos)

getRequiredArity

public int getRequiredArity()

getOptionalArity

public int getOptionalArity()

getMaxArity

public int getMaxArity()

hasRestFormals

public boolean hasRestFormals()

getRestFormalsType

public JSType getRestFormalsType()

getReturnType

public JSType getReturnType()

getThisType

public JSType getThisType()

getNominalType

public JSType getNominalType()

getReceiverType

public JSType getReceiverType()

isGeneric

public boolean isGeneric()

getTypeParameters

public TypeParameters getTypeParameters()

isAbstract

public boolean isAbstract()

isTypeVariableDefinedLocally

public boolean isTypeVariableDefinedLocally(java.lang.String tvar)

getTypeVariableDefinedLocally

public java.lang.String getTypeVariableDefinedLocally(java.lang.String tvar)

withReceiverType

public DeclaredFunctionType withReceiverType(JSType newReceiverType)

withTypeInfoFromSuper

public DeclaredFunctionType withTypeInfoFromSuper(DeclaredFunctionType superType,
                                                  boolean getsTypeInfoFromParentMethod)

substituteNominalGenerics

public DeclaredFunctionType substituteNominalGenerics(NominalType nt)

instantiateGenericsWithUnknown

public DeclaredFunctionType instantiateGenericsWithUnknown()

meet

public static DeclaredFunctionType meet(java.util.Collection<DeclaredFunctionType> toMeet)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object