#6 #7 Create template for Missing Input/Output Verification

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/MissingInputValueVerifier.java

+package de.unikoblenz.fgbks.core.dmn.verification.verifier.impl;
+
+import de.unikoblenz.fgbks.core.dmn.verification.verifier.AbstractVerifier;
+import de.unikoblenz.fgbks.core.dmn.verification.verifier.DmnVerifier;
+import de.unikoblenz.fgbks.core.dmn.verification.verifier.types.MissingInputValueVerification;
+
+@DmnVerifier(verifierType = MissingInputValueVerification.class)
+public class MissingInputValueVerifier extends AbstractVerifier {
+
+  @Override
+  protected void doVerification() {
+    // TODO
+  }
+}

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/MissingOutputValueVerifier.java

+package de.unikoblenz.fgbks.core.dmn.verification.verifier.impl;
+
+import de.unikoblenz.fgbks.core.dmn.verification.verifier.AbstractVerifier;
+import de.unikoblenz.fgbks.core.dmn.verification.verifier.DmnVerifier;
+import de.unikoblenz.fgbks.core.dmn.verification.verifier.types.MissingOutputValueVerification;
+
+@DmnVerifier(verifierType = MissingOutputValueVerification.class)
+public class MissingOutputValueVerifier extends AbstractVerifier {
+
+  @Override
+  protected void doVerification() {
+    // TODO
+  }
+}

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/MissingInputValueVerification.java

+package de.unikoblenz.fgbks.core.dmn.verification.verifier.types;
+
+import de.unikoblenz.fgbks.base.domain.Description;
+import de.unikoblenz.fgbks.base.domain.Name;
+import de.unikoblenz.fgbks.core.dmn.verification.verifier.classification.ClassificationType;
+import de.unikoblenz.fgbks.core.dmn.verification.verifier.classification.ModelingLevelVerification;
+import javax.validation.constraints.NotNull;
+
+@Type
+public class MissingInputValueVerification extends AbstractVerificationType {
+
+  private static final MissingInputValueVerification instance = new MissingInputValueVerification();
+
+  private MissingInputValueVerification() {
+    super(
+        new Name("MissingInputValueVerification"),
+        new Name("Missing Input Value"),
+        new Description(
+            "Detecting output values of output columns in decision tables"
+                + " which are not used in the connected decision table as input values."));
+  }
+
+  public static MissingInputValueVerification getInstance() {
+    return instance;
+  }
+
+  @Override
+  public @NotNull ClassificationType getClassification() {
+    return ModelingLevelVerification.getInstance();
+  }
+}

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/MissingOutputValueVerification.java

+package de.unikoblenz.fgbks.core.dmn.verification.verifier.types;
+
+import de.unikoblenz.fgbks.base.domain.Description;
+import de.unikoblenz.fgbks.base.domain.Name;
+import de.unikoblenz.fgbks.core.dmn.verification.verifier.classification.ClassificationType;
+import de.unikoblenz.fgbks.core.dmn.verification.verifier.classification.ModelingLevelVerification;
+import javax.validation.constraints.NotNull;
+
+@Type
+public class MissingOutputValueVerification extends AbstractVerificationType {
+
+  private static final MissingOutputValueVerification instance = new MissingOutputValueVerification();
+
+  private MissingOutputValueVerification() {
+    super(
+        new Name("MissingOutputValueVerification"),
+        new Name("Missing Output Value"),
+        new Description(
+            "Detecting input values of input columns in decision tables "
+                + "which are not defined in the connected decision table as output values."));
+  }
+
+  public static MissingOutputValueVerification getInstance() {
+    return instance;
+  }
+
+  @Override
+  public @NotNull ClassificationType getClassification() {
+    return ModelingLevelVerification.getInstance();
+  }
+}

dmnverifierapi/verifier.md

@@ -91,6 +91,30 @@ Detecting predefined string values of a column, which itself are not used in the
 TODO
 ```
 
+### Missing Input Value Verification
+- Type: [MissingInputValueVerification](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/MissingInputValueVerification.java)
+- Verifier: [MissingInputValueVerifier](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/MissingInputValueVerifier.java)
+
+#### Description
+Detecting output values of output columns in decision tables which are not used in the connected decision table as input values.
+
+#### Algorithm
+```
+TODO
+```
+
+### Missing Output Value Verification
+- Type: [MissingOutputValueVerification](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/MissingOutputValueVerification.java)
+- Verifier: [MissingOutputValueVerifier](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/MissingOutputValueVerifier.java)
+
+#### Description
+Detecting input values of input columns in decision tables which are not defined in the connected decision table as output values.
+
+#### Algorithm
+```
+TODO
+```
+
 ### Empty Output Verification
 - Type: [EmptyOutputVerification](/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/EmptyOutputVerification.java)
 - Verifier: [EmptyOutputVerifier](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/EmptyOutputVerifier.java)