org.activemath.omdocjdom
Class PlainTextConverter

java.lang.Object
  extended by org.activemath.omdocjdom.PlainTextConverter

public class PlainTextConverter
extends Object

A utility class to convert to plain-text the content of an item's titles and textual content. Giving


Constructor Summary
PlainTextConverter()
           
 
Method Summary
static void main(String[] args)
           
 void setLanguage(String lang)
           
protected  void writeOmobjAsText(OJElement omElt, Writer out)
           
protected  void writeOMSasText(OJElement omElt, Writer out)
           
 void writeText(OJElement element, Writer out)
          Outputs the text of the item, by simply aligning child words along with a bit of treatment for mathematical symbols.
protected  void writeText(String text, Writer out)
           
protected  void writeText(org.jdom.Text text, Writer out)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PlainTextConverter

public PlainTextConverter()
Method Detail

setLanguage

public void setLanguage(String lang)

writeText

public void writeText(OJElement element,
                      Writer out)
               throws IOException
Outputs the text of the item, by simply aligning child words along with a bit of treatment for mathematical symbols.

Parameters:
element -
out -
Throws:
IOException

writeText

protected void writeText(org.jdom.Text text,
                         Writer out)
                  throws IOException
Throws:
IOException

writeText

protected void writeText(String text,
                         Writer out)
                  throws IOException
Throws:
IOException

writeOmobjAsText

protected void writeOmobjAsText(OJElement omElt,
                                Writer out)
                         throws IOException
Throws:
IOException

writeOMSasText

protected void writeOMSasText(OJElement omElt,
                              Writer out)
                       throws IOException
Throws:
IOException

main

public static void main(String[] args)
                 throws Exception
Throws:
Exception