Expand description
Plotnik compiler: parser, analyzer, and bytecode emitter.
This crate provides the compilation pipeline for Plotnik queries:
parser- lexer, CST, and AST constructionanalyze- semantic analysis (symbol table, type checking, validation)compile- Thompson NFA constructionemit- bytecode emissiondiagnostics- error reportingquery- high-level Query facadetypegen- TypeScript type generation
Re-exports§
pub use diagnostics::Diagnostics;pub use diagnostics::DiagnosticsPrinter;pub use diagnostics::Severity;pub use diagnostics::Span;pub use query::Query;pub use query::QueryBuilder;pub use query::SourceId;pub use query::SourceMap;
Modules§
- analyze
- Semantic analysis passes.
- bytecode
- Compile-time IR for bytecode emission.
- compile
- Thompson-like NFA construction for query compilation.
- diagnostics
- emit
- Bytecode emission from compiled queries.
- parser
- Parser infrastructure for the query language.
- query
- Query facade for Plotnik compilation.
- typegen
- Type declaration generation from compiled bytecode.
Enums§
- Error
- Errors that can occur during query parsing.
Type Aliases§
- Pass
Result - Result type for analysis passes that produce both output and diagnostics.
- Result
- Result type for query operations.