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