};
grammarFile = Util.replaceSlash(grammarFile);
writer.writeln(" Reading grammar \"" + grammarFile + "\"");
GrammarParser parser = new GrammarParser(new IGrammarFactoryFactory() {
public IGrammarFactory getFactory(int phase) {
return new ParserFactory(writer);
}}
);