Struct SimpleTestFact 

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

Extracted structural facts available to rules and callers.

Implementations

impl<'a> SimpleTestFact<'a>

pub fn syntax(&self) -> SimpleTestSyntax

pub fn operands(&self) -> &[&'a Word]

pub fn shape(&self) -> SimpleTestShape

pub fn operator_family(&self) -> SimpleTestOperatorFamily

pub fn is_effectively_negated(&self) -> bool

pub fn effective_operands(&self) -> &[&'a Word]

pub fn effective_shape(&self) -> SimpleTestShape

pub fn effective_operator_family(&self) -> SimpleTestOperatorFamily

pub fn operand_classes(&self) -> &[TestOperandClass]

pub fn operand_class(&self, index: usize) -> Option<TestOperandClass>

pub fn effective_operand_class(&self, index: usize) -> Option<TestOperandClass>

pub fn empty_test_suppressed(&self) -> bool

pub fn truthy_operand_class(&self) -> Option<TestOperandClass>

pub fn unary_operand_class(&self) -> Option<TestOperandClass>

pub fn effective_operator_word(&self) -> Option<&'a Word>

pub fn escaped_negation_spans(&self, source: &str) -> Option<(Span, Span)>

pub fn compound_operator_spans(&self, source: &str) -> Vec<Span>

pub fn truthy_expression_words(&'a self, source: &str) -> Vec<&'a Word>

pub fn operator_expression_operand_words(&self, source: &str) -> Vec<&'a Word>

pub fn numeric_binary_expression_operand_words( &self, source: &str, ) -> Vec<&'a Word>

pub fn string_unary_expression_words( &'a self, source: &str, ) -> Vec<(&'a Word, &'a Word)>

pub fn string_binary_expression_words( &'a self, source: &str, ) -> Vec<(&'a Word, &'a Word, &'a Word)>

pub fn is_abort_like_bracket_test(&self, source: &str) -> bool

pub fn binary_operand_classes( &self, ) -> Option<(TestOperandClass, TestOperandClass)>

Trait Implementations

impl<'a> Clone for SimpleTestFact<'a>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for SimpleTestFact<'a>

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

Formats the value using the given formatter.