Crate plotnik_compiler

Crate plotnik_compiler 

Source
Expand description

Plotnik compiler: parser, analyzer, and bytecode emitter.

This crate provides the compilation pipeline for Plotnik queries:

  • parser - lexer, CST, and AST construction
  • analyze - semantic analysis (symbol table, type checking, validation)
  • compile - Thompson NFA construction
  • emit - bytecode emission
  • diagnostics - error reporting
  • query - high-level Query facade
  • typegen - 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§

PassResult
Result type for analysis passes that produce both output and diagnostics.
Result
Result type for query operations.