CodeQL library for JavaScript/TypeScript
codeql/javascript-all 0.8.13 (changelog, source)
Search

Class LexicalTypeVariableType

A type that refers to a type variable without a canonical name.

These arise in generic call signatures such as <T>(x: T) => T. The lexical type variable is not associated with a specific call signature, however. The type entity is shared between all such type variables named T.

For example, the following call signatures will appear to have the same return type, as they both return a lexically bound type variable named T:

  • <T>(x: T) => T
  • <S, T>(x: S, y: T) => T.

Import path

import javascript

Direct supertypes

Indirect supertypes

Predicates

getName

Gets the unqualified name of the type variable being referenced.

Inherited predicates

getAConstructorSignature

Gets a constructor call signature.

from Type
getADeclaration

Gets a syntactic declaration of this type variable.

from TypeVariableType
getAFunctionSignature

Gets a function call signature.

from Type
getAHostDeclaration

Gets a declaration of the type or function declaring this type parameter.

from TypeVariableType
getASignature

Gets a signature of the given kind.

from Type
getCanonicalName

Gets the canonical name of the type variable being referenced, if it has one.

from TypeVariableType
getChild

Gets the ith child of this type.

from Type
getConstructorSignature

Gets the nth constructor call signature.

from Type
getFunctionSignature

Gets the nth function call signature.

from Type
getHostType

Gets the type declaring this type variable, if any.

from TypeVariableType
getKind

Gets the kind of this type, which is an integer value denoting how the type is stored in the database.

from Type
getLastConstructorSignature

Gets the last constructor call signature.

from Type
getLastFunctionSignature

Gets the last function call signature.

from Type
getLastSignature

Gets the last signature of the given kind.

from Type
getNumConstructorSignature

Gets the number of constructor call signatures.

from Type
getNumFunctionSignature

Gets the number of function call signatures.

from Type
getNumSignature

Gets the number of signatures of the given kind.

from Type
getNumberIndexType

Gets the type of the number index signature on this type, such as T in the type { [n: number]: T }.

from Type
getSignature

Gets the nth signature of the given kind present on this type.

from Type
getStringIndexType

Gets the type of the string index signature on this type, such as T in the type { [s: string]: T }.

from Type
hasUnderlyingType

Holds if this refers to the given named type, or is declared as a subtype thereof, or is a union or intersection containing such a type.

from Type
hasUnderlyingType

Holds if this refers to the given named type, or is declared as a subtype thereof, or is a union or intersection containing such a type.

from Type
hasUnderlyingTypeName

Holds if this refers to the given named type, or is declared as a subtype thereof, or is a union or intersection containing such a type.

from Type
toString

Gets a string representation of this type.

from Type
unfold

Repeatedly unfolds unions, intersections, and type aliases and gets any of the underlying types, or this type itself if it is not a union or intersection.

from Type
unfoldUnionAndIntersection

Repeatedly unfolds union and intersection types and gets any of the underlying types, or this type itself if it is not a union or intersection.

from Type