public class EraseWffsPreprocessRequest extends PreprocessRequest
Constructor and Description |
---|
EraseWffsPreprocessRequest()
Constructor for EraseWffsPreprocessRequest
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
doIt(java.lang.String proofTextArea)
Erases formulas on non-QED Derivation Steps which contain a Ref label.
|
public EraseWffsPreprocessRequest()
public java.lang.String doIt(java.lang.String proofTextArea) throws ProofAsstException
Non-qed Derivation Steps begin in column 1 with a digit, and if the Ref is present then there must be two colons (":") in the first token and the first token must not end with a ":" (otherwise the Proof Worksheet will error out anyway.)
doIt
in class PreprocessRequest
proofTextArea
- Proof Worksheet text stringProofAsstException