Trait CapabilityTrait

pub trait CapabilityTrait<T: Timestamp> {
    // Required methods
    fn time(&self) -> &T;
    fn valid_for_output(
        &self,
        query_buffer: &Rc<RefCell<ChangeBatch<T>>>,
        port: usize,
    ) -> bool;
}

An internal trait expressing the capability to send messages with a given timestamp.

Required Methods

fn time(&self) -> &T

The timestamp associated with the capability.

fn valid_for_output( &self, query_buffer: &Rc<RefCell<ChangeBatch<T>>>, port: usize, ) -> bool

Validates that the capability is valid for a specific internal buffer and output port.

Implementations on Foreign Types

impl<T: Timestamp, C: CapabilityTrait<T>> CapabilityTrait<T> for &C

fn time(&self) -> &T

fn valid_for_output( &self, query_buffer: &Rc<RefCell<ChangeBatch<T>>>, port: usize, ) -> bool

impl<T: Timestamp, C: CapabilityTrait<T>> CapabilityTrait<T> for &mut C

fn time(&self) -> &T

fn valid_for_output( &self, query_buffer: &Rc<RefCell<ChangeBatch<T>>>, port: usize, ) -> bool

Implementors

impl<T: Timestamp> CapabilityTrait<T> for ActivateCapability<T>

impl<T: Timestamp> CapabilityTrait<T> for Capability<T>

impl<T: Timestamp> CapabilityTrait<T> for InputCapability<T>