public static antlr.TokenStream CreateBooLexer(int tabSize, string readerName, TextReader reader)
{
var selector = new antlr.TokenStreamSelector();
var lexer = new BooLexer(reader);
lexer.setFilename(readerName);
lexer.Initialize(selector, tabSize, BooToken.TokenCreator);
var filter = new IndentTokenStreamFilter(lexer, WS, INDENT, DEDENT, EOL, END, ID);
selector.select(filter);
return(selector);
}
public static antlr.TokenStream CreateBooLexer(int tabSize, string readerName, TextReader reader)
{
var selector = new antlr.TokenStreamSelector();
var lexer = new BooLexer(reader);
lexer.setFilename(readerName);
lexer.Initialize(selector, tabSize, BooToken.TokenCreator);
var filter = new IndentTokenStreamFilter(lexer, WS, INDENT, DEDENT, EOL, END, ID);
selector.select(filter);
return selector;
}
public TokenStreamRecorder(TokenStreamSelector selector)
{
_selector = selector;
}
