diff --git a/resources/bytecode/javFiles/OverloadPattern.jav b/resources/bytecode/javFiles/OverloadPattern.jav index e6025de7..fced10aa 100644 --- a/resources/bytecode/javFiles/OverloadPattern.jav +++ b/resources/bytecode/javFiles/OverloadPattern.jav @@ -1,13 +1,49 @@ import java.lang.Integer; +import java.lang.Number; +import java.lang.Float; -record Point(Integer x, Integer y) {} +record Point(Number x, Number y) {} public class OverloadPattern { m(Point(Integer x, Integer y)) { return x + y; } + m(Point(Float x, Float y)) { + return x * y; + } + m(Integer x) { return x; } -} \ No newline at end of file +} + +/* +public class OverloadPattern { + Integer m$Point$_$java$lang$Integer$_$java$lang$Integer$_$(Point point) { + var x = point.x(); + var y = point.y(); + return x + y; + } + + Float m$Point$_$java$lang$Float$_$java$lang$Float$_$(Point point) { + var x = point.x(); + var y = point.y(); + return x * y; + } + + Object m(Point point) { + switch(point) { + case Point(Integer x, Integer y) -> + m$Point$_$java$lang$Integer$_$java$lang$Integer$_$(point); + case Point(Float x, Float y) -> + m$Point$_$java$lang$Float$_$java$lang$Float$_$(point); + } + } + + Integer m(Integer x) { + return x; + } +} + +*/ \ No newline at end of file