From d73eb5ccdcb87f98edf0769b2deed0e87f62f545 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Tue, 30 Jul 2013 17:09:20 -0700
Subject: DafnyExtension: Added support for displaying values from the model as
 hover text.

---
 Source/DafnyMenu/DafnyMenuPackage.cs | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

(limited to 'Source/DafnyMenu')

diff --git a/Source/DafnyMenu/DafnyMenuPackage.cs b/Source/DafnyMenu/DafnyMenuPackage.cs
index e55a97aa..bf114971 100644
--- a/Source/DafnyMenu/DafnyMenuPackage.cs
+++ b/Source/DafnyMenu/DafnyMenuPackage.cs
@@ -2,6 +2,7 @@
 using System.ComponentModel.Design;
 using System.Diagnostics;
 using System.Globalization;
+using System.Linq;
 using System.Runtime.InteropServices;
 using Microsoft.VisualStudio.ComponentModelHost;
 using Microsoft.VisualStudio.Editor;
@@ -310,6 +311,22 @@ namespace DafnyLanguage.DafnyMenu
       }
     }
 
+    public string TryToLookupValueInCurrentModel(string name)
+    {
+      string result = null;
+      if (!BVDDisabled && BvdToolWindow.BVD.LangModel != null)
+      {
+        var m = BvdToolWindow.BVD.LangModel as Microsoft.Boogie.ModelViewer.Dafny.DafnyModel;
+        var s = m.states[BvdToolWindow.BVD.CurrentState];
+        var v = s.Vars.FirstOrDefault(var => var.Name == name);
+        if (v != null && v.Element.Kind != Microsoft.Boogie.Model.ElementKind.Uninterpreted)
+        {
+          result = v.Element.ToString();
+        }
+      }
+      return result;
+    }
+
     #endregion
   }
 }
-- 
cgit v1.2.3