appl/ext/ConfigurationEditorPlugin.java

package appl.ext;

import java.util.ResourceBundle;

import appl.util.XuluFrameAdapter;
import edu.bonn.xulu.XuluModellingPlatform;
import edu.bonn.xulu.gui.XuluInternalFrame;
import edu.bonn.xulu.plugin.appl.AbstractMenuPlugin;
import static edu.bonn.xulu.appl.XuluConstants.XULUGUI_RES;
/**
 * The configuration plug-in.
 *
 * @see XuluConfig
 * @see ConfigurationEditorGUI
 * @see ConfigurationEditorEngine
 * @author Dominik Appl
 */
public class ConfigurationEditorPlugin extends AbstractMenuPlugin {

        /*
         * (non-Javadoc)
         *
         * @see edu.bonn.xulu.plugin.appl.AbstractMenuPlugin#createPluginApplication()
         */

        @Override
        protected XuluInternalFrame createPluginApplication() throws Exception {
                ConfigurationEditorGUI GUI = new ConfigurationEditorEngine().getGUI();
                return new XuluFrameAdapter(XULUGUI_RES
                                .getString("Menu_Advanced_Preferences"), GUI);
        }

        /**
         *
         */
        public ConfigurationEditorPlugin() {
                super(4, XULUGUI_RES.getString("Menu_Advanced_Preferences"));

        }

}
1	package appl.ext;
2
3	import java.util.ResourceBundle;
4
5	import appl.util.XuluFrameAdapter;
6	import edu.bonn.xulu.XuluModellingPlatform;
7	import edu.bonn.xulu.gui.XuluInternalFrame;
8	import edu.bonn.xulu.plugin.appl.AbstractMenuPlugin;
9	import static edu.bonn.xulu.appl.XuluConstants.XULUGUI_RES;
10	/**
11	* The configuration plug-in.
12	*
13	* @see XuluConfig
14	* @see ConfigurationEditorGUI
15	* @see ConfigurationEditorEngine
16	* @author Dominik Appl
17	*/
18	public class ConfigurationEditorPlugin extends AbstractMenuPlugin {
19
20	/*
21	* (non-Javadoc)
22	*
23	* @see edu.bonn.xulu.plugin.appl.AbstractMenuPlugin#createPluginApplication()
24	*/
25
26	@Override
27	protected XuluInternalFrame createPluginApplication() throws Exception {
28	ConfigurationEditorGUI GUI = new ConfigurationEditorEngine().getGUI();
29	return new XuluFrameAdapter(XULUGUI_RES
30	.getString("Menu_Advanced_Preferences"), GUI);
31	}
32
33	/**
34	*
35	*/
36	public ConfigurationEditorPlugin() {
37	super(4, XULUGUI_RES.getString("Menu_Advanced_Preferences"));
38
39	}
40
41	}