plugincommand.java

纯java操作系统jnode,安装简单和操作简单的个人使用的Java操作系统

/*
 * $Id: PluginCommand.java,v 1.1 2003/11/25 11:53:00 epr Exp $
 */
package org.jnode.plugin.command;

import java.io.InputStream;
import java.io.PrintStream;
import java.util.Iterator;

import org.jnode.naming.InitialNaming;
import org.jnode.plugin.PluginDescriptor;
import org.jnode.plugin.PluginManager;
import org.jnode.shell.CommandLine;
import org.jnode.shell.help.*;

/**
 * @author epr
 */
public class PluginCommand {

	public static Help.Info HELP_INFO = new Help.Info(
		"plugin",
		"Print name and state of all loaded plugins"
	);

	public static void main(String[] args)
	throws Exception {
		new PluginCommand().execute(new CommandLine(args), System.in, System.out, System.err);
	}

	/**
	 * Execute this command
	 */
	public void execute(
		CommandLine cmdLine,
		InputStream in,
		PrintStream out,
		PrintStream err)
		throws Exception {

		PluginManager mgr = (PluginManager)InitialNaming.lookup(PluginManager.NAME);

		for (Iterator i = mgr.getRegistry().getDescriptorIterator(); i.hasNext(); ) {
			PluginDescriptor descr = (PluginDescriptor)i.next();

			out.print(descr.getId());
			out.print("; state ");
			if (descr.getPlugin().isActive()) {
				out.println("active");
			} else {
				out.println("inactive");
			}
		}
	}

}