Struct biscuit_auth::datalog::SymbolTable

pub struct SymbolTable { /* private fields */ }

Implementations

impl SymbolTable

pub fn new() -> Self

pub fn from(symbols: Vec<String>) -> Result<Self, Format>

pub fn from_symbols_and_public_keys( symbols: Vec<String>, public_keys: Vec<PublicKey> ) -> Result<Self, Format>

pub fn extend(&mut self, other: &SymbolTable) -> Result<(), Format>

pub fn insert(&mut self, s: &str) -> SymbolIndex

pub fn add(&mut self, s: &str) -> Term

pub fn get(&self, s: &str) -> Option<SymbolIndex>

pub fn strings(&self) -> Vec<String>

pub fn current_offset(&self) -> usize

pub fn split_at(&mut self, offset: usize) -> SymbolTable

pub fn is_disjoint(&self, other: &SymbolTable) -> bool

pub fn get_symbol(&self, i: SymbolIndex) -> Option<&str>

pub fn print_symbol(&self, i: SymbolIndex) -> Result<String, Format>

pub fn print_symbol_default(&self, i: SymbolIndex) -> String

pub fn print_world(&self, w: &World) -> String

pub fn print_term(&self, term: &Term) -> String

pub fn print_fact(&self, f: &Fact) -> String

pub fn print_predicate(&self, p: &Predicate) -> String

pub fn print_expression(&self, e: &Expression) -> String

pub fn print_rule_body(&self, r: &Rule) -> String

pub fn print_rule(&self, r: &Rule) -> String

pub fn print_check(&self, c: &Check) -> String

Trait Implementations

impl Clone for SymbolTable

fn clone(&self) -> SymbolTable

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SymbolTable

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

Formats the value using the given formatter.

impl Default for SymbolTable

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq<SymbolTable> for SymbolTable

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for SymbolTable

impl StructuralEq for SymbolTable

impl StructuralPartialEq for SymbolTable