Expand description
Parser structs and methods.
Modules§
Structs§
- Async
Parser - Struct which contains both a parser state as well as the stream of lines
which are being parsed. Always use this instead of the raw underlying
parser. Feeds the parser line-by-line with a callback to indicate if or
when to pause. Supports any parser as long as it implements
LogParser. - Reader
State - Progress information for a parser.
- Stream
Parser - Struct which contains both a parser state as well as the stream of lines
which are being parsed. Always use this instead of the raw underlying
parser. Feeds the parser line-by-line with a callback to indicate if or
when to pause. Supports any parser as long as it implements
LogParser.
Enums§
Traits§
- Async
Buffer Read - Async
Cursor Read - Cursor
Read - File
Read - Into
Async Parser - Into
Stream Parser - LogParser
- Trait for a generic SMT solver trace parser. Intended to support different solvers or log formats.
- LogParser
Helper