hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 17:25:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

update tests for typescript 4.7

Browse Source
This commit is contained in:
Stephan Brandauer
2022-05-19 14:53:46 +02:00
parent b928ca518f
commit 0f3448dc24
3 changed files with 774 additions and 27 deletions
Download Patch File Download Diff File Expand all files Collapse all files

591
javascript/ql/test/library-tests/TypeScript/Types/printAst.expected
View File

@@ -94,6 +94,7 @@ nodes
| file://:0:0:0:0 | (Arguments) | semmle.label | (Arguments) |
| file://:0:0:0:0 | (Arguments) | semmle.label | (Arguments) |
| file://:0:0:0:0 | (Arguments) | semmle.label | (Arguments) |
| file://:0:0:0:0 | (Arguments) | semmle.label | (Arguments) |
| file://:0:0:0:0 | (Parameters) | semmle.label | (Parameters) |
| file://:0:0:0:0 | (Parameters) | semmle.label | (Parameters) |
| file://:0:0:0:0 | (Parameters) | semmle.label | (Parameters) |
@@ -120,6 +121,17 @@ nodes
| file://:0:0:0:0 | (Parameters) | semmle.label | (Parameters) |
| file://:0:0:0:0 | (Parameters) | semmle.label | (Parameters) |
| file://:0:0:0:0 | (Parameters) | semmle.label | (Parameters) |
| file://:0:0:0:0 | (Parameters) | semmle.label | (Parameters) |
| file://:0:0:0:0 | (Parameters) | semmle.label | (Parameters) |
| file://:0:0:0:0 | (Parameters) | semmle.label | (Parameters) |
| file://:0:0:0:0 | (Parameters) | semmle.label | (Parameters) |
| file://:0:0:0:0 | (Parameters) | semmle.label | (Parameters) |
| file://:0:0:0:0 | (Parameters) | semmle.label | (Parameters) |
| file://:0:0:0:0 | (Parameters) | semmle.label | (Parameters) |
| file://:0:0:0:0 | (TypeParameters) | semmle.label | (TypeParameters) |
| file://:0:0:0:0 | (TypeParameters) | semmle.label | (TypeParameters) |
| file://:0:0:0:0 | (TypeParameters) | semmle.label | (TypeParameters) |
| file://:0:0:0:0 | (TypeParameters) | semmle.label | (TypeParameters) |
| file://:0:0:0:0 | (TypeParameters) | semmle.label | (TypeParameters) |
| file://:0:0:0:0 | (TypeParameters) | semmle.label | (TypeParameters) |
| file://:0:0:0:0 | (TypeParameters) | semmle.label | (TypeParameters) |
@@ -1128,17 +1140,186 @@ nodes
| tst.ts:293:7:293:23 | [MethodCallExpr] payload.toFixed() | semmle.label | [MethodCallExpr] payload.toFixed() |
| tst.ts:293:7:293:24 | [ExprStmt] payload.toFixed(); | semmle.label | [ExprStmt] payload.toFixed(); |
| tst.ts:293:15:293:21 | [Label] toFixed | semmle.label | [Label] toFixed |
| tst.ts:298:1:376:1 | [FunctionDeclStmt] functio ... ring } | semmle.label | [FunctionDeclStmt] functio ... ring } |
| tst.ts:298:1:376:1 | [FunctionDeclStmt] functio ... ring } | semmle.order | 61 |
| tst.ts:298:10:298:15 | [VarDecl] foo_47 | semmle.label | [VarDecl] foo_47 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | semmle.label | [BlockStmt] { con ... ring } |
| tst.ts:299:3:299:23 | [DeclStmt] const key = ... | semmle.label | [DeclStmt] const key = ... |
| tst.ts:299:9:299:11 | [VarDecl] key | semmle.label | [VarDecl] key |
| tst.ts:299:9:299:22 | [VariableDeclarator] key = Symbol() | semmle.label | [VariableDeclarator] key = Symbol() |
| tst.ts:299:15:299:20 | [VarRef] Symbol | semmle.label | [VarRef] Symbol |
| tst.ts:299:15:299:22 | [CallExpr] Symbol() | semmle.label | [CallExpr] Symbol() |
| tst.ts:301:3:301:60 | [DeclStmt] const numberOrString = ... | semmle.label | [DeclStmt] const numberOrString = ... |
| tst.ts:301:9:301:22 | [VarDecl] numberOrString | semmle.label | [VarDecl] numberOrString |
| tst.ts:301:9:301:59 | [VariableDeclarator] numberO ... "hello" | semmle.label | [VariableDeclarator] numberO ... "hello" |
| tst.ts:301:26:301:29 | [VarRef] Math | semmle.label | [VarRef] Math |
| tst.ts:301:26:301:36 | [DotExpr] Math.random | semmle.label | [DotExpr] Math.random |
| tst.ts:301:26:301:38 | [MethodCallExpr] Math.random() | semmle.label | [MethodCallExpr] Math.random() |
| tst.ts:301:26:301:44 | [BinaryExpr] Math.random() < 0.5 | semmle.label | [BinaryExpr] Math.random() < 0.5 |
| tst.ts:301:26:301:59 | [ConditionalExpr] Math.ra ... "hello" | semmle.label | [ConditionalExpr] Math.ra ... "hello" |
| tst.ts:301:31:301:36 | [Label] random | semmle.label | [Label] random |
| tst.ts:301:42:301:44 | [Literal] 0.5 | semmle.label | [Literal] 0.5 |
| tst.ts:301:48:301:49 | [Literal] 42 | semmle.label | [Literal] 42 |
| tst.ts:301:53:301:59 | [Literal] "hello" | semmle.label | [Literal] "hello" |
| tst.ts:303:3:305:4 | [DeclStmt] let obj = ... | semmle.label | [DeclStmt] let obj = ... |
| tst.ts:303:7:303:9 | [VarDecl] obj | semmle.label | [VarDecl] obj |
| tst.ts:303:7:305:3 | [VariableDeclarator] obj = { ... ng, } | semmle.label | [VariableDeclarator] obj = { ... ng, } |
| tst.ts:303:13:305:3 | [ObjectExpr] { [ ... ng, } | semmle.label | [ObjectExpr] { [ ... ng, } |
| tst.ts:304:5:304:25 | [Property] [key]: ... rString | semmle.label | [Property] [key]: ... rString |
| tst.ts:304:6:304:8 | [VarRef] key | semmle.label | [VarRef] key |
| tst.ts:304:12:304:25 | [VarRef] numberOrString | semmle.label | [VarRef] numberOrString |
| tst.ts:307:3:310:3 | [IfStmt] if (typ ... (); } | semmle.label | [IfStmt] if (typ ... (); } |
| tst.ts:307:7:307:21 | [UnaryExpr] typeof obj[key] | semmle.label | [UnaryExpr] typeof obj[key] |
| tst.ts:307:7:307:34 | [BinaryExpr] typeof ... string" | semmle.label | [BinaryExpr] typeof ... string" |
| tst.ts:307:14:307:16 | [VarRef] obj | semmle.label | [VarRef] obj |
| tst.ts:307:14:307:21 | [IndexExpr] obj[key] | semmle.label | [IndexExpr] obj[key] |
| tst.ts:307:18:307:20 | [VarRef] key | semmle.label | [VarRef] key |
| tst.ts:307:27:307:34 | [Literal] "string" | semmle.label | [Literal] "string" |
| tst.ts:307:37:310:3 | [BlockStmt] { l ... (); } | semmle.label | [BlockStmt] { l ... (); } |
| tst.ts:308:5:308:23 | [DeclStmt] let str = ... | semmle.label | [DeclStmt] let str = ... |
| tst.ts:308:9:308:11 | [VarDecl] str | semmle.label | [VarDecl] str |
| tst.ts:308:9:308:22 | [VariableDeclarator] str = obj[key] | semmle.label | [VariableDeclarator] str = obj[key] |
| tst.ts:308:15:308:17 | [VarRef] obj | semmle.label | [VarRef] obj |
| tst.ts:308:15:308:22 | [IndexExpr] obj[key] | semmle.label | [IndexExpr] obj[key] |
| tst.ts:308:19:308:21 | [VarRef] key | semmle.label | [VarRef] key |
| tst.ts:309:5:309:7 | [VarRef] str | semmle.label | [VarRef] str |
| tst.ts:309:5:309:19 | [DotExpr] str.toUpperCase | semmle.label | [DotExpr] str.toUpperCase |
| tst.ts:309:5:309:21 | [MethodCallExpr] str.toUpperCase() | semmle.label | [MethodCallExpr] str.toUpperCase() |
| tst.ts:309:5:309:22 | [ExprStmt] str.toUpperCase(); | semmle.label | [ExprStmt] str.toUpperCase(); |
| tst.ts:309:9:309:19 | [Label] toUpperCase | semmle.label | [Label] toUpperCase |
| tst.ts:314:3:317:12 | [FunctionDeclStmt] functio ... void {} | semmle.label | [FunctionDeclStmt] functio ... void {} |
| tst.ts:314:12:314:12 | [VarDecl] f | semmle.label | [VarDecl] f |
| tst.ts:314:14:314:14 | [Identifier] T | semmle.label | [Identifier] T |
| tst.ts:314:14:314:14 | [TypeParameter] T | semmle.label | [TypeParameter] T |
| tst.ts:314:17:314:19 | [SimpleParameter] arg | semmle.label | [SimpleParameter] arg |
| tst.ts:314:22:316:29 | [InterfaceTypeExpr] { p ... void } | semmle.label | [InterfaceTypeExpr] { p ... void } |
| tst.ts:315:5:315:11 | [Label] produce | semmle.label | [Label] produce |
| tst.ts:315:5:315:30 | [FieldDeclaration] produce ... ) => T, | semmle.label | [FieldDeclaration] produce ... ) => T, |
| tst.ts:315:14:315:29 | [FunctionExpr] (n: string) => T | semmle.label | [FunctionExpr] (n: string) => T |
| tst.ts:315:14:315:29 | [FunctionTypeExpr] (n: string) => T | semmle.label | [FunctionTypeExpr] (n: string) => T |
| tst.ts:315:15:315:15 | [SimpleParameter] n | semmle.label | [SimpleParameter] n |
| tst.ts:315:18:315:23 | [KeywordTypeExpr] string | semmle.label | [KeywordTypeExpr] string |
| tst.ts:315:29:315:29 | [LocalTypeAccess] T | semmle.label | [LocalTypeAccess] T |
| tst.ts:316:5:316:11 | [Label] consume | semmle.label | [Label] consume |
| tst.ts:316:5:316:27 | [FieldDeclaration] consume ... => void | semmle.label | [FieldDeclaration] consume ... => void |
| tst.ts:316:14:316:27 | [FunctionExpr] (x: T) => void | semmle.label | [FunctionExpr] (x: T) => void |
| tst.ts:316:14:316:27 | [FunctionTypeExpr] (x: T) => void | semmle.label | [FunctionTypeExpr] (x: T) => void |
| tst.ts:316:15:316:15 | [SimpleParameter] x | semmle.label | [SimpleParameter] x |
| tst.ts:316:18:316:18 | [LocalTypeAccess] T | semmle.label | [LocalTypeAccess] T |
| tst.ts:316:24:316:27 | [KeywordTypeExpr] void | semmle.label | [KeywordTypeExpr] void |
| tst.ts:317:6:317:9 | [KeywordTypeExpr] void | semmle.label | [KeywordTypeExpr] void |
| tst.ts:317:11:317:12 | [BlockStmt] {} | semmle.label | [BlockStmt] {} |
| tst.ts:317:13:317:13 | [EmptyStmt] ; | semmle.label | [EmptyStmt] ; |
| tst.ts:319:3:319:3 | [VarRef] f | semmle.label | [VarRef] f |
| tst.ts:319:3:322:4 | [CallExpr] f({ ... () }) | semmle.label | [CallExpr] f({ ... () }) |
| tst.ts:319:3:322:5 | [ExprStmt] f({ ... ) }); | semmle.label | [ExprStmt] f({ ... ) }); |
| tst.ts:319:5:322:3 | [ObjectExpr] {produce: ...} | semmle.label | [ObjectExpr] {produce: ...} |
| tst.ts:320:5:320:11 | [Label] produce | semmle.label | [Label] produce |
| tst.ts:320:5:320:19 | [Property] produce: n => n | semmle.label | [Property] produce: n => n |
| tst.ts:320:14:320:14 | [SimpleParameter] n | semmle.label | [SimpleParameter] n |
| tst.ts:320:14:320:19 | [ArrowFunctionExpr] n => n | semmle.label | [ArrowFunctionExpr] n => n |
| tst.ts:320:19:320:19 | [VarRef] n | semmle.label | [VarRef] n |
| tst.ts:321:5:321:11 | [Label] consume | semmle.label | [Label] consume |
| tst.ts:321:5:321:33 | [Property] consume ... rCase() | semmle.label | [Property] consume ... rCase() |
| tst.ts:321:14:321:14 | [SimpleParameter] x | semmle.label | [SimpleParameter] x |
| tst.ts:321:14:321:33 | [ArrowFunctionExpr] x => x.toLowerCase() | semmle.label | [ArrowFunctionExpr] x => x.toLowerCase() |
| tst.ts:321:19:321:19 | [VarRef] x | semmle.label | [VarRef] x |
| tst.ts:321:19:321:31 | [DotExpr] x.toLowerCase | semmle.label | [DotExpr] x.toLowerCase |
| tst.ts:321:19:321:33 | [MethodCallExpr] x.toLowerCase() | semmle.label | [MethodCallExpr] x.toLowerCase() |
| tst.ts:321:21:321:31 | [Label] toLowerCase | semmle.label | [Label] toLowerCase |
| tst.ts:326:3:326:38 | [DeclStmt] const ErrorMap = ... | semmle.label | [DeclStmt] const ErrorMap = ... |
| tst.ts:326:9:326:16 | [VarDecl] ErrorMap | semmle.label | [VarDecl] ErrorMap |
| tst.ts:326:9:326:37 | [VariableDeclarator] ErrorMa ... Error> | semmle.label | [VariableDeclarator] ErrorMa ... Error> |
| tst.ts:326:20:326:22 | [VarRef] Map | semmle.label | [VarRef] Map |
| tst.ts:326:20:326:37 | [???] Map<string, Error> | semmle.label | [???] Map<string, Error> |
| tst.ts:326:24:326:29 | [KeywordTypeExpr] string | semmle.label | [KeywordTypeExpr] string |
| tst.ts:326:32:326:36 | [LocalTypeAccess] Error | semmle.label | [LocalTypeAccess] Error |
| tst.ts:328:3:328:34 | [DeclStmt] const errorMap = ... | semmle.label | [DeclStmt] const errorMap = ... |
| tst.ts:328:9:328:16 | [VarDecl] errorMap | semmle.label | [VarDecl] errorMap |
| tst.ts:328:9:328:33 | [VariableDeclarator] errorMa ... orMap() | semmle.label | [VariableDeclarator] errorMa ... orMap() |
| tst.ts:328:20:328:33 | [NewExpr] new ErrorMap() | semmle.label | [NewExpr] new ErrorMap() |
| tst.ts:328:24:328:31 | [VarRef] ErrorMap | semmle.label | [VarRef] ErrorMap |
| tst.ts:332:3:335:16 | [TypeAliasDeclaration,TypeDefinition] type Fi ... never; | semmle.label | [TypeAliasDeclaration,TypeDefinition] type Fi ... never; |
| tst.ts:332:8:332:18 | [Identifier] FirstString | semmle.label | [Identifier] FirstString |
| tst.ts:332:20:332:20 | [Identifier] T | semmle.label | [Identifier] T |
| tst.ts:332:20:332:20 | [TypeParameter] T | semmle.label | [TypeParameter] T |
| tst.ts:333:5:333:5 | [LocalTypeAccess] T | semmle.label | [LocalTypeAccess] T |
| tst.ts:333:5:335:15 | [ConditionalTypeExpr] T exten ... : never | semmle.label | [ConditionalTypeExpr] T exten ... : never |
| tst.ts:333:15:333:52 | [TupleTypeExpr] [infer ... nown[]] | semmle.label | [TupleTypeExpr] [infer ... nown[]] |
| tst.ts:333:16:333:37 | [InferTypeExpr] infer S ... string | semmle.label | [InferTypeExpr] infer S ... string |
| tst.ts:333:22:333:22 | [Identifier] S | semmle.label | [Identifier] S |
| tst.ts:333:22:333:37 | [TypeParameter] S extends string | semmle.label | [TypeParameter] S extends string |
| tst.ts:333:32:333:37 | [KeywordTypeExpr] string | semmle.label | [KeywordTypeExpr] string |
| tst.ts:333:40:333:51 | [RestTypeExpr] ...unknown[] | semmle.label | [RestTypeExpr] ...unknown[] |
| tst.ts:333:43:333:49 | [KeywordTypeExpr] unknown | semmle.label | [KeywordTypeExpr] unknown |
| tst.ts:333:43:333:51 | [ArrayTypeExpr] unknown[] | semmle.label | [ArrayTypeExpr] unknown[] |
| tst.ts:334:11:334:11 | [LocalTypeAccess] S | semmle.label | [LocalTypeAccess] S |
| tst.ts:335:11:335:15 | [KeywordTypeExpr] never | semmle.label | [KeywordTypeExpr] never |
| tst.ts:337:3:337:53 | [TypeAliasDeclaration,TypeDefinition] type F ... lean]>; | semmle.label | [TypeAliasDeclaration,TypeDefinition] type F ... lean]>; |
| tst.ts:337:8:337:8 | [Identifier] F | semmle.label | [Identifier] F |
| tst.ts:337:12:337:22 | [LocalTypeAccess] FirstString | semmle.label | [LocalTypeAccess] FirstString |
| tst.ts:337:12:337:52 | [GenericTypeExpr] FirstSt ... olean]> | semmle.label | [GenericTypeExpr] FirstSt ... olean]> |
| tst.ts:337:24:337:51 | [TupleTypeExpr] ['a' \| ... oolean] | semmle.label | [TupleTypeExpr] ['a' \| ... oolean] |
| tst.ts:337:25:337:27 | [LiteralTypeExpr] 'a' | semmle.label | [LiteralTypeExpr] 'a' |
| tst.ts:337:25:337:33 | [UnionTypeExpr] 'a' \| 'b' | semmle.label | [UnionTypeExpr] 'a' \| 'b' |
| tst.ts:337:31:337:33 | [LiteralTypeExpr] 'b' | semmle.label | [LiteralTypeExpr] 'b' |
| tst.ts:337:36:337:41 | [KeywordTypeExpr] number | semmle.label | [KeywordTypeExpr] number |
| tst.ts:337:44:337:50 | [KeywordTypeExpr] boolean | semmle.label | [KeywordTypeExpr] boolean |
| tst.ts:339:3:339:19 | [DeclStmt] const a = ... | semmle.label | [DeclStmt] const a = ... |
| tst.ts:339:9:339:9 | [VarDecl] a | semmle.label | [VarDecl] a |
| tst.ts:339:9:339:18 | [VariableDeclarator] a: F = 'a' | semmle.label | [VariableDeclarator] a: F = 'a' |
| tst.ts:339:12:339:12 | [LocalTypeAccess] F | semmle.label | [LocalTypeAccess] F |
| tst.ts:339:16:339:18 | [Literal] 'a' | semmle.label | [Literal] 'a' |
| tst.ts:343:3:346:3 | [InterfaceDeclaration,TypeDefinition] interfa ... id; } | semmle.label | [InterfaceDeclaration,TypeDefinition] interfa ... id; } |
| tst.ts:343:13:343:17 | [Identifier] State | semmle.label | [Identifier] State |
| tst.ts:343:19:343:26 | [TypeParameter] in out T | semmle.label | [TypeParameter] in out T |
| tst.ts:343:26:343:26 | [Identifier] T | semmle.label | [Identifier] T |
| tst.ts:344:5:344:7 | [Label] get | semmle.label | [Label] get |
| tst.ts:344:5:344:17 | [FieldDeclaration] get: () => T; | semmle.label | [FieldDeclaration] get: () => T; |
| tst.ts:344:10:344:16 | [FunctionExpr] () => T | semmle.label | [FunctionExpr] () => T |
| tst.ts:344:10:344:16 | [FunctionTypeExpr] () => T | semmle.label | [FunctionTypeExpr] () => T |
| tst.ts:344:16:344:16 | [LocalTypeAccess] T | semmle.label | [LocalTypeAccess] T |
| tst.ts:345:5:345:7 | [Label] set | semmle.label | [Label] set |
| tst.ts:345:5:345:28 | [FieldDeclaration] set: (v ... > void; | semmle.label | [FieldDeclaration] set: (v ... > void; |
| tst.ts:345:10:345:27 | [FunctionExpr] (value: T) => void | semmle.label | [FunctionExpr] (value: T) => void |
| tst.ts:345:10:345:27 | [FunctionTypeExpr] (value: T) => void | semmle.label | [FunctionTypeExpr] (value: T) => void |
| tst.ts:345:11:345:15 | [SimpleParameter] value | semmle.label | [SimpleParameter] value |
| tst.ts:345:18:345:18 | [LocalTypeAccess] T | semmle.label | [LocalTypeAccess] T |
| tst.ts:345:24:345:27 | [KeywordTypeExpr] void | semmle.label | [KeywordTypeExpr] void |
| tst.ts:348:3:351:3 | [DeclStmt] const state = ... | semmle.label | [DeclStmt] const state = ... |
| tst.ts:348:9:348:13 | [VarDecl] state | semmle.label | [VarDecl] state |
| tst.ts:348:9:351:3 | [VariableDeclarator] state: ... { } } | semmle.label | [VariableDeclarator] state: ... { } } |
| tst.ts:348:16:348:20 | [LocalTypeAccess] State | semmle.label | [LocalTypeAccess] State |
| tst.ts:348:16:348:28 | [GenericTypeExpr] State<number> | semmle.label | [GenericTypeExpr] State<number> |
| tst.ts:348:22:348:27 | [KeywordTypeExpr] number | semmle.label | [KeywordTypeExpr] number |
| tst.ts:348:32:351:3 | [ObjectExpr] {get: ...} | semmle.label | [ObjectExpr] {get: ...} |
| tst.ts:349:5:349:7 | [Label] get | semmle.label | [Label] get |
| tst.ts:349:5:349:17 | [Property] get: () => 42 | semmle.label | [Property] get: () => 42 |
| tst.ts:349:10:349:17 | [ArrowFunctionExpr] () => 42 | semmle.label | [ArrowFunctionExpr] () => 42 |
| tst.ts:349:16:349:17 | [Literal] 42 | semmle.label | [Literal] 42 |
| tst.ts:350:5:350:7 | [Label] set | semmle.label | [Label] set |
| tst.ts:350:5:350:23 | [Property] set: (value) => { } | semmle.label | [Property] set: (value) => { } |
| tst.ts:350:10:350:23 | [ArrowFunctionExpr] (value) => { } | semmle.label | [ArrowFunctionExpr] (value) => { } |
| tst.ts:350:11:350:15 | [SimpleParameter] value | semmle.label | [SimpleParameter] value |
| tst.ts:350:21:350:23 | [BlockStmt] { } | semmle.label | [BlockStmt] { } |
| tst.ts:353:3:353:31 | [DeclStmt] const fortyTwo = ... | semmle.label | [DeclStmt] const fortyTwo = ... |
| tst.ts:353:9:353:16 | [VarDecl] fortyTwo | semmle.label | [VarDecl] fortyTwo |
| tst.ts:353:9:353:30 | [VariableDeclarator] fortyTw ... e.get() | semmle.label | [VariableDeclarator] fortyTw ... e.get() |
| tst.ts:353:20:353:24 | [VarRef] state | semmle.label | [VarRef] state |
| tst.ts:353:20:353:28 | [DotExpr] state.get | semmle.label | [DotExpr] state.get |
| tst.ts:353:20:353:30 | [MethodCallExpr] state.get() | semmle.label | [MethodCallExpr] state.get() |
| tst.ts:353:26:353:28 | [Label] get | semmle.label | [Label] get |
| type_alias.ts:1:1:1:17 | [TypeAliasDeclaration,TypeDefinition] type B = boolean; | semmle.label | [TypeAliasDeclaration,TypeDefinition] type B = boolean; |
| type_alias.ts:1:1:1:17 | [TypeAliasDeclaration,TypeDefinition] type B = boolean; | semmle.order | 61 |
| type_alias.ts:1:1:1:17 | [TypeAliasDeclaration,TypeDefinition] type B = boolean; | semmle.order | 62 |
| type_alias.ts:1:6:1:6 | [Identifier] B | semmle.label | [Identifier] B |
| type_alias.ts:1:10:1:16 | [KeywordTypeExpr] boolean | semmle.label | [KeywordTypeExpr] boolean |
| type_alias.ts:3:1:3:9 | [DeclStmt] var b = ... | semmle.label | [DeclStmt] var b = ... |
| type_alias.ts:3:1:3:9 | [DeclStmt] var b = ... | semmle.order | 62 |
| type_alias.ts:3:1:3:9 | [DeclStmt] var b = ... | semmle.order | 63 |
| type_alias.ts:3:5:3:5 | [VarDecl] b | semmle.label | [VarDecl] b |
| type_alias.ts:3:5:3:8 | [VariableDeclarator] b: B | semmle.label | [VariableDeclarator] b: B |
| type_alias.ts:3:8:3:8 | [LocalTypeAccess] B | semmle.label | [LocalTypeAccess] B |
| type_alias.ts:5:1:5:50 | [TypeAliasDeclaration,TypeDefinition] type Va ... ay<T>>; | semmle.label | [TypeAliasDeclaration,TypeDefinition] type Va ... ay<T>>; |
| type_alias.ts:5:1:5:50 | [TypeAliasDeclaration,TypeDefinition] type Va ... ay<T>>; | semmle.order | 63 |
| type_alias.ts:5:1:5:50 | [TypeAliasDeclaration,TypeDefinition] type Va ... ay<T>>; | semmle.order | 64 |
| type_alias.ts:5:6:5:17 | [Identifier] ValueOrArray | semmle.label | [Identifier] ValueOrArray |
| type_alias.ts:5:19:5:19 | [Identifier] T | semmle.label | [Identifier] T |
| type_alias.ts:5:19:5:19 | [TypeParameter] T | semmle.label | [TypeParameter] T |
@@ -1150,14 +1331,14 @@ nodes
| type_alias.ts:5:34:5:48 | [GenericTypeExpr] ValueOrArray<T> | semmle.label | [GenericTypeExpr] ValueOrArray<T> |
| type_alias.ts:5:47:5:47 | [LocalTypeAccess] T | semmle.label | [LocalTypeAccess] T |
| type_alias.ts:7:1:7:28 | [DeclStmt] var c = ... | semmle.label | [DeclStmt] var c = ... |
| type_alias.ts:7:1:7:28 | [DeclStmt] var c = ... | semmle.order | 64 |
| type_alias.ts:7:1:7:28 | [DeclStmt] var c = ... | semmle.order | 65 |
| type_alias.ts:7:5:7:5 | [VarDecl] c | semmle.label | [VarDecl] c |
| type_alias.ts:7:5:7:27 | [VariableDeclarator] c: Valu ... number> | semmle.label | [VariableDeclarator] c: Valu ... number> |
| type_alias.ts:7:8:7:19 | [LocalTypeAccess] ValueOrArray | semmle.label | [LocalTypeAccess] ValueOrArray |
| type_alias.ts:7:8:7:27 | [GenericTypeExpr] ValueOrArray<number> | semmle.label | [GenericTypeExpr] ValueOrArray<number> |
| type_alias.ts:7:21:7:26 | [KeywordTypeExpr] number | semmle.label | [KeywordTypeExpr] number |
| type_alias.ts:9:1:15:13 | [TypeAliasDeclaration,TypeDefinition] type Js ... Json[]; | semmle.label | [TypeAliasDeclaration,TypeDefinition] type Js ... Json[]; |
| type_alias.ts:9:1:15:13 | [TypeAliasDeclaration,TypeDefinition] type Js ... Json[]; | semmle.order | 65 |
| type_alias.ts:9:1:15:13 | [TypeAliasDeclaration,TypeDefinition] type Js ... Json[]; | semmle.order | 66 |
| type_alias.ts:9:6:9:9 | [Identifier] Json | semmle.label | [Identifier] Json |
| type_alias.ts:10:5:15:12 | [UnionTypeExpr] \| strin ... Json[] | semmle.label | [UnionTypeExpr] \| strin ... Json[] |
| type_alias.ts:10:7:10:12 | [KeywordTypeExpr] string | semmle.label | [KeywordTypeExpr] string |
@@ -1173,12 +1354,12 @@ nodes
| type_alias.ts:15:7:15:10 | [LocalTypeAccess] Json | semmle.label | [LocalTypeAccess] Json |
| type_alias.ts:15:7:15:12 | [ArrayTypeExpr] Json[] | semmle.label | [ArrayTypeExpr] Json[] |
| type_alias.ts:17:1:17:15 | [DeclStmt] var json = ... | semmle.label | [DeclStmt] var json = ... |
| type_alias.ts:17:1:17:15 | [DeclStmt] var json = ... | semmle.order | 66 |
| type_alias.ts:17:1:17:15 | [DeclStmt] var json = ... | semmle.order | 67 |
| type_alias.ts:17:5:17:8 | [VarDecl] json | semmle.label | [VarDecl] json |
| type_alias.ts:17:5:17:14 | [VariableDeclarator] json: Json | semmle.label | [VariableDeclarator] json: Json |
| type_alias.ts:17:11:17:14 | [LocalTypeAccess] Json | semmle.label | [LocalTypeAccess] Json |
| type_alias.ts:19:1:21:57 | [TypeAliasDeclaration,TypeDefinition] type Vi ... ode[]]; | semmle.label | [TypeAliasDeclaration,TypeDefinition] type Vi ... ode[]]; |
| type_alias.ts:19:1:21:57 | [TypeAliasDeclaration,TypeDefinition] type Vi ... ode[]]; | semmle.order | 67 |
| type_alias.ts:19:1:21:57 | [TypeAliasDeclaration,TypeDefinition] type Vi ... ode[]]; | semmle.order | 68 |
| type_alias.ts:19:6:19:16 | [Identifier] VirtualNode | semmle.label | [Identifier] VirtualNode |
| type_alias.ts:20:5:21:56 | [UnionTypeExpr] \| strin ... Node[]] | semmle.label | [UnionTypeExpr] \| strin ... Node[]] |
| type_alias.ts:20:7:20:12 | [KeywordTypeExpr] string | semmle.label | [KeywordTypeExpr] string |
@@ -1194,7 +1375,7 @@ nodes
| type_alias.ts:21:43:21:53 | [LocalTypeAccess] VirtualNode | semmle.label | [LocalTypeAccess] VirtualNode |
| type_alias.ts:21:43:21:55 | [ArrayTypeExpr] VirtualNode[] | semmle.label | [ArrayTypeExpr] VirtualNode[] |
| type_alias.ts:23:1:27:6 | [DeclStmt] const myNode = ... | semmle.label | [DeclStmt] const myNode = ... |
| type_alias.ts:23:1:27:6 | [DeclStmt] const myNode = ... | semmle.order | 68 |
| type_alias.ts:23:1:27:6 | [DeclStmt] const myNode = ... | semmle.order | 69 |
| type_alias.ts:23:7:23:12 | [VarDecl] myNode | semmle.label | [VarDecl] myNode |
| type_alias.ts:23:7:27:5 | [VariableDeclarator] myNode: ... ] ] | semmle.label | [VariableDeclarator] myNode: ... ] ] |
| type_alias.ts:23:15:23:25 | [LocalTypeAccess] VirtualNode | semmle.label | [LocalTypeAccess] VirtualNode |
@@ -1219,12 +1400,12 @@ nodes
| type_alias.ts:26:23:26:36 | [Literal] "second-child" | semmle.label | [Literal] "second-child" |
| type_alias.ts:26:41:26:62 | [Literal] "I'm the second child" | semmle.label | [Literal] "I'm the second child" |
| type_definition_objects.ts:1:1:1:33 | [ImportDeclaration] import ... dummy"; | semmle.label | [ImportDeclaration] import ... dummy"; |
| type_definition_objects.ts:1:1:1:33 | [ImportDeclaration] import ... dummy"; | semmle.order | 69 |
| type_definition_objects.ts:1:1:1:33 | [ImportDeclaration] import ... dummy"; | semmle.order | 70 |
| type_definition_objects.ts:1:8:1:17 | [ImportSpecifier] * as dummy | semmle.label | [ImportSpecifier] * as dummy |
| type_definition_objects.ts:1:13:1:17 | [VarDecl] dummy | semmle.label | [VarDecl] dummy |
| type_definition_objects.ts:1:24:1:32 | [Literal] "./dummy" | semmle.label | [Literal] "./dummy" |
| type_definition_objects.ts:3:1:3:17 | [ExportDeclaration] export class C {} | semmle.label | [ExportDeclaration] export class C {} |
| type_definition_objects.ts:3:1:3:17 | [ExportDeclaration] export class C {} | semmle.order | 70 |
| type_definition_objects.ts:3:1:3:17 | [ExportDeclaration] export class C {} | semmle.order | 71 |
| type_definition_objects.ts:3:8:3:17 | [ClassDefinition,TypeDefinition] class C {} | semmle.label | [ClassDefinition,TypeDefinition] class C {} |
| type_definition_objects.ts:3:14:3:14 | [VarDecl] C | semmle.label | [VarDecl] C |
| type_definition_objects.ts:3:16:3:15 | [BlockStmt] {} | semmle.label | [BlockStmt] {} |
@@ -1232,36 +1413,36 @@ nodes
| type_definition_objects.ts:3:16:3:15 | [FunctionExpr] () {} | semmle.label | [FunctionExpr] () {} |
| type_definition_objects.ts:3:16:3:15 | [Label] constructor | semmle.label | [Label] constructor |
| type_definition_objects.ts:4:1:4:17 | [DeclStmt] let classObj = ... | semmle.label | [DeclStmt] let classObj = ... |
| type_definition_objects.ts:4:1:4:17 | [DeclStmt] let classObj = ... | semmle.order | 71 |
| type_definition_objects.ts:4:1:4:17 | [DeclStmt] let classObj = ... | semmle.order | 72 |
| type_definition_objects.ts:4:5:4:12 | [VarDecl] classObj | semmle.label | [VarDecl] classObj |
| type_definition_objects.ts:4:5:4:16 | [VariableDeclarator] classObj = C | semmle.label | [VariableDeclarator] classObj = C |
| type_definition_objects.ts:4:16:4:16 | [VarRef] C | semmle.label | [VarRef] C |
| type_definition_objects.ts:6:1:6:16 | [ExportDeclaration] export enum E {} | semmle.label | [ExportDeclaration] export enum E {} |
| type_definition_objects.ts:6:1:6:16 | [ExportDeclaration] export enum E {} | semmle.order | 72 |
| type_definition_objects.ts:6:1:6:16 | [ExportDeclaration] export enum E {} | semmle.order | 73 |
| type_definition_objects.ts:6:8:6:16 | [EnumDeclaration,TypeDefinition] enum E {} | semmle.label | [EnumDeclaration,TypeDefinition] enum E {} |
| type_definition_objects.ts:6:13:6:13 | [VarDecl] E | semmle.label | [VarDecl] E |
| type_definition_objects.ts:7:1:7:16 | [DeclStmt] let enumObj = ... | semmle.label | [DeclStmt] let enumObj = ... |
| type_definition_objects.ts:7:1:7:16 | [DeclStmt] let enumObj = ... | semmle.order | 73 |
| type_definition_objects.ts:7:1:7:16 | [DeclStmt] let enumObj = ... | semmle.order | 74 |
| type_definition_objects.ts:7:5:7:11 | [VarDecl] enumObj | semmle.label | [VarDecl] enumObj |
| type_definition_objects.ts:7:5:7:15 | [VariableDeclarator] enumObj = E | semmle.label | [VariableDeclarator] enumObj = E |
| type_definition_objects.ts:7:15:7:15 | [VarRef] E | semmle.label | [VarRef] E |
| type_definition_objects.ts:9:1:9:22 | [ExportDeclaration] export ... e N {;} | semmle.label | [ExportDeclaration] export ... e N {;} |
| type_definition_objects.ts:9:1:9:22 | [ExportDeclaration] export ... e N {;} | semmle.order | 74 |
| type_definition_objects.ts:9:1:9:22 | [ExportDeclaration] export ... e N {;} | semmle.order | 75 |
| type_definition_objects.ts:9:8:9:22 | [NamespaceDeclaration] namespace N {;} | semmle.label | [NamespaceDeclaration] namespace N {;} |
| type_definition_objects.ts:9:18:9:18 | [VarDecl] N | semmle.label | [VarDecl] N |
| type_definition_objects.ts:9:21:9:21 | [EmptyStmt] ; | semmle.label | [EmptyStmt] ; |
| type_definition_objects.ts:10:1:10:21 | [DeclStmt] let namespaceObj = ... | semmle.label | [DeclStmt] let namespaceObj = ... |
| type_definition_objects.ts:10:1:10:21 | [DeclStmt] let namespaceObj = ... | semmle.order | 75 |
| type_definition_objects.ts:10:1:10:21 | [DeclStmt] let namespaceObj = ... | semmle.order | 76 |
| type_definition_objects.ts:10:5:10:16 | [VarDecl] namespaceObj | semmle.label | [VarDecl] namespaceObj |
| type_definition_objects.ts:10:5:10:20 | [VariableDeclarator] namespaceObj = N | semmle.label | [VariableDeclarator] namespaceObj = N |
| type_definition_objects.ts:10:20:10:20 | [VarRef] N | semmle.label | [VarRef] N |
| type_definitions.ts:1:1:1:33 | [ImportDeclaration] import ... dummy"; | semmle.label | [ImportDeclaration] import ... dummy"; |
| type_definitions.ts:1:1:1:33 | [ImportDeclaration] import ... dummy"; | semmle.order | 76 |
| type_definitions.ts:1:1:1:33 | [ImportDeclaration] import ... dummy"; | semmle.order | 77 |
| type_definitions.ts:1:8:1:17 | [ImportSpecifier] * as dummy | semmle.label | [ImportSpecifier] * as dummy |
| type_definitions.ts:1:13:1:17 | [VarDecl] dummy | semmle.label | [VarDecl] dummy |
| type_definitions.ts:1:24:1:32 | [Literal] "./dummy" | semmle.label | [Literal] "./dummy" |
| type_definitions.ts:3:1:5:1 | [InterfaceDeclaration,TypeDefinition] interfa ... x: S; } | semmle.label | [InterfaceDeclaration,TypeDefinition] interfa ... x: S; } |
| type_definitions.ts:3:1:5:1 | [InterfaceDeclaration,TypeDefinition] interfa ... x: S; } | semmle.order | 77 |
| type_definitions.ts:3:1:5:1 | [InterfaceDeclaration,TypeDefinition] interfa ... x: S; } | semmle.order | 78 |
| type_definitions.ts:3:11:3:11 | [Identifier] I | semmle.label | [Identifier] I |
| type_definitions.ts:3:13:3:13 | [Identifier] S | semmle.label | [Identifier] S |
| type_definitions.ts:3:13:3:13 | [TypeParameter] S | semmle.label | [TypeParameter] S |
@@ -1269,14 +1450,14 @@ nodes
| type_definitions.ts:4:3:4:7 | [FieldDeclaration] x: S; | semmle.label | [FieldDeclaration] x: S; |
| type_definitions.ts:4:6:4:6 | [LocalTypeAccess] S | semmle.label | [LocalTypeAccess] S |
| type_definitions.ts:6:1:6:16 | [DeclStmt] let i = ... | semmle.label | [DeclStmt] let i = ... |
| type_definitions.ts:6:1:6:16 | [DeclStmt] let i = ... | semmle.order | 78 |
| type_definitions.ts:6:1:6:16 | [DeclStmt] let i = ... | semmle.order | 79 |
| type_definitions.ts:6:5:6:5 | [VarDecl] i | semmle.label | [VarDecl] i |
| type_definitions.ts:6:5:6:16 | [VariableDeclarator] i: I<number> | semmle.label | [VariableDeclarator] i: I<number> |
| type_definitions.ts:6:8:6:8 | [LocalTypeAccess] I | semmle.label | [LocalTypeAccess] I |
| type_definitions.ts:6:8:6:16 | [GenericTypeExpr] I<number> | semmle.label | [GenericTypeExpr] I<number> |
| type_definitions.ts:6:10:6:15 | [KeywordTypeExpr] number | semmle.label | [KeywordTypeExpr] number |
| type_definitions.ts:8:1:10:1 | [ClassDefinition,TypeDefinition] class C ... x: T } | semmle.label | [ClassDefinition,TypeDefinition] class C ... x: T } |
| type_definitions.ts:8:1:10:1 | [ClassDefinition,TypeDefinition] class C ... x: T } | semmle.order | 79 |
| type_definitions.ts:8:1:10:1 | [ClassDefinition,TypeDefinition] class C ... x: T } | semmle.order | 80 |
| type_definitions.ts:8:7:8:7 | [VarDecl] C | semmle.label | [VarDecl] C |
| type_definitions.ts:8:8:8:7 | [BlockStmt] {} | semmle.label | [BlockStmt] {} |
| type_definitions.ts:8:8:8:7 | [ClassInitializedMember,ConstructorDefinition] constructor() {} | semmle.label | [ClassInitializedMember,ConstructorDefinition] constructor() {} |
@@ -1288,14 +1469,14 @@ nodes
| type_definitions.ts:9:3:9:6 | [FieldDeclaration] x: T | semmle.label | [FieldDeclaration] x: T |
| type_definitions.ts:9:6:9:6 | [LocalTypeAccess] T | semmle.label | [LocalTypeAccess] T |
| type_definitions.ts:11:1:11:17 | [DeclStmt] let c = ... | semmle.label | [DeclStmt] let c = ... |
| type_definitions.ts:11:1:11:17 | [DeclStmt] let c = ... | semmle.order | 80 |
| type_definitions.ts:11:1:11:17 | [DeclStmt] let c = ... | semmle.order | 81 |
| type_definitions.ts:11:5:11:5 | [VarDecl] c | semmle.label | [VarDecl] c |
| type_definitions.ts:11:5:11:16 | [VariableDeclarator] c: C<number> | semmle.label | [VariableDeclarator] c: C<number> |
| type_definitions.ts:11:8:11:8 | [LocalTypeAccess] C | semmle.label | [LocalTypeAccess] C |
| type_definitions.ts:11:8:11:16 | [GenericTypeExpr] C<number> | semmle.label | [GenericTypeExpr] C<number> |
| type_definitions.ts:11:10:11:15 | [KeywordTypeExpr] number | semmle.label | [KeywordTypeExpr] number |
| type_definitions.ts:13:1:15:1 | [EnumDeclaration,TypeDefinition] enum Co ... blue } | semmle.label | [EnumDeclaration,TypeDefinition] enum Co ... blue } |
| type_definitions.ts:13:1:15:1 | [EnumDeclaration,TypeDefinition] enum Co ... blue } | semmle.order | 81 |
| type_definitions.ts:13:1:15:1 | [EnumDeclaration,TypeDefinition] enum Co ... blue } | semmle.order | 82 |
| type_definitions.ts:13:6:13:10 | [VarDecl] Color | semmle.label | [VarDecl] Color |
| type_definitions.ts:14:3:14:5 | [EnumMember,TypeDefinition] red | semmle.label | [EnumMember,TypeDefinition] red |
| type_definitions.ts:14:3:14:5 | [VarDecl] red | semmle.label | [VarDecl] red |
@@ -1304,29 +1485,29 @@ nodes
| type_definitions.ts:14:15:14:18 | [EnumMember,TypeDefinition] blue | semmle.label | [EnumMember,TypeDefinition] blue |
| type_definitions.ts:14:15:14:18 | [VarDecl] blue | semmle.label | [VarDecl] blue |
| type_definitions.ts:16:1:16:17 | [DeclStmt] let color = ... | semmle.label | [DeclStmt] let color = ... |
| type_definitions.ts:16:1:16:17 | [DeclStmt] let color = ... | semmle.order | 82 |
| type_definitions.ts:16:1:16:17 | [DeclStmt] let color = ... | semmle.order | 83 |
| type_definitions.ts:16:5:16:9 | [VarDecl] color | semmle.label | [VarDecl] color |
| type_definitions.ts:16:5:16:16 | [VariableDeclarator] color: Color | semmle.label | [VariableDeclarator] color: Color |
| type_definitions.ts:16:12:16:16 | [LocalTypeAccess] Color | semmle.label | [LocalTypeAccess] Color |
| type_definitions.ts:18:1:18:33 | [EnumDeclaration,TypeDefinition] enum En ... ember } | semmle.label | [EnumDeclaration,TypeDefinition] enum En ... ember } |
| type_definitions.ts:18:1:18:33 | [EnumDeclaration,TypeDefinition] enum En ... ember } | semmle.order | 83 |
| type_definitions.ts:18:1:18:33 | [EnumDeclaration,TypeDefinition] enum En ... ember } | semmle.order | 84 |
| type_definitions.ts:18:6:18:22 | [VarDecl] EnumWithOneMember | semmle.label | [VarDecl] EnumWithOneMember |
| type_definitions.ts:18:26:18:31 | [EnumMember,TypeDefinition] member | semmle.label | [EnumMember,TypeDefinition] member |
| type_definitions.ts:18:26:18:31 | [VarDecl] member | semmle.label | [VarDecl] member |
| type_definitions.ts:19:1:19:25 | [DeclStmt] let e = ... | semmle.label | [DeclStmt] let e = ... |
| type_definitions.ts:19:1:19:25 | [DeclStmt] let e = ... | semmle.order | 84 |
| type_definitions.ts:19:1:19:25 | [DeclStmt] let e = ... | semmle.order | 85 |
| type_definitions.ts:19:5:19:5 | [VarDecl] e | semmle.label | [VarDecl] e |
| type_definitions.ts:19:5:19:24 | [VariableDeclarator] e: EnumWithOneMember | semmle.label | [VariableDeclarator] e: EnumWithOneMember |
| type_definitions.ts:19:8:19:24 | [LocalTypeAccess] EnumWithOneMember | semmle.label | [LocalTypeAccess] EnumWithOneMember |
| type_definitions.ts:21:1:21:20 | [TypeAliasDeclaration,TypeDefinition] type Alias<T> = T[]; | semmle.label | [TypeAliasDeclaration,TypeDefinition] type Alias<T> = T[]; |
| type_definitions.ts:21:1:21:20 | [TypeAliasDeclaration,TypeDefinition] type Alias<T> = T[]; | semmle.order | 85 |
| type_definitions.ts:21:1:21:20 | [TypeAliasDeclaration,TypeDefinition] type Alias<T> = T[]; | semmle.order | 86 |
| type_definitions.ts:21:6:21:10 | [Identifier] Alias | semmle.label | [Identifier] Alias |
| type_definitions.ts:21:12:21:12 | [Identifier] T | semmle.label | [Identifier] T |
| type_definitions.ts:21:12:21:12 | [TypeParameter] T | semmle.label | [TypeParameter] T |
| type_definitions.ts:21:17:21:17 | [LocalTypeAccess] T | semmle.label | [LocalTypeAccess] T |
| type_definitions.ts:21:17:21:19 | [ArrayTypeExpr] T[] | semmle.label | [ArrayTypeExpr] T[] |
| type_definitions.ts:22:1:22:39 | [DeclStmt] let aliasForNumberArray = ... | semmle.label | [DeclStmt] let aliasForNumberArray = ... |
| type_definitions.ts:22:1:22:39 | [DeclStmt] let aliasForNumberArray = ... | semmle.order | 86 |
| type_definitions.ts:22:1:22:39 | [DeclStmt] let aliasForNumberArray = ... | semmle.order | 87 |
| type_definitions.ts:22:5:22:23 | [VarDecl] aliasForNumberArray | semmle.label | [VarDecl] aliasForNumberArray |
| type_definitions.ts:22:5:22:38 | [VariableDeclarator] aliasFo ... number> | semmle.label | [VariableDeclarator] aliasFo ... number> |
| type_definitions.ts:22:26:22:30 | [LocalTypeAccess] Alias | semmle.label | [LocalTypeAccess] Alias |
@@ -1471,6 +1652,8 @@ edges
| file://:0:0:0:0 | (Arguments) | tst.ts:282:17:287:3 | [ObjectExpr] {kind: ...} | semmle.order | 0 |
| file://:0:0:0:0 | (Arguments) | tst.ts:285:19:285:35 | [MethodCallExpr] val.toUpperCase() | semmle.label | 0 |
| file://:0:0:0:0 | (Arguments) | tst.ts:285:19:285:35 | [MethodCallExpr] val.toUpperCase() | semmle.order | 0 |
| file://:0:0:0:0 | (Arguments) | tst.ts:319:5:322:3 | [ObjectExpr] {produce: ...} | semmle.label | 0 |
| file://:0:0:0:0 | (Arguments) | tst.ts:319:5:322:3 | [ObjectExpr] {produce: ...} | semmle.order | 0 |
| file://:0:0:0:0 | (Parameters) | tst.ts:14:17:14:17 | [SimpleParameter] x | semmle.label | 0 |
| file://:0:0:0:0 | (Parameters) | tst.ts:14:17:14:17 | [SimpleParameter] x | semmle.order | 0 |
| file://:0:0:0:0 | (Parameters) | tst.ts:14:28:14:28 | [SimpleParameter] y | semmle.label | 1 |
@@ -1529,6 +1712,20 @@ edges
| file://:0:0:0:0 | (Parameters) | tst.ts:291:21:291:24 | [SimpleParameter] kind | semmle.order | 0 |
| file://:0:0:0:0 | (Parameters) | tst.ts:291:27:291:33 | [SimpleParameter] payload | semmle.label | 1 |
| file://:0:0:0:0 | (Parameters) | tst.ts:291:27:291:33 | [SimpleParameter] payload | semmle.order | 1 |
| file://:0:0:0:0 | (Parameters) | tst.ts:314:17:314:19 | [SimpleParameter] arg | semmle.label | 0 |
| file://:0:0:0:0 | (Parameters) | tst.ts:314:17:314:19 | [SimpleParameter] arg | semmle.order | 0 |
| file://:0:0:0:0 | (Parameters) | tst.ts:315:15:315:15 | [SimpleParameter] n | semmle.label | 0 |
| file://:0:0:0:0 | (Parameters) | tst.ts:315:15:315:15 | [SimpleParameter] n | semmle.order | 0 |
| file://:0:0:0:0 | (Parameters) | tst.ts:316:15:316:15 | [SimpleParameter] x | semmle.label | 0 |
| file://:0:0:0:0 | (Parameters) | tst.ts:316:15:316:15 | [SimpleParameter] x | semmle.order | 0 |
| file://:0:0:0:0 | (Parameters) | tst.ts:320:14:320:14 | [SimpleParameter] n | semmle.label | 0 |
| file://:0:0:0:0 | (Parameters) | tst.ts:320:14:320:14 | [SimpleParameter] n | semmle.order | 0 |
| file://:0:0:0:0 | (Parameters) | tst.ts:321:14:321:14 | [SimpleParameter] x | semmle.label | 0 |
| file://:0:0:0:0 | (Parameters) | tst.ts:321:14:321:14 | [SimpleParameter] x | semmle.order | 0 |
| file://:0:0:0:0 | (Parameters) | tst.ts:345:11:345:15 | [SimpleParameter] value | semmle.label | 0 |
| file://:0:0:0:0 | (Parameters) | tst.ts:345:11:345:15 | [SimpleParameter] value | semmle.order | 0 |
| file://:0:0:0:0 | (Parameters) | tst.ts:350:11:350:15 | [SimpleParameter] value | semmle.label | 0 |
| file://:0:0:0:0 | (Parameters) | tst.ts:350:11:350:15 | [SimpleParameter] value | semmle.order | 0 |
| file://:0:0:0:0 | (Parameters) | type_alias.ts:14:10:14:17 | [SimpleParameter] property | semmle.label | 0 |
| file://:0:0:0:0 | (Parameters) | type_alias.ts:14:10:14:17 | [SimpleParameter] property | semmle.order | 0 |
| file://:0:0:0:0 | (Parameters) | type_alias.ts:21:19:21:21 | [SimpleParameter] key | semmle.label | 0 |
@@ -1539,6 +1736,14 @@ edges
| file://:0:0:0:0 | (TypeParameters) | tst.ts:272:6:272:11 | [TypeParameter] K in P | semmle.order | 0 |
| file://:0:0:0:0 | (TypeParameters) | tst.ts:278:26:278:48 | [TypeParameter] K exten ... TypeMap | semmle.label | 0 |
| file://:0:0:0:0 | (TypeParameters) | tst.ts:278:26:278:48 | [TypeParameter] K exten ... TypeMap | semmle.order | 0 |
| file://:0:0:0:0 | (TypeParameters) | tst.ts:314:14:314:14 | [TypeParameter] T | semmle.label | 0 |
| file://:0:0:0:0 | (TypeParameters) | tst.ts:314:14:314:14 | [TypeParameter] T | semmle.order | 0 |
| file://:0:0:0:0 | (TypeParameters) | tst.ts:332:20:332:20 | [TypeParameter] T | semmle.label | 0 |
| file://:0:0:0:0 | (TypeParameters) | tst.ts:332:20:332:20 | [TypeParameter] T | semmle.order | 0 |
| file://:0:0:0:0 | (TypeParameters) | tst.ts:333:22:333:37 | [TypeParameter] S extends string | semmle.label | 0 |
| file://:0:0:0:0 | (TypeParameters) | tst.ts:333:22:333:37 | [TypeParameter] S extends string | semmle.order | 0 |
| file://:0:0:0:0 | (TypeParameters) | tst.ts:343:19:343:26 | [TypeParameter] in out T | semmle.label | 0 |
| file://:0:0:0:0 | (TypeParameters) | tst.ts:343:19:343:26 | [TypeParameter] in out T | semmle.order | 0 |
| file://:0:0:0:0 | (TypeParameters) | type_alias.ts:5:19:5:19 | [TypeParameter] T | semmle.label | 0 |
| file://:0:0:0:0 | (TypeParameters) | type_alias.ts:5:19:5:19 | [TypeParameter] T | semmle.order | 0 |
| file://:0:0:0:0 | (TypeParameters) | type_definitions.ts:3:13:3:13 | [TypeParameter] S | semmle.label | 0 |
@@ -3351,6 +3556,340 @@ edges
| tst.ts:293:7:293:23 | [MethodCallExpr] payload.toFixed() | tst.ts:293:7:293:21 | [DotExpr] payload.toFixed | semmle.order | 0 |
| tst.ts:293:7:293:24 | [ExprStmt] payload.toFixed(); | tst.ts:293:7:293:23 | [MethodCallExpr] payload.toFixed() | semmle.label | 1 |
| tst.ts:293:7:293:24 | [ExprStmt] payload.toFixed(); | tst.ts:293:7:293:23 | [MethodCallExpr] payload.toFixed() | semmle.order | 1 |
| tst.ts:298:1:376:1 | [FunctionDeclStmt] functio ... ring } | tst.ts:298:10:298:15 | [VarDecl] foo_47 | semmle.label | 0 |
| tst.ts:298:1:376:1 | [FunctionDeclStmt] functio ... ring } | tst.ts:298:10:298:15 | [VarDecl] foo_47 | semmle.order | 0 |
| tst.ts:298:1:376:1 | [FunctionDeclStmt] functio ... ring } | tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | semmle.label | 5 |
| tst.ts:298:1:376:1 | [FunctionDeclStmt] functio ... ring } | tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | semmle.order | 5 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:299:3:299:23 | [DeclStmt] const key = ... | semmle.label | 1 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:299:3:299:23 | [DeclStmt] const key = ... | semmle.order | 1 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:301:3:301:60 | [DeclStmt] const numberOrString = ... | semmle.label | 2 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:301:3:301:60 | [DeclStmt] const numberOrString = ... | semmle.order | 2 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:303:3:305:4 | [DeclStmt] let obj = ... | semmle.label | 3 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:303:3:305:4 | [DeclStmt] let obj = ... | semmle.order | 3 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:307:3:310:3 | [IfStmt] if (typ ... (); } | semmle.label | 4 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:307:3:310:3 | [IfStmt] if (typ ... (); } | semmle.order | 4 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:314:3:317:12 | [FunctionDeclStmt] functio ... void {} | semmle.label | 5 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:314:3:317:12 | [FunctionDeclStmt] functio ... void {} | semmle.order | 5 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:317:13:317:13 | [EmptyStmt] ; | semmle.label | 6 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:317:13:317:13 | [EmptyStmt] ; | semmle.order | 6 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:319:3:322:5 | [ExprStmt] f({ ... ) }); | semmle.label | 7 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:319:3:322:5 | [ExprStmt] f({ ... ) }); | semmle.order | 7 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:326:3:326:38 | [DeclStmt] const ErrorMap = ... | semmle.label | 8 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:326:3:326:38 | [DeclStmt] const ErrorMap = ... | semmle.order | 8 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:328:3:328:34 | [DeclStmt] const errorMap = ... | semmle.label | 9 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:328:3:328:34 | [DeclStmt] const errorMap = ... | semmle.order | 9 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:332:3:335:16 | [TypeAliasDeclaration,TypeDefinition] type Fi ... never; | semmle.label | 10 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:332:3:335:16 | [TypeAliasDeclaration,TypeDefinition] type Fi ... never; | semmle.order | 10 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:337:3:337:53 | [TypeAliasDeclaration,TypeDefinition] type F ... lean]>; | semmle.label | 11 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:337:3:337:53 | [TypeAliasDeclaration,TypeDefinition] type F ... lean]>; | semmle.order | 11 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:339:3:339:19 | [DeclStmt] const a = ... | semmle.label | 12 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:339:3:339:19 | [DeclStmt] const a = ... | semmle.order | 12 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:343:3:346:3 | [InterfaceDeclaration,TypeDefinition] interfa ... id; } | semmle.label | 13 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:343:3:346:3 | [InterfaceDeclaration,TypeDefinition] interfa ... id; } | semmle.order | 13 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:348:3:351:3 | [DeclStmt] const state = ... | semmle.label | 14 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:348:3:351:3 | [DeclStmt] const state = ... | semmle.order | 14 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:353:3:353:31 | [DeclStmt] const fortyTwo = ... | semmle.label | 15 |
| tst.ts:298:19:376:1 | [BlockStmt] { con ... ring } | tst.ts:353:3:353:31 | [DeclStmt] const fortyTwo = ... | semmle.order | 15 |
| tst.ts:299:3:299:23 | [DeclStmt] const key = ... | tst.ts:299:9:299:22 | [VariableDeclarator] key = Symbol() | semmle.label | 1 |
| tst.ts:299:3:299:23 | [DeclStmt] const key = ... | tst.ts:299:9:299:22 | [VariableDeclarator] key = Symbol() | semmle.order | 1 |
| tst.ts:299:9:299:22 | [VariableDeclarator] key = Symbol() | tst.ts:299:9:299:11 | [VarDecl] key | semmle.label | 1 |
| tst.ts:299:9:299:22 | [VariableDeclarator] key = Symbol() | tst.ts:299:9:299:11 | [VarDecl] key | semmle.order | 1 |
| tst.ts:299:9:299:22 | [VariableDeclarator] key = Symbol() | tst.ts:299:15:299:22 | [CallExpr] Symbol() | semmle.label | 2 |
| tst.ts:299:9:299:22 | [VariableDeclarator] key = Symbol() | tst.ts:299:15:299:22 | [CallExpr] Symbol() | semmle.order | 2 |
| tst.ts:299:15:299:22 | [CallExpr] Symbol() | tst.ts:299:15:299:20 | [VarRef] Symbol | semmle.label | 0 |
| tst.ts:299:15:299:22 | [CallExpr] Symbol() | tst.ts:299:15:299:20 | [VarRef] Symbol | semmle.order | 0 |
| tst.ts:301:3:301:60 | [DeclStmt] const numberOrString = ... | tst.ts:301:9:301:59 | [VariableDeclarator] numberO ... "hello" | semmle.label | 1 |
| tst.ts:301:3:301:60 | [DeclStmt] const numberOrString = ... | tst.ts:301:9:301:59 | [VariableDeclarator] numberO ... "hello" | semmle.order | 1 |
| tst.ts:301:9:301:59 | [VariableDeclarator] numberO ... "hello" | tst.ts:301:9:301:22 | [VarDecl] numberOrString | semmle.label | 1 |
| tst.ts:301:9:301:59 | [VariableDeclarator] numberO ... "hello" | tst.ts:301:9:301:22 | [VarDecl] numberOrString | semmle.order | 1 |
| tst.ts:301:9:301:59 | [VariableDeclarator] numberO ... "hello" | tst.ts:301:26:301:59 | [ConditionalExpr] Math.ra ... "hello" | semmle.label | 2 |
| tst.ts:301:9:301:59 | [VariableDeclarator] numberO ... "hello" | tst.ts:301:26:301:59 | [ConditionalExpr] Math.ra ... "hello" | semmle.order | 2 |
| tst.ts:301:26:301:36 | [DotExpr] Math.random | tst.ts:301:26:301:29 | [VarRef] Math | semmle.label | 1 |
| tst.ts:301:26:301:36 | [DotExpr] Math.random | tst.ts:301:26:301:29 | [VarRef] Math | semmle.order | 1 |
| tst.ts:301:26:301:36 | [DotExpr] Math.random | tst.ts:301:31:301:36 | [Label] random | semmle.label | 2 |
| tst.ts:301:26:301:36 | [DotExpr] Math.random | tst.ts:301:31:301:36 | [Label] random | semmle.order | 2 |
| tst.ts:301:26:301:38 | [MethodCallExpr] Math.random() | tst.ts:301:26:301:36 | [DotExpr] Math.random | semmle.label | 0 |
| tst.ts:301:26:301:38 | [MethodCallExpr] Math.random() | tst.ts:301:26:301:36 | [DotExpr] Math.random | semmle.order | 0 |
| tst.ts:301:26:301:44 | [BinaryExpr] Math.random() < 0.5 | tst.ts:301:26:301:38 | [MethodCallExpr] Math.random() | semmle.label | 1 |
| tst.ts:301:26:301:44 | [BinaryExpr] Math.random() < 0.5 | tst.ts:301:26:301:38 | [MethodCallExpr] Math.random() | semmle.order | 1 |
| tst.ts:301:26:301:44 | [BinaryExpr] Math.random() < 0.5 | tst.ts:301:42:301:44 | [Literal] 0.5 | semmle.label | 2 |
| tst.ts:301:26:301:44 | [BinaryExpr] Math.random() < 0.5 | tst.ts:301:42:301:44 | [Literal] 0.5 | semmle.order | 2 |
| tst.ts:301:26:301:59 | [ConditionalExpr] Math.ra ... "hello" | tst.ts:301:26:301:44 | [BinaryExpr] Math.random() < 0.5 | semmle.label | 1 |
| tst.ts:301:26:301:59 | [ConditionalExpr] Math.ra ... "hello" | tst.ts:301:26:301:44 | [BinaryExpr] Math.random() < 0.5 | semmle.order | 1 |
| tst.ts:301:26:301:59 | [ConditionalExpr] Math.ra ... "hello" | tst.ts:301:48:301:49 | [Literal] 42 | semmle.label | 2 |
| tst.ts:301:26:301:59 | [ConditionalExpr] Math.ra ... "hello" | tst.ts:301:48:301:49 | [Literal] 42 | semmle.order | 2 |
| tst.ts:301:26:301:59 | [ConditionalExpr] Math.ra ... "hello" | tst.ts:301:53:301:59 | [Literal] "hello" | semmle.label | 3 |
| tst.ts:301:26:301:59 | [ConditionalExpr] Math.ra ... "hello" | tst.ts:301:53:301:59 | [Literal] "hello" | semmle.order | 3 |
| tst.ts:303:3:305:4 | [DeclStmt] let obj = ... | tst.ts:303:7:305:3 | [VariableDeclarator] obj = { ... ng, } | semmle.label | 1 |
| tst.ts:303:3:305:4 | [DeclStmt] let obj = ... | tst.ts:303:7:305:3 | [VariableDeclarator] obj = { ... ng, } | semmle.order | 1 |
| tst.ts:303:7:305:3 | [VariableDeclarator] obj = { ... ng, } | tst.ts:303:7:303:9 | [VarDecl] obj | semmle.label | 1 |
| tst.ts:303:7:305:3 | [VariableDeclarator] obj = { ... ng, } | tst.ts:303:7:303:9 | [VarDecl] obj | semmle.order | 1 |
| tst.ts:303:7:305:3 | [VariableDeclarator] obj = { ... ng, } | tst.ts:303:13:305:3 | [ObjectExpr] { [ ... ng, } | semmle.label | 2 |
| tst.ts:303:7:305:3 | [VariableDeclarator] obj = { ... ng, } | tst.ts:303:13:305:3 | [ObjectExpr] { [ ... ng, } | semmle.order | 2 |
| tst.ts:303:13:305:3 | [ObjectExpr] { [ ... ng, } | tst.ts:304:5:304:25 | [Property] [key]: ... rString | semmle.label | 1 |
| tst.ts:303:13:305:3 | [ObjectExpr] { [ ... ng, } | tst.ts:304:5:304:25 | [Property] [key]: ... rString | semmle.order | 1 |
| tst.ts:304:5:304:25 | [Property] [key]: ... rString | tst.ts:304:6:304:8 | [VarRef] key | semmle.label | 1 |
| tst.ts:304:5:304:25 | [Property] [key]: ... rString | tst.ts:304:6:304:8 | [VarRef] key | semmle.order | 1 |
| tst.ts:304:5:304:25 | [Property] [key]: ... rString | tst.ts:304:12:304:25 | [VarRef] numberOrString | semmle.label | 2 |
| tst.ts:304:5:304:25 | [Property] [key]: ... rString | tst.ts:304:12:304:25 | [VarRef] numberOrString | semmle.order | 2 |
| tst.ts:307:3:310:3 | [IfStmt] if (typ ... (); } | tst.ts:307:7:307:34 | [BinaryExpr] typeof ... string" | semmle.label | 1 |
| tst.ts:307:3:310:3 | [IfStmt] if (typ ... (); } | tst.ts:307:7:307:34 | [BinaryExpr] typeof ... string" | semmle.order | 1 |
| tst.ts:307:3:310:3 | [IfStmt] if (typ ... (); } | tst.ts:307:37:310:3 | [BlockStmt] { l ... (); } | semmle.label | 2 |
| tst.ts:307:3:310:3 | [IfStmt] if (typ ... (); } | tst.ts:307:37:310:3 | [BlockStmt] { l ... (); } | semmle.order | 2 |
| tst.ts:307:7:307:21 | [UnaryExpr] typeof obj[key] | tst.ts:307:14:307:21 | [IndexExpr] obj[key] | semmle.label | 1 |
| tst.ts:307:7:307:21 | [UnaryExpr] typeof obj[key] | tst.ts:307:14:307:21 | [IndexExpr] obj[key] | semmle.order | 1 |
| tst.ts:307:7:307:34 | [BinaryExpr] typeof ... string" | tst.ts:307:7:307:21 | [UnaryExpr] typeof obj[key] | semmle.label | 1 |
| tst.ts:307:7:307:34 | [BinaryExpr] typeof ... string" | tst.ts:307:7:307:21 | [UnaryExpr] typeof obj[key] | semmle.order | 1 |
| tst.ts:307:7:307:34 | [BinaryExpr] typeof ... string" | tst.ts:307:27:307:34 | [Literal] "string" | semmle.label | 2 |
| tst.ts:307:7:307:34 | [BinaryExpr] typeof ... string" | tst.ts:307:27:307:34 | [Literal] "string" | semmle.order | 2 |
| tst.ts:307:14:307:21 | [IndexExpr] obj[key] | tst.ts:307:14:307:16 | [VarRef] obj | semmle.label | 1 |
| tst.ts:307:14:307:21 | [IndexExpr] obj[key] | tst.ts:307:14:307:16 | [VarRef] obj | semmle.order | 1 |
| tst.ts:307:14:307:21 | [IndexExpr] obj[key] | tst.ts:307:18:307:20 | [VarRef] key | semmle.label | 2 |
| tst.ts:307:14:307:21 | [IndexExpr] obj[key] | tst.ts:307:18:307:20 | [VarRef] key | semmle.order | 2 |
| tst.ts:307:37:310:3 | [BlockStmt] { l ... (); } | tst.ts:308:5:308:23 | [DeclStmt] let str = ... | semmle.label | 1 |
| tst.ts:307:37:310:3 | [BlockStmt] { l ... (); } | tst.ts:308:5:308:23 | [DeclStmt] let str = ... | semmle.order | 1 |
| tst.ts:307:37:310:3 | [BlockStmt] { l ... (); } | tst.ts:309:5:309:22 | [ExprStmt] str.toUpperCase(); | semmle.label | 2 |
| tst.ts:307:37:310:3 | [BlockStmt] { l ... (); } | tst.ts:309:5:309:22 | [ExprStmt] str.toUpperCase(); | semmle.order | 2 |
| tst.ts:308:5:308:23 | [DeclStmt] let str = ... | tst.ts:308:9:308:22 | [VariableDeclarator] str = obj[key] | semmle.label | 1 |
| tst.ts:308:5:308:23 | [DeclStmt] let str = ... | tst.ts:308:9:308:22 | [VariableDeclarator] str = obj[key] | semmle.order | 1 |
| tst.ts:308:9:308:22 | [VariableDeclarator] str = obj[key] | tst.ts:308:9:308:11 | [VarDecl] str | semmle.label | 1 |
| tst.ts:308:9:308:22 | [VariableDeclarator] str = obj[key] | tst.ts:308:9:308:11 | [VarDecl] str | semmle.order | 1 |
| tst.ts:308:9:308:22 | [VariableDeclarator] str = obj[key] | tst.ts:308:15:308:22 | [IndexExpr] obj[key] | semmle.label | 2 |
| tst.ts:308:9:308:22 | [VariableDeclarator] str = obj[key] | tst.ts:308:15:308:22 | [IndexExpr] obj[key] | semmle.order | 2 |
| tst.ts:308:15:308:22 | [IndexExpr] obj[key] | tst.ts:308:15:308:17 | [VarRef] obj | semmle.label | 1 |
| tst.ts:308:15:308:22 | [IndexExpr] obj[key] | tst.ts:308:15:308:17 | [VarRef] obj | semmle.order | 1 |
| tst.ts:308:15:308:22 | [IndexExpr] obj[key] | tst.ts:308:19:308:21 | [VarRef] key | semmle.label | 2 |
| tst.ts:308:15:308:22 | [IndexExpr] obj[key] | tst.ts:308:19:308:21 | [VarRef] key | semmle.order | 2 |
| tst.ts:309:5:309:19 | [DotExpr] str.toUpperCase | tst.ts:309:5:309:7 | [VarRef] str | semmle.label | 1 |
| tst.ts:309:5:309:19 | [DotExpr] str.toUpperCase | tst.ts:309:5:309:7 | [VarRef] str | semmle.order | 1 |
| tst.ts:309:5:309:19 | [DotExpr] str.toUpperCase | tst.ts:309:9:309:19 | [Label] toUpperCase | semmle.label | 2 |
| tst.ts:309:5:309:19 | [DotExpr] str.toUpperCase | tst.ts:309:9:309:19 | [Label] toUpperCase | semmle.order | 2 |
| tst.ts:309:5:309:21 | [MethodCallExpr] str.toUpperCase() | tst.ts:309:5:309:19 | [DotExpr] str.toUpperCase | semmle.label | 0 |
| tst.ts:309:5:309:21 | [MethodCallExpr] str.toUpperCase() | tst.ts:309:5:309:19 | [DotExpr] str.toUpperCase | semmle.order | 0 |
| tst.ts:309:5:309:22 | [ExprStmt] str.toUpperCase(); | tst.ts:309:5:309:21 | [MethodCallExpr] str.toUpperCase() | semmle.label | 1 |
| tst.ts:309:5:309:22 | [ExprStmt] str.toUpperCase(); | tst.ts:309:5:309:21 | [MethodCallExpr] str.toUpperCase() | semmle.order | 1 |
| tst.ts:314:3:317:12 | [FunctionDeclStmt] functio ... void {} | file://:0:0:0:0 | (Parameters) | semmle.label | 1 |
| tst.ts:314:3:317:12 | [FunctionDeclStmt] functio ... void {} | file://:0:0:0:0 | (Parameters) | semmle.order | 1 |
| tst.ts:314:3:317:12 | [FunctionDeclStmt] functio ... void {} | file://:0:0:0:0 | (TypeParameters) | semmle.label | 2 |
| tst.ts:314:3:317:12 | [FunctionDeclStmt] functio ... void {} | file://:0:0:0:0 | (TypeParameters) | semmle.order | 2 |
| tst.ts:314:3:317:12 | [FunctionDeclStmt] functio ... void {} | tst.ts:314:12:314:12 | [VarDecl] f | semmle.label | 0 |
| tst.ts:314:3:317:12 | [FunctionDeclStmt] functio ... void {} | tst.ts:314:12:314:12 | [VarDecl] f | semmle.order | 0 |
| tst.ts:314:3:317:12 | [FunctionDeclStmt] functio ... void {} | tst.ts:317:6:317:9 | [KeywordTypeExpr] void | semmle.label | 4 |
| tst.ts:314:3:317:12 | [FunctionDeclStmt] functio ... void {} | tst.ts:317:6:317:9 | [KeywordTypeExpr] void | semmle.order | 4 |
| tst.ts:314:3:317:12 | [FunctionDeclStmt] functio ... void {} | tst.ts:317:11:317:12 | [BlockStmt] {} | semmle.label | 5 |
| tst.ts:314:3:317:12 | [FunctionDeclStmt] functio ... void {} | tst.ts:317:11:317:12 | [BlockStmt] {} | semmle.order | 5 |
| tst.ts:314:14:314:14 | [TypeParameter] T | tst.ts:314:14:314:14 | [Identifier] T | semmle.label | 1 |
| tst.ts:314:14:314:14 | [TypeParameter] T | tst.ts:314:14:314:14 | [Identifier] T | semmle.order | 1 |
| tst.ts:314:17:314:19 | [SimpleParameter] arg | tst.ts:314:22:316:29 | [InterfaceTypeExpr] { p ... void } | semmle.label | 0 |
| tst.ts:314:17:314:19 | [SimpleParameter] arg | tst.ts:314:22:316:29 | [InterfaceTypeExpr] { p ... void } | semmle.order | 0 |
| tst.ts:314:22:316:29 | [InterfaceTypeExpr] { p ... void } | tst.ts:315:5:315:30 | [FieldDeclaration] produce ... ) => T, | semmle.label | 1 |
| tst.ts:314:22:316:29 | [InterfaceTypeExpr] { p ... void } | tst.ts:315:5:315:30 | [FieldDeclaration] produce ... ) => T, | semmle.order | 1 |
| tst.ts:314:22:316:29 | [InterfaceTypeExpr] { p ... void } | tst.ts:316:5:316:27 | [FieldDeclaration] consume ... => void | semmle.label | 2 |
| tst.ts:314:22:316:29 | [InterfaceTypeExpr] { p ... void } | tst.ts:316:5:316:27 | [FieldDeclaration] consume ... => void | semmle.order | 2 |
| tst.ts:315:5:315:30 | [FieldDeclaration] produce ... ) => T, | tst.ts:315:5:315:11 | [Label] produce | semmle.label | 1 |
| tst.ts:315:5:315:30 | [FieldDeclaration] produce ... ) => T, | tst.ts:315:5:315:11 | [Label] produce | semmle.order | 1 |
| tst.ts:315:5:315:30 | [FieldDeclaration] produce ... ) => T, | tst.ts:315:14:315:29 | [FunctionTypeExpr] (n: string) => T | semmle.label | 2 |
| tst.ts:315:5:315:30 | [FieldDeclaration] produce ... ) => T, | tst.ts:315:14:315:29 | [FunctionTypeExpr] (n: string) => T | semmle.order | 2 |
| tst.ts:315:14:315:29 | [FunctionExpr] (n: string) => T | file://:0:0:0:0 | (Parameters) | semmle.label | 1 |
| tst.ts:315:14:315:29 | [FunctionExpr] (n: string) => T | file://:0:0:0:0 | (Parameters) | semmle.order | 1 |
| tst.ts:315:14:315:29 | [FunctionExpr] (n: string) => T | tst.ts:315:29:315:29 | [LocalTypeAccess] T | semmle.label | 4 |
| tst.ts:315:14:315:29 | [FunctionExpr] (n: string) => T | tst.ts:315:29:315:29 | [LocalTypeAccess] T | semmle.order | 4 |
| tst.ts:315:14:315:29 | [FunctionTypeExpr] (n: string) => T | tst.ts:315:14:315:29 | [FunctionExpr] (n: string) => T | semmle.label | 1 |
| tst.ts:315:14:315:29 | [FunctionTypeExpr] (n: string) => T | tst.ts:315:14:315:29 | [FunctionExpr] (n: string) => T | semmle.order | 1 |
| tst.ts:315:15:315:15 | [SimpleParameter] n | tst.ts:315:18:315:23 | [KeywordTypeExpr] string | semmle.label | 0 |
| tst.ts:315:15:315:15 | [SimpleParameter] n | tst.ts:315:18:315:23 | [KeywordTypeExpr] string | semmle.order | 0 |
| tst.ts:316:5:316:27 | [FieldDeclaration] consume ... => void | tst.ts:316:5:316:11 | [Label] consume | semmle.label | 1 |
| tst.ts:316:5:316:27 | [FieldDeclaration] consume ... => void | tst.ts:316:5:316:11 | [Label] consume | semmle.order | 1 |
| tst.ts:316:5:316:27 | [FieldDeclaration] consume ... => void | tst.ts:316:14:316:27 | [FunctionTypeExpr] (x: T) => void | semmle.label | 2 |
| tst.ts:316:5:316:27 | [FieldDeclaration] consume ... => void | tst.ts:316:14:316:27 | [FunctionTypeExpr] (x: T) => void | semmle.order | 2 |
| tst.ts:316:14:316:27 | [FunctionExpr] (x: T) => void | file://:0:0:0:0 | (Parameters) | semmle.label | 1 |
| tst.ts:316:14:316:27 | [FunctionExpr] (x: T) => void | file://:0:0:0:0 | (Parameters) | semmle.order | 1 |
| tst.ts:316:14:316:27 | [FunctionExpr] (x: T) => void | tst.ts:316:24:316:27 | [KeywordTypeExpr] void | semmle.label | 4 |
| tst.ts:316:14:316:27 | [FunctionExpr] (x: T) => void | tst.ts:316:24:316:27 | [KeywordTypeExpr] void | semmle.order | 4 |
| tst.ts:316:14:316:27 | [FunctionTypeExpr] (x: T) => void | tst.ts:316:14:316:27 | [FunctionExpr] (x: T) => void | semmle.label | 1 |
| tst.ts:316:14:316:27 | [FunctionTypeExpr] (x: T) => void | tst.ts:316:14:316:27 | [FunctionExpr] (x: T) => void | semmle.order | 1 |
| tst.ts:316:15:316:15 | [SimpleParameter] x | tst.ts:316:18:316:18 | [LocalTypeAccess] T | semmle.label | 0 |
| tst.ts:316:15:316:15 | [SimpleParameter] x | tst.ts:316:18:316:18 | [LocalTypeAccess] T | semmle.order | 0 |
| tst.ts:319:3:322:4 | [CallExpr] f({ ... () }) | file://:0:0:0:0 | (Arguments) | semmle.label | 1 |
| tst.ts:319:3:322:4 | [CallExpr] f({ ... () }) | file://:0:0:0:0 | (Arguments) | semmle.order | 1 |
| tst.ts:319:3:322:4 | [CallExpr] f({ ... () }) | tst.ts:319:3:319:3 | [VarRef] f | semmle.label | 0 |
| tst.ts:319:3:322:4 | [CallExpr] f({ ... () }) | tst.ts:319:3:319:3 | [VarRef] f | semmle.order | 0 |
| tst.ts:319:3:322:5 | [ExprStmt] f({ ... ) }); | tst.ts:319:3:322:4 | [CallExpr] f({ ... () }) | semmle.label | 1 |
| tst.ts:319:3:322:5 | [ExprStmt] f({ ... ) }); | tst.ts:319:3:322:4 | [CallExpr] f({ ... () }) | semmle.order | 1 |
| tst.ts:319:5:322:3 | [ObjectExpr] {produce: ...} | tst.ts:320:5:320:19 | [Property] produce: n => n | semmle.label | 1 |
| tst.ts:319:5:322:3 | [ObjectExpr] {produce: ...} | tst.ts:320:5:320:19 | [Property] produce: n => n | semmle.order | 1 |
| tst.ts:319:5:322:3 | [ObjectExpr] {produce: ...} | tst.ts:321:5:321:33 | [Property] consume ... rCase() | semmle.label | 2 |
| tst.ts:319:5:322:3 | [ObjectExpr] {produce: ...} | tst.ts:321:5:321:33 | [Property] consume ... rCase() | semmle.order | 2 |
| tst.ts:320:5:320:19 | [Property] produce: n => n | tst.ts:320:5:320:11 | [Label] produce | semmle.label | 1 |
| tst.ts:320:5:320:19 | [Property] produce: n => n | tst.ts:320:5:320:11 | [Label] produce | semmle.order | 1 |
| tst.ts:320:5:320:19 | [Property] produce: n => n | tst.ts:320:14:320:19 | [ArrowFunctionExpr] n => n | semmle.label | 2 |
| tst.ts:320:5:320:19 | [Property] produce: n => n | tst.ts:320:14:320:19 | [ArrowFunctionExpr] n => n | semmle.order | 2 |
| tst.ts:320:14:320:19 | [ArrowFunctionExpr] n => n | file://:0:0:0:0 | (Parameters) | semmle.label | 1 |
| tst.ts:320:14:320:19 | [ArrowFunctionExpr] n => n | file://:0:0:0:0 | (Parameters) | semmle.order | 1 |
| tst.ts:320:14:320:19 | [ArrowFunctionExpr] n => n | tst.ts:320:19:320:19 | [VarRef] n | semmle.label | 5 |
| tst.ts:320:14:320:19 | [ArrowFunctionExpr] n => n | tst.ts:320:19:320:19 | [VarRef] n | semmle.order | 5 |
| tst.ts:321:5:321:33 | [Property] consume ... rCase() | tst.ts:321:5:321:11 | [Label] consume | semmle.label | 1 |
| tst.ts:321:5:321:33 | [Property] consume ... rCase() | tst.ts:321:5:321:11 | [Label] consume | semmle.order | 1 |
| tst.ts:321:5:321:33 | [Property] consume ... rCase() | tst.ts:321:14:321:33 | [ArrowFunctionExpr] x => x.toLowerCase() | semmle.label | 2 |
| tst.ts:321:5:321:33 | [Property] consume ... rCase() | tst.ts:321:14:321:33 | [ArrowFunctionExpr] x => x.toLowerCase() | semmle.order | 2 |
| tst.ts:321:14:321:33 | [ArrowFunctionExpr] x => x.toLowerCase() | file://:0:0:0:0 | (Parameters) | semmle.label | 1 |
| tst.ts:321:14:321:33 | [ArrowFunctionExpr] x => x.toLowerCase() | file://:0:0:0:0 | (Parameters) | semmle.order | 1 |
| tst.ts:321:14:321:33 | [ArrowFunctionExpr] x => x.toLowerCase() | tst.ts:321:19:321:33 | [MethodCallExpr] x.toLowerCase() | semmle.label | 5 |
| tst.ts:321:14:321:33 | [ArrowFunctionExpr] x => x.toLowerCase() | tst.ts:321:19:321:33 | [MethodCallExpr] x.toLowerCase() | semmle.order | 5 |
| tst.ts:321:19:321:31 | [DotExpr] x.toLowerCase | tst.ts:321:19:321:19 | [VarRef] x | semmle.label | 1 |
| tst.ts:321:19:321:31 | [DotExpr] x.toLowerCase | tst.ts:321:19:321:19 | [VarRef] x | semmle.order | 1 |
| tst.ts:321:19:321:31 | [DotExpr] x.toLowerCase | tst.ts:321:21:321:31 | [Label] toLowerCase | semmle.label | 2 |
| tst.ts:321:19:321:31 | [DotExpr] x.toLowerCase | tst.ts:321:21:321:31 | [Label] toLowerCase | semmle.order | 2 |
| tst.ts:321:19:321:33 | [MethodCallExpr] x.toLowerCase() | tst.ts:321:19:321:31 | [DotExpr] x.toLowerCase | semmle.label | 0 |
| tst.ts:321:19:321:33 | [MethodCallExpr] x.toLowerCase() | tst.ts:321:19:321:31 | [DotExpr] x.toLowerCase | semmle.order | 0 |
| tst.ts:326:3:326:38 | [DeclStmt] const ErrorMap = ... | tst.ts:326:9:326:37 | [VariableDeclarator] ErrorMa ... Error> | semmle.label | 1 |
| tst.ts:326:3:326:38 | [DeclStmt] const ErrorMap = ... | tst.ts:326:9:326:37 | [VariableDeclarator] ErrorMa ... Error> | semmle.order | 1 |
| tst.ts:326:9:326:37 | [VariableDeclarator] ErrorMa ... Error> | tst.ts:326:9:326:16 | [VarDecl] ErrorMap | semmle.label | 1 |
| tst.ts:326:9:326:37 | [VariableDeclarator] ErrorMa ... Error> | tst.ts:326:9:326:16 | [VarDecl] ErrorMap | semmle.order | 1 |
| tst.ts:326:9:326:37 | [VariableDeclarator] ErrorMa ... Error> | tst.ts:326:20:326:37 | [???] Map<string, Error> | semmle.label | 2 |
| tst.ts:326:9:326:37 | [VariableDeclarator] ErrorMa ... Error> | tst.ts:326:20:326:37 | [???] Map<string, Error> | semmle.order | 2 |
| tst.ts:326:20:326:37 | [???] Map<string, Error> | tst.ts:326:20:326:22 | [VarRef] Map | semmle.label | 1 |
| tst.ts:326:20:326:37 | [???] Map<string, Error> | tst.ts:326:20:326:22 | [VarRef] Map | semmle.order | 1 |
| tst.ts:326:20:326:37 | [???] Map<string, Error> | tst.ts:326:24:326:29 | [KeywordTypeExpr] string | semmle.label | 2 |
| tst.ts:326:20:326:37 | [???] Map<string, Error> | tst.ts:326:24:326:29 | [KeywordTypeExpr] string | semmle.order | 2 |
| tst.ts:326:20:326:37 | [???] Map<string, Error> | tst.ts:326:32:326:36 | [LocalTypeAccess] Error | semmle.label | 3 |
| tst.ts:326:20:326:37 | [???] Map<string, Error> | tst.ts:326:32:326:36 | [LocalTypeAccess] Error | semmle.order | 3 |
| tst.ts:328:3:328:34 | [DeclStmt] const errorMap = ... | tst.ts:328:9:328:33 | [VariableDeclarator] errorMa ... orMap() | semmle.label | 1 |
| tst.ts:328:3:328:34 | [DeclStmt] const errorMap = ... | tst.ts:328:9:328:33 | [VariableDeclarator] errorMa ... orMap() | semmle.order | 1 |
| tst.ts:328:9:328:33 | [VariableDeclarator] errorMa ... orMap() | tst.ts:328:9:328:16 | [VarDecl] errorMap | semmle.label | 1 |
| tst.ts:328:9:328:33 | [VariableDeclarator] errorMa ... orMap() | tst.ts:328:9:328:16 | [VarDecl] errorMap | semmle.order | 1 |
| tst.ts:328:9:328:33 | [VariableDeclarator] errorMa ... orMap() | tst.ts:328:20:328:33 | [NewExpr] new ErrorMap() | semmle.label | 2 |
| tst.ts:328:9:328:33 | [VariableDeclarator] errorMa ... orMap() | tst.ts:328:20:328:33 | [NewExpr] new ErrorMap() | semmle.order | 2 |
| tst.ts:328:20:328:33 | [NewExpr] new ErrorMap() | tst.ts:328:24:328:31 | [VarRef] ErrorMap | semmle.label | 0 |
| tst.ts:328:20:328:33 | [NewExpr] new ErrorMap() | tst.ts:328:24:328:31 | [VarRef] ErrorMap | semmle.order | 0 |
| tst.ts:332:3:335:16 | [TypeAliasDeclaration,TypeDefinition] type Fi ... never; | file://:0:0:0:0 | (TypeParameters) | semmle.label | -100 |
| tst.ts:332:3:335:16 | [TypeAliasDeclaration,TypeDefinition] type Fi ... never; | file://:0:0:0:0 | (TypeParameters) | semmle.order | -100 |
| tst.ts:332:3:335:16 | [TypeAliasDeclaration,TypeDefinition] type Fi ... never; | tst.ts:332:8:332:18 | [Identifier] FirstString | semmle.label | 1 |
| tst.ts:332:3:335:16 | [TypeAliasDeclaration,TypeDefinition] type Fi ... never; | tst.ts:332:8:332:18 | [Identifier] FirstString | semmle.order | 1 |
| tst.ts:332:3:335:16 | [TypeAliasDeclaration,TypeDefinition] type Fi ... never; | tst.ts:333:5:335:15 | [ConditionalTypeExpr] T exten ... : never | semmle.label | 3 |
| tst.ts:332:3:335:16 | [TypeAliasDeclaration,TypeDefinition] type Fi ... never; | tst.ts:333:5:335:15 | [ConditionalTypeExpr] T exten ... : never | semmle.order | 3 |
| tst.ts:332:20:332:20 | [TypeParameter] T | tst.ts:332:20:332:20 | [Identifier] T | semmle.label | 1 |
| tst.ts:332:20:332:20 | [TypeParameter] T | tst.ts:332:20:332:20 | [Identifier] T | semmle.order | 1 |
| tst.ts:333:5:335:15 | [ConditionalTypeExpr] T exten ... : never | tst.ts:333:5:333:5 | [LocalTypeAccess] T | semmle.label | 1 |
| tst.ts:333:5:335:15 | [ConditionalTypeExpr] T exten ... : never | tst.ts:333:5:333:5 | [LocalTypeAccess] T | semmle.order | 1 |
| tst.ts:333:5:335:15 | [ConditionalTypeExpr] T exten ... : never | tst.ts:333:15:333:52 | [TupleTypeExpr] [infer ... nown[]] | semmle.label | 2 |
| tst.ts:333:5:335:15 | [ConditionalTypeExpr] T exten ... : never | tst.ts:333:15:333:52 | [TupleTypeExpr] [infer ... nown[]] | semmle.order | 2 |
| tst.ts:333:5:335:15 | [ConditionalTypeExpr] T exten ... : never | tst.ts:334:11:334:11 | [LocalTypeAccess] S | semmle.label | 3 |
| tst.ts:333:5:335:15 | [ConditionalTypeExpr] T exten ... : never | tst.ts:334:11:334:11 | [LocalTypeAccess] S | semmle.order | 3 |
| tst.ts:333:5:335:15 | [ConditionalTypeExpr] T exten ... : never | tst.ts:335:11:335:15 | [KeywordTypeExpr] never | semmle.label | 4 |
| tst.ts:333:5:335:15 | [ConditionalTypeExpr] T exten ... : never | tst.ts:335:11:335:15 | [KeywordTypeExpr] never | semmle.order | 4 |
| tst.ts:333:15:333:52 | [TupleTypeExpr] [infer ... nown[]] | tst.ts:333:16:333:37 | [InferTypeExpr] infer S ... string | semmle.label | 1 |
| tst.ts:333:15:333:52 | [TupleTypeExpr] [infer ... nown[]] | tst.ts:333:16:333:37 | [InferTypeExpr] infer S ... string | semmle.order | 1 |
| tst.ts:333:15:333:52 | [TupleTypeExpr] [infer ... nown[]] | tst.ts:333:40:333:51 | [RestTypeExpr] ...unknown[] | semmle.label | 2 |
| tst.ts:333:15:333:52 | [TupleTypeExpr] [infer ... nown[]] | tst.ts:333:40:333:51 | [RestTypeExpr] ...unknown[] | semmle.order | 2 |
| tst.ts:333:16:333:37 | [InferTypeExpr] infer S ... string | file://:0:0:0:0 | (TypeParameters) | semmle.label | -100 |
| tst.ts:333:16:333:37 | [InferTypeExpr] infer S ... string | file://:0:0:0:0 | (TypeParameters) | semmle.order | -100 |
| tst.ts:333:22:333:37 | [TypeParameter] S extends string | tst.ts:333:22:333:22 | [Identifier] S | semmle.label | 1 |
| tst.ts:333:22:333:37 | [TypeParameter] S extends string | tst.ts:333:22:333:22 | [Identifier] S | semmle.order | 1 |
| tst.ts:333:22:333:37 | [TypeParameter] S extends string | tst.ts:333:32:333:37 | [KeywordTypeExpr] string | semmle.label | 2 |
| tst.ts:333:22:333:37 | [TypeParameter] S extends string | tst.ts:333:32:333:37 | [KeywordTypeExpr] string | semmle.order | 2 |
| tst.ts:333:40:333:51 | [RestTypeExpr] ...unknown[] | tst.ts:333:43:333:51 | [ArrayTypeExpr] unknown[] | semmle.label | 1 |
| tst.ts:333:40:333:51 | [RestTypeExpr] ...unknown[] | tst.ts:333:43:333:51 | [ArrayTypeExpr] unknown[] | semmle.order | 1 |
| tst.ts:333:43:333:51 | [ArrayTypeExpr] unknown[] | tst.ts:333:43:333:49 | [KeywordTypeExpr] unknown | semmle.label | 1 |
| tst.ts:333:43:333:51 | [ArrayTypeExpr] unknown[] | tst.ts:333:43:333:49 | [KeywordTypeExpr] unknown | semmle.order | 1 |
| tst.ts:337:3:337:53 | [TypeAliasDeclaration,TypeDefinition] type F ... lean]>; | tst.ts:337:8:337:8 | [Identifier] F | semmle.label | 1 |
| tst.ts:337:3:337:53 | [TypeAliasDeclaration,TypeDefinition] type F ... lean]>; | tst.ts:337:8:337:8 | [Identifier] F | semmle.order | 1 |
| tst.ts:337:3:337:53 | [TypeAliasDeclaration,TypeDefinition] type F ... lean]>; | tst.ts:337:12:337:52 | [GenericTypeExpr] FirstSt ... olean]> | semmle.label | 2 |
| tst.ts:337:3:337:53 | [TypeAliasDeclaration,TypeDefinition] type F ... lean]>; | tst.ts:337:12:337:52 | [GenericTypeExpr] FirstSt ... olean]> | semmle.order | 2 |
| tst.ts:337:12:337:52 | [GenericTypeExpr] FirstSt ... olean]> | tst.ts:337:12:337:22 | [LocalTypeAccess] FirstString | semmle.label | 1 |
| tst.ts:337:12:337:52 | [GenericTypeExpr] FirstSt ... olean]> | tst.ts:337:12:337:22 | [LocalTypeAccess] FirstString | semmle.order | 1 |
| tst.ts:337:12:337:52 | [GenericTypeExpr] FirstSt ... olean]> | tst.ts:337:24:337:51 | [TupleTypeExpr] ['a' \| ... oolean] | semmle.label | 2 |
| tst.ts:337:12:337:52 | [GenericTypeExpr] FirstSt ... olean]> | tst.ts:337:24:337:51 | [TupleTypeExpr] ['a' \| ... oolean] | semmle.order | 2 |
| tst.ts:337:24:337:51 | [TupleTypeExpr] ['a' \| ... oolean] | tst.ts:337:25:337:33 | [UnionTypeExpr] 'a' \| 'b' | semmle.label | 1 |
| tst.ts:337:24:337:51 | [TupleTypeExpr] ['a' \| ... oolean] | tst.ts:337:25:337:33 | [UnionTypeExpr] 'a' \| 'b' | semmle.order | 1 |
| tst.ts:337:24:337:51 | [TupleTypeExpr] ['a' \| ... oolean] | tst.ts:337:36:337:41 | [KeywordTypeExpr] number | semmle.label | 2 |
| tst.ts:337:24:337:51 | [TupleTypeExpr] ['a' \| ... oolean] | tst.ts:337:36:337:41 | [KeywordTypeExpr] number | semmle.order | 2 |
| tst.ts:337:24:337:51 | [TupleTypeExpr] ['a' \| ... oolean] | tst.ts:337:44:337:50 | [KeywordTypeExpr] boolean | semmle.label | 3 |
| tst.ts:337:24:337:51 | [TupleTypeExpr] ['a' \| ... oolean] | tst.ts:337:44:337:50 | [KeywordTypeExpr] boolean | semmle.order | 3 |
| tst.ts:337:25:337:33 | [UnionTypeExpr] 'a' \| 'b' | tst.ts:337:25:337:27 | [LiteralTypeExpr] 'a' | semmle.label | 1 |
| tst.ts:337:25:337:33 | [UnionTypeExpr] 'a' \| 'b' | tst.ts:337:25:337:27 | [LiteralTypeExpr] 'a' | semmle.order | 1 |
| tst.ts:337:25:337:33 | [UnionTypeExpr] 'a' \| 'b' | tst.ts:337:31:337:33 | [LiteralTypeExpr] 'b' | semmle.label | 2 |
| tst.ts:337:25:337:33 | [UnionTypeExpr] 'a' \| 'b' | tst.ts:337:31:337:33 | [LiteralTypeExpr] 'b' | semmle.order | 2 |
| tst.ts:339:3:339:19 | [DeclStmt] const a = ... | tst.ts:339:9:339:18 | [VariableDeclarator] a: F = 'a' | semmle.label | 1 |
| tst.ts:339:3:339:19 | [DeclStmt] const a = ... | tst.ts:339:9:339:18 | [VariableDeclarator] a: F = 'a' | semmle.order | 1 |
| tst.ts:339:9:339:18 | [VariableDeclarator] a: F = 'a' | tst.ts:339:9:339:9 | [VarDecl] a | semmle.label | 1 |
| tst.ts:339:9:339:18 | [VariableDeclarator] a: F = 'a' | tst.ts:339:9:339:9 | [VarDecl] a | semmle.order | 1 |
| tst.ts:339:9:339:18 | [VariableDeclarator] a: F = 'a' | tst.ts:339:12:339:12 | [LocalTypeAccess] F | semmle.label | 2 |
| tst.ts:339:9:339:18 | [VariableDeclarator] a: F = 'a' | tst.ts:339:12:339:12 | [LocalTypeAccess] F | semmle.order | 2 |
| tst.ts:339:9:339:18 | [VariableDeclarator] a: F = 'a' | tst.ts:339:16:339:18 | [Literal] 'a' | semmle.label | 3 |
| tst.ts:339:9:339:18 | [VariableDeclarator] a: F = 'a' | tst.ts:339:16:339:18 | [Literal] 'a' | semmle.order | 3 |
| tst.ts:343:3:346:3 | [InterfaceDeclaration,TypeDefinition] interfa ... id; } | file://:0:0:0:0 | (TypeParameters) | semmle.label | -100 |
| tst.ts:343:3:346:3 | [InterfaceDeclaration,TypeDefinition] interfa ... id; } | file://:0:0:0:0 | (TypeParameters) | semmle.order | -100 |
| tst.ts:343:3:346:3 | [InterfaceDeclaration,TypeDefinition] interfa ... id; } | tst.ts:343:13:343:17 | [Identifier] State | semmle.label | 1 |
| tst.ts:343:3:346:3 | [InterfaceDeclaration,TypeDefinition] interfa ... id; } | tst.ts:343:13:343:17 | [Identifier] State | semmle.order | 1 |
| tst.ts:343:3:346:3 | [InterfaceDeclaration,TypeDefinition] interfa ... id; } | tst.ts:344:5:344:17 | [FieldDeclaration] get: () => T; | semmle.label | 3 |
| tst.ts:343:3:346:3 | [InterfaceDeclaration,TypeDefinition] interfa ... id; } | tst.ts:344:5:344:17 | [FieldDeclaration] get: () => T; | semmle.order | 3 |
| tst.ts:343:3:346:3 | [InterfaceDeclaration,TypeDefinition] interfa ... id; } | tst.ts:345:5:345:28 | [FieldDeclaration] set: (v ... > void; | semmle.label | 4 |
| tst.ts:343:3:346:3 | [InterfaceDeclaration,TypeDefinition] interfa ... id; } | tst.ts:345:5:345:28 | [FieldDeclaration] set: (v ... > void; | semmle.order | 4 |
| tst.ts:343:19:343:26 | [TypeParameter] in out T | tst.ts:343:26:343:26 | [Identifier] T | semmle.label | 1 |
| tst.ts:343:19:343:26 | [TypeParameter] in out T | tst.ts:343:26:343:26 | [Identifier] T | semmle.order | 1 |
| tst.ts:344:5:344:17 | [FieldDeclaration] get: () => T; | tst.ts:344:5:344:7 | [Label] get | semmle.label | 1 |
| tst.ts:344:5:344:17 | [FieldDeclaration] get: () => T; | tst.ts:344:5:344:7 | [Label] get | semmle.order | 1 |
| tst.ts:344:5:344:17 | [FieldDeclaration] get: () => T; | tst.ts:344:10:344:16 | [FunctionTypeExpr] () => T | semmle.label | 2 |
| tst.ts:344:5:344:17 | [FieldDeclaration] get: () => T; | tst.ts:344:10:344:16 | [FunctionTypeExpr] () => T | semmle.order | 2 |
| tst.ts:344:10:344:16 | [FunctionExpr] () => T | tst.ts:344:16:344:16 | [LocalTypeAccess] T | semmle.label | 4 |
| tst.ts:344:10:344:16 | [FunctionExpr] () => T | tst.ts:344:16:344:16 | [LocalTypeAccess] T | semmle.order | 4 |
| tst.ts:344:10:344:16 | [FunctionTypeExpr] () => T | tst.ts:344:10:344:16 | [FunctionExpr] () => T | semmle.label | 1 |
| tst.ts:344:10:344:16 | [FunctionTypeExpr] () => T | tst.ts:344:10:344:16 | [FunctionExpr] () => T | semmle.order | 1 |
| tst.ts:345:5:345:28 | [FieldDeclaration] set: (v ... > void; | tst.ts:345:5:345:7 | [Label] set | semmle.label | 1 |
| tst.ts:345:5:345:28 | [FieldDeclaration] set: (v ... > void; | tst.ts:345:5:345:7 | [Label] set | semmle.order | 1 |
| tst.ts:345:5:345:28 | [FieldDeclaration] set: (v ... > void; | tst.ts:345:10:345:27 | [FunctionTypeExpr] (value: T) => void | semmle.label | 2 |
| tst.ts:345:5:345:28 | [FieldDeclaration] set: (v ... > void; | tst.ts:345:10:345:27 | [FunctionTypeExpr] (value: T) => void | semmle.order | 2 |
| tst.ts:345:10:345:27 | [FunctionExpr] (value: T) => void | file://:0:0:0:0 | (Parameters) | semmle.label | 1 |
| tst.ts:345:10:345:27 | [FunctionExpr] (value: T) => void | file://:0:0:0:0 | (Parameters) | semmle.order | 1 |
| tst.ts:345:10:345:27 | [FunctionExpr] (value: T) => void | tst.ts:345:24:345:27 | [KeywordTypeExpr] void | semmle.label | 4 |
| tst.ts:345:10:345:27 | [FunctionExpr] (value: T) => void | tst.ts:345:24:345:27 | [KeywordTypeExpr] void | semmle.order | 4 |
| tst.ts:345:10:345:27 | [FunctionTypeExpr] (value: T) => void | tst.ts:345:10:345:27 | [FunctionExpr] (value: T) => void | semmle.label | 1 |
| tst.ts:345:10:345:27 | [FunctionTypeExpr] (value: T) => void | tst.ts:345:10:345:27 | [FunctionExpr] (value: T) => void | semmle.order | 1 |
| tst.ts:345:11:345:15 | [SimpleParameter] value | tst.ts:345:18:345:18 | [LocalTypeAccess] T | semmle.label | 0 |
| tst.ts:345:11:345:15 | [SimpleParameter] value | tst.ts:345:18:345:18 | [LocalTypeAccess] T | semmle.order | 0 |
| tst.ts:348:3:351:3 | [DeclStmt] const state = ... | tst.ts:348:9:351:3 | [VariableDeclarator] state: ... { } } | semmle.label | 1 |
| tst.ts:348:3:351:3 | [DeclStmt] const state = ... | tst.ts:348:9:351:3 | [VariableDeclarator] state: ... { } } | semmle.order | 1 |
| tst.ts:348:9:351:3 | [VariableDeclarator] state: ... { } } | tst.ts:348:9:348:13 | [VarDecl] state | semmle.label | 1 |
| tst.ts:348:9:351:3 | [VariableDeclarator] state: ... { } } | tst.ts:348:9:348:13 | [VarDecl] state | semmle.order | 1 |
| tst.ts:348:9:351:3 | [VariableDeclarator] state: ... { } } | tst.ts:348:16:348:28 | [GenericTypeExpr] State<number> | semmle.label | 2 |
| tst.ts:348:9:351:3 | [VariableDeclarator] state: ... { } } | tst.ts:348:16:348:28 | [GenericTypeExpr] State<number> | semmle.order | 2 |
| tst.ts:348:9:351:3 | [VariableDeclarator] state: ... { } } | tst.ts:348:32:351:3 | [ObjectExpr] {get: ...} | semmle.label | 3 |
| tst.ts:348:9:351:3 | [VariableDeclarator] state: ... { } } | tst.ts:348:32:351:3 | [ObjectExpr] {get: ...} | semmle.order | 3 |
| tst.ts:348:16:348:28 | [GenericTypeExpr] State<number> | tst.ts:348:16:348:20 | [LocalTypeAccess] State | semmle.label | 1 |
| tst.ts:348:16:348:28 | [GenericTypeExpr] State<number> | tst.ts:348:16:348:20 | [LocalTypeAccess] State | semmle.order | 1 |
| tst.ts:348:16:348:28 | [GenericTypeExpr] State<number> | tst.ts:348:22:348:27 | [KeywordTypeExpr] number | semmle.label | 2 |
| tst.ts:348:16:348:28 | [GenericTypeExpr] State<number> | tst.ts:348:22:348:27 | [KeywordTypeExpr] number | semmle.order | 2 |
| tst.ts:348:32:351:3 | [ObjectExpr] {get: ...} | tst.ts:349:5:349:17 | [Property] get: () => 42 | semmle.label | 1 |
| tst.ts:348:32:351:3 | [ObjectExpr] {get: ...} | tst.ts:349:5:349:17 | [Property] get: () => 42 | semmle.order | 1 |
| tst.ts:348:32:351:3 | [ObjectExpr] {get: ...} | tst.ts:350:5:350:23 | [Property] set: (value) => { } | semmle.label | 2 |
| tst.ts:348:32:351:3 | [ObjectExpr] {get: ...} | tst.ts:350:5:350:23 | [Property] set: (value) => { } | semmle.order | 2 |
| tst.ts:349:5:349:17 | [Property] get: () => 42 | tst.ts:349:5:349:7 | [Label] get | semmle.label | 1 |
| tst.ts:349:5:349:17 | [Property] get: () => 42 | tst.ts:349:5:349:7 | [Label] get | semmle.order | 1 |
| tst.ts:349:5:349:17 | [Property] get: () => 42 | tst.ts:349:10:349:17 | [ArrowFunctionExpr] () => 42 | semmle.label | 2 |
| tst.ts:349:5:349:17 | [Property] get: () => 42 | tst.ts:349:10:349:17 | [ArrowFunctionExpr] () => 42 | semmle.order | 2 |
| tst.ts:349:10:349:17 | [ArrowFunctionExpr] () => 42 | tst.ts:349:16:349:17 | [Literal] 42 | semmle.label | 5 |
| tst.ts:349:10:349:17 | [ArrowFunctionExpr] () => 42 | tst.ts:349:16:349:17 | [Literal] 42 | semmle.order | 5 |
| tst.ts:350:5:350:23 | [Property] set: (value) => { } | tst.ts:350:5:350:7 | [Label] set | semmle.label | 1 |
| tst.ts:350:5:350:23 | [Property] set: (value) => { } | tst.ts:350:5:350:7 | [Label] set | semmle.order | 1 |
| tst.ts:350:5:350:23 | [Property] set: (value) => { } | tst.ts:350:10:350:23 | [ArrowFunctionExpr] (value) => { } | semmle.label | 2 |
| tst.ts:350:5:350:23 | [Property] set: (value) => { } | tst.ts:350:10:350:23 | [ArrowFunctionExpr] (value) => { } | semmle.order | 2 |
| tst.ts:350:10:350:23 | [ArrowFunctionExpr] (value) => { } | file://:0:0:0:0 | (Parameters) | semmle.label | 1 |
| tst.ts:350:10:350:23 | [ArrowFunctionExpr] (value) => { } | file://:0:0:0:0 | (Parameters) | semmle.order | 1 |
| tst.ts:350:10:350:23 | [ArrowFunctionExpr] (value) => { } | tst.ts:350:21:350:23 | [BlockStmt] { } | semmle.label | 5 |
| tst.ts:350:10:350:23 | [ArrowFunctionExpr] (value) => { } | tst.ts:350:21:350:23 | [BlockStmt] { } | semmle.order | 5 |
| tst.ts:353:3:353:31 | [DeclStmt] const fortyTwo = ... | tst.ts:353:9:353:30 | [VariableDeclarator] fortyTw ... e.get() | semmle.label | 1 |
| tst.ts:353:3:353:31 | [DeclStmt] const fortyTwo = ... | tst.ts:353:9:353:30 | [VariableDeclarator] fortyTw ... e.get() | semmle.order | 1 |
| tst.ts:353:9:353:30 | [VariableDeclarator] fortyTw ... e.get() | tst.ts:353:9:353:16 | [VarDecl] fortyTwo | semmle.label | 1 |
| tst.ts:353:9:353:30 | [VariableDeclarator] fortyTw ... e.get() | tst.ts:353:9:353:16 | [VarDecl] fortyTwo | semmle.order | 1 |
| tst.ts:353:9:353:30 | [VariableDeclarator] fortyTw ... e.get() | tst.ts:353:20:353:30 | [MethodCallExpr] state.get() | semmle.label | 2 |
| tst.ts:353:9:353:30 | [VariableDeclarator] fortyTw ... e.get() | tst.ts:353:20:353:30 | [MethodCallExpr] state.get() | semmle.order | 2 |
| tst.ts:353:20:353:28 | [DotExpr] state.get | tst.ts:353:20:353:24 | [VarRef] state | semmle.label | 1 |
| tst.ts:353:20:353:28 | [DotExpr] state.get | tst.ts:353:20:353:24 | [VarRef] state | semmle.order | 1 |
| tst.ts:353:20:353:28 | [DotExpr] state.get | tst.ts:353:26:353:28 | [Label] get | semmle.label | 2 |
| tst.ts:353:20:353:28 | [DotExpr] state.get | tst.ts:353:26:353:28 | [Label] get | semmle.order | 2 |
| tst.ts:353:20:353:30 | [MethodCallExpr] state.get() | tst.ts:353:20:353:28 | [DotExpr] state.get | semmle.label | 0 |
| tst.ts:353:20:353:30 | [MethodCallExpr] state.get() | tst.ts:353:20:353:28 | [DotExpr] state.get | semmle.order | 0 |
| type_alias.ts:1:1:1:17 | [TypeAliasDeclaration,TypeDefinition] type B = boolean; | type_alias.ts:1:6:1:6 | [Identifier] B | semmle.label | 1 |
| type_alias.ts:1:1:1:17 | [TypeAliasDeclaration,TypeDefinition] type B = boolean; | type_alias.ts:1:6:1:6 | [Identifier] B | semmle.order | 1 |
| type_alias.ts:1:1:1:17 | [TypeAliasDeclaration,TypeDefinition] type B = boolean; | type_alias.ts:1:10:1:16 | [KeywordTypeExpr] boolean | semmle.label | 2 |

128
javascript/ql/test/library-tests/TypeScript/Types/tests.expected
View File

@@ -386,6 +386,86 @@ getExprType
| tst.ts:293:7:293:21 | payload.toFixed | (fractionDigits?: number) => string |
| tst.ts:293:7:293:23 | payload.toFixed() | string |
| tst.ts:293:15:293:21 | toFixed | (fractionDigits?: number) => string |
| tst.ts:298:10:298:15 | foo_47 | () => void |
| tst.ts:299:9:299:11 | key | typeof key |
| tst.ts:299:15:299:20 | Symbol | SymbolConstructor |
| tst.ts:299:15:299:22 | Symbol() | typeof key |
| tst.ts:301:9:301:22 | numberOrString | "hello" \| 42 |
| tst.ts:301:26:301:29 | Math | Math |
| tst.ts:301:26:301:36 | Math.random | () => number |
| tst.ts:301:26:301:38 | Math.random() | number |
| tst.ts:301:26:301:44 | Math.random() < 0.5 | boolean |
| tst.ts:301:26:301:59 | Math.ra ... "hello" | "hello" \| 42 |
| tst.ts:301:31:301:36 | random | () => number |
| tst.ts:301:42:301:44 | 0.5 | 0.5 |
| tst.ts:301:48:301:49 | 42 | 42 |
| tst.ts:301:53:301:59 | "hello" | "hello" |
| tst.ts:303:7:303:9 | obj | { [key]: string \| number; } |
| tst.ts:303:13:305:3 | {\\n [ ... ng,\\n } | { [key]: string \| number; } |
| tst.ts:304:6:304:8 | key | typeof key |
| tst.ts:304:12:304:25 | numberOrString | "hello" \| 42 |
| tst.ts:307:7:307:21 | typeof obj[key] | "string" \| "number" \| "bigint" \| "boolean" \| "s... |
| tst.ts:307:7:307:34 | typeof ... string" | boolean |
| tst.ts:307:14:307:16 | obj | { [key]: string \| number; } |
| tst.ts:307:14:307:21 | obj[key] | string \| number |
| tst.ts:307:18:307:20 | key | typeof key |
| tst.ts:307:27:307:34 | "string" | "string" |
| tst.ts:308:9:308:11 | str | string |
| tst.ts:308:15:308:17 | obj | { [key]: string \| number; } |
| tst.ts:308:15:308:22 | obj[key] | string |
| tst.ts:308:19:308:21 | key | typeof key |
| tst.ts:309:5:309:7 | str | string |
| tst.ts:309:5:309:19 | str.toUpperCase | () => string |
| tst.ts:309:5:309:21 | str.toUpperCase() | string |
| tst.ts:309:9:309:19 | toUpperCase | () => string |
| tst.ts:314:12:314:12 | f | <T>(arg: { produce: (n: string) => T; consume: ... |
| tst.ts:314:17:314:19 | arg | { produce: (n: string) => T; consume: (x: T) =>... |
| tst.ts:315:5:315:11 | produce | (n: string) => T |
| tst.ts:315:14:315:29 | (n: string) => T | (n: string) => T |
| tst.ts:315:15:315:15 | n | string |
| tst.ts:316:5:316:11 | consume | (x: T) => void |
| tst.ts:316:14:316:27 | (x: T) => void | (x: T) => void |
| tst.ts:316:15:316:15 | x | T |
| tst.ts:319:3:319:3 | f | <T>(arg: { produce: (n: string) => T; consume: ... |
| tst.ts:319:3:322:4 | f({\\n ... ()\\n }) | void |
| tst.ts:319:5:322:3 | {\\n p ... e()\\n } | { produce: (n: string) => string; consume: (x: ... |
| tst.ts:320:5:320:11 | produce | (n: string) => string |
| tst.ts:320:14:320:14 | n | string |
| tst.ts:320:14:320:19 | n => n | (n: string) => string |
| tst.ts:320:19:320:19 | n | string |
| tst.ts:321:5:321:11 | consume | (x: string) => string |
| tst.ts:321:14:321:14 | x | string |
| tst.ts:321:14:321:33 | x => x.toLowerCase() | (x: string) => string |
| tst.ts:321:19:321:19 | x | string |
| tst.ts:321:19:321:31 | x.toLowerCase | () => string |
| tst.ts:321:19:321:33 | x.toLowerCase() | string |
| tst.ts:321:21:321:31 | toLowerCase | () => string |
| tst.ts:326:9:326:16 | ErrorMap | { new (entries?: readonly (readonly [string, Er... |
| tst.ts:326:20:326:22 | Map | MapConstructor |
| tst.ts:326:20:326:37 | Map<string, Error> | any |
| tst.ts:328:9:328:16 | errorMap | Map<string, Error> |
| tst.ts:328:20:328:33 | new ErrorMap() | Map<string, Error> |
| tst.ts:328:24:328:31 | ErrorMap | { new (entries?: readonly (readonly [string, Er... |
| tst.ts:339:9:339:9 | a | "a" \| "b" |
| tst.ts:339:16:339:18 | 'a' | "a" |
| tst.ts:344:5:344:7 | get | () => T |
| tst.ts:344:10:344:16 | () => T | () => T |
| tst.ts:345:5:345:7 | set | (value: T) => void |
| tst.ts:345:10:345:27 | (value: T) => void | (value: T) => void |
| tst.ts:345:11:345:15 | value | T |
| tst.ts:348:9:348:13 | state | State<number> |
| tst.ts:348:32:351:3 | {\\n g ... { }\\n } | State<number> |
| tst.ts:349:5:349:7 | get | () => number |
| tst.ts:349:10:349:17 | () => 42 | () => number |
| tst.ts:349:16:349:17 | 42 | 42 |
| tst.ts:350:5:350:7 | set | (value: number) => void |
| tst.ts:350:10:350:23 | (value) => { } | (value: number) => void |
| tst.ts:350:11:350:15 | value | number |
| tst.ts:353:9:353:16 | fortyTwo | number |
| tst.ts:353:20:353:24 | state | State<number> |
| tst.ts:353:20:353:28 | state.get | () => number |
| tst.ts:353:20:353:30 | state.get() | number |
| tst.ts:353:26:353:28 | get | () => number |
| type_alias.ts:3:5:3:5 | b | boolean |
| type_alias.ts:7:5:7:5 | c | ValueOrArray<number> |
| type_alias.ts:14:9:14:32 | [proper ... ]: Json | any |
@@ -461,6 +541,9 @@ getTypeDefinitionType
| tst.ts:265:3:269:3 | interfa ... an;\\n } | TypeMap |
| tst.ts:271:3:276:7 | type Un ... }[P]; | UnionRecord<P> |
| tst.ts:289:3:289:63 | type Fu ... > void; | Func |
| tst.ts:332:3:335:16 | type Fi ... never; | FirstString<T> |
| tst.ts:337:3:337:53 | type F ... lean]>; | "a" \| "b" |
| tst.ts:343:3:346:3 | interfa ... id;\\n } | State<T> |
| type_alias.ts:1:1:1:17 | type B = boolean; | boolean |
| type_alias.ts:5:1:5:50 | type Va ... ay<T>>; | ValueOrArray<T> |
| type_alias.ts:9:1:15:13 | type Js ... Json[]; | Json |
@@ -703,6 +786,39 @@ getTypeExprType
| tst.ts:289:47:289:52 | string | string |
| tst.ts:289:59:289:62 | void | void |
| tst.ts:291:13:291:16 | Func | Func |
| tst.ts:314:14:314:14 | T | T |
| tst.ts:314:22:316:29 | {\\n p ... void } | { produce: (n: string) => T; consume: (x: T) =>... |
| tst.ts:315:14:315:29 | (n: string) => T | (n: string) => T |
| tst.ts:315:18:315:23 | string | string |
| tst.ts:315:29:315:29 | T | T |
| tst.ts:316:14:316:27 | (x: T) => void | (x: T) => void |
| tst.ts:316:18:316:18 | T | T |
| tst.ts:316:24:316:27 | void | void |
| tst.ts:317:6:317:9 | void | void |
| tst.ts:326:24:326:29 | string | string |
| tst.ts:326:32:326:36 | Error | Error |
| tst.ts:332:8:332:18 | FirstString | FirstString<T> |
| tst.ts:332:20:332:20 | T | T |
| tst.ts:337:8:337:8 | F | "a" \| "b" |
| tst.ts:337:12:337:22 | FirstString | FirstString<T> |
| tst.ts:337:12:337:52 | FirstSt ... olean]> | "a" \| "b" |
| tst.ts:337:24:337:51 | ['a' \| ... oolean] | ["a" \| "b", number, boolean] |
| tst.ts:337:25:337:27 | 'a' | "a" |
| tst.ts:337:25:337:33 | 'a' \| 'b' | "a" \| "b" |
| tst.ts:337:31:337:33 | 'b' | "b" |
| tst.ts:337:36:337:41 | number | number |
| tst.ts:337:44:337:50 | boolean | boolean |
| tst.ts:339:12:339:12 | F | "a" \| "b" |
| tst.ts:343:13:343:17 | State | State<T> |
| tst.ts:343:26:343:26 | T | T |
| tst.ts:344:10:344:16 | () => T | () => T |
| tst.ts:344:16:344:16 | T | T |
| tst.ts:345:10:345:27 | (value: T) => void | (value: T) => void |
| tst.ts:345:18:345:18 | T | T |
| tst.ts:345:24:345:27 | void | void |
| tst.ts:348:16:348:20 | State | State<T> |
| tst.ts:348:16:348:28 | State<number> | State<number> |
| tst.ts:348:22:348:27 | number | number |
| type_alias.ts:1:6:1:6 | B | boolean |
| type_alias.ts:1:10:1:16 | boolean | boolean |
| type_alias.ts:3:8:3:8 | B | boolean |
@@ -783,6 +899,7 @@ referenceDefinition
| E | type_definition_objects.ts:6:8:6:16 | enum E {} |
| EnumWithOneMember | type_definitions.ts:18:26:18:31 | member |
| Error | tst.ts:210:10:213:3 | interfa ... ng;\\n } |
| FirstString<T> | tst.ts:332:3:335:16 | type Fi ... never; |
| Foo | tst.ts:116:3:129:3 | class F ... }\\n } |
| Foo | tst.ts:165:5:167:5 | interfa ... ;\\n } |
| Foo | tst.ts:179:3:192:3 | class F ... \\n } |
@@ -796,6 +913,8 @@ referenceDefinition
| NonAbstractDummy | tst.ts:54:1:56:1 | interfa ... mber;\\n} |
| Person | tst.ts:222:3:234:3 | class P ... }\\n } |
| Shape | tst.ts:140:3:142:47 | type Sh ... mber }; |
| State<T> | tst.ts:343:3:346:3 | interfa ... id;\\n } |
| State<number> | tst.ts:343:3:346:3 | interfa ... id;\\n } |
| Sub | tst.ts:97:3:101:3 | class S ... }\\n } |
| Success | tst.ts:205:10:208:3 | interfa ... ng;\\n } |
| Super | tst.ts:91:3:95:3 | class S ... }\\n } |
@@ -852,16 +971,20 @@ abstractSignature
unionIndex
| 1 | 0 | 1 \| 2 |
| 2 | 1 | 1 \| 2 |
| 42 | 1 | "hello" \| 42 |
| "NumberContents" | 0 | "NumberContents" \| "StringContents" |
| "StringContents" | 1 | "NumberContents" \| "StringContents" |
| "a" | 0 | "a" \| "b" |
| "a" | 1 | number \| "a" |
| "a" | 3 | number \| boolean \| "a" \| "b" |
| "b" | 1 | "a" \| "b" |
| "b" | 4 | number \| boolean \| "a" \| "b" |
| "bigint" | 2 | "string" \| "number" \| "bigint" \| "boolean" \| "s... |
| "boolean" | 2 | keyof TypeMap |
| "boolean" | 3 | "string" \| "number" \| "bigint" \| "boolean" \| "s... |
| "circle" | 0 | "circle" \| "square" |
| "function" | 7 | "string" \| "number" \| "bigint" \| "boolean" \| "s... |
| "hello" | 0 | "hello" \| 42 |
| "number" | 1 | "string" \| "number" \| "bigint" \| "boolean" \| "s... |
| "number" | 1 | keyof TypeMap |
| "object" | 6 | "string" \| "number" \| "bigint" \| "boolean" \| "s... |
@@ -871,6 +994,7 @@ unionIndex
| "symbol" | 4 | "string" \| "number" \| "bigint" \| "boolean" \| "s... |
| "undefined" | 5 | "string" \| "number" \| "bigint" \| "boolean" \| "s... |
| Error | 1 | Success \| Error |
| Error | 1 | string \| Error |
| Json[] | 5 | string \| number \| boolean \| { [property: string... |
| Promise<number> | 2 | boolean \| Promise<number> |
| PromiseLike<TResult1> | 1 | TResult1 \| PromiseLike<TResult1> |
@@ -890,16 +1014,19 @@ unionIndex
| false | 0 | boolean |
| false | 0 | boolean \| Promise<number> |
| false | 1 | number \| boolean |
| false | 1 | number \| boolean \| "a" \| "b" |
| false | 2 | string \| number \| boolean |
| false | 2 | string \| number \| boolean \| { [property: string... |
| number | 0 | number \| "a" |
| number | 0 | number \| ValueOrArray<number>[] |
| number | 0 | number \| boolean |
| number | 0 | number \| boolean \| "a" \| "b" |
| number | 1 | string \| number |
| number | 1 | string \| number \| boolean |
| number | 1 | string \| number \| boolean \| { [property: string... |
| number | 1 | string \| number \| true |
| string | 0 | VirtualNode \| { [key: string]: any; } |
| string | 0 | string \| Error |
| string | 0 | string \| [string, { [key: string]: any; }, ...V... |
| string | 0 | string \| number |
| string | 0 | string \| number \| boolean |
@@ -911,6 +1038,7 @@ unionIndex
| true | 1 | boolean |
| true | 1 | boolean \| Promise<number> |
| true | 2 | number \| boolean |
| true | 2 | number \| boolean \| "a" \| "b" |
| true | 2 | string \| number \| true |
| true | 3 | string \| number \| boolean |
| true | 3 | string \| number \| boolean \| { [property: string... |

82
javascript/ql/test/library-tests/TypeScript/Types/tst.ts
View File

@@ -293,4 +293,84 @@ module TS46 {
payload.toFixed(); // <- number
}
};
}
}
function foo_47() {
const key = Symbol();
const numberOrString = Math.random() < 0.5 ? 42 : "hello";
let obj = {
[key]: numberOrString,
};
if (typeof obj[key] === "string") {
let str = obj[key]; // <- string
str.toUpperCase();
}
//////////
function f<T>(arg: {
produce: (n: string) => T,
consume: (x: T) => void }
): void {};
f({
produce: n => n, // <- (n: string) => string
consume: x => x.toLowerCase()
});
///////////
const ErrorMap = Map<string, Error>;
const errorMap = new ErrorMap(); // <- Map<string, Error>
////////////
type FirstString<T> =
T extends [infer S extends string, ...unknown[]]
? S
: never;
type F = FirstString<['a' | 'b', number, boolean]>;
const a: F = 'a'; // <- 'a' | 'b'
////////////
interface State<in out T> {
get: () => T;
set: (value: T) => void;
}
const state: State<number> = {
get: () => 42,
set: (value) => { }
}
const fortyTwo = state.get(); // <- number
////////////
// This does not compile as of 2022-05-19 with typescript@4.7.1-rc, but it might
// work with the actually released version:
// class Container {
// #data = "hello!";
// get data(): typeof this.#data {
// return this.#data;
// }
// set data(value: typeof this.#data) {
// this.#data = value;
// }
// }
// const c = new Container();
// const hello = c.data(); // <- string
}