Adding Labyrinth3D files

[IRC.git] / Robust / src / Benchmarks / Java-Single / Labyrinth3D / mlp / Normal_Java / Pair.java

diff --git a/Robust/src/Benchmarks/Java-Single/Labyrinth3D/mlp/Normal_Java/Pair.java b/Robust/src/Benchmarks/Java-Single/Labyrinth3D/mlp/Normal_Java/Pair.java
new file mode 100644 (file)
index 0000000..ea735f0
--- /dev/null
+++ b/Robust/src/Benchmarks/Java-Single/Labyrinth3D/mlp/Normal_Java/Pair.java
@@ -0,0 +1,86 @@
+
+
+public class Pair {
+    public Object first;
+    public Object second;
+
+    public Pair() {
+        first = null;
+        second = null;
+    }
+
+
+/* =============================================================================
+ * 
+ * pair constructor
+ * 
+ * pair_t* pair_alloc(void* firstPtr, void* secondPtr);
+ * =============================================================================
+ */
+    public Pair alloc(Object first,Object second)
+    {
+        Pair ptr= new Pair();
+        ptr.first = first;
+        ptr.second = second;
+
+        return ptr;
+    }
+
+
+
+/* =============================================================================
+ * Ppair_alloc
+ *
+ * -- Returns NULL if failure
+ * =============================================================================
+ */
+  public Pair Ppair_alloc (Object firstPtr, Object secondPtr) {
+    Pair pairPtr = new Pair();       
+    pairPtr.first = firstPtr;
+    pairPtr.second = secondPtr;
+    return pairPtr;
+  }
+
+
+/* =============================================================================
+ * pair_free
+ * =============================================================================
+ *
+ *  void pair_free (pair_t* pairPtr);
+ *
+ */
+    public void free(Pair pairPtr)
+    {
+        pairPtr = null;
+    }
+
+
+/* =============================================================================
+ * Ppair_free
+ * =============================================================================
+ *
+void Ppair_free (pair_t* pairPtr);
+*/
+
+/* =============================================================================
+ * pair_swap
+ * -- Exchange 'firstPtr' and 'secondPtr'
+ * =============================================================================
+ * void pair_swap (pair_t* pairPtr);
+*/
+    public void swap(Pair pairPtr)
+    {
+        Object tmpPtr = pairPtr.first;
+
+        pairPtr.first = pairPtr.second;
+        pairPtr.second = tmpPtr;
+    }
+
+}    
+
+/* =============================================================================
+ *
+ * End of pair.java
+ *
+ * =============================================================================
+ */