From d0c209780ac209ba20de1ef2ba68551dd3321b3c Mon Sep 17 00:00:00 2001
From: RncLsn <rnc.lsn@gmail.com>
Date: Wed, 13 May 2015 16:04:41 +0100
Subject: Implemented SkolemTermsManager.

---
 .../ac/ox/cs/pagoda/util/tuples/TupleBuilder.java  | 25 ++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 src/uk/ac/ox/cs/pagoda/util/tuples/TupleBuilder.java

(limited to 'src/uk/ac/ox/cs/pagoda/util/tuples/TupleBuilder.java')

diff --git a/src/uk/ac/ox/cs/pagoda/util/tuples/TupleBuilder.java b/src/uk/ac/ox/cs/pagoda/util/tuples/TupleBuilder.java
new file mode 100644
index 0000000..aacd15e
--- /dev/null
+++ b/src/uk/ac/ox/cs/pagoda/util/tuples/TupleBuilder.java
@@ -0,0 +1,25 @@
+package uk.ac.ox.cs.pagoda.util.tuples;
+
+/**
+ * Allows to create an immutable <tt>Tuple</tt> in a non-atomic way.
+ * It can create only one <tt>Tuple</tt>.
+ * */
+public class TupleBuilder<T> {
+
+    private Tuple tuple = new Tuple();
+
+    private boolean building = true;
+
+    public boolean add(T t) {
+        if(building) tuple.elements.add(t);
+        return building;
+    }
+
+    public Tuple<T> create() {
+        if(building) {
+            building = false;
+            return tuple;
+        }
+        return null;
+    }
+}
-- 
cgit v1.2.3