Struct TableExec

pub struct TableExec {
    pub table_ref: TableRef,
    pub schema: Vec<ColumnField>,
}

Source ProofPlan for (sub)queries with table source such as SELECT col from tab; Inspired by DataFusion data source [ExecutionPlan]s such as [ArrowExec] and [CsvExec]. Note that we only need to load the columns we use.

Fields

table_ref: TableRef

Table reference

schema: Vec<ColumnField>

Schema of the table

Implementations

impl TableExec

pub fn new(table_ref: TableRef, schema: Vec<ColumnField>) -> Self

Creates a new TableExec.

Trait Implementations

impl Debug for TableExec

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TableExec

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<TableExec> for DynProofPlan

fn from(v: TableExec) -> DynProofPlan

Converts to this type from the input type.

impl PartialEq for TableExec

fn eq(&self, other: &TableExec) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl ProofPlan for TableExec

fn count(&self, _builder: &mut CountBuilder<'_>) -> Result<(), ProofError>

Count terms used within the Query’s proof

fn verifier_evaluate<S: Scalar>( &self, builder: &mut VerificationBuilder<'_, S>, accessor: &IndexMap<ColumnRef, S, BuildHasherDefault<AHasher>>, _result: Option<&OwnedTable<S>>, ) -> Result<Vec<S>, ProofError>

Form components needed to verify and proof store into VerificationBuilder

fn get_column_result_fields(&self) -> Vec<ColumnField>

Return all the result column fields

fn get_column_references( &self, ) -> IndexSet<ColumnRef, BuildHasherDefault<AHasher>>

Return all the columns referenced in the Query

fn get_table_references( &self, ) -> IndexSet<TableRef, BuildHasherDefault<AHasher>>

Return all the tables referenced in the Query

impl Serialize for TableExec

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TryInto<TableExec> for DynProofPlan

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<TableExec, <Self as TryInto<TableExec>>::Error>

Performs the conversion.

impl StructuralPartialEq for TableExec