org.eclipse.tptp.platform.agentcontroller.config
Class Option

java.lang.Object
  org.eclipse.tptp.platform.agentcontroller.config.ConfigElement
      org.eclipse.tptp.platform.agentcontroller.config.Option

public class Option
extends ConfigElement

Field Summary

static java.lang.String

TAG

Constructor Summary

Option()

Method Summary

static java.lang.String	getName(org.w3c.dom.Element elem)
static java.lang.String	getType(org.w3c.dom.Element elem)
static java.lang.String	getValue(org.w3c.dom.Element elem)
static void	setName(org.w3c.dom.Element elem, java.lang.String value)
static void	setType(org.w3c.dom.Element elem, java.lang.String value)
static void	setValue(org.w3c.dom.Element elem, java.lang.String value)

Methods inherited from class org.eclipse.tptp.platform.agentcontroller.config.ConfigElement

setConfiguration

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

TAG

public static final java.lang.String TAG

Constructor Detail

Option

public Option()

Method Detail

setName

public static void setName(org.w3c.dom.Element elem,
                           java.lang.String value)

getName

public static java.lang.String getName(org.w3c.dom.Element elem)

setType

public static void setType(org.w3c.dom.Element elem,
                           java.lang.String value)

getType

public static java.lang.String getType(org.w3c.dom.Element elem)

setValue

public static void setValue(org.w3c.dom.Element elem,
                            java.lang.String value)

getValue

public static java.lang.String getValue(org.w3c.dom.Element elem)