Enum tptp::error::Syntactic

pub enum Syntactic {
    UnknownRole(Position, String),
    UnknownDefined(Position, String),
    UnexpectedToken(Position, Token),
    UnexpectedEnd,
}

Errors raised during the parsing stage

Variants

UnknownRole(Position, String)

An as-yet unknown TPTP role

UnknownDefined(Position, String)

An as-yet unknown TPTP defined operation

UnexpectedToken(Position, Token)

Syntax error

UnexpectedEnd

Syntax error: end of iterator mid-statement

Trait Implementations

impl Debug for Syntactic

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

Formats the value using the given formatter.