diff options
| author | Rawi01 <Rawi01@users.noreply.github.com> | 2022-08-26 00:53:47 +0200 |
|---|---|---|
| committer | Reinier Zwitserloot <r.zwitserloot@projectlombok.org> | 2023-01-12 00:37:54 +0100 |
| commit | ad35c80843c88e8717f62770a8b0531de8615947 (patch) | |
| tree | 6de7ed3894a6c448523923d72c89707708dcb1dd /test | |
| parent | 7928cf4ba05e3b9e858be655dc43e60f0335dacd (diff) | |
| download | lombok-ad35c80843c88e8717f62770a8b0531de8615947.tar.gz lombok-ad35c80843c88e8717f62770a8b0531de8615947.tar.bz2 lombok-ad35c80843c88e8717f62770a8b0531de8615947.zip | |
[jdk19] Add support for record pattern
Diffstat (limited to 'test')
| -rw-r--r-- | test/pretty/resource/after/RecordPattern.java | 15 | ||||
| -rw-r--r-- | test/pretty/resource/before/RecordPattern.java | 16 |
2 files changed, 31 insertions, 0 deletions
diff --git a/test/pretty/resource/after/RecordPattern.java b/test/pretty/resource/after/RecordPattern.java new file mode 100644 index 00000000..ad9fae0b --- /dev/null +++ b/test/pretty/resource/after/RecordPattern.java @@ -0,0 +1,15 @@ +record Point(int x, int y) { +} +record Rectangle(Point upperLeft, Point lowerRight) { +} + +public class RecordPattern { + void recordPattern(Object o) { + if (o instanceof Point(int x, int y)) { + } + if (o instanceof Point(int x, int y) p) { + } + if (o instanceof Rectangle(Point(int x1, int y1), Point(int x2, int y2))) { + } + } +}
\ No newline at end of file diff --git a/test/pretty/resource/before/RecordPattern.java b/test/pretty/resource/before/RecordPattern.java new file mode 100644 index 00000000..93c07965 --- /dev/null +++ b/test/pretty/resource/before/RecordPattern.java @@ -0,0 +1,16 @@ +// version 19: +record Point(int x, int y) { +} +record Rectangle(Point upperLeft, Point lowerRight) { +} + +public class RecordPattern { + void recordPattern(Object o) { + if (o instanceof Point(int x, int y)) { + } + if (o instanceof Point(int x, int y) p) { + } + if (o instanceof Rectangle(Point(int x1, int y1), Point(int x2, int y2))) { + } + } +}
\ No newline at end of file |