Enum tptp::error::Lexical

pub enum Lexical {
    UnknownByte(Position, u8),
    UnknownOperator(Position),
    UnclosedComment(Position),
    NonPrintable(Position, u8),
    BadEscape(Position, u8),
    UnclosedQuote(Position),
    UnexpectedEnd,
}

Errors raised during the tokenization stage

Variants

UnknownByte(Position, u8)

A byte outside the expected range

UnknownOperator(Position)

Operator not (currently) recognised

UnclosedComment(Position)

Runaway multi-line comment

NonPrintable(Position, u8)

Non-printable character inside a quoted string

BadEscape(Position, u8)

Invalid escape character inside a quoted string

UnclosedQuote(Position)

Runaway quoted string

UnexpectedEnd

End of iterator mid-token

Trait Implementations

impl Debug for Lexical

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

Formats the value using the given formatter.