Commit Graph

90 Commits

Author SHA1 Message Date
Taus
e01fe66519 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
44c8e78873 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
Taus
a4de52d135 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
shati-patel
fd3abe42bf 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
shati-patel
59e85abe9e 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
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
45e6af2d14 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
Joe Farebrother
16005fa6cf 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
Taus
2882f6d37c 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
Taus
e09a012064 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
Taus
97468a3935 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
59c4e170a8 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
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
a99a6a4721 Add use of parentheses to printAst test 2021-05-27 12:25:29 +00:00
Taus
21e8993c71 Hide parentheses in AST
Joint work with erik-krogh
2021-05-27 12:17:40 +00:00
Tom Hvitved
80761ba069 Make jump-to-def queries work for module references 2021-05-27 12:58:52 +02:00
shati-patel
65bdb1722c More QLDoc 2021-05-27 11:52:48 +01:00
Tom Hvitved
871f4b1be8 Merge pull request #8 from github/module-resolution
Module resolution
2021-05-27 12:45:07 +02:00
Tom Hvitved
ebb1cd3f8f Module resolution 2021-05-27 12:42:46 +02:00
Taus
0aa7127e47 link up NewType correctly 2021-05-27 10:41:43 +00:00
Taus
c89e924b67 regenerate TreeSitter.ql 2021-05-27 10:24:00 +00:00
Erik Krogh Kristensen
c449e45b72 Merge pull request #11 from github/greenbar
Trying to get a green bar
2021-05-27 12:16:43 +02:00
Erik Krogh Kristensen
1d7f43206e update the printAst test 2021-05-27 10:13:42 +00:00
Erik Krogh Kristensen
4921b6cf56 switch to having the pretty AST by default in printAst 2021-05-27 10:13:33 +00:00
Taus
cdd9978c30 ifs, implications, instanceof 2021-05-27 10:12:41 +00:00
Erik Krogh Kristensen
be495b28da add cases to the getParent relation 2021-05-27 10:12:03 +00:00
Erik Krogh Kristensen
79789e28a1 calls and inline casts 2021-05-27 10:04:20 +00:00
shati-patel
d9a7f10cfe Add more QLDoc 2021-05-27 10:56:40 +01:00
Shati Patel
14ee979bbe Merge pull request #10 from github/more-expressions
Add more expressions
2021-05-27 10:44:49 +01:00
shati-patel
8f031cda5f Add more expressions 2021-05-27 10:41:29 +01:00
Erik Krogh Kristensen
c4c0a63104 use moduleExpr in Type 2021-05-27 09:31:47 +00:00
Tom Hvitved
01d4b8a41c Add module expressions and module aliases 2021-05-27 11:28:37 +02:00
Tom Hvitved
509e789510 Merge pull request #9 from github/dataset-measure
Update dataset_measure.yml
2021-05-27 10:48:09 +02:00
Tom Hvitved
aaa7973906 Update dataset_measure.yml 2021-05-27 10:39:51 +02:00
Erik Krogh Kristensen
48c9e5f3b8 Merge pull request #7 from github/ast
AST layer
2021-05-27 10:39:04 +02:00
Tom Hvitved
09d0cdbaf8 Add ModuleMember::isPrivate() 2021-05-27 10:27:57 +02:00
Erik Krogh Kristensen
ab20f8f74e add support for aggregates 2021-05-27 08:23:15 +00:00
Erik Krogh Kristensen
fec3d745ca make sure Literal is an Expr 2021-05-27 07:31:44 +00:00
Erik Krogh Kristensen
ee9e1914b0 literals and fixes 2021-05-26 21:35:01 +00:00