public class WorkVarBoss 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 |
---|
WorkVarBoss(BatchFramework batchFramework)
Constructor with BatchFramework for access to environment.
|
Modifier and Type | Method and Description |
---|---|
protected void |
editDeclareWorkVars()
Create and initialize the Work Vars to be used.
|
protected void |
editDefineWorkVarType()
Validate DefineWorkVarType RunParm.
|
WorkVarManager |
getWorkVarManager()
Fetch a WorkVarManager object.
|
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 WorkVarBoss(BatchFramework batchFramework)
batchFramework
- for access to environment.public WorkVarManager getWorkVarManager()
Requires that a LogicalSystem be loaded with a .mm file and that an initialized Grammar object be available.
protected void editDefineWorkVarType()
protected void editDeclareWorkVars()