configurationelement.java

来自「纯java操作系统jnode,安装简单和操作简单的个人使用的Java操作系统」· Java 代码 · 共 38 行

/*
 * $Id: ConfigurationElement.java,v 1.1 2003/11/25 11:42:27 epr Exp $
 */
package org.jnode.plugin;

/**
 * Extension specific configuration element.
 * 
 * @author Ewout Prangsma ([e-mail])
 */
public interface ConfigurationElement {

	/**
	 * Gets the name of this element
	 * @return The name
	 */
	public String getName();

	/**
	 * Gets all child elements
	 * @return The child elements
	 */
	public ConfigurationElement[] getElements();

	/**
	 * Gets the value of an attribute with a given name
	 * @param name
	 * @return The attribute value, or null if not found
	 */
	public String getAttribute(String name);

	/**
	 * Gets the descriptor of the plugin in which this element was declared.
	 * @return The descriptor
	 */
	public PluginDescriptor getDeclaringPluginDescriptor();
}