11 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	5c0dcd980d	Java: Switch to the shared Guards library.	2025-06-26 07:17:34 +02:00
Chris Smowton	9fa2f19990	Add test for guards in the presence of fall-through between pattern and constant cases	2024-03-25 16:31:39 +00:00
Chris Smowton	cc8dcf63b0	Convert test to use an anonymous local	2024-03-25 16:31:38 +00:00
Chris Smowton	b33dc38a65	Fix hasBranchEdge for switch exprs with an internal CFG and incoming edges from a passing case guard	2023-11-30 11:24:06 +00:00
Chris Smowton	f0144d6a3d	Expose that case guard test controls its case body	2023-11-30 11:24:04 +00:00
Chris Smowton	668f445fb4	Fix switchCaseControls and hasBranchEdge to account for mixed patterns and constant cases	2023-11-30 11:24:04 +00:00
Anders Schack-Mulligen	94556078f1	Java: Add guards logic for SwitchExpr default cases.	2023-09-28 14:21:04 +02:00
Anders Schack-Mulligen	917a15647e	Java: Fix CFG for rule statements.	2023-09-28 14:19:36 +02:00
Anders Schack-Mulligen	922a4e8ddf	Java: Add failing test	2023-09-28 14:15:56 +02:00
Marcono1234	7e778bc008	Java: Override toString() for statements ... Additionally remove redundant QLDoc which is inherited anyways.	2021-06-03 16:27:35 +02:00
Anders Schack-Mulligen	0e12df0a15	Java: Add SwitchExpr support in Guards.qll	2019-06-04 16:03:23 +02:00