Package org.jnode.plugin

Examples of org.jnode.plugin.PluginException


        final URL pluginUrl = f.toURI().toURL()// ensure proper escaping ...
        final URL descrUrl = new URL("jar:" + pluginUrl + "!/plugin.xml");
       
        if (pluginList.contains(pluginUrl)) {
            String versionStr = (version == null) ? "unspecified" : version;
            throw new PluginException("can't use the same id(" + id +
                    ") and version(" + versionStr + ") for multiple plugins");
        }

        descrList.add(descrUrl);
        pluginList.add(pluginUrl);
View Full Code Here


                final String k = e.getStringAttribute("key");
                final String v = e.getStringAttribute("value");
                try {
                    mf.addConfiguredAttribute(new Manifest.Attribute(k, v));
                } catch (ManifestException ex) {
                    throw new PluginException("Error in manifest", ex);
                }
            } else {
                throw new PluginException("Unknown element " + e.getName());
            }
        }
        return mf;
    }
View Full Code Here

                final Manifest merged = new Manifest();
                merged.merge(inc.manifest);
                merged.merge(this.manifest);
                this.manifest = merged;
            } catch (ManifestException ex) {
                throw new PluginException(ex);
            }
        }

        descrList.addAll(inc.descrList);
        pluginList.addAll(inc.pluginList);
View Full Code Here

                public void execute() {
                    monitor.configureDevices(devMan);
                }
            });
        } catch (NamingException ex) {
            throw new PluginException(ex);
        }
        processor.start();
    }
View Full Code Here

        try {
            InitialNaming.bind(NetworkLayerManager.NAME, ptm);
            packetProcessorThread.start();
            VMNetUtils.setAPI(api, this);
        } catch (NamingException ex) {
            throw new PluginException(ex);
        }
    }
View Full Code Here

            final Collection<Device> devs = new ArrayList<Device>(dm.getDevices());
            for (Device dev : devs) {
                addListeners(dev);
            }
        } catch (NameNotFoundException ex) {
            throw new PluginException(ex);
        }
    }
View Full Code Here

            final Collection<Device> devs = dm.getDevices();
            for (Device dev : devs) {
                removeListeners(dev);
            }
        } catch (NameNotFoundException ex) {
            throw new PluginException(ex);
        }
    }
View Full Code Here

            mgr.focus(first);
            System.setOut(new PrintStream(new WriterOutputStream(first.getOut(), false), true));
            System.setErr(new PrintStream(new WriterOutputStream(first.getErr(), false), true));
            System.out.println(VmSystem.getBootLog());
        } catch (ConsoleException ex) {
            throw new PluginException(ex);
        } catch (NamingException ex) {
            throw new PluginException(ex);
        }
    }
View Full Code Here

TOP

Related Classes of org.jnode.plugin.PluginException

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.