diff options
Diffstat (limited to 'Util/VS2010/Dafny/DafnyLanguageService/Integration/Declaration.cs')
-rw-r--r-- | Util/VS2010/Dafny/DafnyLanguageService/Integration/Declaration.cs | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/Util/VS2010/Dafny/DafnyLanguageService/Integration/Declaration.cs b/Util/VS2010/Dafny/DafnyLanguageService/Integration/Declaration.cs deleted file mode 100644 index c0fda5ca..00000000 --- a/Util/VS2010/Dafny/DafnyLanguageService/Integration/Declaration.cs +++ /dev/null @@ -1,30 +0,0 @@ -using System;
-using System.Collections.Generic;
-
-namespace Demo
-{
- public struct Declaration : IComparable<Declaration>
- {
- public Declaration(string description, string displayText, int glyph, string name)
- {
- this.Description = description;
- this.DisplayText = displayText;
- this.Glyph = glyph;
- this.Name = name;
- }
-
- public string Description;
- public string DisplayText;
- public int Glyph;
- public string Name;
-
- #region IComparable<Declaration> Members
-
- public int CompareTo(Declaration other)
- {
- return DisplayText.CompareTo(other.DisplayText);
- }
-
- #endregion
- }
-}
\ No newline at end of file |