Add proper violation for sh:xone

Author: atextor

core/esmf-aspect-model-validator/src/main/java/org/eclipse/esmf/aspectmodel/shacl/constraint/XoneConstraint.java

@@ -19,6 +19,7 @@
 import org.apache.jena.rdf.model.RDFNode;
 import org.eclipse.esmf.aspectmodel.shacl.violation.EvaluationContext;
 import org.eclipse.esmf.aspectmodel.shacl.violation.Violation;
+import org.eclipse.esmf.aspectmodel.shacl.violation.XoneViolation;
 
 /**
  * Implements <a href="https://www.w3.org/TR/shacl/#XoneConstraintComponent">sh:xone</a>
@@ -32,7 +33,7 @@ public List<Violation> apply( final RDFNode rdfNode, final EvaluationContext con
       if ( numberOfEmptyViolationLists == 1 ) {
          return List.of();
       }
-      return violationsPerConstraint.stream().flatMap( Collection::stream ).toList();
+      return List.of( new XoneViolation( context, violationsPerConstraint.stream().flatMap( Collection::stream ).toList() ) );
    }
 
    @Override

core/esmf-aspect-model-validator/src/main/java/org/eclipse/esmf/aspectmodel/shacl/violation/Violation.java

@@ -148,6 +148,10 @@ default T visitNotViolation( final NotViolation violation ) {
          return visit( violation );
       }
 
+      default T visitXoneViolation( final XoneViolation violation ) {
+         return visit( violation );
+      }
+
       default T visitJsViolation( final JsConstraintViolation violation ) {
          return visit( violation );
       }

core/esmf-aspect-model-validator/src/main/java/org/eclipse/esmf/aspectmodel/shacl/violation/XoneViolation.java

@@ -0,0 +1,42 @@
+/*
+ * Copyright (c) 2023 Robert Bosch Manufacturing Solutions GmbH
+ *
+ * See the AUTHORS file(s) distributed with this work for additional
+ * information regarding authorship.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/.
+ *
+ * SPDX-License-Identifier: MPL-2.0
+ */
+
+package org.eclipse.esmf.aspectmodel.shacl.violation;
+
+import java.util.List;
+import java.util.stream.Collectors;
+import java.util.stream.IntStream;
+
+public record XoneViolation(EvaluationContext context, List<Violation> violations) implements Violation {
+   public static final String ERROR_CODE = "ERR_XONE";
+
+   @Override
+   public String errorCode() {
+      return ERROR_CODE;
+   }
+
+   @Override
+   public String message() {
+      return "One of the following violations" +
+            (context.property().isPresent() ? " for " + propertyName() : "")
+            + " must be fixed: " +
+            IntStream.range( 0, violations.size() )
+                  .mapToObj( i -> String.format( "(%d) %s", i + 1, violations().get( i ).message().replaceAll( "\\.$", "" ) ) )
+                  .collect( Collectors.joining( ", " ) ) + ".";
+   }
+
+   @Override
+   public <T> T accept( final Visitor<T> visitor ) {
+      return visitor.visitXoneViolation( this );
+   }
+}

core/esmf-aspect-model-validator/src/main/java/org/eclipse/esmf/aspectmodel/validation/services/ViolationRustLikeFormatter.java

@@ -43,6 +43,7 @@
 import org.eclipse.esmf.aspectmodel.shacl.violation.UniqueLanguageViolation;
 import org.eclipse.esmf.aspectmodel.shacl.violation.ValueFromListViolation;
 import org.eclipse.esmf.aspectmodel.shacl.violation.Violation;
+import org.eclipse.esmf.aspectmodel.shacl.violation.XoneViolation;
 
 public class ViolationRustLikeFormatter extends ViolationFormatter {
 
@@ -202,6 +203,13 @@ public String visitNotViolation( final NotViolation violation ) {
             violation.message(), rawModel );
    }
 
+   @Override
+   public String visitXoneViolation( final XoneViolation violation ) {
+      return formatter.constructDetailedMessage(
+            violation.context().property().isPresent() ? violation.context().property().get() : violation.context().element(),
+            violation.message(), rawModel );
+   }
+
    @Override
    public String visitJsViolation( final JsConstraintViolation violation ) {
       return formatter.constructDetailedMessage(