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

Member predicate TypeNameBindingNode::hasUnderlyingType

Holds if this type refers to the given type exported from the given module, after unfolding unions and intersections, and following subtype relations.

For example:

import { Request } from "express";

var x: Request; // hasUnderlyingType("express", "Request")
var x: Request | null; // hasUnderlyingType("express", "Request")
var x: Request & { prop: string }; // hasUnderlyingType("express", "Request")

interface CustomSubtype extends Request {}

var x: CustomSubtype; // hasUnderlyingType("express", "Request")
predicate hasUnderlyingType(string moduleName, string qualifiedName)