hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

JS: More robust hasUnderlyingType

Browse Source
This commit is contained in:
Asger Feldthaus
2021-05-10 13:17:25 +02:00
parent 097b6e5e33
commit 3e5dc1efb7
5 changed files with 14 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
javascript/ql/test/library-tests/TypeScript/HasUnderlyingType/HasUnderlyingType.expected
View File

@@ -1,2 +1,6 @@
underlyingTypeNode
| foo | Bar | foo.ts:3:1:5:1 | use (instance (member Bar (member exports (module foo)))) |
| foo | Bar | foo.ts:3:12:3:12 | use (instance (member Bar (member exports (module foo)))) |
#select
| tst.ts:8:14:8:16 | arg | Base in global scope |
| tst.ts:8:14:8:16 | arg | Sub in global scope |

4
javascript/ql/test/library-tests/TypeScript/HasUnderlyingType/HasUnderlyingType.ql
View File

@@ -3,3 +3,7 @@ import javascript
from Expr e, TypeName typeName
where e.getType().hasUnderlyingTypeName(typeName)
select e, typeName
query API::Node underlyingTypeNode(string mod, string name) {
result = API::Node::ofType(mod, name)
}

5
javascript/ql/test/library-tests/TypeScript/HasUnderlyingType/foo.ts Normal file
View File

@@ -0,0 +1,5 @@
import foo from "foo";
function f(x: foo.Bar) {
return x;
}