plotnik-compiler 0.3.2

Compiler for Plotnik query language (parser, analyzer, bytecode emitter)
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

//! Thompson-like NFA construction for query compilation.
//!
//! Compiles query AST expressions into bytecode IR with symbolic labels.
//! Labels are resolved to concrete StepIds during the layout phase.
//! Member indices use deferred resolution via MemberRef for correct absolute indices.
//!
//! # Module Organization
//!
//! The compiler is split into focused modules:
//! - `capture`: Capture effects handling (Node/Text + Set)
//! - `expressions`: Leaf expression compilation (named/anon nodes, refs, fields, captures)
//! - `navigation`: Navigation mode computation for anchors and quantifiers
//! - `quantifier`: Unified quantifier compilation (*, +, ?)
//! - `scope`: Scope management for struct/array wrappers
//! - `sequences`: Sequence and alternation compilation

mod capture;
mod collapse_prefix;
mod collapse_up;
mod compiler;
mod dce;
pub(crate) mod epsilon_elim;
mod error;
mod expressions;
mod lower;
mod navigation;
mod quantifier;
mod scope;
mod sequences;
mod verify;

#[cfg(test)]
mod capture_tests;
#[cfg(test)]
mod collapse_up_tests;
#[cfg(test)]
mod compile_tests;
#[cfg(test)]
mod lower_tests;

pub use capture::CaptureEffects;
pub use compiler::{CompileCtx, Compiler};
pub use error::{CompileError, CompileResult};