public class TheoremLoaderBoss extends Boss
batchFramework, runParm
Constructor and Description |
---|
TheoremLoaderBoss(BatchFramework batchFramework)
Constructor with BatchFramework for access to environment.
|
Modifier and Type | Method and Description |
---|---|
protected void |
editExtractTheoremToMMTFolder() |
protected void |
editLoadTheoremsFromMMTFolder() |
protected void |
editTheoremLoaderAuditMessages()
edit TheoremLoaderAuditMessages RunParm.
|
protected void |
editTheoremLoaderDjVarsOption()
edit TheoremLoaderDjVarsOption RunParm.
|
protected void |
editTheoremLoaderMMTFolder()
Validate Theorem Loader MMT Folder Runparm.
|
protected void |
editTheoremLoaderStoreFormulasAsIs()
edit TheoremLoaderStoreFormulasAsIs RunParm.
|
protected void |
editTheoremLoaderStoreMMIndentAmt()
edit TheoremLoaderStoreMMIndentAmt RunParm.
|
protected void |
editTheoremLoaderStoreMMRightCol()
edit TheoremLoaderStoreMMRightCol RunParm.
|
protected void |
editUnifyPlusStoreInLogSysAndMMTFolder() |
protected void |
editUnifyPlusStoreInMMTFolder() |
TheoremLoader |
getTheoremLoader()
Fetch a TheoremLoader object.
|
TlPreferences |
getTlPreferences()
Fetches a reference to the TlPreferences, first initializing it if
necessary.
|
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
public TheoremLoaderBoss(BatchFramework batchFramework)
batchFramework
- for access to environment.public TlPreferences getTlPreferences()
Note: must re-initialize the TMFFPreferences reference in TlPreferences because TMFFBoss controls which instance of TMFFPreferences is active!!!
public TheoremLoader getTheoremLoader()
protected void editTheoremLoaderDjVarsOption()
protected void editTheoremLoaderAuditMessages()
protected void editTheoremLoaderMMTFolder()
protected void editTheoremLoaderStoreFormulasAsIs()
protected void editTheoremLoaderStoreMMIndentAmt()
protected void editTheoremLoaderStoreMMRightCol()
protected void editLoadTheoremsFromMMTFolder()
protected void editExtractTheoremToMMTFolder() throws java.lang.IllegalArgumentException
java.lang.IllegalArgumentException
protected void editUnifyPlusStoreInLogSysAndMMTFolder() throws java.lang.IllegalArgumentException
java.lang.IllegalArgumentException
protected void editUnifyPlusStoreInMMTFolder() throws java.lang.IllegalArgumentException
java.lang.IllegalArgumentException