public class GMFFBoss extends Boss
Modifier and Type | Field and Description |
---|---|
protected GMFFManager |
gmffManager |
batchFramework, runParm
Constructor and Description |
---|
GMFFBoss(BatchFramework batchFramework)
Constructor with BatchFramework for access to environment.
|
Modifier and Type | Method and Description |
---|---|
void |
doGMFFExportFromFolder() |
void |
doGMFFExportTheorem() |
void |
doGMFFInitialize()
Executes GMFFManager initializeGMFF function and prints any messages,
etc.
|
void |
doGMFFParseMetamathTypesetComment() |
void |
doRunParmGMFFExportParms() |
void |
doRunParmGMFFUserExportChoice() |
void |
doRunParmGMFFUserTextEscapes() |
GMFFManager |
getGMFFManager()
Fetch a gmffManager object, building it if necessary from previously
input RunParms.
|
accumException, addContext, buildBufferedFileReader, buildBufferedFileWriter, buildPrintWriter, doRunParmCommand, error, error, error, get, getBoolean, getBoolean, getColor, getEnum, getExistingFile, getExistingFile, getExistingFolder, getExistingFolder, getFileCharset, getFileName, getFileNameSuffix, getFileUsage, getInt, getNonBlank, getNonnegInt, getOnOff, getPosInt, getPrintableNoBlanksString, getPrintWriter, getSelectorCount, getSelectorTheorem, getStmt, getTheorem, getYesNo, opt, parseInt, putCommand, putCommand, require
protected GMFFManager gmffManager
public GMFFBoss(BatchFramework batchFramework)
batchFramework
- for access to environment.public GMFFManager getGMFFManager()
NOTE: The returned gmffManager is "ready to go" but may not have been "initialized", which means gmffManager validation, etc. The reason that gmffManager is not initialized here is that a previous attempt to "initialize" may have failed due to gmffManager errors, so to re-do it here would result in doubled-up error messages. The Initialize gmffManager RunParm Command should be used prior to PrintSyntaxDetails if a "load and print syntax" is desired.
public void doGMFFInitialize()
public void doRunParmGMFFExportParms()
public void doRunParmGMFFUserTextEscapes()
public void doRunParmGMFFUserExportChoice()
public void doGMFFParseMetamathTypesetComment()
public void doGMFFExportFromFolder()
public void doGMFFExportTheorem()