proof_of_sql_planner/
lib.rs

1//! This crate converts a `DataFusion` `LogicalPlan` to a `ProofPlan` and `Postprocessing`
2#![cfg_attr(test, expect(clippy::missing_panics_doc))]
3extern crate alloc;
4mod aggregate;
5pub(crate) use aggregate::{aggregate_function_to_proof_expr, AggregateFunc};
6mod context;
7pub use context::PoSqlContextProvider;
8#[cfg(test)]
9pub(crate) use context::PoSqlTableSource;
10mod conversion;
11pub use conversion::{
12    get_table_refs_from_statement, sql_to_proof_plans, sql_to_proof_plans_with_postprocessing,
13};
14#[cfg(test)]
15mod df_util;
16mod expr;
17pub use expr::expr_to_proof_expr;
18mod error;
19pub use error::{PlannerError, PlannerResult};
20mod plan;
21/// Proof of SQL Postprocessing. Used when the last step of the logical plan is an unprovable projection.
22pub mod postprocessing;
23pub use plan::logical_plan_to_proof_plan;
24mod proof_plan_with_postprocessing;
25pub use proof_plan_with_postprocessing::{
26    logical_plan_to_proof_plan_with_postprocessing, ProofPlanWithPostprocessing,
27};
28mod uppercase_column_visitor;
29pub use uppercase_column_visitor::{statement_with_uppercase_identifiers, uppercase_identifier};
30mod util;
31pub use util::column_fields_to_schema;
32pub(crate) use util::{
33    column_to_column_ref, placeholder_to_placeholder_expr, scalar_value_to_literal_value,
34    schema_to_column_fields, table_reference_to_table_ref,
35};
proof_of_sql_planner/lib.rs

proof_of_sql_planner/
lib.rs
