public class FooterStmt extends ProofWorkStmt
Note: the purpose of FooterStmt is to provide a terminator so that multiple proofs can be stored in a file (and this is done for batch volume testing.)
Constructor and Description |
---|
FooterStmt(ProofWorksheet w)
Default Constructor.
|
Modifier and Type | Method and Description |
---|---|
int |
computeFieldIdCol(int fieldId)
Function used for cursor positioning.
|
java.lang.String |
load(java.lang.String firstToken)
Load Footer statement with Tokenizer input
|
void |
loadDefault()
Loads FooterStmt with standard contents of a FooterStmt.
|
boolean |
stmtIsIncomplete()
Is statement incomplete?
|
void |
tmffReformat()
Reformats Derivation Step using TMFF.
|
appendToProofText, getLineCnt, getProofWorksheet, getStmtDiagnosticInfo, getStmtText, hasMatchingRefLabel, hasMatchingStepNbr, loadAllStmtTextGetNextStmt, loadStmtTextGetNextStmt, loadStmtTextGetOptionalToken, loadStmtTextGetRequiredToken, setStmtCursorToCurrLineColumn, updateLineCntUsingTokenizer
public FooterStmt(ProofWorksheet w)
w
- the owning ProofWorksheetpublic boolean stmtIsIncomplete()
ProofWorkStmt
-- used primarily for cursor positioning:
-- a virtual method that checks the statement for the state of "incompleteness" of data as indicated by state variables in the specific ProofWorkStmt types.
stmtIsIncomplete
in class ProofWorkStmt
public int computeFieldIdCol(int fieldId)
computeFieldIdCol
in class ProofWorkStmt
fieldId
- value identify ProofWorkStmt field for cursor positioning,
as defined in PaConstants.FIELD_ID_*.public void tmffReformat()
tmffReformat
in class ProofWorkStmt
public void loadDefault()
public java.lang.String load(java.lang.String firstToken) throws java.io.IOException, MMIOException, ProofAsstException
Output/Updates
load
in class ProofWorkStmt
firstToken
- first token of the statementjava.io.IOException
- if IO errorMMIOException
- if an error occurredProofAsstException
- if an error occurred