org.activemath.exercises.openmath.services
Class MathDoxService

java.lang.Object
  org.activemath.exercises.openmath.OpenMathService
      org.activemath.exercises.openmath.services.MathDoxService

public class MathDoxService
extends OpenMathService

Field Summary

protected static org.jdom.Namespace

omdocNamespace

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

comparatorCD, comparatorName, context, expressionTransformer, om, xpathError, xpathHint, xpathQuit

Constructor Summary

MathDoxService()

Method Summary

org.jdom.Element	buildElementFromString(String input)
String	elementToString(org.jdom.Element element)
org.jdom.Element	getDiagnosis(String exerciseId, org.jdom.Element userInput, org.jdom.Element state)
org.jdom.Element	getFirstInteraction(String exerciseId)
org.jdom.Element	getInteraction(String exerciseId, String interactionId, org.jdom.Element state)
org.jdom.Element	getNextInteraction(String exerciseId, org.jdom.Element userInput, org.jdom.Element state)

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

abort, console, evaluate, evaluateEquivalence, selectContext, setComparator, setExpressionTransformer

Methods inherited from class java.lang.Object

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

Field Detail

omdocNamespace

protected static final org.jdom.Namespace omdocNamespace

Constructor Detail

MathDoxService

public MathDoxService()

Method Detail

buildElementFromString

public org.jdom.Element buildElementFromString(String input)

elementToString

public String elementToString(org.jdom.Element element)

getFirstInteraction

public org.jdom.Element getFirstInteraction(String exerciseId)

getInteraction

public org.jdom.Element getInteraction(String exerciseId,
                                       String interactionId,
                                       org.jdom.Element state)

getNextInteraction

public org.jdom.Element getNextInteraction(String exerciseId,
                                           org.jdom.Element userInput,
                                           org.jdom.Element state)

getDiagnosis

public org.jdom.Element getDiagnosis(String exerciseId,
                                     org.jdom.Element userInput,
                                     org.jdom.Element state)