DafnyExtension: Added support for selecting errors and showing the model in BVD.

1 files changed, 16 insertions, 0 deletions

diff --git a/Source/DafnyExtension/ContentType.cs b/Source/DafnyExtension/ContentType.cs
index 950b1e73..c528f4ed 100644
--- a/Source/DafnyExtension/ContentType.cs
+++ b/Source/DafnyExtension/ContentType.cs
@@ -1,4 +1,5 @@
 using System.ComponentModel.Composition;

+using Microsoft.VisualStudio.Text.Editor;

 using Microsoft.VisualStudio.Utilities;

 

 

@@ -11,6 +12,21 @@ namespace DafnyLanguage
     [BaseDefinition("code")]

     internal static ContentTypeDefinition ContentType = null;

 

+    [Export(typeof(IWpfTextViewCreationListener))]

+    [ContentType("text")]

+    [TextViewRole(PredefinedTextViewRoles.Document)]

+    internal sealed class DafnyTextViewCreationListener : IWpfTextViewCreationListener

+    {

+      [Export(typeof(AdornmentLayerDefinition))]

+      [Name("ModelAdornment")]

+      [Order(After = PredefinedAdornmentLayers.Selection, Before = PredefinedAdornmentLayers.Text)]

+      [TextViewRole(PredefinedTextViewRoles.Document)]

+      public AdornmentLayerDefinition editorAdornmentLayer = null;

+      public void TextViewCreated(IWpfTextView textView)

+      {

+      }

+    }

+

     [Export]

     [FileExtension(".dfy")]

     [ContentType("dafny")]