Package | Description |
---|---|
de.uka.ilkd.key.control | |
de.uka.ilkd.key.gui |
This package contains classes forming the graphical user interface of KeY.
|
de.uka.ilkd.key.proof |
This package contains the core data structures of proofs, nodes, goals, as well
as machinery to deal with these data structures.
|
de.uka.ilkd.key.ui | |
org.key_project.ui.interactionlog |
Modifier and Type | Method and Description |
---|---|
void |
AutoModeListener.autoModeStarted(ProofEvent e)
invoked if automatic execution has started
|
void |
AutoModeListener.autoModeStopped(ProofEvent e)
invoked if automatic execution has stopped
|
protected void |
AbstractProofControl.fireAutoModeStarted(ProofEvent e)
fires the event that automatic execution has started
|
protected void |
AbstractProofControl.fireAutoModeStopped(ProofEvent e)
fires the event that automatic execution has stopped
|
Modifier and Type | Method and Description |
---|---|
void |
KeYListener.proofLoaded(ProofEvent e)
invoked if a new proof has been loaded
|
Modifier and Type | Method and Description |
---|---|
protected void |
Proof.fireRuleApplied(ProofEvent p_e)
fires the event that a rule has been applied
|
void |
RuleAppListener.ruleApplied(ProofEvent e)
Invoked when a rule has been applied.
|
Modifier and Type | Method and Description |
---|---|
void |
MediatorProofControl.fireAutoModeStarted(ProofEvent e) |
void |
MediatorProofControl.fireAutoModeStopped(ProofEvent e) |
Modifier and Type | Method and Description |
---|---|
void |
InteractionRecorder.autoModeStarted(ProofEvent e) |
void |
InteractionRecorder.autoModeStopped(ProofEvent e) |
Copyright © 2003-2019 The KeY-Project.