public class StoreBoss extends Boss
Even though WorkVar and related classes are defined in the mmj.lang package, WorkVarBoss is coded as a separate "boss" so that Work Vars can be treated as a separate set of resources, separate from Logical System, Proof Assistant, etc. Initially though, WorkVars and friends are to be used with Proof Assistant -- and nowhere else.
batchFramework, runParm
Constructor and Description |
---|
StoreBoss(BatchFramework batchFramework)
Constructor with BatchFramework for access to environment.
|
Modifier and Type | Method and Description |
---|---|
protected void |
autoload()
Load the settings file unless we have already been told to do so by a
LoadSettings RunParm.
|
protected void |
disableSettings()
Turn off settings collection.
|
SessionStore |
getStore()
Fetches a reference to the SessionStore, first initializing it if
necessary.
|
protected void |
loadSettings()
Validate Load Settings RunParm.
|
protected void |
saveSettings()
Validate Save Settings RunParm.
|
protected void |
setSettingsFile()
Validate Settings File RunParm.
|
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 StoreBoss(BatchFramework batchFramework)
batchFramework
- for access to environment.public SessionStore getStore()
protected void disableSettings()
protected void setSettingsFile()
protected void autoload()
protected void loadSettings()
protected void saveSettings()