VSIP integration into VS: Changed idle delay to 300ms (from 1s). Distinguish warnings/errors in Chalice.

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);

                         }