Enum dimacs::ErrorKind

pub enum ErrorKind {
    InvalidTokenStart,
    UnknownKeyword,
    UnexpectedChar,
    UnexpectedToken,
    UnexpectedEndOfFile,
    EmptyTokenStream,
    InvalidSatExtension,
    NotParsedToEnd,
    ExpectedNat,
    ExpectedLit,
}

Different kinds of errors that may occure while parsing.

Variants

InvalidTokenStart

When parsing an invalid character at the start of a token.

UnknownKeyword

When parsing an unknown keyword (e.g. "foo").

UnexpectedChar

When lexing an unexpected character.

UnexpectedToken

When parsing an unexpected token.

UnexpectedEndOfFile

When detecting an unexpected end of file.

EmptyTokenStream

When tried to parse an empty string.

InvalidSatExtension

When parsing an unknown SAT extension.

NotParsedToEnd

When the parser is not at the end of file when finished parsing.

ExpectedNat

When a natural number was expected but not found.

ExpectedLit

When a literal was expected but not found.

Trait Implementations

impl Debug for ErrorKind

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

Formats the value using the given formatter.

impl Copy for ErrorKind

impl Clone for ErrorKind

fn clone(&self) -> ErrorKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq for ErrorKind

fn eq(&self, __arg_0: &ErrorKind) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Eq for ErrorKind