Struct SelectorDatabase 

pub struct SelectorDatabase { /* private fields */ }

Implementations

impl SelectorDatabase

pub fn new() -> Self

pub fn contains_invariant(&self, selector: &Selector) -> bool

pub fn contains_message(&self, selector: &Selector) -> bool

pub fn is_payable(&self, selector: &Selector) -> bool

pub fn add_payables(&mut self, selectors: Vec<Selector>)

pub fn exists(&self, selector: Selector) -> bool

pub fn add_invariants(&mut self, invariants: Vec<Selector>)

pub fn add_messages(&mut self, messages: Vec<Selector>)

pub fn get_unique_messages(self) -> ResultOf<Vec<Selector>>

pub fn invariants(self) -> ResultOf<Vec<Selector>>

pub fn messages(self) -> ResultOf<Vec<Selector>>

Trait Implementations

impl Clone for SelectorDatabase

fn clone(&self) -> SelectorDatabase

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SelectorDatabase

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

Formats the value using the given formatter.

impl Default for SelectorDatabase

fn default() -> Self

Returns the “default value” for a type.