JS: Add test for underlying types

Author: asgerf

javascript/ql/test/library-tests/UnderlyingTypes/calls.ts

@@ -0,0 +1,32 @@
+import * as express from 'express';
+
+function getRequest(): express.Request { }
+
+function t1() {
+    getRequest(); // $ hasUnderlyingType='express'.Request
+}
+
+declare function getRequestAmbient(): express.Request;
+
+function t2() {
+    getRequestAmbient(); // $ MISSING: hasUnderlyingType='express'.Request
+}
+
+class C {
+    method(): express.Request { }
+}
+
+function t3(c: C) {
+    c.method(); // $ hasUnderlyingType='express'.Request
+    new C().method(); // $ hasUnderlyingType='express'.Request
+}
+
+function callback(fn: (req: express.Request) => void) { // $ SPURIOUS: hasUnderlyingType='express'.Request - req seems to be a SourceNode
+}
+
+function t4() {
+    callback(function (
+        req // $ hasUnderlyingType='express'.Request
+    ) { }
+    );
+}

javascript/ql/test/library-tests/UnderlyingTypes/expressBulkExport.ts

@@ -0,0 +1 @@
+export * from 'express';

javascript/ql/test/library-tests/UnderlyingTypes/expressBulkExport.use.ts

@@ -0,0 +1,7 @@
+import { Request, Response } from './expressBulkExport';
+
+function t1(req: Request) { // $ hasUnderlyingType='express'.Request
+}
+
+function t2(res: Response) { // $ hasUnderlyingType='express'.Response
+}

javascript/ql/test/library-tests/UnderlyingTypes/expressExportAssign.ts

@@ -0,0 +1,2 @@
+import E = require('express');
+export = E;

javascript/ql/test/library-tests/UnderlyingTypes/expressExportAssign.use.ts

@@ -0,0 +1,4 @@
+import { Request } from "./expressExportAssign";
+
+function t1(req: Request) { // $ hasUnderlyingType='express'.Request
+}

javascript/ql/test/library-tests/UnderlyingTypes/expressExportAssignWrapper.ts

@@ -0,0 +1,5 @@
+import Express = require('express');
+namespace Wrapper {
+    export import E = Express;
+}
+export = Wrapper;

javascript/ql/test/library-tests/UnderlyingTypes/expressExportAssignWrapper.use.ts

@@ -0,0 +1,4 @@
+import { E } from "./expressExportAssignWrapper";
+
+function t1(req: E.Request) { // $ hasUnderlyingType='express'.Request
+}

javascript/ql/test/library-tests/UnderlyingTypes/expressSelectiveExport.ts

@@ -0,0 +1,2 @@
+export { Request } from 'express';
+export { Response as R } from 'express';

javascript/ql/test/library-tests/UnderlyingTypes/expressSelectiveExport.use.ts

@@ -0,0 +1,10 @@
+import { Request, Response, R } from './expressSelectiveExport';
+
+function t1(req: Request) { // $ hasUnderlyingType='express'.Request
+}
+
+function t2(res: Response) { // none, not exported
+}
+
+function t3(res: R) { // $ hasUnderlyingType='express'.Response
+}

javascript/ql/test/library-tests/UnderlyingTypes/expressWrapperExport.ts

@@ -0,0 +1 @@
+export * as wrapper from 'express';