类 SerializedGrammar
- java.lang.Object
-
- org.antlr.runtime.SerializedGrammar
-
public class SerializedGrammar extends java.lang.Object
-
-
嵌套类概要
嵌套类 修饰符和类型 类 说明 protected class
SerializedGrammar.Block
protected class
SerializedGrammar.Node
protected class
SerializedGrammar.Rule
protected class
SerializedGrammar.RuleRef
protected class
SerializedGrammar.TokenRef
-
字段概要
字段 修饰符和类型 字段 说明 static java.lang.String
COOKIE
static int
FORMAT_VERSION
java.lang.String
name
java.util.List<? extends SerializedGrammar.Rule>
rules
char
type
-
构造器概要
构造器 构造器 说明 SerializedGrammar(java.lang.String filename)
-
方法概要
所有方法 实例方法 具体方法 修饰符和类型 方法 说明 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()
-
-
-
字段详细资料
-
COOKIE
public static final java.lang.String COOKIE
- 另请参阅:
- 常量字段值
-
FORMAT_VERSION
public static final int FORMAT_VERSION
- 另请参阅:
- 常量字段值
-
name
public java.lang.String name
-
type
public char type
-
rules
public java.util.List<? extends SerializedGrammar.Rule> rules
-
-
方法详细资料
-
readFile
protected void readFile(java.io.DataInputStream in) throws java.io.IOException
- 抛出:
java.io.IOException
-
readRules
protected java.util.List<? extends SerializedGrammar.Rule> readRules(java.io.DataInputStream in, int numRules) throws java.io.IOException
- 抛出:
java.io.IOException
-
readRule
protected SerializedGrammar.Rule readRule(java.io.DataInputStream in) throws java.io.IOException
- 抛出:
java.io.IOException
-
readBlock
protected SerializedGrammar.Block readBlock(java.io.DataInputStream in) throws java.io.IOException
- 抛出:
java.io.IOException
-
readAlt
protected java.util.List<SerializedGrammar.Node> readAlt(java.io.DataInputStream in) throws java.io.IOException
- 抛出:
java.io.IOException
-
readString
protected java.lang.String readString(java.io.DataInputStream in) throws java.io.IOException
- 抛出:
java.io.IOException
-
toString
public java.lang.String toString()
- 覆盖:
toString
在类中java.lang.Object
-
-