VCC-BVD: display qualifiers of VCC-generated copies of local variables; hide states that do not update "$s" (heap).

Fix some bugs in source view.
Rename SourceLocation to SourceViewState.

1 files changed, 3 insertions, 3 deletions

diff --git a/Source/ModelViewer/DataModel.cs b/Source/ModelViewer/DataModel.cs
index f8a9abf0..74e206aa 100644
--- a/Source/ModelViewer/DataModel.cs
+++ b/Source/ModelViewer/DataModel.cs
@@ -42,7 +42,7 @@ namespace Microsoft.Boogie.ModelViewer
     IEnumerable<string> SortFields(IEnumerable<IDisplayNode> fields);

   }

 

-  public class SourceLocation

+  public class SourceViewState

   {

     public string Header;

     public string RichTextContent;

@@ -52,7 +52,7 @@ namespace Microsoft.Boogie.ModelViewer
   public interface IState

   {

     string Name { get; }

-    SourceLocation ShowSource();

+    SourceViewState ShowSource();

     IEnumerable<IDisplayNode> Nodes { get; }

   }

 

@@ -104,7 +104,7 @@ namespace Microsoft.Boogie.ModelViewer
     }

 

 

-    public SourceLocation ShowSource()

+    public SourceViewState ShowSource()

     {

       return null;

     }