public class VerifyProofBoss extends Boss
Modifier and Type | Field and Description |
---|---|
protected boolean |
allProofsVerifiedSuccessfully |
protected boolean |
allStatementsParsedSuccessfully |
protected VerifyProofs |
verifyProofs |
batchFramework, runParm
Constructor and Description |
---|
VerifyProofBoss(BatchFramework batchFramework)
Constructor with BatchFramework for access to environment.
|
Modifier and Type | Method and Description |
---|---|
void |
doVerifyParse()
Executes the VerifyParse command, prints any messages, etc.
|
void |
doVerifyProof()
Executes the VerifyProof command, prints any messages, etc.
|
boolean |
getAllProofsVerifiedSuccessfully()
Returns true if all proofs verified successfully.
|
boolean |
getAllStatementsParsedSuccessfully()
Returns true if all statements parsed successfully.
|
VerifyProofs |
getVerifyProofs()
Return initialized VerifyProofs object
|
protected void |
initializeVerifyProofsIfNeeded() |
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 VerifyProofs verifyProofs
protected boolean allProofsVerifiedSuccessfully
protected boolean allStatementsParsedSuccessfully
public VerifyProofBoss(BatchFramework batchFramework)
batchFramework
- for access to environment.public boolean getAllProofsVerifiedSuccessfully()
public boolean getAllStatementsParsedSuccessfully()
public VerifyProofs getVerifyProofs()
public void doVerifyProof()
public void doVerifyParse()
protected void initializeVerifyProofsIfNeeded()