Struct ExprCompare 

pub struct ExprCompare {
    pub node_index: AtomicNodeIndex,
    pub range: TextRange,
    pub ops: Box<[CmpOp]>,
    pub operands: Box<[Expr]>,
    pub runtime_comparators: Option<Vec<Option<Expr>>>,
}

A comparison or chain of comparisons.

operands contains all operands in source order, including the leftmost operand. For example, a < b <= c has operands [a, b, c] and operators [Lt, LtE]. There is at least one operator, and operands.len() == ops.len() + 1.

See also Compare.

Fields

node_index: AtomicNodeIndex

range: TextRange

ops: Box<[CmpOp]>

operands: Box<[Expr]>

runtime_comparators: Option<Vec<Option<Expr>>>

Implementations

impl ExprCompare

pub fn first_operand(&self) -> &Expr

Returns the initial operand (a in a < b <= c).

Panics

Panics if there are no operands. The parser always produces at least two operands, synthesizing an invalid name expression for a missing operand during error recovery.

pub fn second_operand(&self) -> &Expr

Returns the right operand of the first comparison (b in a < b <= c).

Panics

Panics if there are fewer than two operands. See Self::first_operand.

pub fn first_operator(&self) -> CmpOp

Returns the first comparison operator (< in a < b <= c).

Panics

Panics if there are no operators. The parser always produces at least one operator.

pub fn comparators(&self) -> &[Expr]

Returns all operands after the initial operand ([b, c] in a < b <= c).

Panics

Panics if there are no operands. See Self::first_operand.

pub fn as_single(&self) -> Option<(&Expr, &CmpOp, &Expr)>

Returns (left, operator, right) if there is exactly one operator and two operands.

pub fn iter( &self, ) -> impl DoubleEndedIterator<Item = (&Expr, &CmpOp, &Expr)> + ExactSizeIterator

Iterates over each comparison as (left, operator, right).

For a < b <= c, yields (a, <, b) followed by (b, <=, c).

Trait Implementations

impl Clone for ExprCompare

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExprCompare

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

Formats the value using the given formatter.

impl<'a> From<&'a ExprCompare> for ExprRef<'a>

fn from(node: &'a ExprCompare) -> Self

Converts to this type from the input type.

impl<'a> From<&'a ExprCompare> for AnyNodeRef<'a>

fn from(node: &'a ExprCompare) -> AnyNodeRef<'a>

Converts to this type from the input type.

impl From<ExprCompare> for Expr

fn from(node: ExprCompare) -> Self

Converts to this type from the input type.

impl HasNodeIndex for ExprCompare

fn node_index(&self) -> &AtomicNodeIndex

Returns the AtomicNodeIndex for this node.

impl PartialEq for ExprCompare

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

Equality operator ==.

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

Inequality operator !=.

impl Ranged for ExprCompare

fn range(&self) -> TextRange

The range of this item in the source text.

fn start(&self) -> TextSize

The start offset of this item in the source text.

fn end(&self) -> TextSize

The end offset of this item in the source text.

impl StructuralPartialEq for ExprCompare

impl<'a> TryFrom<AnyRootNodeRef<'a>> for &'a ExprCompare

type Error = ()

The type returned in the event of a conversion error.

fn try_from(node: AnyRootNodeRef<'a>) -> Result<&'a ExprCompare, ()>

Performs the conversion.