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