public class SerializedGrammar
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
(package private) class |
SerializedGrammar.Block |
(package private) class |
SerializedGrammar.Rule |
(package private) class |
SerializedGrammar.RuleRef |
(package private) 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 |
rules |
char |
type |
Constructor and Description |
---|
SerializedGrammar(java.lang.String filename) |
Modifier and Type | Method and Description |
---|---|
protected java.util.List |
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 |
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 rules
public SerializedGrammar(java.lang.String filename) throws java.io.IOException
java.io.IOException
protected void readFile(java.io.DataInputStream in) throws java.io.IOException
java.io.IOException
protected java.util.List readRules(java.io.DataInputStream in, int numRules) throws java.io.IOException
java.io.IOException
protected SerializedGrammar.Rule readRule(java.io.DataInputStream in) throws java.io.IOException
java.io.IOException
protected SerializedGrammar.Block readBlock(java.io.DataInputStream in) throws java.io.IOException
java.io.IOException
protected java.util.List readAlt(java.io.DataInputStream in) throws java.io.IOException
java.io.IOException
protected java.lang.String readString(java.io.DataInputStream in) throws java.io.IOException
java.io.IOException
public java.lang.String toString()
toString
in class java.lang.Object