Changeset 2830 in josm for trunk/src/org/openstreetmap/josm/plugins/Plugin.java

Timestamp:

2010-01-12T18:27:40+01:00 (14 years ago)

Author:

Gubaer

Message:

fixed an ugly hack in the plugin bootstrap procedure

File:

• trunk/src/org/openstreetmap/josm/plugins/Plugin.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/plugins/Plugin.java

@@ -15 +15 @@
 
 /**
- * All plugins *must* have an standard constructor taking no arguments.
- *
- * This constructor is called at JOSM startup, after all Main-objects have been initialized.
  * For all purposes of loading dynamic resources, the Plugin's class loader should be used
  * (or else, the plugin jar will not be within the class path).
@@ -47 +44 @@
      * is a bit hacky, but it works).
      */
-    public final PluginInformation info = PluginInformation.currentPluginInitialization;
+    private PluginInformation info = null;
+
+    /**
+     * The no-arg constructor is deprecated.
+     * 
+     * @deprecated use {@see Plugin(PluginInformation)} instead
+     */
+    @Deprecated
+    public Plugin() {
+
+    }
+    /**
+     * Creates the plugin
+     * 
+     * @param info the plugin information describing the plugin.
+     */
+    public Plugin(PluginInformation info) {
+        this.info = info;
+    }
+
+    /**
+     * Replies the plugin information object for this plugin
+     * 
+     * @return the plugin information object
+     */
+    public PluginInformation getPluginInformation() {
+        return info;
+    }
+
+    /**
+     * Sets the plugin information object for this plugin
+     * 
+     * @parma info the plugin information object
+     */
+    public void setPluginInformation(PluginInformation info) {
+        this.info = info;
+    }
 
     /**
@@ -79 +112 @@
      */
     public void copy(String from, String to) throws FileNotFoundException, IOException {
-        String pluginDirName = Main.pref.getPreferencesDir()+"plugins/"+info.name+"/";
+        String pluginDirName = Main.pref.getPluginsDirectory() + "/" + info.name + "/";
         File pluginDir = new File(pluginDirName);
         if (!pluginDir.exists()) {