public class GMFFExporterTypesetDefs
extends java.lang.Object
GMFFExporterTypesetDefs
holds the typesetting definitions for a
single typesetting definition keyword.
It is basically just a data structure with some attached utility functions on the data elements.
It contains the typesetDefKeyword
which is used to extract
typesetting information from a Metamath $t comment statement and a
Map
which holds symbol strings (the Map key) and the corresponding
typesetting data (Map value, stored as String.)
The typesetting definitions are loaded by TypesetDefCommentParser
and
the GMFFExporterTypesetDefs
objects are loaded into
GMFFExporters
by GMFFManager
One reason for separating out these data elements into a class of their own
is that in theory multiple Exporters could use a single set of typesetting
definitions. That is, just because the typesetDefKeyword
is "htmldef"
that doesn't mean that only Export Type "html" can use those definitions.
Another Export Type called "html2" could be defined, perhaps using Model B to
structure its export data.
Modifier and Type | Field and Description |
---|---|
java.lang.String |
typesetDefKeyword |
java.util.Map<java.lang.String,java.lang.String> |
typesetDefMap |
Constructor and Description |
---|
GMFFExporterTypesetDefs(java.lang.String typesetDefKeyword,
int initMapSize)
Standard constructor.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
generateAuditReportText()
Converts to Audit Report string for testing purposes.
|
void |
printTypesetDefs(Messages messages)
Prints the typesetting definitions and keyword to the Messages object.
|
public java.lang.String typesetDefKeyword
public java.util.Map<java.lang.String,java.lang.String> typesetDefMap
public GMFFExporterTypesetDefs(java.lang.String typesetDefKeyword, int initMapSize)
typesetDefKeyword
- the keyword for extracts from the Metamath $t
comment statement.initMapSize
- the initial size of the Map, which should be about the
same size as the mmj2 Symbol table; every Sym should have a
typesetting definition.public java.lang.String generateAuditReportText()
public void printTypesetDefs(Messages messages)
messages
- The Messages object.