TPTP 4.6.0 Platform Project
Public API Specification

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

java.lang.Object
  extended by org.eclipse.tptp.platform.agentcontroller.config.ConfigElement
      extended by org.eclipse.tptp.platform.agentcontroller.config.Variable

public class Variable
extends ConfigElement


Field Summary
static java.lang.String TAG
           
 
Constructor Summary
Variable()
           
 
Method Summary
static java.lang.String getName(org.w3c.dom.Element elem)
           
static java.lang.String getPosition(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 setPosition(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

Variable

public Variable()
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)

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)

setPosition

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

getPosition

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

TPTP 4.6.0 Platform Project
Public API Specification