Class | Description |
---|---|
BlockList | |
IncludeFile |
Nitty-gritty IncludeFile work switching Tokenizers and keeping a list,
checking it twice.
|
MMIOConstants |
Constants used to parse MetaMath source statements.
|
MMIOConstants.FileContext | |
MMIOConstants.LineColumnContext | |
SrcStmt |
Simple data structure holding "work" components of a MetaMath source
statement.
|
Statementizer |
Load input MetaMath tokens for a single Metamath statement into a "work"
structure,
SrcStmt . |
Systemizer |
Feed
SystemLoader interface with SrcStmt objects from
Statementizer . |
Tokenizer |
Parse a Metamath .mm file into Metamath tokens.
|
Exception | Description |
---|---|
MMIOException |
Thrown when Metamath source file has a non-fatal error such as a syntax
error.
|