public class MinFooterStmt extends MinProofWorkStmt
MinProofWorksheet
.
The Footer statement consists of just a "$)" token beginning in column 1 of the last statement of a Proof Worksheet. Hence, there is little to typeset... but we go through the standard process here anyway, primarly because the user might want to exclude the Footer from the export.
Constructor and Description |
---|
MinFooterStmt(MinProofWorksheet w,
java.lang.String[][] slc)
Standard MinFooterStmt constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
buildModelAExport(GMFFExporter gmffExporter,
java.lang.StringBuilder exportBuffer)
Formats export data for the Footerf statement according to the
Model A specifications and loads the data into a specified
buffer. |
constructStmt, getCleanedLineString, getCleanedLineString, isChunkWhitespace, typesetFormulaSymbols
public MinFooterStmt(MinProofWorksheet w, java.lang.String[][] slc)
w
- MinProofWorksheet
of which this statement is a part.slc
- Array of Array of String representing the lines and "chunks"
making up the MinProofWorkStmt
.public void buildModelAExport(GMFFExporter gmffExporter, java.lang.StringBuilder exportBuffer) throws GMFFException
Model A
specifications and loads the data into a specified
buffer.
Model A model file(s) for MinGeneratedProofStmt
objects are
"optional", meaning that if any of the model files are not found, the
export process is continues normally but Generated Proof statements are
not output as part of the Proof Worksheet export.
Additional information may be found \GMFFDoc\GMFFModels.txt.
buildModelAExport
in class MinProofWorkStmt
gmffExporter
- The GMFFExporter
requesting the export data
build.exportBuffer
- The StringBuilder
to which exported data is
to be output.GMFFException
- if errors are encountered during the export
process.