4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.10 $ |
* @version $Revision: 1.11 $ |
* |
* Last modification: $Date: 2003/07/26 11:39:28 $ |
* $Id: PluginManagerInterface.java,v 1.10 2003/07/26 11:39:28 swalkenh Exp $ |
* Last modification: $Date: 2003/07/28 12:27:32 $ |
* $Id: PluginManagerInterface.java,v 1.11 2003/07/28 12:27:32 swalkenh Exp $ |
*/ |
|
package src.plugins; |
24,7 → 24,7 |
* |
* @author Sascha Walkenhorst |
* |
* @version $Revision: 1.10 $ Last modification: $Date: 2003/07/26 11:39:28 $ |
* @version $Revision: 1.11 $ Last modification: $Date: 2003/07/28 12:27:32 $ |
*/ |
public interface PluginManagerInterface { |
|
60,5 → 60,13 |
* Last revision: 26-Jul-2003 by S. Walkenhorst |
*/ |
public void saveConfiguration(); |
|
|
/** |
* Updates the document with the content of the plugin |
* |
* author Christian Stollenwerk |
* |
* Last revision: 28-Jul-2003 by Christian S. |
*/ |
public void forcePluginReport(); |
} |