public class SerializedGrammar
extends java.lang.Object
| Modifier and Type | Class and Description |
|---|---|
protected class |
SerializedGrammar.Block |
protected class |
SerializedGrammar.Node |
protected class |
SerializedGrammar.Rule |
protected class |
SerializedGrammar.RuleRef |
protected class |
SerializedGrammar.TokenRef |
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
COOKIE |
static int |
FORMAT_VERSION |
java.lang.String |
name |
java.util.List<? extends SerializedGrammar.Rule> |
rules |
char |
type |
| Constructor and Description |
|---|
SerializedGrammar(java.lang.String filename) |
| Modifier and Type | Method and Description |
|---|---|
protected java.util.List<SerializedGrammar.Node> |
readAlt(java.io.DataInputStream in) |
protected SerializedGrammar.Block |
readBlock(java.io.DataInputStream in) |
protected void |
readFile(java.io.DataInputStream in) |
protected SerializedGrammar.Rule |
readRule(java.io.DataInputStream in) |
protected java.util.List<? extends SerializedGrammar.Rule> |
readRules(java.io.DataInputStream in,
int numRules) |
protected java.lang.String |
readString(java.io.DataInputStream in) |
java.lang.String |
toString() |
public static final java.lang.String COOKIE
public static final int FORMAT_VERSION
public java.lang.String name
public char type
public java.util.List<? extends SerializedGrammar.Rule> rules
public SerializedGrammar(java.lang.String filename)
throws java.io.IOException
java.io.IOExceptionprotected void readFile(java.io.DataInputStream in)
throws java.io.IOException
java.io.IOExceptionprotected java.util.List<? extends SerializedGrammar.Rule> readRules(java.io.DataInputStream in, int numRules) throws java.io.IOException
java.io.IOExceptionprotected SerializedGrammar.Rule readRule(java.io.DataInputStream in) throws java.io.IOException
java.io.IOExceptionprotected SerializedGrammar.Block readBlock(java.io.DataInputStream in) throws java.io.IOException
java.io.IOExceptionprotected java.util.List<SerializedGrammar.Node> readAlt(java.io.DataInputStream in) throws java.io.IOException
java.io.IOExceptionprotected java.lang.String readString(java.io.DataInputStream in)
throws java.io.IOException
java.io.IOExceptionpublic java.lang.String toString()
toString in class java.lang.Object