public class ProofWorksheetCache
extends java.lang.Object
ProofWorksheetCache
The idea is that multiple exports may be created for a single ProofWorksheet,
so we don't want to have to perform the ProofWorksheet load action twice.
Also, the caller doesn't know whether GMFF will want the old, full-featured
ProofWorksheet or the new minimalist MinProofWorksheet. So we provide cache
areas for both types of Proof Worksheets which can be reused by GMFF if
already loaded.Modifier and Type | Field and Description |
---|---|
MinProofWorksheet |
cachedMinProofWorksheet |
ProofWorksheet |
cachedProofWorksheet |
java.lang.String |
proofText |
Constructor and Description |
---|
ProofWorksheetCache(java.lang.String proofText)
Constructor for ProofWorksheetCache.
|
Modifier and Type | Method and Description |
---|---|
MinProofWorksheet |
loadMinProofWorksheet(Messages messages)
Loads the cached
MinProofWorksheet using the cached
proofText if not already cached, and returns the
MinProofWorksheet to the called. |
public java.lang.String proofText
public MinProofWorksheet cachedMinProofWorksheet
public ProofWorksheet cachedProofWorksheet
public ProofWorksheetCache(java.lang.String proofText)
This constructor loads ProofText and initializes the Proof Worksheet cache areas to null;
proofText
- String data holding Proof Worksheet text.public MinProofWorksheet loadMinProofWorksheet(Messages messages) throws GMFFException
MinProofWorksheet
using the cached
proofText
if not already cached, and returns the
MinProofWorksheet
to the called.messages
- The Messages
object.GMFFException
- if errors found during loading.