Struct RequiredPropertiesMap 

pub struct RequiredPropertiesMap { /* private fields */ }

Result of the required-property analysis: one requirement list per plan node id, holding the properties its consumers demand.

Implementations

impl RequiredPropertiesMap

pub fn record(&mut self, node_id: i64, requirements: &[PropertyRequirement])

Record (replace) the requirement list for a node.

pub fn get(&self, node_id: i64) -> Option<&[PropertyRequirement]>

All requirements recorded for a node.

pub fn requirement_for_var( &self, node_id: i64, var: &str, ) -> Option<PropertyRequirement>

The merged requirement for var at node_id, if any.

pub fn narrowable_properties( &self, node_id: i64, var: &str, ) -> Option<Vec<String>>

Properties safe to narrow node_id’s source to for var.

Returns Some(sorted props) only when the requirement is narrowable: the variable is not consumed in a full-value position and at least one property is provably needed. An empty or full-value requirement yields None, so callers keep the full read (empty projected_properties means “read everything”).

Trait Implementations

impl Clone for RequiredPropertiesMap

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for RequiredPropertiesMap

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

Formats the value using the given formatter.

impl Default for RequiredPropertiesMap

fn default() -> Self

Returns the “default value” for a type.