online-dsl-forge 0.3.3

A bounded parser and runtime for in-memory DSL expressions.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

//! Semantic analysis, security profiles, and verified IR.

mod analyzer;
mod dialect;
mod profile;
mod schema;
mod verified;

pub use analyzer::{Analyzer, CompileOptions, ExpressionFunctionMode, compile_expression};
pub use dialect::ExpressionDialect;
pub use profile::{
  BodyAccess, BodyNeedSummary, BodyTarget, Determinism, Phase, RegexPolicy, SecurityProfile,
  SecurityProfileId,
};
pub use schema::{
  BodyPathRule, CapabilityKind, CapabilityMeta, CapabilityTicket, CostModel, ExpressionFunction,
  ExpressionFunctionDiagnostic, ExpressionFunctionScope, RegexArgMeta, RegexFlavor, RuntimeSchema,
  SignatureMatch, TypeClass, VariableMeta,
};
pub use verified::{
  CompiledExpression, CompiledRegexCache, RegexLiteral, VerifiedExprKindRef, VerifiedExpression,
  VerifiedProgram,
};