fmrisc.External
Class NewOMDOMWriter

java.lang.Object
  fmrisc.External.NewOMDOMWriter

public final class NewOMDOMWriter
extends java.lang.Object

An OMDOMWriter.

Version:

$Revision: 1.3 $

Author:

Manfred N. Riem (mriem@manorrock.org)

Constructor Summary

NewOMDOMWriter(org.w3c.dom.Document document, java.lang.String uri, java.lang.String prefix)
Constructor.

Method Summary

java.lang.String	getNamespacePrefix() Get the namespace prefix.
void	setNamespacePrefix(java.lang.String newPrefix) Set the namespace prefix.
org.w3c.dom.Document	write(nl.tue.win.riaca.openmath.lang.OMObject object) Write out a DOM document.
org.w3c.dom.Node	writeNode(nl.tue.win.riaca.openmath.lang.OMObject object) Write out a DOM document node.

Methods inherited from class java.lang.Object

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

Constructor Detail

NewOMDOMWriter

public NewOMDOMWriter(org.w3c.dom.Document document,
                      java.lang.String uri,
                      java.lang.String prefix)

Constructor.

Method Detail

setNamespacePrefix

public void setNamespacePrefix(java.lang.String newPrefix)

Set the namespace prefix.

Parameters:

newPrefix - the namespace prefix to generate.

getNamespacePrefix

public java.lang.String getNamespacePrefix()

Get the namespace prefix.

Returns:

the namespace prefix.

write

public org.w3c.dom.Document write(nl.tue.win.riaca.openmath.lang.OMObject object)
                           throws java.io.IOException

Write out a DOM document.

Parameters:

object - the object to write out.

Returns:

the generated DOM document.

Throws:

java.io.IOException - when a serious error occurs.

writeNode

public org.w3c.dom.Node writeNode(nl.tue.win.riaca.openmath.lang.OMObject object)
                           throws java.io.IOException

Write out a DOM document node.

Parameters:

object - the object to write out.

Returns:

the generated DOM node.

Throws:

java.io.IOException - when a serious error occurs.