Skip to main content

online_dsl_forge/
lib.rs

1//! In-memory DSL parser, canonical AST, compiler, and bounded runtime.
2
3pub mod compile;
4pub mod parser;
5pub mod rulepack_render;
6pub mod runtime;
7pub mod sema;
8pub mod value;
9
10pub use compile::{
11  Analyzer, BodyAccess, BodyNeedSummary, BodyPathRule, BodyTarget, CapabilityKind, CapabilityMeta,
12  CapabilityTicket, CompileOptions, CompiledExpression, CompiledRegexCache, CostModel, Determinism,
13  ExpressionDialect, ExpressionFunction, ExpressionFunctionDiagnostic, ExpressionFunctionMode,
14  ExpressionFunctionScope, Phase, RegexArgMeta, RegexFlavor, RegexLiteral, RegexPolicy,
15  RuntimeSchema, SecurityProfile, SecurityProfileId, SignatureMatch, TypeClass, VariableMeta,
16  VerifiedExprKindRef, VerifiedExpression, VerifiedProgram, compile_expression,
17};
18pub use parser::{
19  AstExpression, BinaryOp, Diagnostic, DiagnosticReport, ExprKind, SourceSpan, UnaryOp, ast,
20  diagnostics, format, format_expression, lexer, parse_expression, span,
21};
22pub use rulepack_render::{
23  BlobFileResolver, BlobStore, FileResolver, MemoryFileResolver, RenderedRulepackBundle,
24  RenderedRulepackFile, RulepackActionSelector, RulepackBinding, RulepackBindingKind,
25  RulepackDiscovery, RulepackException, RulepackGroupFileSummary, RulepackInputMetadata,
26  RulepackInspection, RulepackMode, RulepackModeOverride, RulepackOverride,
27  RulepackOverrideSelector, RulepackPhase, RulepackProfile, RulepackReferencedFile,
28  RulepackReferencedFileKind, RulepackRenderError, RulepackRenderOptions, RulepackRuleSummary,
29  RulepackSourceProvenance, RulepackSummary, RulepackVariable, inspect_rulepack,
30  inspect_rulepack_inputs, referenced_rulepack_files, render_rulepack_bundle,
31  render_rulepack_for_install, render_text,
32};
33pub use runtime::{
34  DynamicRegistry, EvalError, EvalLimits, MapRuntime, RuntimeCallContext, RuntimeContext,
35  RuntimePatternSetConfig, RuntimePatternSetError, RuntimePatternSetKind, RuntimePatternSetLimits,
36  RuntimePatternSets, default_registry, evaluate, evaluate_verified, oxirule_pattern_set_registry,
37  register_oxirule_pattern_set_methods,
38};
39pub use value::Value;