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

JS: Reduce ExpansiveTypes test

Browse Source
This commit is contained in:
Asger Feldthaus
2020-06-23 11:44:07 +01:00
parent 234f968294
commit 4f67cc269b
6 changed files with 81 additions and 46 deletions
Download Patch File Download Diff File Expand all files Collapse all files

29
javascript/ql/test/library-tests/TypeScript/ExpansiveTypes/ExpansiveTypes.expected
View File

@@ -1,29 +0,0 @@
WARNING: Predicate getProperty has been deprecated and may be removed in future (ExpansiveTypes.ql:5,19-30)
| After in library-tests/TypeScript/ExpansiveTypes/leading_into_expansion.ts | has no properties |
| AfterX in library-tests/TypeScript/ExpansiveTypes/used_from_expansion.ts | has no properties |
| Before in library-tests/TypeScript/ExpansiveTypes/leading_into_expansion.ts | has no properties |
| BeforeX in library-tests/TypeScript/ExpansiveTypes/used_from_expansion.ts | has no properties |
| Box in library-tests/TypeScript/ExpansiveTypes/shared_non_expansive.ts | has no properties |
| Box in library-tests/TypeScript/ExpansiveTypes/through_non_expansive.ts | has no properties |
| C in library-tests/TypeScript/ExpansiveTypes/expansive_class.ts | has no properties |
| Expand in library-tests/TypeScript/ExpansiveTypes/through_non_expansive.ts | has no properties |
| ExpandUsingObjectLiteral in library-tests/TypeScript/ExpansiveTypes/expansive_object_literal.ts | has no properties |
| Expansive in library-tests/TypeScript/ExpansiveTypes/leading_into_expansion.ts | has no properties |
| Expansive in library-tests/TypeScript/ExpansiveTypes/simple.ts | has no properties |
| ExpansiveA in library-tests/TypeScript/ExpansiveTypes/mutual.ts | has no properties |
| ExpansiveA in library-tests/TypeScript/ExpansiveTypes/mutual_multigraph.ts | has no properties |
| ExpansiveB in library-tests/TypeScript/ExpansiveTypes/mutual.ts | has no properties |
| ExpansiveB in library-tests/TypeScript/ExpansiveTypes/mutual_multigraph.ts | has no properties |
| ExpansiveByInference in library-tests/TypeScript/ExpansiveTypes/expansive_by_inference.ts | has no properties |
| ExpansiveC in library-tests/TypeScript/ExpansiveTypes/mutual.ts | has no properties |
| ExpansiveC in library-tests/TypeScript/ExpansiveTypes/mutual_multigraph.ts | has no properties |
| ExpansiveConstructSignature in library-tests/TypeScript/ExpansiveTypes/expansive_signature.ts | has no properties |
| ExpansiveD in library-tests/TypeScript/ExpansiveTypes/mutual.ts | has no properties |
| ExpansiveD in library-tests/TypeScript/ExpansiveTypes/mutual_multigraph.ts | has no properties |
| ExpansiveFunctionType in library-tests/TypeScript/ExpansiveTypes/expansive_signature.ts | has no properties |
| ExpansiveMethod in library-tests/TypeScript/ExpansiveTypes/expansive_signature.ts | has no properties |
| ExpansiveParameter in library-tests/TypeScript/ExpansiveTypes/expansive_signature.ts | has no properties |
| ExpansiveSignature in library-tests/TypeScript/ExpansiveTypes/expansive_signature.ts | has no properties |
| ExpansiveSignatureTypeBound in library-tests/TypeScript/ExpansiveTypes/expansive_signature.ts | has no properties |
| ExpansiveX in library-tests/TypeScript/ExpansiveTypes/used_from_expansion.ts | has no properties |
| NonExpansive in library-tests/TypeScript/ExpansiveTypes/shared_non_expansive.ts | has no properties |

11
javascript/ql/test/library-tests/TypeScript/ExpansiveTypes/ExpansiveTypes.ql
View File

@@ -1,11 +0,0 @@
import javascript
from TypeReference type
where
not exists(type.getProperty(_)) and
(
exists(type.getADefinition().(ClassOrInterface).getAField())
or
exists(type.getADefinition().(ClassOrInterface).getAMethod())
)
select type.getTypeName(), "has no properties"

1
javascript/ql/test/library-tests/TypeScript/ExpansiveTypes/NonExpansiveTypes.expected
View File

@@ -1 +0,0 @@
WARNING: Predicate getProperty has been deprecated and may be removed in future (NonExpansiveTypes.ql:4,19-30)

5
javascript/ql/test/library-tests/TypeScript/ExpansiveTypes/NonExpansiveTypes.ql
View File

@@ -1,5 +0,0 @@
import javascript
from TypeReference type
where exists(type.getProperty(_))
select type.getTypeName(), "has properties"

77
javascript/ql/test/library-tests/TypeScript/ExpansiveTypes/Types.expected Normal file
View File

@@ -0,0 +1,77 @@
| After |
| AfterX |
| Before |
| BeforeX |
| Box<Expand<T[]>> |
| Box<S> |
| Box<S> |
| Box<T[]> |
| Box<number> |
| C<T> |
| C<T[]> |
| Expand<T> |
| Expand<T[]> |
| ExpandUsingObjectLiteral<T> |
| ExpandUsingObjectLiteral<T[]> |
| Expansive<T> |
| Expansive<T> |
| Expansive<T[]> |
| Expansive<T[]> |
| Expansive<number> |
| Expansive<string> |
| ExpansiveA<S> |
| ExpansiveA<S> |
| ExpansiveA<T> |
| ExpansiveA<T> |
| ExpansiveB<S> |
| ExpansiveB<S> |
| ExpansiveB<T> |
| ExpansiveB<T[]> |
| ExpansiveB<T[]> |
| ExpansiveB<number> |
| ExpansiveByInference<T> |
| ExpansiveByInference<T[]> |
| ExpansiveC<T> |
| ExpansiveC<T> |
| ExpansiveC<T> |
| ExpansiveC<T[]> |
| ExpansiveC<T[]> |
| ExpansiveC<number> |
| ExpansiveConstructSignature<T> |
| ExpansiveConstructSignature<T[]> |
| ExpansiveD<T> |
| ExpansiveD<T> |
| ExpansiveD<T> |
| ExpansiveD<T> |
| ExpansiveFunctionType<T> |
| ExpansiveFunctionType<T[]> |
| ExpansiveMethod<T> |
| ExpansiveMethod<T[]> |
| ExpansiveParameter<T> |
| ExpansiveParameter<T[]> |
| ExpansiveSignature<T> |
| ExpansiveSignature<T[]> |
| ExpansiveSignatureTypeBound<T> |
| ExpansiveSignatureTypeBound<T[]> |
| ExpansiveX<T> |
| ExpansiveX<T[]> |
| NonExpansive<Box<number>> |
| NonExpansive<T> |
| T[] |
| T[] |
| T[] |
| T[] |
| T[] |
| T[] |
| T[] |
| T[] |
| T[] |
| T[] |
| T[] |
| T[] |
| T[] |
| T[] |
| T[] |
| T[] |
| T[] |
| T[] |

4
javascript/ql/test/library-tests/TypeScript/ExpansiveTypes/Types.ql Normal file
View File

@@ -0,0 +1,4 @@
import javascript
from TypeReference type
select type