protected static int GetUniqueAlt(ATNConfigSet configSet)
{
int alt = ATN.INVALID_ALT_NUMBER;
foreach (ATNConfig c in configSet.configs)
{
if (alt == ATN.INVALID_ALT_NUMBER)
{
alt = c.alt; // found first alt
}
else if (c.alt != alt)
{
return ATN.INVALID_ALT_NUMBER;
}
}
return alt;
}