Skip to content
Snippets Groups Projects
Commit 7e1ba957 authored by Jonas Blatt's avatar Jonas Blatt :ant:
Browse files

Add documentation for verifier

parent cc0d4107
Branches
Tags
No related merge requests found
# Verifier # Verifier
[[_TOC_]]
## Overview ## Overview
- [Verification Classification (Group of verifier)](src\main\java\de\unikoblenz\fgbks\core\dmn\verification\verifier\classification) - [Verification Classification (Group of verifier)](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/classification)
- [Verification Type (identification of verifier + name + description for single verifier)](src\main\java\de\unikoblenz\fgbks\core\dmn\verification\verifier\types) - [Verification Type (identification of verifier + name + description for single verifier)](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types)
- [Verifier (Concrete implementation)](src\main\java\de\unikoblenz\fgbks\core\dmn\verification\verifier\impl) - [Verifier (Concrete implementation)](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl)
## Implementations ## DRD Modeling Level Verification
- Classification: [DrdModelingLevelVerification](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/classification/DrdModelingLevelVerification.java)
### DRD Modeling Level Verification ### Lonely Data Input Verification
- Classification: [DrdModelingLevelVerification](src\main\java\de\unikoblenz\fgbks\core\dmn\verification\verifier\classification\DrdModelingLevelVerification.java) - Type: [LonelyDataInputVerification](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/LonelyDataInputVerification.java)
- Verifier: [LonelyDataInputVerifier](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/LonelyDataInputVerifier.java)
#### Lonely Data Input Verification #### Description
- Type: [LonelyDataInputVerification](src\main\java\de\unikoblenz\fgbks\core\dmn\verification\verifier\types\LonelyDataInputVerification.java)
- Verifier: [LonelyDataInputVerifier](src\main\java\de\unikoblenz\fgbks\core\dmn\verification\verifier\impl\LonelyDataInputVerifier.java)
##### Description
Checks for any input data node, if it has **no** connection to at least one decision table. Checks for any input data node, if it has **no** connection to at least one decision table.
##### Algorithm #### Algorithm
``` ```
doVerification (Definition d) { doVerification (Definition d) {
define rL as ResultList define rL as ResultList
...@@ -31,42 +28,42 @@ doVerification (Definition d) { ...@@ -31,42 +28,42 @@ doVerification (Definition d) {
} }
``` ```
### Modeling Level Verification ## Modeling Level Verification
- Classification: [ModelingLevelVerification](src\main\java\de\unikoblenz\fgbks\core\dmn\verification\verifier\classification\ModelingLevelVerification.java) - Classification: [ModelingLevelVerification](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/classification/ModelingLevelVerification.java)
#### Predefined Existing Value Verification ### Predefined Existing Value Verification
- Type: [PredefinedExistingValueVerification](\src\main\java\de\unikoblenz\fgbks\core\dmn\verification\verifier\types\PredefinedExistingValueVerification.java) - Type: [PredefinedExistingValueVerification](/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/PredefinedExistingValueVerification.java)
- Verifier: [PredefinedExistingValueVerifier](src\main\java\de\unikoblenz\fgbks\core\dmn\verification\verifier\impl\PredefinedExistingValueVerifier.java) - Verifier: [PredefinedExistingValueVerifier](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/PredefinedExistingValueVerifier.java)
##### Description #### Description
TODO TODO
##### Algorithm #### Algorithm
``` ```
TODO TODO
``` ```
#### Predefined Missing Value Verification ### Predefined Missing Value Verification
- Type: [PredefinedMissingValueVerification](\src\main\java\de\unikoblenz\fgbks\core\dmn\verification\verifier\types\PredefinedMissingValueVerification.java) - Type: [PredefinedMissingValueVerification](/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/PredefinedMissingValueVerification.java)
- Verifier: [PredefinedMissingValueVerifier](src\main\java\de\unikoblenz\fgbks\core\dmn\verification\verifier\impl\PredefinedMissingValueVerifier.java) - Verifier: [PredefinedMissingValueVerifier](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/PredefinedMissingValueVerifier.java)
##### Description #### Description
TODO TODO
##### Algorithm #### Algorithm
``` ```
TODO TODO
``` ```
### Decision Logic Level Verification ## Decision Logic Level Verification
- Classification: [DecisionLogicLevelVerification](src\main\java\de\unikoblenz\fgbks\core\dmn\verification\verifier\classification\DecisionLogicLevelVerification.java) - Classification: [DecisionLogicLevelVerification](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/classification/DecisionLogicLevelVerification.java)
#### TODO... ### TODO...
### SyntaxLevelVerification ## SyntaxLevelVerification
- Classification: [SyntaxLevelVerification](src\main\java\de\unikoblenz\fgbks\core\dmn\verification\verifier\classification\SyntaxLevelVerification.java) - Classification: [SyntaxLevelVerification](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/classification/SyntaxLevelVerification.java)
#### TODO... ### TODO...
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment