|
|||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||
java.lang.Objectdk.brics.xmlgraph.converter.Unserializer
public class Unserializer
Production of XML graphs from serialized XML representation.
| Constructor Summary | |
|---|---|
Unserializer()
Constructs a new converter. |
|
| Method Summary | |
|---|---|
XMLGraph |
convert(Document d,
AutomatonProvider automaton_provider)
Constructs an XML graph from its serialized XML representation. |
XMLGraph |
load(URL url)
Loads XML graph from XML file and automata from serialized automata files. |
XMLGraph |
load(ZipFile zip)
Loads XML graph (including automata) from ZIP file. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public Unserializer()
| Method Detail |
|---|
public XMLGraph convert(Document d,
AutomatonProvider automaton_provider)
throws IOException
d - XML documentautomaton_provider - provides automata for automata names
IOException - if an I/O error occurs
public XMLGraph load(URL url)
throws IOException
url - URL of directory containing the files (xg.xml for the
XML graph and .aut files for the automata).
IOException - if I/O error occurs
public XMLGraph load(ZipFile zip)
throws IOException
zip - zip file
IOException - if I/O error occurs
|
|||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||