public class MacroBoss 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 |
---|
MacroBoss(BatchFramework batchFramework)
Constructor with BatchFramework for access to environment.
|
Modifier and Type | Method and Description |
---|---|
MacroManager |
getMacroManager(boolean force)
Fetches a reference to the MacroManager, first initializing it if
necessary.
|
protected void |
runMacro()
Validate RunMacro RunParm.
|
protected void |
runMacroInit()
Validate RunMacro RunParm.
|
protected void |
setMacroEnabled()
Validate Macro Folder RunParm.
|
protected void |
setMacroFolder()
Validate Macro Folder RunParm.
|
protected void |
setMacroLanguage()
Validate Macro Language 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 MacroBoss(BatchFramework batchFramework)
batchFramework
- for access to environment.protected void setMacroEnabled()
protected void setMacroFolder()
protected void setMacroLanguage()
protected void runMacroInit()
protected void runMacro()
public MacroManager getMacroManager(boolean force)
force
- True to ignore the macro enabled setting