01: // This file is part of KeY - Integrated Deductive Software Design
02: // Copyright (C) 2001-2007 Universitaet Karlsruhe, Germany
03: // Universitaet Koblenz-Landau, Germany
04: // Chalmers University of Technology, Sweden
05: //
06: // The KeY system is protected by the GNU General Public License.
07: // See LICENSE.TXT for details.
08: //
09: //
10:
11: package de.uka.ilkd.key.proof;
12:
13: import de.uka.ilkd.key.proof.proofevent.RuleAppInfo;
14:
15: /** an object indicating that a proof event has happpend */
16: public class ProofEvent {
17:
18: private Proof source;
19:
20: public ProofEvent(Proof source) {
21: this .source = source;
22: }
23:
24: /** creates a new proof event the interactive prover where the
25: * event initially occured
26: * @param source
27: * @param message a String message
28: public ProofEvent(InteractiveProver source, String message) {
29: this.source = source;
30: this.message = message;
31: }
32: */
33:
34: public Proof getSource() {
35: return source;
36: }
37:
38: /*
39: public String getMessage() {
40: return message;
41: }
42: */
43:
44: /**
45: * This information should have its own event, but is currently
46: * propagated via this one
47: */
48: public RuleAppInfo getRuleAppInfo() {
49: return ruleAppInfo;
50: }
51:
52: public ProofEvent(Proof source, RuleAppInfo rai) {
53: this (source);
54: ruleAppInfo = rai;
55: }
56:
57: private RuleAppInfo ruleAppInfo = null;
58:
59: }
|