EqualsJoinTest.java

/*******************************************************************************
 * Copyright (c) 2018 Eclipse RDF4J contributors.
 *
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Distribution License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/org/documents/edl-v10.php.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 *******************************************************************************/

package org.eclipse.rdf4j.sail.shacl;

import java.util.Arrays;
import java.util.HashSet;
import java.util.List;
import java.util.Set;
import java.util.stream.Collectors;

import org.eclipse.rdf4j.model.Resource;
import org.eclipse.rdf4j.model.Value;
import org.eclipse.rdf4j.model.impl.SimpleValueFactory;
import org.eclipse.rdf4j.sail.shacl.ast.constraintcomponents.ConstraintComponent;
import org.eclipse.rdf4j.sail.shacl.ast.planNodes.EqualsJoin;
import org.eclipse.rdf4j.sail.shacl.ast.planNodes.PlanNode;
import org.eclipse.rdf4j.sail.shacl.ast.planNodes.ValidationTuple;
import org.eclipse.rdf4j.sail.shacl.mock.MockConsumePlanNode;
import org.eclipse.rdf4j.sail.shacl.mock.MockInputPlanNode;
import org.junit.jupiter.api.Assertions;
import org.junit.jupiter.api.Test;

/**
 * @author H��vard Ottestad
 */
public class EqualsJoinTest {
	public static final Resource[] CONTEXTS = { null };

	@Test
	public void testSimple01() {

		PlanNode left = new MockInputPlanNode(List.of("a"));
		PlanNode right = new MockInputPlanNode(List.of("a"), List.of("b"));

		EqualsJoin equalsJoin = new EqualsJoin(left, right, false, null);

		List<ValidationTuple> tuples = new MockConsumePlanNode(equalsJoin).asList();

		verify(tuples, List.of("a"));

	}

	@Test
	public void testSimple02() {

		PlanNode left = new MockInputPlanNode(List.of("a"), List.of("c"));
		PlanNode right = new MockInputPlanNode(List.of("a"), List.of("b"), List.of("c"));

		EqualsJoin equalsJoin = new EqualsJoin(left, right, false, null);

		List<ValidationTuple> tuples = new MockConsumePlanNode(equalsJoin).asList();

		verify(tuples, List.of("a"), List.of("c"));

	}

	@Test
	public void testSimple03() {

		PlanNode right = new MockInputPlanNode(List.of("a"), List.of("c"));
		PlanNode left = new MockInputPlanNode(List.of("a"), List.of("b"), List.of("c"));

		EqualsJoin equalsJoin = new EqualsJoin(left, right, false, null);

		List<ValidationTuple> tuples = new MockConsumePlanNode(equalsJoin).asList();

		verify(tuples, List.of("a"), List.of("c"));

	}

	@Test
	public void testSimple04() {

		PlanNode left = new MockInputPlanNode(List.of("b"), List.of("c"));
		PlanNode right = new MockInputPlanNode(List.of("a"), List.of("d"), List.of("e"));

		EqualsJoin equalsJoin = new EqualsJoin(left, right, false, null);

		List<ValidationTuple> tuples = new MockConsumePlanNode(equalsJoin).asList();

		verify(tuples);

	}

	@Test
	public void testSimple05() {

		PlanNode left = new MockInputPlanNode(List.of("b"), List.of("c"));
		PlanNode right = new MockInputPlanNode(List.of("a"), List.of("d"), List.of("c"));

		EqualsJoin equalsJoin = new EqualsJoin(left, right, false, null);

		List<ValidationTuple> tuples = new MockConsumePlanNode(equalsJoin).asList();

		verify(tuples, List.of("c"));

	}

	@Test
	public void testSimple06() {

		PlanNode left = new MockInputPlanNode(Arrays.asList("a", "1"), Arrays.asList("b", "1"), Arrays.asList("b", "1"),
				Arrays.asList("c", "1"));
		PlanNode right = new MockInputPlanNode(Arrays.asList("a", "1"), Arrays.asList("b", "1"),
				Arrays.asList("b", "1"), Arrays.asList("c", "1"));

		EqualsJoin equalsJoin = new EqualsJoin(left, right, true, null);

		List<ValidationTuple> tuples = new MockConsumePlanNode(equalsJoin).asList();

		verify(tuples, Arrays.asList("a", "1"), Arrays.asList("b", "1"), Arrays.asList("c", "1"));

	}

	@SafeVarargs
	private void verify(List<ValidationTuple> actual, List<String>... expect) {

//		System.out.println(actual);

		Set<ValidationTuple> collect = Arrays.stream(expect)
				.map(strings -> strings.stream()
						.map(SimpleValueFactory.getInstance()::createLiteral)
						.map(l -> (Value) l)
						.collect(Collectors.toList()))
				.map(v -> {
					if (v.size() > 1) {
						return new ValidationTuple(v, ConstraintComponent.Scope.propertyShape, true, CONTEXTS);
					} else {
						return new ValidationTuple(v, ConstraintComponent.Scope.propertyShape, false, CONTEXTS);
					}
				})
				.collect(Collectors.toSet());

		Set<ValidationTuple> actualSet = new HashSet<>(actual);

		Assertions.assertEquals(collect, actualSet);

		Assertions.assertTrue(collect.containsAll(actualSet));
		Assertions.assertTrue(actualSet.containsAll(collect));

	}

}