| 4,17 → 4,21 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.3 $ |
| * @version $Revision: 1.4 $ |
| * |
| * Last modification: $Date: 2003/07/13 15:28:38 $ |
| * $Id: PluginManager.java,v 1.19 2003/07/14 10:02:47 swalkenh Exp $ |
| * Last modification: $Date: 2003/07/14 10:58:26 $ |
| * $Id: OurEventListener.java,v 1.4 2003/07/14 10:58:26 smcsporr Exp $ |
| */ |
| |
| package src.control; |
| |
| /** |
| * TODO JavaDoc-comments |
| * This interface provides methods which enable the implementing class |
| * to get <code>OurEvent</code>-objects. These events are used in the |
| * plugins to inform the <code>PluginManager</code> over its status. |
| * |
| * @see src.control.OurEvent |
| * |
| * @author swalkenh |
| */ |
| public interface OurEventListener { |