Commit Graph

949 Commits

Author SHA1 Message Date
Taus
d65e0a9181 QL: Get rid of getParent overrides 2021-05-28 11:11:33 +00:00
Tom Hvitved
bac0e02fae QL: Only generate AsExprs when there is an as keyword 2021-05-28 12:12:34 +02:00
Erik Krogh Kristensen
f0bb846345 QL: Merge pull request #22 from github/third-query
add ql/rexexp-pattern
2021-05-28 12:00:32 +02:00
Erik Krogh Kristensen
de57b2bc9f QL: add ql/rexexp-pattern 2021-05-28 09:55:09 +00:00
Erik Krogh Kristensen
e40d713878 QL: update expected output 2021-05-28 09:16:54 +00:00
Erik Krogh Kristensen
50f5c83cf2 QL: implement ql/override-swapped-name 2021-05-28 09:14:57 +00:00
Erik Krogh Kristensen
d8b6579f59 QL: bump precision 2021-05-28 09:14:57 +00:00
Tom Hvitved
3e87a05de8 QL: More variable resolution 2021-05-28 11:05:46 +02:00
Joe Farebrother
d4d7c6de64 QL: Resolution of inherited members 2021-05-28 11:00:01 +02:00
Tom Hvitved
ef69a46f00 QL: Add variables to jump-to-def queries 2021-05-28 09:46:03 +02:00
Tom Hvitved
43ec1a77cf QL: Variable resolution 2021-05-28 09:34:53 +02:00
Erik Krogh Kristensen
bf98e9636c QL: Merge pull request #17 from github/first-query
Add the `ql/primary-ql-class-consistency` query
2021-05-28 00:31:43 +02:00
Erik Krogh Kristensen
6f7cbf7194 QL: make the test pass an auto-format check 2021-05-27 22:26:14 +00:00
Erik Krogh Kristensen
09463f4e72 QL: space 2021-05-27 22:21:14 +00:00
Erik Krogh Kristensen
cb991fbf14 QL: run the query on our on code, and fix an error 2021-05-27 22:21:09 +00:00
Taus
77758e5ba6 QL: Add getAChild
Joint work with: REDACTED
2021-05-27 22:17:10 +00:00
Erik Krogh Kristensen
913cf53617 QL: autoformat 2021-05-27 22:16:57 +00:00
Erik Krogh Kristensen
136b046b38 QL: update expected output after the introduction of a TopLevel ast node 2021-05-27 22:13:35 +00:00
Erik Krogh Kristensen
d88cc79736 QL: Add the ql/primary-ql-class-consistency query 2021-05-27 22:08:18 +00:00
Tom Hvitved
0eabd4fcd9 QL: Restrict resolvePredicateExpr to ClasslessPredicates 2021-05-27 20:28:46 +02:00
Tom Hvitved
2f74e3e765 QL: Resolve predicate expressions 2021-05-27 20:26:19 +02:00
Taus
93fa56fe79 QL: Add missing parents for ModuleExpr 2021-05-27 17:28:00 +00:00
Taus
cdac3f9726 QL: missed a spot... 2021-05-27 17:20:01 +00:00
Taus
dc11ec418b QL: super and aggregates containing expressions 2021-05-27 17:19:35 +00:00
shati-patel
05e2ec3f82 QL: A bit more documentation 2021-05-27 18:07:49 +01:00
Taus
219b123271 QL: Orphan fixes for aggregates 2021-05-27 16:48:38 +00:00
shati-patel
625b9563bf QL: Fix multiplication operator 2021-05-27 16:55:39 +01:00
Taus
b9ea00c372 QL: AST: range, in, set, and files 2021-05-27 15:47:46 +00:00
shati-patel
e36915b0ef QL: Merge branch 'main' of github.com:github/codeql-ql 2021-05-27 15:51:56 +01:00
shati-patel
8ce59ff073 QL: Add some more documentation 2021-05-27 15:51:40 +01:00
Joe Farebrother
0aa936d2d2 QL: Merge pull request #13 from github/type-expr-resolution
Type expression resolution
2021-05-27 15:48:20 +01:00
Joe Farebrother
c6b5130ad5 QL: Add jump-to-def support 2021-05-27 15:45:00 +01:00
Taus
f61471c451 QL: Add AST support for HOPs 2021-05-27 14:37:15 +00:00
Joe Farebrother
cb3e971ebc QL: Support aliases and unions 2021-05-27 15:25:37 +01:00
Joe Farebrother
3a8e1779d9 QL: `Merge branch 'main' into type-expr-resolution 2021-05-27 15:12:49 +01:00
Taus
69b4d577d5 QL: Link up ModuleExpr with PredicateCall 2021-05-27 14:11:20 +00:00
Joe Farebrother
5ec1068230 QL: Fixes for resolution and consistency query 2021-05-27 15:05:42 +01:00
Taus
a1fc6391d7 QL: Support class unions 2021-05-27 14:01:21 +00:00
Joe Farebrother
d5bf0cb33f QL: Add type expression resolution 2021-05-27 14:48:26 +01:00
Taus
158b50f482 QL: Support predicate foo = bar/5; 2021-05-27 13:18:31 +00:00
Taus
192ac4cae3 QL: Add support for class Foo = Bar; 2021-05-27 13:08:30 +00:00
Taus
bb50f90a64 QL: Make all calls formulas 2021-05-27 12:57:39 +00:00
Taus
59c0c06a8e QL: Add AST node for expression annotations 2021-05-27 12:52:37 +00:00
Taus
b79e295c71 QL: Fix up NoneCall
In some contexts, `none()` is a formula. This means in general we cannot
assume `Call` is an `Expr`, but only know that it's an `AstNode`.
2021-05-27 12:41:22 +00:00
Taus
3211545a63 QL: Add use of parentheses to printAst test 2021-05-27 12:25:29 +00:00
Taus
b4f67c9d5f QL: Hide parentheses in AST
Joint work with erik-krogh
2021-05-27 12:17:40 +00:00
Tom Hvitved
aa23ec0714 QL: Make jump-to-def queries work for module references 2021-05-27 12:58:52 +02:00
shati-patel
b4a03fe3f0 QL: More QLDoc 2021-05-27 11:52:48 +01:00
Tom Hvitved
e1501dc830 QL: Merge pull request #8 from github/module-resolution
Module resolution
2021-05-27 12:45:07 +02:00
Tom Hvitved
f3cae6bb25 QL: Module resolution 2021-05-27 12:42:46 +02:00