org.activemath.exercises.parsers
Class CasParserOpenMath

java.lang.Object
  org.activemath.exercises.openmath.OpenMath
      org.activemath.exercises.CasParser
          org.activemath.exercises.parsers.CasParserOpenMath

public class CasParserOpenMath
extends CasParser

CAS parser for OpenMath syntax.

Version:

$Revision: 1.6 $ $Date: 2010/01/13 16:40:01 $

Field Summary

Fields inherited from class org.activemath.exercises.CasParser

log, omDictionaryCd, omDictionaryName, omDictionaryUnaryCd, omDictionaryUnaryName

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

openmathNamespace

Constructor Summary

CasParserOpenMath(InputStream inputStream)

CasParserOpenMath(Reader inputReader)

Method Summary

void	advanceToNextEOL() Advance to next End Of Line (EOL) or end of input.
static void	main(String[] args)
org.jdom.Element	nextLine() Entry point for the recursive descendant parser.

Methods inherited from class org.activemath.exercises.CasParser

console, linearToOpenMath, linearToOpenMath, newCasParser, newCasParser, newCasParser, newCasParser, newCasParser, newCasParser, nextOmobj, parseForeign, symbol, symbolUnary

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

Constructor Detail

CasParserOpenMath

public CasParserOpenMath(Reader inputReader)

CasParserOpenMath

public CasParserOpenMath(InputStream inputStream)

Method Detail

main

public static void main(String[] args)

advanceToNextEOL

public void advanceToNextEOL()

Description copied from class: CasParser

Advance to next End Of Line (EOL) or end of input. Is overriden by the subclasses that implement the actual parser.

Overrides:

advanceToNextEOL in class CasParser

nextLine

public org.jdom.Element nextLine()

Description copied from class: CasParser

Entry point for the recursive descendant parser. Is overriden by the subclasses that implement the actual parser. This function is to be used only if you want to handle the ParseException and TokenMgrError objects yourself. Normally it's better to call nextOmobj() that encapsulates all this and returns always an OMOBJ, which contains an OME (OM error) when there is some parsing error.

Overrides:

nextLine in class CasParser

Returns:

OpenMath object encoded as a JDOM tree.