|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.jdom.Content
org.jdom.Element
org.activemath.webapp.exercises.tools.Transition
public class Transition
| 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 |
|---|
protected Transition(String xref,
String id)
| Method Detail |
|---|
public void createConditionContent(List userInput)
public void createHintContent()
public org.jdom.Element getDiagnosis()
public String getType()
public List getUserInput()
public void setDiagnosis(org.jdom.Element element)
public void setType(String type)
public void setXref(String xref)
public boolean equals(List userInputOM)
public String from()
from in interface Edgepublic String to()
to in interface Edge
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||