Struct Logic 

pub struct Logic<'a> { /* private fields */ }

A logic expression.

This struct represents a logic expression as an Abstract Syntax Tree (AST). It holds a reference to the root token of the expression and the arena in which the tokens are allocated.

Implementations

impl<'a> Logic<'a>

pub fn new(root: &'a Token<'a>, arena: &'a DataArena) -> Self

Creates a new logic expression.

pub fn from_token(token: Token<'a>, arena: &'a DataArena) -> Self

Creates a new logic expression from a token.

pub fn root(&self) -> &'a Token<'a>

Returns the root token of the logic expression.

pub fn arena(&self) -> &'a DataArena

Returns the arena in which the tokens are allocated.

pub fn literal(value: DataValue<'a>, arena: &'a DataArena) -> Self

Creates a new literal logic expression.

pub fn variable( path: &str, default: Option<Logic<'a>>, arena: &'a DataArena, ) -> Self

Creates a new variable logic expression.

pub fn operator( op_type: OperatorType, args: Vec<Logic<'a>>, arena: &'a DataArena, ) -> Self

Creates an operator logic expression.

pub fn custom_operator( name: &str, args: Vec<Logic<'a>>, arena: &'a DataArena, ) -> Self

Creates a custom operator logic expression.

pub fn is_literal(&self) -> bool

Returns true if this logic expression is a literal.

pub fn is_variable(&self) -> bool

Returns true if this logic expression is a variable.

pub fn is_operator(&self) -> bool

Returns true if this logic expression is an operator.

pub fn is_custom_operator(&self) -> bool

Returns true if this logic expression is a custom operator.

pub fn as_literal(&self) -> Option<&DataValue<'a>>

Returns the literal value if this logic expression is a literal.

pub fn as_variable(&self) -> Option<(&'a str, Option<&'a Token<'a>>)>

Returns the variable path if this logic expression is a variable.

pub fn as_operator(&self) -> Option<(OperatorType, &'a Token<'a>)>

Returns the operator type and arguments if this logic expression is an operator.

pub fn as_custom_operator(&self) -> Option<(&'a str, &'a Token<'a>)>

Returns the custom operator name and arguments if this logic expression is a custom operator.

Trait Implementations

impl<'a> Clone for Logic<'a>

fn clone(&self) -> Logic<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for Logic<'a>

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

Formats the value using the given formatter.