98 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	b2032fc6fd	Rust: Only normal completion of a let statement initializer steps to the pattern	2024-10-17 16:28:57 +02:00
Simon Friis Vindum	e6f1edcbb5	Rust: Conditional completion of match arm expression should now flow to next arm	2024-10-17 16:25:19 +02:00
Simon Friis Vindum	04f2062942	Rust: Label the non-return CFG edge out of question mark as match	2024-10-17 16:22:07 +02:00
Simon Friis Vindum	fd5d6255c1	Rust: Avoid creating CFG scopes for trait signatures without implementations	2024-10-17 16:20:30 +02:00
Simon Friis Vindum	b0cd44e47f	Rust: Add CFG test cases	2024-10-17 16:09:17 +02:00
Simon Friis Vindum	2d1c62b6df	Rust: Fix dead end in CFG for empty tuple and struct patterns	2024-10-17 10:40:34 +02:00
Simon Friis Vindum	b97ec405d0	Rust: Add CFG tests with empty tuple and struct patterns	2024-10-17 10:34:49 +02:00
Simon Friis Vindum	8e4e663739	Rust: Handle question mark operator in CFG	2024-10-14 11:38:35 +02:00
Simon Friis Vindum	2f07f1c730	Rust: Abnormal completion in scrutinee does not continue to match arms	2024-10-14 11:32:22 +02:00
Simon Friis Vindum	23ee7b955c	Rust: Add CFG tests for question mark operator and scrutinee with return	2024-10-14 11:27:32 +02:00
Tom Hvitved	756affa4aa	Rust: Fix bugs in LetExprTree and MethodCallExprTree	2024-10-10 21:05:01 +02:00
Tom Hvitved	2f14ec9f2a	Rust: Include patterns in the CFG	2024-10-10 21:05:00 +02:00
Tom Hvitved	f6f54c6e3b	Rust: Include parameters in the CFG	2024-10-10 21:04:58 +02:00
Tom Hvitved	665da3958a	Rust: Add CFG test for nested function	2024-10-10 21:04:57 +02:00
Tom Hvitved	5afd2d5bf0	Rust: Account for captured variables	2024-10-09 10:17:01 +02:00
Tom Hvitved	aa5e0c39ba	Rust: Implement ConditionalCompletionSplitting	2024-10-03 21:25:50 +02:00
Tom Hvitved	6da3972433	Rust: Simplify break/continue CFG labels	2024-10-02 15:45:18 +02:00
Tom Hvitved	1266f9757d	Rust: Add {BreakExpr,ContinueExpr}.getTarget()	2024-10-02 15:45:16 +02:00
Tom Hvitved	9c7216fe4f	Rust: Add another CFG test	2024-10-02 10:59:26 +02:00
Tom Hvitved	c4eafb2cf3	Rust: Skip ParenExprs in the CFG	2024-10-01 21:26:49 +02:00
Tom Hvitved	8b66dc16ad	Rust: Fix CFG for labelled block expressions	2024-10-01 21:03:36 +02:00
Tom Hvitved	85957767c9	Rust: Fix CFG for while let loops	2024-10-01 21:02:17 +02:00
Tom Hvitved	26c69b8f8a	Rust: Add more CFG tests	2024-10-01 21:01:49 +02:00
Tom Hvitved	a507854288	Rust: Fix bug in BooleanCompletion.isValidForSpecific0	2024-10-01 21:00:33 +02:00
Tom Hvitved	8c1fd8fa7a	Rust: Implement CFG for ForExprs	2024-10-01 21:00:09 +02:00
Tom Hvitved	f3e3734424	Rust: Implement CFG for WhileExprs	2024-10-01 20:59:41 +02:00
Tom Hvitved	5444a5bf8a	Rust: Extend while and for CFG tests	2024-10-01 20:59:13 +02:00
Tom Hvitved	b0efffd8f0	Rust: AST support for variables	2024-10-01 10:10:08 +02:00
Tom Hvitved	1d6626c821	Rust: Implement IdentPat.toString()	2024-10-01 08:42:26 +02:00
Tom Hvitved	2e7e26b638	Rust: Add more CFG tests	2024-09-30 15:15:14 +02:00
Tom Hvitved	3e77dd8b6b	Rust: Fix extraction errors	2024-09-30 10:36:56 +02:00
Tom Hvitved	dc4160b24a	Rust: Prune CFG for impossible true/false edges	2024-09-27 13:37:29 +02:00
Tom Hvitved	bf58bdd2bd	Rust: Update CFG tests	2024-09-27 13:35:14 +02:00
Tom Hvitved	431b33a274	Rust: Implement LiteralExpr::toString()	2024-09-27 13:33:25 +02:00
Tom Hvitved	3bd5c6e445	Rust: Implement {BinaryExpr,PrefixExpr}.toString()	2024-09-25 10:55:15 +02:00
Tom Hvitved	5f3663018e	Rust: Remove spurious CFG edges in match expressions	2024-09-24 13:09:33 +02:00
Tom Hvitved	6ae03e67e6	Rust: Add case for ParenExpr in CFG	2024-09-24 11:20:57 +02:00
Tom Hvitved	16813240ae	Shared: Do not use @kind graph for CFG test output	2024-09-19 18:13:31 +02:00
Simon Friis Vindum	19697b9a77	Merge branch 'main' into rust-improve-cfg	2024-09-19 15:53:41 +02:00
Simon Friis Vindum	db9f5fdf81	Rust: Handle nested if expressions, address review comments	2024-09-19 15:10:37 +02:00
Simon Friis Vindum	2511986324	Rust: Address PR review comments	2024-09-19 14:11:58 +02:00
Simon Friis Vindum	db351bdb05	Rust: Align test output with CI	2024-09-18 10:50:26 +02:00
Simon Friis Vindum	dd25b3ecbe	Rust: Don't use macro in test and add documentation string	2024-09-18 10:10:27 +02:00
Simon Friis Vindum	7a369f8734	Rust: Update CFG test and expected output	2024-09-17 17:34:11 +02:00
Arthur Baars	90537f9132	Fix other QL code ... This reverts commit 5c02fb4a2e.	2024-09-13 18:47:10 +02:00
Arthur Baars	5c02fb4a2e	Fix CFG library	2024-09-13 11:41:21 +02:00
Simon Friis Vindum	857edb791c	Rust: Fix control flow tree for function and block expression	2024-09-11 11:18:56 +02:00
Simon Friis Vindum	809d040528	Make more classes private and final	2024-09-11 09:37:39 +02:00