Module TypeScript
Import path
import semmle.javascript.TypeScript
Imports
javascript | Provides classes for working with JavaScript programs, as well as JSON, YAML and HTML. |
Classes
AnonymousInterfaceType | An anonymous interface type, such as |
AnyType | The predefined |
ArrayType | A type that describes a JavaScript |
ArrayTypeExpr | An array type, such as |
AsTypeAssertion | A type assertion specifically of the form |
BigIntLiteralType | A bigint literal as a static type. |
BigIntLiteralTypeExpr | A bigint literal used as a TypeScript type annotation. |
BigIntType | The predefined |
BooleanLikeType | The |
BooleanLiteralType | The boolean literal type |
BooleanLiteralTypeExpr | A boolean literal used as a type. |
BooleanType | The |
CallSignatureType | A function or constructor signature in a TypeScript type. |
CanonicalTypeVariableType | A type that refers to a type variable declared on a class, interface or function. |
ClassType | A type that refers to a class, possibly with type arguments. |
ConditionalTypeExpr | A conditional type annotation, such as |
ConditionalTypeScope | A scope induced by a conditional type expression whose |
ConstructorCallSignatureType | A constructor call signature in a type, that is, a signature with the |
ConstructorTypeExpr | A constructor type, such as |
EnumDeclaration | A TypeScript enum declaration, such as the following declaration: |
EnumLiteralType | A type that refers to the value of an enum member. |
EnumMember | A member of a TypeScript enum declaration, such as |
EnumScope | A scope induced by an enum declaration, containing the names of its enum members. |
EnumType | A type that refers to an enum. |
ExportAsNamespaceDeclaration | A TypeScript export of form |
ExportAssignDeclaration | A TypeScript “export-assign” declaration. |
ExpressionWithTypeArguments | An expression with type arguments, occurring as the super-class expression of a class, for example: |
ExternalModuleDeclaration | A TypeScript declaration of form |
ExternalModuleReference | A |
ExternalModuleScope | A scope induced by a declaration of form |
FunctionCallSignatureType | A function call signature in a type, that is, a signature without the |
FunctionTypeExpr | A TypeScript function type, such as |
GenericTypeExpr | A type consisting of a name and at least one type argument, such as |
GlobalAugmentationDeclaration | A TypeScript declaration of form |
ImportEqualsDeclaration | A TypeScript “import-equals” declaration. |
ImportNamespaceAccess | An import used in the context of a namespace inside a type annotation, such as in |
ImportTypeAccess | An import used in the context of a type, such as in |
ImportTypeExpr | An import inside a type annotation, such as in |
ImportVarTypeAccess | An import used in the context of a variable type, such as in |
IndexedAccessTypeExpr | A type of form |
InferTypeExpr | A type annotation of form |
InterfaceDeclaration | A TypeScript interface declaration. |
InterfaceDefinition | A TypeScript interface declaration, inline interface type, or function type. |
InterfaceScope | A scope induced by an interface declaration, containing the type parameters declared on the interface. |
InterfaceType | A type that refers to an interface, possibly with type arguents. |
InterfaceTypeExpr | An inline TypeScript interface type, such as |
IntersectionType | An intersection type, such as |
IntersectionTypeExpr | A type of form |
IsTypeExpr | A function return type of form |
KeyofTypeExpr | A type of form |
LexicalTypeVariableType | A type that refers to a type variable without a canonical name. |
LiteralType | A boolean, number, or string literal type. |
LiteralTypeExpr | A string, number, or boolean literal used as a type. |
LocalNamespaceAccess | An identifier that refers to a namespace from inside a type annotation. |
LocalNamespaceDecl | An identifier that declares a local name for a namespace, that is, the name of an actual namespace declaration or the local name of an import. |
LocalNamespaceName | The local name for a namespace in a particular scope. |
LocalTypeAccess | An identifier that is used as part of a type, such as |
LocalTypeName | The local name for a type in a particular scope. |
LocalVarTypeAccess | An identifier that refers to a variable from inside a type. |
MappedTypeExpr | A type of form |
MappedTypeScope | A scope induced by a mapped type expression, containing the type parameter declared as part of the type. |
NamespaceAccess | A possibly qualified name that refers to a namespace from inside a type annotation. |
NamespaceDeclaration | A TypeScript namespace declaration. |
NamespaceDefinition | A statement that defines a namespace, that is, a namespace declaration or enum declaration. |
NamespaceRef | A possibly qualified identifier that refers to or declares a local name for a namespace. |
NeverType | The |
NonNullAssertion | A TypeScript expression of form |
NullType | The |
NumberLikeType | The |
NumberLiteralType | A number literal as a static type. |
NumberLiteralTypeExpr | A number literal used as a type. |
NumberType | The predefined |
ObjectKeywordType | The |
OptionalTypeExpr | An optional type element in a tuple type, such as |
ParenthesizedTypeExpr | A type expression enclosed in parentheses. |
PlainArrayType | An array type such as |
PlainFunctionTypeExpr | A function type that is not a constructor type, such as |
PlainSymbolType | The |
PredefinedTypeExpr | A use of the predefined type |
PredicateTypeExpr | A function return type that refines the type of one of its parameters or |
PrefixTypeAssertion | A type assertion specifically of the form |
PromiseType | A type such as |
QualifiedNamespaceAccess | A qualified name that refers to a namespace from inside a type annotation. |
QualifiedTypeAccess | A qualified name that is used as part of a type, such as |
QualifiedVarTypeAccess | A qualified name that refers to a variable from inside a type. |
ReadonlyArrayType | A read-only array type such as |
ReadonlyTypeExpr | A type of form |
ReferenceImport | A TypeScript comment of one of the two forms: |
ReferencePathImport | A TypeScript comment of the form: |
ReferenceTypesImport | A TypeScript comment of the form: |
RestTypeExpr | A rest element in a tuple type, such as |
SatisfiesExpr | A satisfies type asserion of the form |
SignatureKind | A value indicating if a signature is a function or constructor signature. |
StringLikeType | The |
StringLiteralType | A string literal as a static type. |
StringLiteralTypeExpr | A string literal used as a type. |
StringType | The predefined |
SymbolType | The |
TSGlobalDeclImport | A reference to a global variable for which there is a TypeScript type annotation suggesting that it contains the namespace object of a module. |
TemplateLiteralTypeExpr | A template literal used as a type. |
ThisType | A |
ThisTypeExpr | A use of the |
ThisVarTypeAccess | A |
TupleType | A tuple type, such as |
TupleTypeExpr | A tuple type such as |
Type | A static type in the TypeScript type system. |
TypeAccess | A possibly qualified name that is used as part of a type, such as |
TypeAliasDeclaration | A type alias declaration, that is, a statement of form |
TypeAliasReference | A type that refers to a type alias. |
TypeAliasScope | A scope induced by a type alias declaration, containing the type parameters declared the the alias. |
TypeAssertion | A type assertion, also known as an unchecked type cast, is a TypeScript expression of form |
TypeDecl | An identifier declaring a type name, that is, the name of a class, interface, type parameter, or import. |
TypeDefinition | A statement that defines a named type, that is, a class, interface, type alias, or enum declaration. |
TypeExpr | A type expression, that is, an AST node that is part of a TypeScript type annotation. |
TypeParameter | A type parameter declared on a class, interface, function, or type alias. |
TypeParameterized | A program element that supports type parameters, that is, a function, class, interface, type alias, mapped type, or |
TypeRef | A possibly qualified identifier that declares or refers to a type. |
TypeReference | A type that refers to a class, interface, enum, or enum member. |
TypeRootFolder | A folder where TypeScript finds declaration files for imported modules. |
TypeVariableType | A type that refers to a type variable. |
TypeofType | The type of a named value, |
TypeofTypeExpr | A type of form |
UndefinedType | The |
UnionOrIntersectionType | A union type or intersection type, such as |
UnionOrIntersectionTypeExpr | A union or intersection type, such as |
UnionType | A union type, such as |
UnionTypeExpr | A union type, such as |
UniqueSymbolType | A |
UnknownType | The predefined |
VarTypeAccess | A possibly qualified name that refers to a variable from inside a type. |
VoidType | The |