Example #1
0
        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);
        }
Example #2
0
 private static bool IsStandaloneError(VerificationErrorHandler.ErrorCode num)
 {
     return((int)num >= 8000 && (int)num < 8500);
 }