public class ModelAExporter extends GMFFExporter
ModelAExporter
is an extension of GMFFExporter
which
implements export of Proof Worksheets using Model A.Constructor and Description |
---|
ModelAExporter(GMFFManager gmffManager,
GMFFExportParms gmffExportParms,
GMFFUserTextEscapes gmffUserTextEscapes)
The only constructor.
|
Modifier and Type | Method and Description |
---|---|
GMFFException |
exportProofWorksheet(ProofWorksheetCache p,
java.lang.String appendFileName)
Exports a Proof Worksheet in Model A format and returns a confirmation
message showing the absolute path of the output file.
|
appendMandatoryModelFile, appendModelFileText, ConstructModelExporter, escapeAndAppendProofText, getMandatoryModelFile, getMessages, getOptionalModelFile, loadMinProofWorksheet, outputToExportFile, readModelFile, typesetAndAppendToken, writeExportFile
public ModelAExporter(GMFFManager gmffManager, GMFFExportParms gmffExportParms, GMFFUserTextEscapes gmffUserTextEscapes)
gmffManager
- The GMFFManager
objectgmffExportParms
- The GMFFExportParms
for for this exporter.gmffUserTextEscapes
- The gmffUserTextEscapes
for this
exporter.public GMFFException exportProofWorksheet(ProofWorksheetCache p, java.lang.String appendFileName)
Model A uses the
If the loaded Proof Worksheet has MinProofWorksheet
class instead of the standard
mmj2 ProofWorksheet.
structuralErrors
the export is
not attempted (error message accumed in the Messages
object. Note
that teh MinProofWorksheet class has extremely lenient standards about
structuralErrors
.
exportProofWorksheet
in class GMFFExporter
p
- ProofWorksheetCache
object containing the proof to be
exported.appendFileName
- File Name minus File Type of append file if the
regular file name is to be overridden (see documentation of
appendFileNames in GMFFDoc\GMFFRunParms.txt).null
if the export
failed (error messages are accumed in the Messages
object.)