automapper_validation/
lib.rs

1//! AHB condition expression parsing, evaluation, and EDIFACT message validation.
2//!
3//! This crate provides three layers of functionality:
4//!
5//! 1. **Expression parsing** ([`expr`]): Parses AHB status strings like
6//!    `"Muss [182] ∧ [6] ∧ [570]"` into a [`ConditionExpr`] AST.
7//!
8//! 2. **Condition evaluation** ([`eval`]): Evaluates condition expressions
9//!    using a [`ConditionEvaluator`] trait with three-valued logic
10//!    (True/False/Unknown) for graceful handling of external conditions.
11//!
12//! 3. **Message validation** ([`validator`]): Validates EDIFACT messages
13//!    against AHB rules, producing a [`ValidationReport`] with typed issues.
14//!
15//! # Quick Start
16//!
17//! ```ignore
18//! use automapper_validation::expr::{ConditionParser, ConditionExpr};
19//! use automapper_validation::eval::{ConditionExprEvaluator, ConditionResult};
20//! use automapper_validation::validator::{EdifactValidator, ValidationLevel};
21//!
22//! // Parse a condition expression
23//! let expr = ConditionParser::parse("Muss [182] ∧ [152]").unwrap();
24//!
25//! // Validate pre-parsed segments against AHB workflow
26//! let validator = EdifactValidator::new(my_evaluator);
27//! let report = validator.validate(&segments, &workflow, &external, ValidationLevel::Full);
28//! ```
29
30pub mod consistency;
31pub mod display;
32pub mod error;
33pub mod eval;
34pub mod evaluator_factory;
35pub mod expr;
36pub mod generated;
37pub mod pipeline;
38pub mod syntax;
39pub mod validator;
40pub mod workflow_schema;
41
42// Re-export key types at crate root for convenience
43pub use display::{
44    Bo4eView, EdifactView, IssueDisplay, IssueNarrator, IssueView, TechnicalNarrator,
45};
46pub use error::{ParseError, ValidationError};
47pub use eval::{
48    binds_once, breaks_repetition_limit, counted_repetitions, is_transaction_group,
49    once_per_transaction, packages_allow_none, refuses_count, repetition_limits, requiredness,
50    transactions, Vorgang,
51};
52pub use eval::{
53    presence_condition, presence_conditions, refuses_presence, AbsentTarget, AnswerCodeLists,
54    CodeListProvider, CompositeExternalProvider, ConditionEvaluator, ConditionExprEvaluator,
55    ConditionResult, CountryPostalCodeProvider, EvaluationContext, GroupNavigator,
56    KonfigurationenProvider, MapExternalProvider, MarketRole, MarketRoleProvider,
57    NoOpGroupNavigator, PresentTarget, Sector, SectorProvider,
58};
59pub use expr::{ConditionExpr, ConditionParser};
60pub use validator::{
61    build_validated_tree, validate_unt_segment_count, AhbGroupNode, AhbNode, EdifactValidator,
62    ErrorCodes, IssueKind, SegmentPosition, Severity, UnresolvedConditions, ValidatedTree,
63    ValidationCategory, ValidationIssue, ValidationLevel, ValidationReport,
64};
65
66// Re-export AHB workflow types for callers
67pub use evaluator_factory::evaluator_for;
68pub use pipeline::{
69    validate_edifact_message, validate_edifact_message_reporting_segments,
70    validate_edifact_message_with_structure,
71};
72pub use validator::validate::{AhbCodeRule, AhbFieldRule, AhbWorkflow};
73pub use workflow_schema::ahb_workflow_from_pid_schema;
74
75// Re-export generated evaluators
76pub use generated::*;
77
78// `IssueKind::StructureDiagnostic`'s `kind` field is this type, so a
79// dependant matching on `IssueKind` needs it without adding its own
80// version-pinned dependency on `mig-assembly`.
81pub use mig_assembly::StructureDiagnosticKind;
automapper_validation/lib.rs

automapper_validation/
lib.rs
