| java.lang.Object
 de.uka.ilkd.key.proof.ProofEvent
| ProofEvent | | public class ProofEvent (Code) | | an object indicating that a proof event has happpend
|
| getRuleAppInfo | | public RuleAppInfo getRuleAppInfo()(Code) | | This information should have its own event, but is currently
propagated via this one
|
| getSource | | public Proof getSource()(Code) | | creates a new proof event the interactive prover where the
event initially occured
Parameters:
source -
Parameters:
message - a String messagepublic ProofEvent(InteractiveProver source, String message) {this.source = source;this.message = message;} |
|
|