Make it display maps

1 files changed, 13 insertions, 0 deletions

diff --git a/Source/ModelViewer/DataModel.cs b/Source/ModelViewer/DataModel.cs
index ff5206c7..0c470bcf 100644
--- a/Source/ModelViewer/DataModel.cs
+++ b/Source/ModelViewer/DataModel.cs
@@ -37,6 +37,7 @@ namespace Microsoft.Boogie.ModelViewer
     string Name { get; }

     NodeState State { get; }

     IEnumerable<string> Values { get; }

+    string ToolTip { get; }

 

     object ViewSync { get; set; }

   }

@@ -86,6 +87,11 @@ namespace Microsoft.Boogie.ModelViewer
       get { yield break; }

     }

 

+    public virtual string ToolTip

+    {

+      get { return null; }

+    }

+

     public virtual bool Expandable

     {

       get { return false; }

@@ -152,6 +158,13 @@ namespace Microsoft.Boogie.ModelViewer
     {

       foreach (var s in inp) fn(s);

     }

+

+    public static T OrElse<T>(T a, T b)

+      where T : class

+    {

+      if (a != null) return a;

+      return b;

+    }

   }

 

 }