Package | Description |
---|---|
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.proof.event | |
de.uka.ilkd.key.proof.io.consistency | |
de.uka.ilkd.key.ui |
Modifier and Type | Method and Description |
---|---|
void |
WindowUserInterfaceControl.proofDisposing(ProofDisposedEvent e)
When a
Proof is going to be disposed. |
Modifier and Type | Method and Description |
---|---|
protected void |
Proof.fireProofDisposed(ProofDisposedEvent e)
Fires the event
ProofDisposedListener.proofDisposed(ProofDisposedEvent) to all listener. |
protected void |
Proof.fireProofDisposing(ProofDisposedEvent e)
Fires the event
ProofDisposedListener.proofDisposing(ProofDisposedEvent) to all listener. |
Modifier and Type | Method and Description |
---|---|
void |
ProofDisposedListener.proofDisposed(ProofDisposedEvent e)
When a
Proof was disposed via Proof.dispose() . |
void |
ProofDisposedListener.proofDisposing(ProofDisposedEvent e)
When a
Proof is going to be disposed. |
Modifier and Type | Method and Description |
---|---|
void |
AbstractFileRepo.proofDisposed(ProofDisposedEvent e) |
void |
TrivialFileRepo.proofDisposed(ProofDisposedEvent e) |
void |
AbstractFileRepo.proofDisposing(ProofDisposedEvent e) |
void |
TrivialFileRepo.proofDisposing(ProofDisposedEvent e) |
Modifier and Type | Method and Description |
---|---|
void |
AbstractMediatorUserInterfaceControl.proofDisposed(ProofDisposedEvent e)
When a
Proof was disposed via Proof.dispose() . |
void |
ConsoleUserInterfaceControl.proofDisposing(ProofDisposedEvent e)
When a
Proof is going to be disposed. |
void |
AbstractMediatorUserInterfaceControl.proofDisposing(ProofDisposedEvent e)
When a
Proof is going to be disposed. |
Copyright © 2003-2019 The KeY-Project.