- Detail:
- Field |
- Constr |
- Method
- java.lang.Object
-
- java.util.EventObject
-
- de.uka.ilkd.key.proof.ModelEvent
-
-
Field Summary
-
Fields inherited from class java.util.EventObject
source
-
Constructor Summary
Constructors
Constructor and Description |
ModelEvent(java.lang.Object source) |
-
Method Summary
-
Methods inherited from class java.util.EventObject
getSource, toString
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
- Detail:
- Field |
- Constr |
- Method
Copyright © 2003-2019 The KeY-Project.