From e383420e29ce6903c5444d6a4c0f7eb13b76d870 Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Mon, 10 Dec 2012 15:35:53 +0100
Subject: [PATCH] First file in Java lib :'(
---
src/main/java/leon/codegen/runtime/Tuple.java | 20 +++++++++++++++++++
1 file changed, 20 insertions(+)
create mode 100644 src/main/java/leon/codegen/runtime/Tuple.java
diff --git a/src/main/java/leon/codegen/runtime/Tuple.java b/src/main/java/leon/codegen/runtime/Tuple.java
new file mode 100644
index 000000000..881f88c65
--- /dev/null
+++ b/src/main/java/leon/codegen/runtime/Tuple.java
@@ -0,0 +1,20 @@
+package leon.codegen.runtime;
+
+import java.util.Arrays;
+
+public final class Tuple {
+ private int arity;
+ private Object[] elements;
+
+ public Tuple(int arity, Object[] elements) {
+ this.arity = arity;
+ this.elements = Arrays.copyOf(elements, elements.length);
+ }
+
+ public final Object get(int index) {
+ if(index < 0 || index >= arity) {
+ throw new IllegalArgumentException("Invalid tuple index : " + index);
+ }
+ return this.elements[index];
+ }
+}
--
GitLab