workshop_rs/rules/mod.rs
1//! The Workshop rule and declaration domain.
2//!
3//! Rule, variable, and subroutine data is modeled canonically in [`crate::Program`].
4//! Whole-program inspection and validation are available from this domain
5//! entry point as well as their compatibility modules.
6
7pub(crate) mod emitter;
8pub(crate) mod parser;
9pub(crate) mod validate;
10
11pub use crate::analysis::semantic::{
12 IncompletenessKind, ResidualClassification, SemanticIssue, inspect,
13};
14pub use crate::program::{Condition, Program, Rule, Subroutine, Variable};
15pub use validate::validate_canonical_ids;