public interface TLRequest
Modifier and Type | Method and Description |
---|---|
void |
doIt(TheoremLoader theoremLoader,
ProofWorksheet proofWorksheet,
LogicalSystem logicalSystem,
Messages messages,
ProofAsst proofAsst)
Implements a user request for a TheoremLoader operation on a
ProofWorksheet.
|
void doIt(TheoremLoader theoremLoader, ProofWorksheet proofWorksheet, LogicalSystem logicalSystem, Messages messages, ProofAsst proofAsst) throws TheoremLoaderException
theoremLoader
- TheoremLoader object.proofWorksheet
- ProofWorksheet object.logicalSystem
- LogicalSystem object.messages
- Messages object.proofAsst
- ProofAsst object.TheoremLoaderException
- if there are any data errors encountered
while performing the requested function.