diff options
author | 2010-10-15 00:23:14 +0000 | |
---|---|---|
committer | 2010-10-15 00:23:14 +0000 | |
commit | 2bd631d07570bf81611486d01bcd5a21dee2d2c9 (patch) | |
tree | 7ed182d56576ecfea56f9e384058855d626aef7b /Source/ModelViewer/DataModel.cs | |
parent | 9e1f99c02907899e6b37427567d62719e38dde5c (diff) |
Make it display maps
Diffstat (limited to 'Source/ModelViewer/DataModel.cs')
-rw-r--r-- | Source/ModelViewer/DataModel.cs | 13 |
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;
+ }
}
}
|