Enum SubstitutionToken 

pub enum SubstitutionToken {
    PositiveLit,
    NegativeLit,
    Zero,
    One,
    Semicolon,
}

VeriPB substitution token.

Variants

PositiveLit

Positive literals in OPB format.

NegativeLit

Negative literals in OPB format.

Zero

Constant 0 (false) value in a substitution. I.e., the variable before the 0 is assigned to false.

One

Constant 1 (true) value in a substitution. I.e., the variable before the 1 is assigned to true.

Semicolon

Token to finalize the a substitution.

Trait Implementations

impl Debug for SubstitutionToken

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

Formats the value using the given formatter.

impl Eq for SubstitutionToken

impl<'s> Logos<'s> for SubstitutionToken

type Error = ()

Error type returned by the lexer. This can be set using #[logos(error = MyError)]. Defaults to () if not set.

type Extras = ()

Associated type Extras for the particular lexer. This can be set using #[logos(extras = MyExtras)] and accessed inside callbacks.

type Source = str

Source type this token can be lexed from. This will default to str, unless one of the defined patterns explicitly uses non-unicode byte values or byte slices, in which case that implementation will use [u8].

fn lex(lex: &mut Lexer<'s, Self>)

The heart of Logos. Called by the Lexer. The implementation for this function is generated by the logos-derive crate.

fn lexer(source: &'source Self::Source) -> Lexer<'source, Self>

where Self::Extras: Default,

Create a new instance of a Lexer that will produce tokens implementing this Logos.

fn lexer_with_extras( source: &'source Self::Source, extras: Self::Extras, ) -> Lexer<'source, Self>

Create a new instance of a Lexer with the provided Extras that will produce tokens implementing this Logos.

impl PartialEq for SubstitutionToken

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl StructuralPartialEq for SubstitutionToken