Visual Studio 2010 integration for Dafny and Chalice. See the "How to install binaries" link from the boogie.codeplex.com home page.

1 files changed, 50 insertions, 0 deletions

diff --git a/Util/VS2010/Dafny/DafnyLanguageService/Integration/Methods.cs b/Util/VS2010/Dafny/DafnyLanguageService/Integration/Methods.cs
new file mode 100644
index 00000000..1d7c124f
--- /dev/null
+++ b/Util/VS2010/Dafny/DafnyLanguageService/Integration/Methods.cs
@@ -0,0 +1,50 @@
+using System;

+using System.Collections.Generic;

+using System.Text;

+using Microsoft.VisualStudio.TextManager.Interop;

+using Microsoft.VisualStudio.Package;

+

+namespace Demo

+{

+    public class Methods : Microsoft.VisualStudio.Package.Methods

+    {

+        IList<Method> methods;

+        public Methods(IList<Method> methods)

+        {

+            this.methods = methods;

+        }

+

+        public override int GetCount()

+        {

+            return methods.Count;

+        }

+

+        public override string GetName(int index)

+        {

+            return methods[index].Name;

+        }

+

+        public override string GetDescription(int index)

+        {

+            return methods[index].Description;

+        }

+

+        public override string GetType(int index)

+        {

+            return methods[index].Type;

+        }

+

+        public override int GetParameterCount(int index)

+        {

+            return (methods[index].Parameters == null) ? 0 : methods[index].Parameters.Count;

+        }

+

+        public override void GetParameterInfo(int index, int paramIndex, out string name, out string display, out string description)

+        {

+            Parameter parameter = methods[index].Parameters[paramIndex];

+            name = parameter.Name;

+            display = parameter.Display;

+            description = parameter.Description;

+        }

+    }

+}
\ No newline at end of file