com.google.javascript.jscomp.newtypes

Class DeclaredFunctionType

java.lang.Object

com.google.javascript.jscomp.newtypes.DeclaredFunctionType

public final class DeclaredFunctionType
extends Object

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)

Method Summary

Modifier and Type	Method and Description
JSType	getFormalType(int argpos)
NominalType	getNominalType()
int	getOptionalArity()
NominalType	getReceiverType()
int	getRequiredArity()
JSType	getRestFormalsType()
JSType	getReturnType()
NominalType	getThisType()
com.google.common.collect.ImmutableList<String>	getTypeParameters()
boolean	hasRestFormals()
boolean	isGeneric()
boolean	isTypeVariableDefinedLocally(String tvar)
static DeclaredFunctionType	meet(Collection<DeclaredFunctionType> toMeet)
DeclaredFunctionType	substituteNominalGenerics(NominalType nt)
FunctionType	toFunctionType()
String	toString()
DeclaredFunctionType	withReceiverType(NominalType newReceiver)
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()

hasRestFormals

public boolean hasRestFormals()

getRestFormalsType

public JSType getRestFormalsType()

getReturnType

public JSType getReturnType()

getThisType

public NominalType getThisType()

getNominalType

public NominalType getNominalType()

getReceiverType

public NominalType getReceiverType()

isGeneric

public boolean isGeneric()

getTypeParameters

public com.google.common.collect.ImmutableList<String> getTypeParameters()

isTypeVariableDefinedLocally

public boolean isTypeVariableDefinedLocally(String tvar)

withReceiverType

public DeclaredFunctionType withReceiverType(NominalType newReceiver)

withTypeInfoFromSuper

public DeclaredFunctionType withTypeInfoFromSuper(DeclaredFunctionType superType,
                                                  boolean getsTypeInfoFromParentMethod)

substituteNominalGenerics

public DeclaredFunctionType substituteNominalGenerics(NominalType nt)

meet

public static DeclaredFunctionType meet(Collection<DeclaredFunctionType> toMeet)

toString

public String toString()

Overrides:

toString in class Object