diff --git a/dmnverifierapi/verifier.md b/dmnverifierapi/verifier.md index a1f52523f882ab5f9caa3f7cbabfa881c620b6af..a82682b1b1cd6ce20b1ea764e561c3161a36cf43 100644 --- a/dmnverifierapi/verifier.md +++ b/dmnverifierapi/verifier.md @@ -1,24 +1,21 @@ # Verifier -[[_TOC_]] ## Overview -- [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) -- [Verifier (Concrete implementation)](src\main\java\de\unikoblenz\fgbks\core\dmn\verification\verifier\impl) +- [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) +- [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 -- Classification: [DrdModelingLevelVerification](src\main\java\de\unikoblenz\fgbks\core\dmn\verification\verifier\classification\DrdModelingLevelVerification.java) +### Lonely Data Input Verification +- 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 -- 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 +#### Description Checks for any input data node, if it has **no** connection to at least one decision table. -##### Algorithm +#### Algorithm ``` doVerification (Definition d) { define rL as ResultList @@ -31,42 +28,42 @@ doVerification (Definition d) { } ``` -### Modeling Level Verification -- Classification: [ModelingLevelVerification](src\main\java\de\unikoblenz\fgbks\core\dmn\verification\verifier\classification\ModelingLevelVerification.java) +## Modeling Level Verification +- Classification: [ModelingLevelVerification](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/classification/ModelingLevelVerification.java) -#### Predefined Existing Value Verification -- 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) +### Predefined Existing Value Verification +- 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) -##### Description +#### Description TODO -##### Algorithm +#### Algorithm ``` TODO ``` -#### Predefined Missing Value Verification -- 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) +### Predefined Missing Value Verification +- 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) -##### Description +#### Description TODO -##### Algorithm +#### Algorithm ``` TODO ``` -### Decision Logic Level Verification -- Classification: [DecisionLogicLevelVerification](src\main\java\de\unikoblenz\fgbks\core\dmn\verification\verifier\classification\DecisionLogicLevelVerification.java) +## Decision Logic Level Verification +- Classification: [DecisionLogicLevelVerification](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/classification/DecisionLogicLevelVerification.java) -#### TODO... +### TODO... -### SyntaxLevelVerification -- Classification: [SyntaxLevelVerification](src\main\java\de\unikoblenz\fgbks\core\dmn\verification\verifier\classification\SyntaxLevelVerification.java) +## SyntaxLevelVerification +- Classification: [SyntaxLevelVerification](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/classification/SyntaxLevelVerification.java) -#### TODO... +### TODO...