public CLIPSParser_XXX(Stream stream)
{
InitBlock();
jj_input_stream = new SimpleCharStream(stream, 1, 1);
token_source = new CLIPSParserTokenManager(jj_input_stream);
token = new Token();
jj_ntk_Renamed_Field = - 1;
jj_gen = 0;
for (int i = 0; i < 61; i++)
jj_la1[i] = - 1;
for (int i = 0; i < jj_2_rtns.Length; i++)
jj_2_rtns[i] = new JJCalls();
}
public virtual void ReInit(CLIPSParserTokenManager tm)
{
token_source = tm;
token = new Token();
jj_ntk_Renamed_Field = - 1;
jj_gen = 0;
for (int i = 0; i < 61; i++)
jj_la1[i] = - 1;
for (int i = 0; i < jj_2_rtns.Length; i++)
jj_2_rtns[i] = new JJCalls();
}
public CLIPSParser_XXX(CLIPSParserTokenManager tm)
{
InitBlock();
token_source = tm;
token = new Token();
jj_ntk_Renamed_Field = - 1;
jj_gen = 0;
for (int i = 0; i < 61; i++)
jj_la1[i] = - 1;
for (int i = 0; i < jj_2_rtns.Length; i++)
jj_2_rtns[i] = new JJCalls();
}