95 Commits

Author	SHA1	Message	Date
Erik Krogh Kristensen	1ba51013a4	QL: add support for boolean literals	2021-05-29 19:23:58 +00:00
Taus	7d597782b8	QL: Autogenerate QLDoc for TreeSitter.qll	2021-05-28 21:06:51 +00:00
Erik Krogh Kristensen	775a0eebaa	QL: add ql/override-parameter-name	2021-05-28 14:59:44 +00:00
Erik Krogh Kristensen	fe6e7a8ed8	QL: adjust qldoc on printAst	2021-05-28 14:35:01 +00:00
Tom Hvitved	ce13360f9b	QL: Cache some predicates	2021-05-28 15:20:55 +02:00
Tom Hvitved	27d0af917a	QL: Merge pull request #27 from github/newtype-call ... Resolve `newtype` constructor calls	2021-05-28 15:14:52 +02:00
Erik Krogh Kristensen	7e69931455	QL: Merge pull request #25 from github/cleanup ... cleanup	2021-05-28 15:07:16 +02:00
Tom Hvitved	22cd2844d3	QL: Resolve newtype constructor calls	2021-05-28 15:06:37 +02:00
Erik Krogh Kristensen	3515580889	QL: format	2021-05-28 13:02:01 +00:00
Erik Krogh Kristensen	249d209f45	QL: fix	2021-05-28 12:58:02 +00:00
Erik Krogh Kristensen	e456098a35	QL: cleanup	2021-05-28 12:50:33 +00:00
Taus	e62e72edfd	QL: Reuse defined predicate arity	2021-05-28 12:40:45 +00:00
Taus	45ae088fd8	QL: Make getParameter 0-indexed	2021-05-28 12:22:14 +00:00
Joe Farebrother	87e39c7f23	QL: Support builtin predicates	2021-05-28 12:57:36 +01:00
Tom Hvitved	28d2daea3f	QL: Merge pull request #24 from github/types ... Resolve calls	2021-05-28 13:50:22 +02:00
Tom Hvitved	4110810431	QL: Remove compilation warnings	2021-05-28 13:44:31 +02:00
Joe Farebrother	933593223f	QL: Add Missing Override query	2021-05-28 12:39:59 +01:00
Tom Hvitved	99a3a09033	QL: Resolve calls	2021-05-28 13:39:21 +02:00
Taus	f46dab6c84	QL: printAst edge labels and a bit of consistency	2021-05-28 11:33:06 +00:00
Taus	d65e0a9181	QL: Get rid of getParent overrides	2021-05-28 11:11:33 +00:00
Tom Hvitved	bac0e02fae	QL: Only generate AsExprs when there is an as keyword	2021-05-28 12:12:34 +02:00
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