Class OMDOMWriter

java.lang.Object
org.episteme.core.mathematics.loaders.openmath.io.OMDOMWriter
public class OMDOMWriter extends Object
An OMDOMWriter.

Version:
$Revision: 1.3 $
Author:
Manfred N. Riem (mriem@manorrock.org)

  • Field Details

    • prefix

      protected String prefix
      Stores the namespace prefix.

    • document

      protected Document document
      Stores the document reference we use to create elements.

  • Constructor Details

    • OMDOMWriter

      public OMDOMWriter()
      Constructor.

  • Method Details

    • setNamespacePrefix

      public void setNamespacePrefix(String newPrefix)
      Set the namespace prefix.

      Parameters:
      newPrefix - the namespace prefix to generate.

    • getNamespacePrefix

      public String getNamespacePrefix()
      Get the namespace prefix.

      Returns:
      the namespace prefix.

    • write

      public Document write(OMObject object) throws IOException
      Write out a DOM document.

      Parameters:
      object - the object to write out.
      Returns:
      the generated DOM document.
      Throws:
      IOException - when a serious error occurs.

    • writeNode

      public Node writeNode(OMObject object) throws IOException
      Write out a DOM document node.

      Parameters:
      object - the object to write out.
      Returns:
      the generated DOM node.
      Throws:
      IOException - when a serious error occurs.