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	mojays	2	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			}