diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2016-03-31 21:53:28 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2016-03-31 21:53:28 -0400 |
commit | 64e8b33656140b87137d0662d9e6835e004d13c2 (patch) | |
tree | 8b920d5b4244aaf66c1f69887c2f11ef74235a0e /Util/VS2010/Boogie/BoogieLanguageService/Integration/Source.cs | |
parent | 97628c5279f6b82173833573f0906ee5d2ece99f (diff) |
Make DFSG-clean
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 |