Module tptp::error[−][src]

Errors that might be raised during processing.

Structs

A reported error plus some context.

Include	Errors raised while processing includes
Lexical	Errors raised during the tokenization stage
Reported	Any error that might be encountered
Syntactic	Errors raised during the parsing stage