org.activemath.exercises.generators.util
Class OMDUtil

java.lang.Object
  org.activemath.exercises.openmath.OpenMath
      org.activemath.exercises.generators.util.OMDUtil

public class OMDUtil
extends OpenMath

Field Summary

static org.jdom.Namespace

omdocNamespace

Fields inherited from class org.activemath.exercises.openmath.OpenMath

openmathNamespace

Constructor Summary

OMDUtil()

Method Summary

static org.jdom.Element	blank(String id)
static org.jdom.Element	br()
static org.jdom.Element	choice(List<org.jdom.Content> choiceContent)
static org.jdom.Element	cmp()
static org.jdom.Element	cmp(List content)
static org.jdom.Element	cmp(String lang)
static org.jdom.Element	cmp(String lang, List content)
static org.jdom.Element	cmp(String lang, String content)
static org.jdom.Element	condition(List<org.jdom.Element> comparisons)
static org.jdom.Element	content(org.jdom.Element cmp)
static org.jdom.Element	content(List contentNodes)
static org.jdom.Element	content(String from, String decoration)
static org.jdom.Element	defaultTransition(String to)
static org.jdom.Element	defaultTransition(String to, org.jdom.Element diagnosis)
static org.jdom.Element	diagnosis(String achievementValue)
static org.jdom.Element	feedback(String id, org.jdom.Element staticContent)
static org.jdom.Element	feedback(String id, org.jdom.Element staticContent, String nextId)
static org.jdom.Element	feedback(String id, List<org.jdom.Element> staticContentNodes)
static org.jdom.Element	feedback(String id, List<org.jdom.Element> staticContentNodes, String nextId)
static String	generateRandomId()
static org.jdom.Element	interaction(String id, org.jdom.Element content, org.jdom.Element interactionMap, org.jdom.Element transitionMap)
static org.jdom.Element	interactionMap()
static org.jdom.Element	interactionMap(org.jdom.Element interactiveElement)
static org.jdom.Element	interactionMap(org.jdom.Element interactiveElement1, org.jdom.Element interactiveElement2)
static org.jdom.Element	interactionMap(List<org.jdom.Element> interactiveElements)
static org.jdom.Element	omdel(String name)
static org.jdom.Element	selection(String id, boolean multiple, List<org.jdom.Element> choices)
static org.jdom.Element	staticContent(org.jdom.Element cmp)
static org.jdom.Element	staticContent(List contentNodes)
static org.jdom.Element	syntacticCondition(List<org.jdom.Element> answers)
static org.jdom.Element	task(String id, org.jdom.Element content, String nextId)
static org.jdom.Element	transition(String to)
static org.jdom.Element	transition(String to, org.jdom.Element condition)
static org.jdom.Element	transition(String to, org.jdom.Element diagnosis, org.jdom.Element condition)
static org.jdom.Element	transitionMap(List<org.jdom.Element> transitions)
static org.jdom.Element	with()

Methods inherited from class org.activemath.exercises.openmath.OpenMath

applyBinding, getOmobjContents, oma, oma, oma, oma, oma, ombind, ombind, ombind, ombind, ombind, ombvar, ombvar, ombvar, ombvar, ome, ome, ome, ome, omf, omf, omi, omi, omobj, oms, omstr, omv, output, setOmNamespace, substituteVariables, tidyForOpenMath1, toDouble, toInt

Methods inherited from class java.lang.Object

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

Field Detail

omdocNamespace

public static final org.jdom.Namespace omdocNamespace

Constructor Detail

OMDUtil

public OMDUtil()

Method Detail

task

public static org.jdom.Element task(String id,
                                    org.jdom.Element content,
                                    String nextId)

interaction

public static org.jdom.Element interaction(String id,
                                           org.jdom.Element content,
                                           org.jdom.Element interactionMap,
                                           org.jdom.Element transitionMap)

feedback

public static org.jdom.Element feedback(String id,
                                        org.jdom.Element staticContent,
                                        String nextId)

feedback

public static org.jdom.Element feedback(String id,
                                        org.jdom.Element staticContent)

feedback

public static org.jdom.Element feedback(String id,
                                        List<org.jdom.Element> staticContentNodes,
                                        String nextId)

feedback

public static org.jdom.Element feedback(String id,
                                        List<org.jdom.Element> staticContentNodes)

staticContent

public static org.jdom.Element staticContent(List contentNodes)

staticContent

public static org.jdom.Element staticContent(org.jdom.Element cmp)

content

public static org.jdom.Element content(String from,
                                       String decoration)

content

public static org.jdom.Element content(List contentNodes)

content

public static org.jdom.Element content(org.jdom.Element cmp)

transitionMap

public static org.jdom.Element transitionMap(List<org.jdom.Element> transitions)

transition

public static org.jdom.Element transition(String to)

defaultTransition

public static org.jdom.Element defaultTransition(String to)

defaultTransition

public static org.jdom.Element defaultTransition(String to,
                                                 org.jdom.Element diagnosis)

transition

public static org.jdom.Element transition(String to,
                                          org.jdom.Element condition)

transition

public static org.jdom.Element transition(String to,
                                          org.jdom.Element diagnosis,
                                          org.jdom.Element condition)

diagnosis

public static org.jdom.Element diagnosis(String achievementValue)

syntacticCondition

public static org.jdom.Element syntacticCondition(List<org.jdom.Element> answers)

condition

public static org.jdom.Element condition(List<org.jdom.Element> comparisons)

blank

public static org.jdom.Element blank(String id)

selection

public static org.jdom.Element selection(String id,
                                         boolean multiple,
                                         List<org.jdom.Element> choices)

choice

public static org.jdom.Element choice(List<org.jdom.Content> choiceContent)

interactionMap

public static org.jdom.Element interactionMap()

interactionMap

public static org.jdom.Element interactionMap(org.jdom.Element interactiveElement)

interactionMap

public static org.jdom.Element interactionMap(org.jdom.Element interactiveElement1,
                                              org.jdom.Element interactiveElement2)

interactionMap

public static org.jdom.Element interactionMap(List<org.jdom.Element> interactiveElements)

omdel

public static org.jdom.Element omdel(String name)

with

public static org.jdom.Element with()

br

public static org.jdom.Element br()

cmp

public static org.jdom.Element cmp()

cmp

public static org.jdom.Element cmp(String lang)

cmp

public static org.jdom.Element cmp(String lang,
                                   String content)

cmp

public static org.jdom.Element cmp(List content)

cmp

public static org.jdom.Element cmp(String lang,
                                   List content)

generateRandomId

public static String generateRandomId()