//---------------------------------------------------------------------------------------
// IndexOfToken
//
// check whether the recovery token is a good one for the caller
//---------------------------------------------------------------------------------------
private int IndexOfToken(JsToken[] tokens, RecoveryTokenException exc)
{
return IndexOfToken(tokens, exc._token);
}
private bool TokenInList(JsToken[] tokens, RecoveryTokenException exc)
{
return (-1 != IndexOfToken(tokens, exc._token));
}
