Class | Description |
---|---|
EscapePair |
EscapesPair is a companion class to
GMFFUserTextEscapes which holds a
single escape char number and its replacement text. |
GMFFConstants |
Constants used in mmj.gmff package.
|
GMFFConstants.ParseLocContext | |
GMFFExporter |
GMFFExporter is the base class for creating export files. |
GMFFExporterTypesetDefs |
GMFFExporterTypesetDefs holds the typesetting definitions for a
single typesetting definition keyword. |
GMFFExportFile |
GMFFExportFile is a little helper class for GMFF to handle the ugly IO
details.
|
GMFFExportParms |
GMFFExportParms holds the parameters from a single RunParm of the same name
plus a
File object for building relative paths. |
GMFFFileFilter |
GMFFFileFilter is used by the GMFFFolder to select Proof Worksheet files for
export from a GMFFFolder.
|
GMFFFolder |
GMFFFolder is a helper class for GMFF reading and writing.
|
GMFFInputFile |
GMFFInputFile is a little helper class for reading files.
|
GMFFManager |
Serves as a central data store for GMFF work in progress and as the primary
interface for access to GMFF services.
|
GMFFUserExportChoice |
GMFFUserExportChoice holds the parameters from a single RunParm of the same
name.
|
GMFFUserTextEscapes |
GMFFUserTextEscapes holds the parameters from a single RunParm of the same
name.
|
MinCommentStmt |
General object representing a Comment statement on a
MinProofWorksheet . |
MinDerivationStep |
Derivation step on a
MinProofWorksheet . |
MinDistinctVariablesStmt |
General object representing a Distinct Variables statement on a
MinProofWorksheet.
|
MinFooterStmt |
General object representing the Footer statement on a
MinProofWorksheet . |
MinGeneratedProofStmt |
General object representing a Generated Proof statement on a
MinProofWorksheet . |
MinHeaderStmt |
Object representing the Header statement on a
MinProofWorksheet . |
MinHypothesisStep |
Hypothesis step on a
MinProofWorksheet . |
MinProofStepStmt |
General object representing a proof step statement in a MinProofWorksheet.
|
MinProofWorksheet |
MinProofWorksheet is a minimalist ProofWorksheet containing
just enough parsed proof data to generate a Model A type export file via
GMFF. |
MinProofWorkStmt |
General object representing a statement in a MinProofWorksheet.
|
ModelAExporter |
ModelAExporter is an extension of GMFFExporter which
implements export of Proof Worksheets using Model A. |
ProofWorksheetCache |
ProofWorksheetCache
|
TypesetDefCommentParser |
TypesetDefCommentParser parses, validates and loads Map
collections with typesetting data from Metamath Comment statements identified
by a $t as the first token after the Comment ID token $( . |
Exception | Description |
---|---|
GMFFException |
Custom exception for GMFF.
|