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 error;
31pub mod eval;
32pub mod expr;
33pub mod generated;
34pub mod validator;
35
36// Re-export key types at crate root for convenience
37pub use error::{ParseError, ValidationError};
38pub use eval::{
39 CodeListProvider, CompositeExternalProvider, ConditionEvaluator, ConditionExprEvaluator,
40 ConditionResult, CountryPostalCodeProvider, EvaluationContext, GroupNavigator,
41 KonfigurationenProvider, MapExternalProvider, MarketRole, MarketRoleProvider,
42 NoOpGroupNavigator, Sector, SectorProvider,
43};
44pub use expr::{ConditionExpr, ConditionParser};
45pub use validator::{
46 EdifactValidator, ErrorCodes, Severity, ValidationCategory, ValidationIssue, ValidationLevel,
47 ValidationReport,
48};
49
50// Re-export AHB workflow types for callers
51pub use validator::validate::{AhbCodeRule, AhbFieldRule, AhbWorkflow};
52
53// Re-export generated evaluators
54pub use generated::*;