public class GeneratedProofStmt extends ProofWorkStmt
Constructor and Description |
---|
GeneratedProofStmt(ProofWorksheet w)
Default Constructor.
|
GeneratedProofStmt(ProofWorksheet w,
java.util.List<Stmt> parenList,
java.lang.String letters) |
GeneratedProofStmt(ProofWorksheet w,
ParseTree.RPNStep[] rpnProof)
Standard Constructor for GeneratedProofStmt.
|
Modifier and Type | Method and Description |
---|---|
int |
computeFieldIdCol(int fieldId)
Function used for cursor positioning.
|
boolean |
stmtIsIncomplete()
Is statement incomplete?
|
void |
tmffReformat()
Reformats Derivation Step using TMFF.
|
appendToProofText, getLineCnt, getProofWorksheet, getStmtDiagnosticInfo, getStmtText, hasMatchingRefLabel, hasMatchingStepNbr, load, loadAllStmtTextGetNextStmt, loadStmtTextGetNextStmt, loadStmtTextGetOptionalToken, loadStmtTextGetRequiredToken, setStmtCursorToCurrLineColumn, updateLineCntUsingTokenizer
public GeneratedProofStmt(ProofWorksheet w)
w
- the owner ProofWorksheetpublic GeneratedProofStmt(ProofWorksheet w, ParseTree.RPNStep[] rpnProof)
w
- the owner ProofWorksheetrpnProof
- Proof Stmt Array in RPN formatpublic GeneratedProofStmt(ProofWorksheet w, java.util.List<Stmt> parenList, java.lang.String letters)
public 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