public class LogicalSystemBoss extends Boss
Modifier and Type | Field and Description |
---|---|
protected BookManager |
bookManager |
protected boolean |
bookManagerEnabledParm |
protected GMFFManager |
gmffManager |
protected boolean |
loadComments |
protected java.lang.String |
loadEndpointStmtLabelParm |
protected int |
loadEndpointStmtNbrParm |
protected boolean |
loadProofs |
protected LogicalSystem |
logicalSystem |
protected boolean |
logicalSystemLoaded |
protected java.lang.String |
logicStmtTypeParm |
protected java.lang.String |
provableLogicStmtTypeParm |
protected SeqAssigner |
seqAssigner |
protected int |
seqAssignerIntervalSizeParm |
protected int |
seqAssignerIntervalTblInitialSizeParm |
protected int |
stmtTblInitialSizeParm |
protected int |
symTblInitialSizeParm |
protected Systemizer |
systemizer |
batchFramework, runParm
Constructor and Description |
---|
LogicalSystemBoss(BatchFramework batchFramework)
Constructor with BatchFramework for access to environment.
|
Modifier and Type | Method and Description |
---|---|
void |
doLoadFile()
Execute the LoadFile command: validates RunParm, loads the Metamath file,
prints any error messages and keeps a reference to the loaded
LogicalSystem for future reference.
|
protected void |
editBookManagerEnabled()
Validate Book Manager Enabled Parameter.
|
protected void |
editLoadComments()
Validate Load Comments Parameter.
|
protected void |
editLoadEndpointStmtLabel()
Validate Load Endpoint Statement Label Parameter.
|
protected void |
editLoadEndpointStmtNbr()
Validate Load Endpoint Statement Number Parameter.
|
protected void |
editLoadProofs()
Validate Load Proofs Parameter.
|
protected void |
editLogicStmtType()
Validate Logic Statement Type Runparm.
|
protected void |
editProvableLogicStmtType()
Validate Provable Logic Statement Type Runparm.
|
protected void |
editSeqAssignerIntervalSize()
Validate SeqAssigner Interval Size Parameter.
|
protected void |
editSeqAssignerIntervalTblInitialSize()
Validate SeqAssigner Interval Table Initial Size Parameter.
|
protected void |
editStmtTblInitialSize()
Validate Statement Table Initial Size Parameter.
|
protected void |
editSymTblInitialSize()
Validate Symbol Table Initial Size Parameter.
|
boolean |
getLoadProofs()
Returns the current value of the LoadProofs RunParm or its default
setting.
|
LogicalSystem |
getLogicalSystem()
Get reference to LogicalSystem.
|
boolean |
getLogicalSystemLoaded()
Returns true if LogicalSystem loaded successfully.
|
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 java.lang.String provableLogicStmtTypeParm
protected java.lang.String logicStmtTypeParm
protected GMFFManager gmffManager
protected boolean bookManagerEnabledParm
protected BookManager bookManager
protected int seqAssignerIntervalSizeParm
protected int seqAssignerIntervalTblInitialSizeParm
protected SeqAssigner seqAssigner
protected int symTblInitialSizeParm
protected int stmtTblInitialSizeParm
protected int loadEndpointStmtNbrParm
protected java.lang.String loadEndpointStmtLabelParm
protected boolean loadComments
protected boolean loadProofs
protected LogicalSystem logicalSystem
protected Systemizer systemizer
protected boolean logicalSystemLoaded
public LogicalSystemBoss(BatchFramework batchFramework)
batchFramework
- for access to environment.public boolean getLogicalSystemLoaded()
public LogicalSystem getLogicalSystem()
If LogicalSystem has not been successfully loaded with a .mm file -- and no load errors -- then throw an exception. Either the RunParmFile lines are misordered or the LoadFile command is missing, or the Metamath file has errors, or?
public void doLoadFile()
Note: Systemizer does not (yet) have a Tokenizer setter method or constructor. This would be needed to enable use of non-ASCII codesets (there is only one Tokenizer at present and it hardcodes character values based on the Metamath.pdf specification.) To make this change it would be necessary to create a Tokenizer interface.
public boolean getLoadProofs()
protected void editSymTblInitialSize()
java.lang.IllegalArgumentException
- if an error occurredprotected void editLoadEndpointStmtNbr()
Must be a positive integer.
java.lang.IllegalArgumentException
- if an error occurredprotected void editLoadEndpointStmtLabel()
Must not be blank.
java.lang.IllegalArgumentException
- if an error occurredprotected void editLoadComments()
Must equal yes or no.
java.lang.IllegalArgumentException
- if an error occurredprotected void editLoadProofs()
Must equal yes or no.
java.lang.IllegalArgumentException
- if an error occurredprotected void editStmtTblInitialSize()
java.lang.IllegalArgumentException
- if an error occurredprotected void editProvableLogicStmtType()
java.lang.IllegalArgumentException
- if an error occurredprotected void editLogicStmtType()
protected void editBookManagerEnabled()
Must equal yes or no.
java.lang.IllegalArgumentException
- if an error occurredprotected void editSeqAssignerIntervalSize()
Must be a positive integer within a given range.
java.lang.IllegalArgumentException
- if an error occurredprotected void editSeqAssignerIntervalTblInitialSize()
Must be a positive integer within a given range.
java.lang.IllegalArgumentException
- if an error occurred