public class PackratLib
extends java.lang.Object
| Constructor and Description |
|---|
PackratLib() |
| Modifier and Type | Method and Description |
|---|---|
static java.lang.Object |
readPackrat(java.io.InputStream stream,
PackratDatatype rootDatatype)
Identical to readPackrat(File, ...).
|
static java.lang.Object |
readPackrat(VfsFile file,
PackratDatatype rootDatatype)
Read an object from packrat using the given format.
|
static void |
writePackrat(VfsFile file,
java.lang.String comment,
PackratDatatype rootDatatype,
java.lang.Object victim)
Write an object as packrat using the given format.
|
static void |
writePackrat(VfsFile file,
java.lang.String comment,
PackratDatatype rootDatatype,
java.lang.Object victim,
boolean debug) |
static void |
writePackratAndTOF(VfsFile file,
java.lang.String comment,
PackratDatatype rootDatatype,
java.lang.Object victim)
Write an object as packrat using the given format.
|
static void |
writeVerifiedPackrat(VfsFile file,
java.lang.String comment,
PackratDatatype rootDatatype,
java.lang.Object victim)
Writes, then rereads packrat file and verifies results.
|
public static void writePackrat(VfsFile file, java.lang.String comment, PackratDatatype rootDatatype, java.lang.Object victim) throws java.io.IOException
java.io.IOExceptionpublic static void writePackrat(VfsFile file, java.lang.String comment, PackratDatatype rootDatatype, java.lang.Object victim, boolean debug) throws java.io.IOException
java.io.IOExceptionpublic static void writePackratAndTOF(VfsFile file, java.lang.String comment, PackratDatatype rootDatatype, java.lang.Object victim) throws java.io.IOException
java.io.IOExceptionpublic static java.lang.Object readPackrat(java.io.InputStream stream,
PackratDatatype rootDatatype)
throws java.io.IOException
java.io.IOExceptionpublic static java.lang.Object readPackrat(VfsFile file, PackratDatatype rootDatatype) throws java.io.IOException
java.io.IOExceptionpublic static void writeVerifiedPackrat(VfsFile file, java.lang.String comment, PackratDatatype rootDatatype, java.lang.Object victim) throws java.io.IOException
java.io.IOException