84 Commits

Author	SHA1	Message	Date
Erik Krogh Kristensen	f15ad39181	format	2021-05-28 13:02:01 +00:00
Erik Krogh Kristensen	d171ace902	fix	2021-05-28 12:58:02 +00:00
Erik Krogh Kristensen	c3344d0734	cleanup	2021-05-28 12:50:33 +00:00
Tom Hvitved	671628484b	Merge pull request #24 from github/types ... Resolve calls	2021-05-28 13:50:22 +02:00
Tom Hvitved	5112b49b94	Remove compilation warnings	2021-05-28 13:44:31 +02:00
Joe Farebrother	26d0e9df5d	Add Missing Override query	2021-05-28 12:39:59 +01:00
Tom Hvitved	5975ee4932	Resolve calls	2021-05-28 13:39:21 +02:00
Taus	ac35f348c4	printAst edge labels and a bit of consistency	2021-05-28 11:33:06 +00:00
Taus	c8de28c0a0	Get rid of getParent overrides	2021-05-28 11:11:33 +00:00
Tom Hvitved	cbcc4ead36	Only generate AsExprs when there is an as keyword	2021-05-28 12:12:34 +02:00
Tom Hvitved	dc5080c61d	More variable resolution	2021-05-28 11:05:46 +02:00
Joe Farebrother	0b1d109460	Resolution of inherited members	2021-05-28 11:00:01 +02:00
Tom Hvitved	b20aa3fb07	Add variables to jump-to-def queries	2021-05-28 09:46:03 +02:00
Tom Hvitved	f99dc7b266	Variable resolution	2021-05-28 09:34:53 +02:00
Erik Krogh Kristensen	28f2527f86	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	16cf439f6b	run the query on our on code, and fix an error	2021-05-27 22:21:09 +00:00
Taus	9103e2697f	Add getAChild ... Joint work with: REDACTED	2021-05-27 22:17:10 +00:00
Erik Krogh Kristensen	497f0cd48b	autoformat	2021-05-27 22:16:57 +00:00
Erik Krogh Kristensen	e8cc0ee453	Add the ql/primary-ql-class-consistency query	2021-05-27 22:08:18 +00:00
Tom Hvitved	8c59edefb2	Restrict resolvePredicateExpr to ClasslessPredicates	2021-05-27 20:28:46 +02:00
Tom Hvitved	f713d8b13e	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	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	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
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	21e8993c71	Hide parentheses in AST ... Joint work with erik-krogh	2021-05-27 12:17:40 +00: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