private bool ReportError(IToken tok, VerificationErrorHandler.ErrorCode code, string fmt, params string[] args) { Logger.Instance.LogWithLocation( ErrorCodeToString(code), Format(fmt, args), tok.ToLocation(), LogKind.Error, false ); return(true); }
private static bool IsStandaloneError(VerificationErrorHandler.ErrorCode num) { return((int)num >= 8000 && (int)num < 8500); }