blob: 4c417174ee33df7efd07faa20a55101328f6c130 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
// version 19:19
record Point(int x, int y) {
}
record Rectangle(Point upperLeft, Point lowerRight) {
}
public class RecordPattern19 {
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(var x1, var y1), Point(int x2, int y2))) {
}
}
}
|