aggregate the tests in library-tests/TypeScript/ArrayTypes into a single .ql file

This commit is contained in:
Erik Krogh Kristensen
2020-10-14 14:24:37 +02:00
parent 41b940de69
commit 778fbe6f61
10 changed files with 28 additions and 29 deletions

View File

@@ -1,5 +0,0 @@
| [number, string] | `string \| number` |
| number[] | `number` |
| readonly T[] | `T` |
| readonly number[] | `number` |
| readonly number[][] | `number[]` |

View File

@@ -1,4 +0,0 @@
import javascript
from ArrayType array
select array, "`" + array.getArrayElementType() + "`"

View File

@@ -1,7 +0,0 @@
| NumberIndexable | object |
| [number, string] | string \| number |
| number[] | number |
| readonly T[] | T |
| readonly number[] | number |
| readonly number[][] | number[] |
| string | string |

View File

@@ -1,4 +0,0 @@
import javascript
from Type type
select type, type.getNumberIndexType()

View File

@@ -1 +0,0 @@
| StringIndexable | object |

View File

@@ -1,4 +0,0 @@
import javascript
from Type type
select type, type.getStringIndexType()

View File

@@ -1,4 +0,0 @@
import javascript
from TupleType type
select type, type.getUnderlyingArrayType()

View File

@@ -0,0 +1,17 @@
arrayTypes
| [number, string] | `string \| number` |
| number[] | `number` |
| readonly T[] | `T` |
| readonly number[] | `number` |
| readonly number[][] | `number[]` |
numberIndexTypes
| NumberIndexable | object |
| [number, string] | string \| number |
| number[] | number |
| readonly T[] | T |
| readonly number[] | number |
| readonly number[][] | number[] |
| string | string |
stringIndexTypes
| StringIndexable | object |
tupleTypes

View File

@@ -0,0 +1,11 @@
import javascript
query predicate arrayTypes(ArrayType array, string elem) {
elem = "`" + array.getArrayElementType() + "`"
}
query predicate numberIndexTypes(Type type, Type numType) { type.getNumberIndexType() = numType }
query predicate stringIndexTypes(Type type, Type strType) { type.getStringIndexType() = strType }
query predicate tupleTypes(TupleType type, Type arrType) { arrType = type.getUnderlyingArrayType() }