subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/matcher/ViatraTupleLike.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

package tools.refinery.store.query.viatra.internal.matcher;

import org.eclipse.viatra.query.runtime.matchers.tuple.ITuple;
import tools.refinery.store.tuple.Tuple1;
import tools.refinery.store.tuple.TupleLike;

record ViatraTupleLike(ITuple wrappedTuple) implements TupleLike {
	@Override
	public int getSize() {
		return wrappedTuple.getSize();
	}

	@Override
	public int get(int element) {
		var wrappedValue = (Tuple1) wrappedTuple.get(element);
		return wrappedValue.value0();
	}

	@Override
	public String toString() {
		return TupleLike.toString(this);
	}
}