public abstract class PreprocessRequest
extends java.lang.Object
Constructor and Description |
---|
PreprocessRequest() |
Modifier and Type | Method and Description |
---|---|
abstract java.lang.String |
doIt(java.lang.String proofTextArea) |
public abstract java.lang.String doIt(java.lang.String proofTextArea) throws ProofAsstException
ProofAsstException