public final class NewOMDOMReader
extends java.lang.Object
Constructor and Description |
---|
NewOMDOMReader(org.w3c.dom.Document document)
Constructor.
|
NewOMDOMReader(org.w3c.dom.DocumentFragment fragment)
Constructor.
|
NewOMDOMReader(org.xml.sax.InputSource inputSource)
Constructor.
|
NewOMDOMReader(org.w3c.dom.Node node)
Constructor.
|
NewOMDOMReader(java.lang.String string)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
nl.tue.win.riaca.openmath.lang.OMObject |
readObject()
Read an OpenMath object.
|
public NewOMDOMReader(org.w3c.dom.Document document)
document
- the document to read using the reader.public NewOMDOMReader(org.w3c.dom.DocumentFragment fragment)
fragment
- the document fragment to read using the reader.public NewOMDOMReader(org.w3c.dom.Node node)
node
- the node to read using the reader.public NewOMDOMReader(org.xml.sax.InputSource inputSource)
inputSource
- the InputSource to read from using this reader.public NewOMDOMReader(java.lang.String string)
string
- the string to read from using this reader.public nl.tue.win.riaca.openmath.lang.OMObject readObject() throws java.io.IOException
java.io.IOException
- when a problem arises while reading.