From 12c1192db3954460e79ff71cb3a42c61f9f26784 Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Wed, 26 Jan 2011 02:42:20 +0000
Subject: Display line numbers (useful for finding what the error message
 refers to)

---
 Source/ModelViewer/Namer.cs | 34 ++++++++++++++++++++++++++++++++--
 1 file changed, 32 insertions(+), 2 deletions(-)

(limited to 'Source/ModelViewer/Namer.cs')

diff --git a/Source/ModelViewer/Namer.cs b/Source/ModelViewer/Namer.cs
index 9191055b..749eb274 100644
--- a/Source/ModelViewer/Namer.cs
+++ b/Source/ModelViewer/Namer.cs
@@ -275,6 +275,34 @@ namespace Microsoft.Boogie.ModelViewer
       return true;
     }
 
+
+    protected virtual void RtfAppend(StringBuilder sb, char c, ref int pos)
+    {
+      pos++;
+      switch (c) {
+        case '\r': pos--; break;
+        case '\\': sb.Append("\\\\"); break;
+        case '\n': sb.Append("\\par\n"); break;
+        case '{': sb.Append("\\{"); break;
+        case '}': sb.Append("\\}"); break;
+        default: sb.Append(c); break;
+      }
+    }
+
+    protected virtual void RtfAppendStateIdx(StringBuilder sb, string label, ref int pos)
+    {
+      label += ".";
+      pos += label.Length;
+      sb.Append(@"{\sub\cf5\highlight4 ").Append(label).Append("}");
+    }
+
+    protected virtual void RtfAppendLineNo(StringBuilder sb, int num, ref int pos)
+    {
+      string n = string.Format("{0:0000}: ", num);
+      pos += n.Length;
+      sb.Append(@"{\cf6 ").Append(n).Append("}");
+    }
+
     protected virtual void GenerateSourceLocations()
     {
       sourceLocations = new Dictionary<string, SourceLocation>();
@@ -312,6 +340,7 @@ namespace Microsoft.Boogie.ModelViewer
         var currColumn = 1;
         var output = new StringBuilder();
         var charPos = 0;
+        RtfAppendLineNo(output, currLine, ref charPos);
 
         foreach (var c in content) {
           if (c == '\n') {
@@ -320,15 +349,16 @@ namespace Microsoft.Boogie.ModelViewer
 
           while (currPosIdx < positions.Count && positions[currPosIdx].Line <= currLine && positions[currPosIdx].Column <= currColumn) {
             positions[currPosIdx].CharPos = charPos;
-            SourceLocation.RtfAppendStateIdx(output, positions[currPosIdx].Index.ToString(), ref charPos);
+            RtfAppendStateIdx(output, positions[currPosIdx].Index.ToString(), ref charPos);
             currPosIdx++;
           }
 
-          SourceLocation.RtfAppend(output, c, ref charPos);
+          RtfAppend(output, c, ref charPos);
 
           if (c == '\n') {
             currLine++;
             currColumn = 1;
+            RtfAppendLineNo(output, currLine, ref charPos);
           } else {
             currColumn++;
           }
-- 
cgit v1.2.3