changes + add two more benchmarks without annotations

[IRC.git] / Robust / src / Benchmarks / SSJava / EyeTrackingInfer / Rectangle2D.java

diff --git a/Robust/src/Benchmarks/SSJava/EyeTrackingInfer/Rectangle2D.java b/Robust/src/Benchmarks/SSJava/EyeTrackingInfer/Rectangle2D.java
new file mode 100644 (file)
index 0000000..e765e70
--- /dev/null
+++ b/Robust/src/Benchmarks/SSJava/EyeTrackingInfer/Rectangle2D.java
@@ -0,0 +1,36 @@
+
+
+public class Rectangle2D {
+
+   double x;
+   double y;
+   double width;
+   double height;
+
+  public Rectangle2D(double x, double y, double w, double h) {
+    this.x = x;
+    this.y = y;
+    this.width = w;
+    this.height = h;
+  }
+
+  public double getX() {
+    return x;
+  }
+
+  public double getY() {
+    return y;
+  }
+
+  public double getWidth() {
+    return width;
+  }
+
+  public double getHeight() {
+    return height;
+  }
+
+  public String toString() {
+    return "(" + x + "," + y + "," + width + "," + height + ")";
+  }
+}