Commit Graph

33872 Commits

Author SHA1 Message Date
Tom Hvitved
2f74e3e765 QL: Resolve predicate expressions 2021-05-27 20:26:19 +02:00
Taus
e01fe66519 Add missing parents for ModuleExpr 2021-05-27 17:28:00 +00:00
Taus
93fa56fe79 QL: Add missing parents for ModuleExpr 2021-05-27 17:28:00 +00:00
Taus
c8cb81d1f9 missed a spot... 2021-05-27 17:20:01 +00:00
Taus
cdac3f9726 QL: missed a spot... 2021-05-27 17:20:01 +00:00
Taus
44c8e78873 super and aggregates containing expressions 2021-05-27 17:19:35 +00:00
Taus
dc11ec418b QL: super and aggregates containing expressions 2021-05-27 17:19:35 +00:00
shati-patel
1e9d8d0ca1 A bit more documentation 2021-05-27 18:07:49 +01:00
shati-patel
05e2ec3f82 QL: A bit more documentation 2021-05-27 18:07:49 +01:00
Taus
a4de52d135 Add unique as known aggregate name to treesitter 2021-05-27 16:48:59 +00:00
Taus
0e38056a3a QL: Add unique as known aggregate name to treesitter 2021-05-27 16:48:59 +00:00
Taus
2abb79cd57 Orphan fixes for aggregates 2021-05-27 16:48:38 +00:00
Taus
219b123271 QL: Orphan fixes for aggregates 2021-05-27 16:48:38 +00:00
shati-patel
fd3abe42bf Fix multiplication operator 2021-05-27 16:55:39 +01:00
shati-patel
625b9563bf QL: Fix multiplication operator 2021-05-27 16:55:39 +01:00
Taus
0337a0dc18 AST: range, in, set, and files 2021-05-27 15:47:46 +00:00
Taus
b9ea00c372 QL: AST: range, in, set, and files 2021-05-27 15:47:46 +00:00
shati-patel
59e85abe9e Merge branch 'main' of github.com:github/codeql-ql 2021-05-27 15:51:56 +01:00
shati-patel
e36915b0ef QL: Merge branch 'main' of github.com:github/codeql-ql 2021-05-27 15:51:56 +01:00
shati-patel
da65f75372 Add some more documentation 2021-05-27 15:51:40 +01:00
shati-patel
8ce59ff073 QL: Add some more documentation 2021-05-27 15:51:40 +01:00
Joe Farebrother
c66e7de6a8 Merge pull request #13 from github/type-expr-resolution
Type expression resolution
2021-05-27 15:48:20 +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
45e6af2d14 Add jump-to-def support 2021-05-27 15:45:00 +01:00
Joe Farebrother
c6b5130ad5 QL: Add jump-to-def support 2021-05-27 15:45:00 +01:00
Taus
fe631a5eaf Add AST support for HOPs 2021-05-27 14:37:15 +00:00
Taus
f61471c451 QL: Add AST support for HOPs 2021-05-27 14:37:15 +00:00
Joe Farebrother
16005fa6cf Support aliases and unions 2021-05-27 15:25:37 +01:00
Joe Farebrother
cb3e971ebc QL: Support aliases and unions 2021-05-27 15:25:37 +01:00
Joe Farebrother
719ef68aeb `Merge branch 'main' into type-expr-resolution 2021-05-27 15:12:49 +01:00
Joe Farebrother
3a8e1779d9 QL: `Merge branch 'main' into type-expr-resolution 2021-05-27 15:12:49 +01:00
Taus
2882f6d37c Link up ModuleExpr with PredicateCall 2021-05-27 14:11:20 +00:00
Taus
69b4d577d5 QL: Link up ModuleExpr with PredicateCall 2021-05-27 14:11:20 +00:00
Joe Farebrother
9580362332 Fixes for resolution and consistency query 2021-05-27 15:05:42 +01:00
Joe Farebrother
5ec1068230 QL: Fixes for resolution and consistency query 2021-05-27 15:05:42 +01:00
Taus
e09a012064 Support class unions 2021-05-27 14:01:21 +00:00
Taus
a1fc6391d7 QL: Support class unions 2021-05-27 14:01:21 +00:00
Joe Farebrother
fc2f9b5ab6 Add type expression resolution 2021-05-27 14:48:26 +01:00
Joe Farebrother
d5bf0cb33f QL: Add type expression resolution 2021-05-27 14:48:26 +01:00
Taus
97468a3935 Support predicate foo = bar/5; 2021-05-27 13:18:31 +00:00
Taus
158b50f482 QL: Support predicate foo = bar/5; 2021-05-27 13:18:31 +00:00
Taus
359b7d6b39 Add support for class Foo = Bar; 2021-05-27 13:08:30 +00:00
Taus
192ac4cae3 QL: Add support for class Foo = Bar; 2021-05-27 13:08:30 +00:00
Taus
59c4e170a8 Make all calls formulas 2021-05-27 12:57:39 +00:00
Taus
bb50f90a64 QL: Make all calls formulas 2021-05-27 12:57:39 +00:00
Taus
20e72d3304 Add AST node for expression annotations 2021-05-27 12:52:37 +00:00
Taus
59c0c06a8e QL: Add AST node for expression annotations 2021-05-27 12:52:37 +00:00
Taus
6aa64ba2cc 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
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
a99a6a4721 Add use of parentheses to printAst test 2021-05-27 12:25:29 +00:00