Struct GuaranteeBuilder 

struct GuaranteeBuilder<'a> {
    guarantees: Vec<Option<LiteralGuarantee>>,
    map: HashMap<(&'a Column, Guarantee), usize>,
}

Combines conjuncts (aka terms ANDed together) into LiteralGuarantees, preserving insert order

Fields

guarantees: Vec<Option<LiteralGuarantee>>

List of guarantees that have been created so far if we have determined a subsequent conjunct invalidates a guarantee e.g. a = foo AND a = bar then the relevant guarantee will be None

map: HashMap<(&'a Column, Guarantee), usize>

Key is the (column name, guarantee type) Value is the index into guarantees

Implementations

impl<'a> GuaranteeBuilder<'a>

fn new() -> Self

fn aggregate_conjunct(self, col_op_lit: ColOpLit<'a>) -> Self

Aggregate a new single AND col <op> literal term to this builder combining with existing guarantees if possible.

Examples

• AND (a = 1): a is guaranteed to be 1
• AND (a != 1): a is guaranteed to not be 1

fn aggregate_multi_conjunct( self, col: &'a Column, guarantee: Guarantee, new_values: impl IntoIterator<Item = &'a ScalarValue>, ) -> Self

Aggregates a new single column, multi literal term to this builder combining with previously known guarantees if possible.

Examples

For the following examples, we can guarantee the expression is true if:

• AND (a = 1 OR a = 2 OR a = 3): a is in (1, 2, or 3)
• AND (a IN (1,2,3)): a is in (1, 2, or 3)
• AND (a != 1 OR a != 2 OR a != 3): a is not in (1, 2, or 3)
• AND (a NOT IN (1,2,3)): a is not in (1, 2, or 3)

fn build(self) -> Vec<LiteralGuarantee>

Return all guarantees that have been created so far

Trait Implementations

impl<'a> Debug for GuaranteeBuilder<'a>

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

Formats the value using the given formatter.

impl<'a> Default for GuaranteeBuilder<'a>

fn default() -> GuaranteeBuilder<'a>

Returns the “default value” for a type.