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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

package tools.refinery.store.query.viatra;

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

public 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();
	}
}