Changeset 159 in josm for src/org/openstreetmap/josm/plugins

Timestamp:

2006-10-13T13:02:57+02:00 (19 years ago)

Author:

imi

Message:

• moved translations into plugins
• added main menu control to main
• added ImageProvider access to plugins

Location:

src/org/openstreetmap/josm/plugins

Files:

• Plugin.java (modified) (2 diffs)
• PluginInformation.java (modified) (4 diffs)

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

@@ -1 +1 @@
 package org.openstreetmap.josm.plugins;
 
+import java.io.File;
 import java.io.FileNotFoundException;
 import java.io.FileOutputStream;
@@ -71 +72 @@
          */
         public void copy(String from, String to) throws FileNotFoundException, IOException {
+                File pluginDir = new File(getPluginDir());
+                if (!pluginDir.exists())
+                        pluginDir.mkdirs();
         FileOutputStream out = new FileOutputStream(getPluginDir()+to);
         InputStream in = getClass().getResourceAsStream(from);

src/org/openstreetmap/josm/plugins/PluginInformation.java

@@ -6 +6 @@
 import java.net.URL;
 import java.net.URLClassLoader;
+import java.util.Map;
+import java.util.TreeMap;
+import java.util.jar.Attributes;
 import java.util.jar.JarInputStream;
 import java.util.jar.Manifest;
@@ -20 +23 @@
         public final String className;
         public final String description;
+        public final boolean early;
+        public final String author;
+
+        public final Map<String, String> attr = new TreeMap<String, String>();
 
         public PluginInformation(File file) {
@@ -25 +32 @@
                 name = file.getName().substring(0, file.getName().length()-4);
                 try {
-                JarInputStream jar = new JarInputStream(new FileInputStream(file));
-                Manifest manifest = jar.getManifest();
-                className = manifest.getMainAttributes().getValue("Plugin-Class");
-                description = manifest.getMainAttributes().getValue("Plugin-Description");
-                jar.close();
-        } catch (IOException e) {
-                throw new PluginException(null, name, e);
-        }
-    }
+                        JarInputStream jar = new JarInputStream(new FileInputStream(file));
+                        Manifest manifest = jar.getManifest();
+                        Attributes attr = manifest.getMainAttributes();
+                        className = attr.getValue("Plugin-Class");
+                        description = attr.getValue("Plugin-Description");
+                        early = Boolean.parseBoolean(attr.getValue("Plugin-Early"));
+                        author = attr.getValue("Author");
+                        for (Object o : attr.keySet())
+                                this.attr.put(o.toString(), attr.getValue(o.toString()));
+                        jar.close();
+                } catch (IOException e) {
+                        throw new PluginException(null, name, e);
+                }
+        }
 
         /**
          * Load and instantiate the plugin
          */
-        public PluginProxy load() {
+        public PluginProxy load(Class<?> klass) {
+                try {
+                        return new PluginProxy(klass.newInstance(), this);
+                } catch (Exception e) {
+                        throw new PluginException(null, name, e);
+                }
+        }
+
+        /**
+         * Load the class of the plugin
+         */
+        public Class<?> loadClass() {
                 try {
                         ClassLoader loader = URLClassLoader.newInstance(
                                         new URL[]{new URL(getURLString())},
                                         getClass().getClassLoader());
-                        Object plugin = Class.forName(className, true, loader).newInstance();
-                        return new PluginProxy(plugin, this);
+                        Class<?> realClass = Class.forName(className, true, loader);
+                        return realClass;
                 } catch (Exception e) {
                         throw new PluginException(null, name, e);
@@ -54 +77 @@
                         return "file:/"+file.getAbsolutePath();
                 return "file://"+file.getAbsolutePath();
-    }
+        }
 }