de.uka.ilkd.key.proof

Class ProofEvent

java.lang.Object

de.uka.ilkd.key.proof.ProofEvent

public class ProofEvent
extends Object

an object indicating that a proof event has happpend

Field Summary

Fields

Modifier and Type	Field and Description
private RuleAppInfo	ruleAppInfo
private Proof	source

Constructor Summary

Constructors

Constructor and Description
ProofEvent(Proof source) creates a new proof event the interactive prover where the event initially occured
ProofEvent(Proof source, RuleAppInfo rai)

Method Summary

Modifier and Type	Method and Description
RuleAppInfo	getRuleAppInfo() This information should have its own event, but is currently propagated via this one
Proof	getSource()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

source

private Proof source

ruleAppInfo

private RuleAppInfo ruleAppInfo

Constructor Detail

ProofEvent

public ProofEvent(Proof source)

creates a new proof event the interactive prover where the event initially occured

Parameters:

source -

ProofEvent

public ProofEvent(Proof source,
                  RuleAppInfo rai)

Method Detail

getSource

public Proof getSource()

getRuleAppInfo

public RuleAppInfo getRuleAppInfo()

This information should have its own event, but is currently propagated via this one