[code-reflection] Integrated: Change the model of the default label of switch
Mourad Abbay
mabbay at openjdk.org
Sat Sep 7 02:40:17 UTC 2024
On Fri, 6 Sep 2024 07:58:44 GMT, Mourad Abbay <mabbay at openjdk.org> wrote:
> Model the default label of switch as a body that yield true, this makes the modeling consistent for all labels.
This pull request has now been integrated.
Changeset: b836dba3
Author: Mourad Abbay <mabbay at openjdk.org>
URL: https://git.openjdk.org/babylon/commit/b836dba369084c7458d8f4fcb37e07982b15c666
Stats: 196 lines in 7 files changed: 63 ins; 0 del; 133 mod
Change the model of the default label of switch
Reviewed-by: psandoz
-------------
PR: https://git.openjdk.org/babylon/pull/223
More information about the babylon-dev
mailing list