DIG 1.1 Reasoners API, April 26, 2004 (12:45 PM)

org.kr.dl.dig.v1_1
Class SatisfiableDocument.Factory

java.lang.Object
  extended byorg.kr.dl.dig.v1_1.SatisfiableDocument.Factory
Enclosing class:
SatisfiableDocument

public static final class SatisfiableDocument.Factory
extends Object

A factory class with static methods for creating instances of this type.


Method Summary
static SatisfiableDocument newInstance()
           
static SatisfiableDocument newInstance(XmlOptions options)
           
static XMLInputStream newValidatingXMLInputStream(XMLInputStream xis)
           
static XMLInputStream newValidatingXMLInputStream(XMLInputStream xis, XmlOptions options)
           
static SatisfiableDocument parse(File f)
           
static SatisfiableDocument parse(File f, XmlOptions options)
           
static SatisfiableDocument parse(InputStream is)
           
static SatisfiableDocument parse(InputStream is, XmlOptions options)
           
static SatisfiableDocument parse(Node node)
           
static SatisfiableDocument parse(Node node, XmlOptions options)
           
static SatisfiableDocument parse(Reader r)
           
static SatisfiableDocument parse(Reader r, XmlOptions options)
           
static SatisfiableDocument parse(String s)
           
static SatisfiableDocument parse(String s, XmlOptions options)
           
static SatisfiableDocument parse(URL u)
           
static SatisfiableDocument parse(URL u, XmlOptions options)
           
static SatisfiableDocument parse(XMLInputStream xis)
           
static SatisfiableDocument parse(XMLInputStream xis, XmlOptions options)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

newInstance

public static SatisfiableDocument newInstance()

newInstance

public static SatisfiableDocument newInstance(XmlOptions options)

parse

public static SatisfiableDocument parse(String s)
                                 throws XmlException
Throws:
XmlException

parse

public static SatisfiableDocument parse(String s,
                                        XmlOptions options)
                                 throws XmlException
Throws:
XmlException

parse

public static SatisfiableDocument parse(File f)
                                 throws XmlException,
                                        IOException
Throws:
XmlException
IOException

parse

public static SatisfiableDocument parse(File f,
                                        XmlOptions options)
                                 throws XmlException,
                                        IOException
Throws:
XmlException
IOException

parse

public static SatisfiableDocument parse(URL u)
                                 throws XmlException,
                                        IOException
Throws:
XmlException
IOException

parse

public static SatisfiableDocument parse(URL u,
                                        XmlOptions options)
                                 throws XmlException,
                                        IOException
Throws:
XmlException
IOException

parse

public static SatisfiableDocument parse(InputStream is)
                                 throws XmlException,
                                        IOException
Throws:
XmlException
IOException

parse

public static SatisfiableDocument parse(InputStream is,
                                        XmlOptions options)
                                 throws XmlException,
                                        IOException
Throws:
XmlException
IOException

parse

public static SatisfiableDocument parse(Reader r)
                                 throws XmlException,
                                        IOException
Throws:
XmlException
IOException

parse

public static SatisfiableDocument parse(Reader r,
                                        XmlOptions options)
                                 throws XmlException,
                                        IOException
Throws:
XmlException
IOException

parse

public static SatisfiableDocument parse(Node node)
                                 throws XmlException
Throws:
XmlException

parse

public static SatisfiableDocument parse(Node node,
                                        XmlOptions options)
                                 throws XmlException
Throws:
XmlException

parse

public static SatisfiableDocument parse(XMLInputStream xis)
                                 throws XmlException,
                                        XMLStreamException
Throws:
XmlException
XMLStreamException

parse

public static SatisfiableDocument parse(XMLInputStream xis,
                                        XmlOptions options)
                                 throws XmlException,
                                        XMLStreamException
Throws:
XmlException
XMLStreamException

newValidatingXMLInputStream

public static XMLInputStream newValidatingXMLInputStream(XMLInputStream xis)
                                                                                 throws XmlException,
                                                                                        XMLStreamException
Throws:
XmlException
XMLStreamException

newValidatingXMLInputStream

public static XMLInputStream newValidatingXMLInputStream(XMLInputStream xis,
                                                         XmlOptions options)
                                                                                 throws XmlException,
                                                                                        XMLStreamException
Throws:
XmlException
XMLStreamException

DIG 1.1 Reasoners API, April 26, 2004 (12:45 PM)