Implement different levels of view (normal, expert, etc).

Display functions and pointer sets in VCC

1 files changed, 14 insertions, 1 deletions

diff --git a/Source/ModelViewer/DataModel.cs b/Source/ModelViewer/DataModel.cs
index d83dfdd5..1330640e 100644
--- a/Source/ModelViewer/DataModel.cs
+++ b/Source/ModelViewer/DataModel.cs
@@ -5,10 +5,16 @@ using System.Text;
 

 namespace Microsoft.Boogie.ModelViewer

 {

+  public class ViewOptions

+  {

+    public int ViewLevel;

+    public bool DebugMode;

+  }

+

   public interface ILanguageProvider

   {

     bool IsMyModel(Model m);

-    ILanguageSpecificModel GetLanguageSpecificModel(Model m);

+    ILanguageSpecificModel GetLanguageSpecificModel(Model m, ViewOptions opts);

   }

 

   public interface ILanguageSpecificModel

@@ -48,6 +54,8 @@ namespace Microsoft.Boogie.ModelViewer
     string Value { get; }

     string ToolTip { get; }

 

+    int ViewLevel { get; }

+

     /// <summary>

     /// Used to determine aliasing. Can be null.

     /// </summary>

@@ -105,6 +113,11 @@ namespace Microsoft.Boogie.ModelViewer
       get { return null; }

     }

 

+    public virtual int ViewLevel

+    {

+      get; set;

+    }

+

     public virtual IEnumerable<IDisplayNode> Children

     {

       get