1 files changed, 0 insertions, 66 deletions
diff --git a/Util/VS2010/Dafny/DafnyLanguageService/Integration/AuthoringScope.cs b/Util/VS2010/Dafny/DafnyLanguageService/Integration/AuthoringScope.cs
deleted file mode 100644
index 9a49dbe4..00000000
--- a/Util/VS2010/Dafny/DafnyLanguageService/Integration/AuthoringScope.cs
+++ /dev/null
@@ -1,66 +0,0 @@
-using System;
-using System.Collections.Generic;
-using Microsoft.VisualStudio;
-using Microsoft.VisualStudio.TextManager.Interop;
-using Microsoft.VisualStudio.Package;
-
-namespace Demo
-{
-    public class AuthoringScope : Microsoft.VisualStudio.Package.AuthoringScope
-    {
-        public AuthoringScope(object parseResult)
-        {
-            this.parseResult = parseResult;
-
-            // how should this be set?
-            this.resolver = new Resolver();
-        }
-
-        object parseResult;
-        IASTResolver resolver;
-
-        // ParseReason.QuickInfo
-        public override string GetDataTipText(int line, int col, out TextSpan span)
-        {
-            span = new TextSpan();
-            return null;
-        }
-
-        // ParseReason.CompleteWord
-        // ParseReason.DisplayMemberList
-        // ParseReason.MemberSelect
-        // ParseReason.MemberSelectAndHilightBraces
-        public override Microsoft.VisualStudio.Package.Declarations GetDeclarations(IVsTextView view, int line, int col, TokenInfo info, ParseReason reason)
-        {
-            IList<Declaration> declarations;
-            switch (reason)
-            {
-                case ParseReason.CompleteWord:
-                    declarations = resolver.FindCompletions(parseResult, line, col);
-                    break;
-                case ParseReason.DisplayMemberList:
-                case ParseReason.MemberSelect:
-                case ParseReason.MemberSelectAndHighlightBraces:
-                    declarations = resolver.FindMembers(parseResult, line, col);
-                    break;
-                default:
-                    throw new ArgumentException("reason");
-            }
-
-            return new Declarations(declarations);
-        }
-
-        // ParseReason.GetMethods
-        public override Microsoft.VisualStudio.Package.Methods GetMethods(int line, int col, string name)
-        {
-            return new Methods(resolver.FindMethods(parseResult, line, col, name));
-        }
-
-        // ParseReason.Goto
-        public override string Goto(VSConstants.VSStd97CmdID cmd, IVsTextView textView, int line, int col, out TextSpan span)
-        {
-            span = new TextSpan();
-            return null;
-        }
-    }
-}
-\ No newline at end of file