Joe Farebrother
|
5ec1068230
|
QL: Fixes for resolution and consistency query
|
2021-05-27 15:05:42 +01: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 |
|
Taus
|
b3844cb715
|
QL: link up NewType correctly
|
2021-05-27 10:41:43 +00:00 |
|
Taus
|
5a3da4b9eb
|
QL: regenerate TreeSitter.ql
|
2021-05-27 10:24:00 +00:00 |
|
Erik Krogh Kristensen
|
ae164a6049
|
QL: Merge pull request #11 from github/greenbar
Trying to get a green bar
|
2021-05-27 12:16:43 +02:00 |
|
Erik Krogh Kristensen
|
ef83783d11
|
QL: update the printAst test
|
2021-05-27 10:13:42 +00:00 |
|
Erik Krogh Kristensen
|
58fb239cf0
|
QL: switch to having the pretty AST by default in printAst
|
2021-05-27 10:13:33 +00:00 |
|
Taus
|
3ac7fa8369
|
QL: ifs, implications, instanceof
|
2021-05-27 10:12:41 +00:00 |
|
Erik Krogh Kristensen
|
3aebdcce7b
|
QL: add cases to the getParent relation
|
2021-05-27 10:12:03 +00:00 |
|
Erik Krogh Kristensen
|
a38d9a3cbf
|
QL: calls and inline casts
|
2021-05-27 10:04:20 +00:00 |
|
shati-patel
|
83a38eebab
|
QL: Add more QLDoc
|
2021-05-27 10:56:40 +01:00 |
|
Shati Patel
|
1aecd5738b
|
QL: Merge pull request #10 from github/more-expressions
Add more expressions
|
2021-05-27 10:44:49 +01:00 |
|
shati-patel
|
fb30a1c893
|
QL: Add more expressions
|
2021-05-27 10:41:29 +01:00 |
|
Erik Krogh Kristensen
|
01ae97bf22
|
QL: use moduleExpr in Type
|
2021-05-27 09:31:47 +00:00 |
|
Tom Hvitved
|
7b64df51ab
|
QL: Add module expressions and module aliases
|
2021-05-27 11:28:37 +02:00 |
|
Tom Hvitved
|
9f68fdfb61
|
QL: Merge pull request #9 from github/dataset-measure
Update dataset_measure.yml
|
2021-05-27 10:48:09 +02:00 |
|
Tom Hvitved
|
ff591a0c57
|
QL: Update dataset_measure.yml
|
2021-05-27 10:39:51 +02:00 |
|
Erik Krogh Kristensen
|
d941e7cdb8
|
QL: Merge pull request #7 from github/ast
AST layer
|
2021-05-27 10:39:04 +02:00 |
|
Tom Hvitved
|
197a36daf6
|
QL: Add ModuleMember::isPrivate()
|
2021-05-27 10:27:57 +02:00 |
|
Erik Krogh Kristensen
|
b83c19f27b
|
QL: add support for aggregates
|
2021-05-27 08:23:15 +00:00 |
|
Erik Krogh Kristensen
|
abec79cb0f
|
QL: make sure Literal is an Expr
|
2021-05-27 07:31:44 +00:00 |
|
Erik Krogh Kristensen
|
6f5499eefe
|
QL: literals and fixes
|
2021-05-26 21:35:01 +00:00 |
|
Erik Krogh Kristensen
|
c075f370c7
|
QL: add types
|
2021-05-26 21:35:01 +00:00 |
|
Taus
|
9536e591fb
|
QL: Add convenience methods for aggregates
|
2021-05-26 21:25:42 +00:00 |
|
Taus
|
d4782e67fe
|
QL: AST for quantifiers, negation
|
2021-05-26 21:06:04 +00:00 |
|
Erik Krogh Kristensen
|
ad7d35df2a
|
QL: ast for imports, modules, and various fixes
|
2021-05-26 19:39:54 +00:00 |
|
Taus
|
0ddac5bcee
|
QL: More work on ComparisonFormula
|
2021-05-26 18:12:06 +00:00 |
|
Taus
|
cd15cec629
|
QL: Merge branch 'main' into ast
|
2021-05-26 17:38:44 +00:00 |
|
Taus
|
e554fa8277
|
QL: Add body as a field of charpred
|
2021-05-26 17:26:15 +00:00 |
|
Taus
|
29c32a924f
|
QL: WIP formulas and expressions
Joint work with shati-patel.
|
2021-05-26 16:21:01 +00:00 |
|
Erik Krogh Kristensen
|
20f495dfbf
|
QL: Merge remote-tracking branch 'origin/main' into ast
|
2021-05-26 15:02:23 +00:00 |
|
Erik Krogh Kristensen
|
a453c32e71
|
QL: implement more AST cases
|
2021-05-26 15:01:55 +00:00 |
|
Taus
|
88972f04f4
|
QL: Don't printAst ReservedWords
|
2021-05-26 14:28:33 +00:00 |
|
Erik Krogh Kristensen
|
9a9b6f71c2
|
QL: slightly more AST stuff
|
2021-05-26 14:18:25 +00:00 |
|
Erik Krogh Kristensen
|
407a3b5d3d
|
QL: switch printAst query to use new pretty AST layer
|
2021-05-26 14:04:23 +00:00 |
|
Erik Krogh Kristensen
|
7f2c999b8e
|
QL: fix format (again)
|
2021-05-26 13:53:15 +00:00 |
|
Erik Krogh Kristensen
|
e820a5a1e2
|
QL: fix format
|
2021-05-26 13:50:19 +00:00 |
|
Erik Krogh Kristensen
|
e35ab675ba
|
QL: extremely minimal AST layer
|
2021-05-26 13:48:02 +00:00 |
|
Taus
|
c91a2b88fd
|
QL: Record annotation names in the AST
|
2021-05-26 13:14:52 +00:00 |
|