Struct VerifyExpr

pub struct VerifyExpr {
    pub typecode: Atom,
    pub rump: Range<usize>,
    pub tail: Box<[ExprFragment]>,
}

An expression which can be substituted with variables in the verifier.

All variables are replaced with integers and the expression is broken at each variable into an alternating sequence of literal segments and variable subsitutions. The first symbol is required by the spec to be a constant and has special matching behavior, so it is represented out of band as an atom.

The verifier represents math strings as byte sequences, where the boundaries between math symbols are indicated by setting the 8th bit on the last byte of each symbol. The same compressed representation is used in literal segments so that execution can be simple copying.

Fields

typecode: Atom

Atom representation of the first constant symbol in the expression.

rump: Range<usize>

Constant pool reference for the part of the expression after the last variable.

tail: Box<[ExprFragment]>

The parts of the expression up to and including the last variable, as a sequence of literal, variable pairs.

Implementations

impl VerifyExpr

pub fn const_ranges(&self) -> impl Iterator<Item = Range<usize>> + '_

Returns an iterator over runs of constants in the expression, as references into the constant pool.

Trait Implementations

impl Clone for VerifyExpr

fn clone(&self) -> VerifyExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifyExpr

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

Formats the value using the given formatter.

impl Default for VerifyExpr

fn default() -> VerifyExpr

Returns the “default value” for a type.