edu.toronto.cs.algebra
Class XMLDeMorganAlgebraParser
java.lang.Object
edu.toronto.cs.algebra.XMLDeMorganAlgebraParser
public class XMLDeMorganAlgebraParser
- extends java.lang.Object
Parses XML representation of the lattice
XXX Needs serious rewrite
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
XMLDeMorganAlgebraParser
public XMLDeMorganAlgebraParser()
main
public static void main(java.lang.String[] args)
throws java.lang.Exception
- Throws:
java.lang.Exception
parse
public static DeMorganTableAlgebra parse(java.io.InputStream uri)
throws java.io.IOException,
javax.xml.parsers.ParserConfigurationException,
org.xml.sax.SAXException
- Throws:
java.io.IOException
javax.xml.parsers.ParserConfigurationException
org.xml.sax.SAXException
parse
public static DeMorganTableAlgebra parse(java.lang.String uri)
throws java.io.IOException,
javax.xml.parsers.ParserConfigurationException,
org.xml.sax.SAXException
- Throws:
java.io.IOException
javax.xml.parsers.ParserConfigurationException
org.xml.sax.SAXException
buildAlgebra
public static DeMorganTableAlgebra buildAlgebra(org.w3c.dom.Document document)
buildAlgebra
public static DeMorganTableAlgebra buildAlgebra(org.w3c.dom.Element graph)
- Given a top level graph node constructs a DeMorganTableAlgebra
newDeMorganTableAlgebra
public static DeMorganTableAlgebra newDeMorganTableAlgebra(java.util.List elements,
java.util.List lorder,
java.util.List lnegation)