public static antlr.TokenStream CreateBooLexer(int tabSize, string readerName, TextReader reader) { antlr.TokenStreamSelector selector = new antlr.TokenStreamSelector(); WSABooLexer lexer = new WSABooLexer(reader); lexer.setFilename(readerName); lexer.Initialize(selector, tabSize, Boo.Lang.Parser.BooToken.Creator); selector.select(lexer); return selector; }