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 0000000000000000000000000000000000000000..881f88c651be512b0a99f5138c0c9f4e77a00dbe --- /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]; + } +}