程序包 org.antlr.tool
类 GrammarSerializerFoo
- java.lang.Object
-
- org.antlr.tool.GrammarSerializerFoo
-
public class GrammarSerializerFoo extends java.lang.Object
Serialize a grammar into a highly compressed form with only the info needed to recognize sentences. FORMAT: file ::= $ANTLR<version:byte><grammartype:byte><name:string>;<numRules:short><rules> rule ::= R<rulename:string>;B<nalts:short><alts>. alt ::= A<elems>; elem ::= t<tokentype:short> | r<ruleIndex:short> | -<char:uchar><char:uchar> | ~<tokentype> | w
-
-
构造器概要
构造器 构造器 说明 GrammarSerializerFoo(Grammar g)
-
方法概要
所有方法 实例方法 具体方法 修饰符和类型 方法 说明 void
alt(GrammarAST alt)
void
block(int nalts)
void
charLiteral(GrammarAST t)
void
close()
void
endAlt()
void
endRule()
void
grammar(int grammarTokenType, java.lang.String name)
void
not()
void
open(java.lang.String filename)
void
range()
void
rule(java.lang.String name)
void
ruleRef(GrammarAST t)
void
token(GrammarAST t)
void
wildcard(GrammarAST t)
void
writeString(java.io.DataOutputStream out, java.lang.String s)
-
-
-
字段详细资料
-
out
protected java.io.DataOutputStream out
-
filename
protected java.lang.String filename
-
g
protected Grammar g
-
altBuf
protected java.io.ByteArrayOutputStream altBuf
-
numElementsInAlt
protected int numElementsInAlt
-
-
构造器详细资料
-
GrammarSerializerFoo
public GrammarSerializerFoo(Grammar g)
-
-
方法详细资料
-
open
public void open(java.lang.String filename) throws java.io.IOException
- 抛出:
java.io.IOException
-
close
public void close() throws java.io.IOException
- 抛出:
java.io.IOException
-
grammar
public void grammar(int grammarTokenType, java.lang.String name)
-
rule
public void rule(java.lang.String name)
-
endRule
public void endRule()
-
block
public void block(int nalts)
-
alt
public void alt(GrammarAST alt)
-
endAlt
public void endAlt()
-
ruleRef
public void ruleRef(GrammarAST t)
-
token
public void token(GrammarAST t)
-
charLiteral
public void charLiteral(GrammarAST t)
-
wildcard
public void wildcard(GrammarAST t)
-
range
public void range()
-
not
public void not()
-
writeString
public void writeString(java.io.DataOutputStream out, java.lang.String s) throws java.io.IOException
- 抛出:
java.io.IOException
-
-