From a155f6ba02e08a75ce6e474a86900b8363f506e8 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Wed, 29 Sep 2021 02:45:57 +0200
Subject: build: migration to Gradle 7

---
 .../data/map/tests/fuzz/utils/FuzzTestUtils.java   | 64 ++++++++++++++++++++++
 .../map/tests/fuzz/utils/FuzzTestUtilsTest.java    | 33 +++++++++++
 2 files changed, 97 insertions(+)
 create mode 100644 store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/utils/FuzzTestUtils.java
 create mode 100644 store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/utils/FuzzTestUtilsTest.java

(limited to 'store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/utils')

diff --git a/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/utils/FuzzTestUtils.java b/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/utils/FuzzTestUtils.java
new file mode 100644
index 00000000..ec21bb7b
--- /dev/null
+++ b/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/utils/FuzzTestUtils.java
@@ -0,0 +1,64 @@
+package org.eclipse.viatra.solver.data.map.tests.fuzz.utils;
+
+import java.util.Arrays;
+import java.util.LinkedList;
+import java.util.List;
+import java.util.stream.Stream;
+
+import org.junit.jupiter.params.provider.Arguments;
+
+public final class FuzzTestUtils {
+	public static final int FAST_STEP_COUNT = 500;
+	public static final int SLOW_STEP_COUNT = 32 * 32 * 32 * 32;
+
+	private FuzzTestUtils() {
+		throw new IllegalStateException("This is a static utility class and should not be instantiated directly");
+	}
+
+	public static Stream<Arguments> changeStepCount(Stream<Arguments> arguments, int parameterIndex) {
+		return arguments.map(x -> Arguments.of(updatedStepCount(x.get(), parameterIndex)));
+	}
+
+	public static Object[] updatedStepCount(Object[] arguments, int parameterIndex) {
+		Object[] copy = Arrays.copyOf(arguments, arguments.length);
+		copy[parameterIndex] = SLOW_STEP_COUNT;
+		return copy;
+	}
+
+	static List<List<Object>> permutationInternal(int from, Object[]... valueOption) {
+		if (valueOption.length == from) {
+			return List.of(List.of());
+		} else {
+			Object[] permuteThis = valueOption[from];
+			List<List<Object>> otherCombination = permutationInternal(from + 1, valueOption);
+			List<List<Object>> result = new LinkedList<>();
+			for (Object permuteThisElement : permuteThis) {
+				for (List<Object> otherCombinationList : otherCombination) {
+					List<Object> newResult = new LinkedList<>();
+					newResult.add(permuteThisElement);
+					newResult.addAll(otherCombinationList);
+					result.add(newResult);
+				}
+			}
+			return result;
+		}
+	}
+
+	public static Stream<Arguments> permutation(Object[]... valueOption) {
+		List<List<Object>> permutations = permutationInternal(0, valueOption);
+		return permutations.stream().map(x -> Arguments.of(x.toArray()));
+	}
+
+	public static Stream<Arguments> permutationWithSize(Object[]... valueOption) {
+		int size = 1;
+		for (int i = 0; i < valueOption.length; i++) {
+			size *= valueOption[i].length;
+		}
+		Object[][] newValueOption = new Object[valueOption.length + 1][];
+		newValueOption[0] = new Object[] { size };
+		for (int i = 1; i < newValueOption.length; i++) {
+			newValueOption[i] = valueOption[i - 1];
+		}
+		return permutation(newValueOption);
+	}
+}
diff --git a/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/utils/FuzzTestUtilsTest.java b/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/utils/FuzzTestUtilsTest.java
new file mode 100644
index 00000000..3f4214bc
--- /dev/null
+++ b/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/utils/FuzzTestUtilsTest.java
@@ -0,0 +1,33 @@
+package org.eclipse.viatra.solver.data.map.tests.fuzz.utils;
+
+import static org.junit.jupiter.api.Assertions.assertEquals;
+
+import java.util.List;
+
+import org.junit.jupiter.api.Test;
+
+class FuzzTestUtilsTest {
+	@Test
+	void permutationInternalTest() {
+		List<List<Object>> res = FuzzTestUtils.permutationInternal(0, new Object[] { 1, 2, 3 },
+				new Object[] { 'a', 'b', 'c' }, new Object[] { "alpha", "beta", "gamma", "delta" });
+		assertEquals(3 * 3 * 4, res.size());
+	}
+
+	@Test
+	void permutationTest1() {
+		var res = FuzzTestUtils.permutation(new Object[] { 1, 2, 3 }, new Object[] { 'a', 'b', 'c' },
+				new Object[] { "alpha", "beta", "gamma", "delta" });
+		assertEquals(3 * 3 * 4, res.count());
+	}
+
+	@Test
+	void permutationTest2() {
+		var res = FuzzTestUtils.permutation(new Object[] { 1, 2, 3 }, new Object[] { 'a', 'b', 'c' },
+				new Object[] { "alpha", "beta", "gamma", "delta" });
+		var arguments = res.findFirst().get().get();
+		assertEquals(1, arguments[0]);
+		assertEquals('a', arguments[1]);
+		assertEquals("alpha", arguments[2]);
+	}
+}
-- 
cgit v1.2.3-54-g00ecf