diff options
Diffstat (limited to 'Util/VS2010/Boogie/BoogieLanguageService/Integration/Source.cs')
-rw-r--r-- | Util/VS2010/Boogie/BoogieLanguageService/Integration/Source.cs | 41 |
1 files changed, 0 insertions, 41 deletions
diff --git a/Util/VS2010/Boogie/BoogieLanguageService/Integration/Source.cs b/Util/VS2010/Boogie/BoogieLanguageService/Integration/Source.cs deleted file mode 100644 index 92b5a884..00000000 --- a/Util/VS2010/Boogie/BoogieLanguageService/Integration/Source.cs +++ /dev/null @@ -1,41 +0,0 @@ -/*************************************************************************** - -Copyright (c) Microsoft Corporation. All rights reserved. -This code is licensed under the Visual Studio SDK license terms. -THIS CODE IS PROVIDED *AS IS* WITHOUT WARRANTY OF -ANY KIND, EITHER EXPRESS OR IMPLIED, INCLUDING ANY -IMPLIED WARRANTIES OF FITNESS FOR A PARTICULAR -PURPOSE, MERCHANTABILITY, OR NON-INFRINGEMENT. - -***************************************************************************/ - -using System; -using System.Collections.Generic; -using System.Text; -using Microsoft.VisualStudio.TextManager.Interop; -using Microsoft.VisualStudio.Package; - -namespace Demo -{ - public class Source : Microsoft.VisualStudio.Package.Source - { - public Source(LanguageService service, IVsTextLines textLines, Colorizer colorizer) - : base(service, textLines, colorizer) - { - } - - private object parseResult; - public object ParseResult - { - get { return parseResult; } - set { parseResult = value; } - } - - private IList<TextSpan[]> braces; - public IList<TextSpan[]> Braces - { - get { return braces; } - set { braces = value; } - } - } -}
\ No newline at end of file |