Support Java14 instanceof pattern matching

[marek-parfianowicz]

Java 14 introduced pattern matching for instanceof keyword, which allows to create a variable for the type matched, without type casting. Example:

int sum = 0; if (o instanceof Integer i) { sum += i; }

To be implemented: optional identifier after type declaration.

[Haixing-Hu]

Hi, the following code will cause an error at 4.5.2

int sum = 0; if (o instanceof final Integer i) { sum += i; } 

The only difference is to add a final keyword between instanceof and Integer.

[marek-parfianowicz]

Thank you for reporting this bug. I think it's already fixed, I see necessary declaration on the master branch: https://github.com/openclover/clover/blob/fc5760c44ac4c6fd7a77fbe804ad26b12b231bb9/clover-core/src/main/java/org/openclover/core/instr/java/java.g#L3279 It's just not released.  Sent from Nine

…

________________________________ From: Haixing Hu ***@***.***> Sent: Sunday, April 20, 2025 16:19 To: openclover/clover Cc: Marek Parfianowicz; State change Subject: Re: [openclover/clover] Support Java14 instanceof pattern matching (Issue #214) Hi, the following code will cause an error at 4.5.2 int sum = 0; if (o instanceof final Integer i) { sum += i; } The only difference is to add a final keyword between instanceof and Integer. — Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you modified the open/close state.Message ID: ***@***.***> Haixing-Hu left a comment (openclover/clover#214) Hi, the following code will cause an error at 4.5.2 int sum = 0; if (o instanceof final Integer i) { sum += i; } The only difference is to add a final keyword between instanceof and Integer. — Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you modified the open/close state.Message ID: ***@***.***>