diff options
Diffstat (limited to 'Util/VS2010/Chalice/ChaliceLanguageService')
| -rw-r--r-- | Util/VS2010/Chalice/ChaliceLanguageService/Integration/IronyLanguageService.cs | 7 | ||||
| -rw-r--r-- | Util/VS2010/Chalice/ChaliceLanguageService/Integration/Package.cs | 2 |
2 files changed, 6 insertions, 3 deletions
diff --git a/Util/VS2010/Chalice/ChaliceLanguageService/Integration/IronyLanguageService.cs b/Util/VS2010/Chalice/ChaliceLanguageService/Integration/IronyLanguageService.cs index 281040ca..8519e467 100644 --- a/Util/VS2010/Chalice/ChaliceLanguageService/Integration/IronyLanguageService.cs +++ b/Util/VS2010/Chalice/ChaliceLanguageService/Integration/IronyLanguageService.cs @@ -178,7 +178,7 @@ namespace Demo continue;
if (line.StartsWith("Boogie program verifier")) {
if (!Regex.IsMatch(line, "Boogie program verifier finished with [0-9]* verified, 0 errors"))
- AddErrorBecauseOfToolProblems(req, line);
+ AddErrorBecauseOfToolProblems(req, line, false);
continue;
}
@@ -256,11 +256,14 @@ namespace Demo }
private static void AddErrorBecauseOfToolProblems(ParseRequest req, string msg) {
+ AddErrorBecauseOfToolProblems(req, msg, true);
+ }
+ private static void AddErrorBecauseOfToolProblems(ParseRequest req, string msg, bool error) {
TextSpan span = new TextSpan();
span.iStartLine = span.iEndLine = 0;
span.iStartIndex = 0;
span.iEndIndex = 5;
- req.Sink.AddError(req.FileName, msg, span, Severity.Error);
+ req.Sink.AddError(req.FileName, msg, span, error ? Severity.Error : Severity.Hint);
}
/// <summary>
diff --git a/Util/VS2010/Chalice/ChaliceLanguageService/Integration/Package.cs b/Util/VS2010/Chalice/ChaliceLanguageService/Integration/Package.cs index ae9c00c4..dc1244d6 100644 --- a/Util/VS2010/Chalice/ChaliceLanguageService/Integration/Package.cs +++ b/Util/VS2010/Chalice/ChaliceLanguageService/Integration/Package.cs @@ -32,7 +32,7 @@ namespace Demo crinfo[0].grfcadvf = (uint)_OLECADVF.olecadvfModal |
(uint)_OLECADVF.olecadvfRedrawOff |
(uint)_OLECADVF.olecadvfWarningsOff;
- crinfo[0].uIdleTimeInterval = 1000;
+ crinfo[0].uIdleTimeInterval = 300;
int hr = mgr.FRegisterComponent(this, crinfo, out componentID);
}
|