TS: Update TypeAlias test

asger-semmle · asger-semmle · commit a3aef1e4e0e4 · 2019-11-21T15:39:37.000Z
diff --git a/javascript/ql/test/library-tests/TypeScript/TypeAliases/TypeAliases.expected b/javascript/ql/test/library-tests/TypeScript/TypeAliases/TypeAliases.expected
@@ -1,3 +1,10 @@
+rightHandSide
+| tst.ts:1:1:1:16 | type A = number; | number |
+| tst.ts:2:1:2:16 | type B<T> = T[]; | B<T> |
+| tst.ts:8:10:8:20 | type C = A; | number |
+| tst.ts:15:1:15:23 | type Un ...  \| Two; | Union |
+#select
 | tst.ts:1:1:1:16 | type A = number; | tst.ts:1:6:1:6 | A | 0 | tst.ts:1:10:1:15 | number |
 | tst.ts:2:1:2:16 | type B<T> = T[]; | tst.ts:2:6:2:6 | B | 1 | tst.ts:2:13:2:15 | T[] |
 | tst.ts:8:10:8:20 | type C = A; | tst.ts:8:15:8:15 | C | 0 | tst.ts:8:19:8:19 | A |
+| tst.ts:15:1:15:23 | type Un ...  \| Two; | tst.ts:15:6:15:10 | Union | 0 | tst.ts:15:14:15:22 | One \| Two |
diff --git a/javascript/ql/test/library-tests/TypeScript/TypeAliases/TypeAliases.ql b/javascript/ql/test/library-tests/TypeScript/TypeAliases/TypeAliases.ql
@@ -2,3 +2,7 @@ import javascript
 
 from TypeAliasDeclaration decl
 select decl, decl.getIdentifier(), decl.getNumTypeParameter(), decl.getDefinition()
+
+query Type rightHandSide(TypeAliasDeclaration decl) {
+  result = decl.getDefinition().getType()
+}
diff --git a/javascript/ql/test/library-tests/TypeScript/TypeAliases/tsconfig.json b/javascript/ql/test/library-tests/TypeScript/TypeAliases/tsconfig.json
@@ -0,0 +1,3 @@
+{
+    "include": ["."]
+}
diff --git a/javascript/ql/test/library-tests/TypeScript/TypeAliases/tst.ts b/javascript/ql/test/library-tests/TypeScript/TypeAliases/tst.ts
@@ -8,3 +8,8 @@ namespace Q {
   export type C = A;
 }
 var z: Q.C;
+
+interface One { a: number }
+interface Two { b: number }
+
+type Union = One | Two;

Original file line number	Diff line number	Diff line change
`@@ -8,3 +8,8 @@ namespace Q {`
`8`	`8`	`export type C = A;`
`9`	`9`	`}`
`10`	`10`	`var z: Q.C;`
	`11`	`+`
	`12`	`+interface One { a: number }`
	`13`	`+interface Two { b: number }`
	`14`	`+`
	`15`	`+type Union = One \| Two;`