org.activemath.exercises.openmath.services
Class HTWService

java.lang.Object
  org.activemath.exercises.openmath.OpenMath
      org.activemath.exercises.openmath.services.HTWService

public class HTWService
extends OpenMath

Field Summary

Map	mbaseConceptMap

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

openmathNamespace

Constructor Summary

HTWService()

Method Summary

Object	executeHtwQuery(String methodName, Vector params)
String	getConcept(org.jdom.Element task) implementation of general getConceptIds query for the slopert openmath service
boolean	getCorrectness(org.jdom.Element userInput)
boolean	getCorrectness(org.jdom.Element currentTask, org.jdom.Element userInput)
org.jdom.Element	getCorrectResult()
List	getExpertSolutionPath(org.jdom.Element task)
org.jdom.Element	getNextStep(org.jdom.Element task)
int	getNumberOfStepsLeft(org.jdom.Element task)
org.jdom.Element	getResult(org.jdom.Element task)
org.jdom.Element	htwProlog2om(String expression)
void	initializeService()
boolean	initializeServiceConfirm()
String	om2htwProlog(org.jdom.Element omExpr)
void	setCorrectResult(org.jdom.Element task)

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

mbaseConceptMap

public Map mbaseConceptMap

Constructor Detail

HTWService

public HTWService()

Method Detail

initializeService

public void initializeService()

initializeServiceConfirm

public boolean initializeServiceConfirm()

executeHtwQuery

public Object executeHtwQuery(String methodName,
                              Vector params)

htwProlog2om

public org.jdom.Element htwProlog2om(String expression)

om2htwProlog

public String om2htwProlog(org.jdom.Element omExpr)

getExpertSolutionPath

public List getExpertSolutionPath(org.jdom.Element task)

getNextStep

public org.jdom.Element getNextStep(org.jdom.Element task)

setCorrectResult

public void setCorrectResult(org.jdom.Element task)

getCorrectResult

public org.jdom.Element getCorrectResult()

getResult

public org.jdom.Element getResult(org.jdom.Element task)

getNumberOfStepsLeft

public int getNumberOfStepsLeft(org.jdom.Element task)

getConcept

public String getConcept(org.jdom.Element task)

implementation of general getConceptIds query for the slopert openmath service

Parameters:

task -

Returns:

getCorrectness

public boolean getCorrectness(org.jdom.Element userInput)

getCorrectness

public boolean getCorrectness(org.jdom.Element currentTask,
                              org.jdom.Element userInput)