// Tuple Operation
//
public Tuple createTuple(int len) {
// System.Console.WriteLine("aaaaaaaaaa");
Tuple ret = new Tuple(len);
// System.Console.WriteLine("bbbbbbbbbb");
return ret;
}
public Object getTupleElement(Tuple tup, int index)
{
return tup.getElement(index);
}
public void setTupleElement(Tuple tup, int index, Object ele)
{
tup.setElement(index, ele);
}