2 @METHODDEFAULT("OUT<THIS,THIS<IN,THISLOC=THIS,RETURNLOC=OUT")
3 public class Rectangle2D {
7 @LOC("POS") double width;
8 @LOC("POS") double height;
10 public Rectangle2D(double x, double y, double w, double h) {
17 public double getX() {
21 public double getY() {
25 public double getWidth() {
29 public double getHeight() {
33 public String toString() {
34 return "(" + x + "," + y + "," + width + "," + height + ")";