public class CommentStmt extends ProofWorkStmt
Constructor and Description |
---|
CommentStmt(ProofWorksheet w)
Default Constructor.
|
CommentStmt(ProofWorksheet w,
java.lang.String s,
boolean doubleSpace)
Creates a CommentStmt using an input String.
|
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 CommentStmt(ProofWorksheet w)
w
- the owner ProofWorksheetpublic CommentStmt(ProofWorksheet w, java.lang.String s, boolean doubleSpace)
The input String is parsed into lines so that lineCnt can be incremented, and newline characters are re-inserted into the text.
The comment text is prefixed by "* " on the first output line and " " on subsequent lines.
If doublespace requested, then an extra newline is inserted after the end of the comment text, and lineCnt is incremented.
w
- the owner ProofWorksheets
- String to be inserted into the Comment text. Should not include
the "*" that denotes a ProofWorksheet CommentStmt.doubleSpace
- set to true if extra newline should be added after the
comment text.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