public SelectorParser(System.IO.TextReader stream)
{
mcc_input_stream = new SimpleCharStream(stream, 1, 1);
token_source = new SelectorParserTokenManager(mcc_input_stream);
token = new Token();
mcc_ntk = -1;
}
public void ReInit(SelectorParserTokenManager tm)
{
token_source = tm;
token = new Token();
mcc_ntk = -1;
}