Util/VS2010/Boogie/BoogieLanguageService/Integration/Declaration.cs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

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
    }
}