📄 tinydocfactory.java
字号:
/*
* Created on Aug 10, 2005
*
* TODO To change the template for this generated file go to
* Window - Preferences - Java - Code Style - Code Templates
*/
package isis.anp.nesc.tinydoc;
import isis.anp.nesc.TinyDocLexer;
import isis.anp.nesc.TinyDocParser;
import java.io.StringReader;
import antlr.RecognitionException;
import antlr.TokenStreamException;
import antlr.TokenStreamHiddenTokenFilter;
/**
* @author sallai
*
* TODO To change the template for this generated type comment go to Window -
* Preferences - Java - Code Style - Code Templates
*/
public class TinyDocFactory {
public static TinyDoc parse(String text) throws RecognitionException {
TinyDocLexer lexer = new TinyDocLexer(new StringReader(text));
lexer.setTokenObjectClass("antlr.CommonHiddenStreamToken");
TokenStreamHiddenTokenFilter filter = new TokenStreamHiddenTokenFilter(lexer);
filter.hide(TinyDocLexer.WS);
filter.hide(TinyDocLexer.NL);
TinyDocParser parser = new TinyDocParser(filter);
parser.setASTNodeClass("antlr.CommonASTWithHiddenTokens");
try {
return parser.translationUnit();
} catch(TokenStreamException e) {
// we shouldn't be getting this when reading a string
throw new RecognitionException("Error reading string");
}
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -