org.activemath.webapp.exercises.tools
Class Transition

java.lang.Object
  extended by org.jdom.Content
      extended by org.jdom.Element
          extended by org.activemath.webapp.exercises.tools.Transition
All Implemented Interfaces:
Serializable, Cloneable, Edge, org.jdom.Parent

public class Transition
extends org.jdom.Element
implements Edge

See Also:
Serialized Form

Field Summary
 
Fields inherited from class org.jdom.Element
additionalNamespaces, name, namespace
 
Fields inherited from class org.jdom.Content
parent
 
Constructor Summary
protected Transition(String xref, String id)
           
 
Method Summary
 void createConditionContent(List userInput)
           
 void createHintContent()
           
 boolean equals(List userInputOM)
           
 String from()
           
 org.jdom.Element getDiagnosis()
           
 String getType()
           
 List getUserInput()
           
 void setDiagnosis(org.jdom.Element element)
           
 void setType(String type)
           
 void setXref(String xref)
           
 String to()
           
 
Methods inherited from class org.jdom.Element
addContent, addContent, addContent, addContent, addContent, addNamespaceDeclaration, clone, cloneContent, getAdditionalNamespaces, getAttribute, getAttribute, getAttributes, getAttributeValue, getAttributeValue, getAttributeValue, getAttributeValue, getChild, getChild, getChildren, getChildren, getChildren, getChildText, getChildText, getChildTextNormalize, getChildTextNormalize, getChildTextTrim, getChildTextTrim, getContent, getContent, getContent, getContentSize, getDescendants, getDescendants, getName, getNamespace, getNamespace, getNamespacePrefix, getNamespaceURI, getQualifiedName, getText, getTextNormalize, getTextTrim, getValue, indexOf, isAncestor, isRootElement, removeAttribute, removeAttribute, removeAttribute, removeChild, removeChild, removeChildren, removeChildren, removeContent, removeContent, removeContent, removeContent, removeNamespaceDeclaration, setAttribute, setAttribute, setAttribute, setAttributes, setAttributes, setContent, setContent, setContent, setContent, setName, setNamespace, setText, toString
 
Methods inherited from class org.jdom.Content
detach, equals, getDocument, getParent, getParentElement, hashCode, setParent
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface org.jdom.Parent
getDocument, getParent
 

Constructor Detail

Transition

protected Transition(String xref,
                     String id)
Method Detail

createConditionContent

public void createConditionContent(List userInput)

createHintContent

public void createHintContent()

getDiagnosis

public org.jdom.Element getDiagnosis()

getType

public String getType()

getUserInput

public List getUserInput()

setDiagnosis

public void setDiagnosis(org.jdom.Element element)

setType

public void setType(String type)

setXref

public void setXref(String xref)

equals

public boolean equals(List userInputOM)

from

public String from()
Specified by:
from in interface Edge

to

public String to()
Specified by:
to in interface Edge