18 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	5243a62a41	Accept test changes	2024-03-25 16:31:37 +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	087be2cca8	Adjust test expectations	2023-11-30 11:24:05 +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	e0a45507f8	Java: Adjust toString() for statements	2021-06-03 16:27:36 +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
Joe	53ab8dac06	Java: PrintAst: Fix failing tests	2020-09-15 14:45:48 +01:00
Joe	e38b583ec4	Java: PrintAst: Add tests	2020-09-15 14:45:48 +01:00
yo-h	9d2f76849b	Java 14: switch expressions are no longer in preview	2020-04-07 22:22:07 -04:00
yh-semmle	e232f538e9	Java 13: update test options	2019-11-02 16:09:32 -04:00
Anders Schack-Mulligen	0e12df0a15	Java: Add SwitchExpr support in Guards.qll	2019-06-04 16:03:23 +02:00