74 Commits

Author	SHA1	Message	Date
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	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	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
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	b4f67c9d5f	QL: Hide parentheses in AST ... Joint work with erik-krogh	2021-05-27 12:17:40 +00: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
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	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	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