| gvSIG desktop 1

package org.gvsig.andami.impl;

import java.io.File;

import java.util.ArrayList;

import java.util.Enumeration;

import java.util.Iterator;

import java.util.List;

import org.gvsig.andami.Launcher;

import org.gvsig.andami.PluginServices;

import org.gvsig.andami.PluginsManager;

import org.gvsig.andami.config.generate.AndamiConfig;

import org.gvsig.andami.config.generate.Plugin;

import org.gvsig.andami.plugins.ExclusiveUIExtension;

import org.gvsig.andami.plugins.IExtension;

import org.gvsig.andami.plugins.PluginClassLoader;

public class DefaultPluginsManager implements PluginsManager{

        public ExclusiveUIExtension getExclusiveUIExtension() {

                return PluginServices.getExclusiveUIExtension();

        }

        public IExtension getExtension(Class<? extends IExtension> extension) {

                return PluginServices.getExtension(extension);

        }

        @SuppressWarnings("unchecked")

        public Iterator<IExtension> getExtensions() {

                return PluginServices.getExtensions();

        }

        /**

         * Return the associated pluginServices to the extension class passed as parameter.

         *  

         */

        public PluginServices getPlugin(Class<? extends IExtension> extension) {

            String pluginName = ((PluginClassLoader)extension.getClassLoader()).getPluginName();

                return  this.getPlugin(pluginName);

        }

        public PluginServices getPlugin(String pluginName) {

                return Launcher.getPluginServices(pluginName);

        }

        @SuppressWarnings("unchecked")

        public List<PluginServices> getPlugins() {

                List<PluginServices> pluginServices = new ArrayList<PluginServices>();

                AndamiConfig config = Launcher.getAndamiConfig();

                Enumeration<Plugin> plugins = config.enumeratePlugin();

                while( plugins.hasMoreElements()) {

                        Plugin plugin =   plugins.nextElement();

                        pluginServices.add(PluginServices.getPluginServices(plugin.getName()));

                }

                return pluginServices;

        }

        public void setExclusiveUIExtension(ExclusiveUIExtension extension) {

                PluginServices.setExclusiveUIExtension(extension);

        }

        public String getText(Object obj, String msg) {

            return PluginServices.getText(obj, msg);

        }

    public File getPluginsDirectory() {

        return getPluginsFolder();

    }

    public File getApplicationFolder() {

        // TODO: check if there is a better way to handle this

        return new File(System.getProperty("user.dir"));

    }

    public File getPluginsFolder() {

        return new File(Launcher.getAndamiConfig().getPluginsDirectory());

    }

    public File getInstallFolder() {

        return new File(getApplicationFolder(), "install");

    }

    public File getApplicationHomeFolder() {

        return new File(Launcher.getAppHomeDir());

    }

}