internal class TxtProperty : IEnumerable
    {
      private SortedList<int, TxtReader.TxtPropertyIndex> rHnXUb7jTMtA74ljseNrXgKUf084daUyiYvXlaA84daUyiYvXlaAyZsInmakjWo1 = new SortedList<int, TxtReader.TxtPropertyIndex>();

      public string Name { get; private set; }

      public TxtReader.TxtPropertyIndex this[int index]
      {
        get
        {
          return this.rHnXUb7jTMtA74ljseNrXgKUf084daUyiYvXlaA84daUyiYvXlaAyZsInmakjWo1[index];
        }
      }

      public TxtProperty(string name)
      {
        this.Name = name;
      }

      public void AddIndex(TxtReader.TxtPropertyIndex propIndex)
      {
        this.rHnXUb7jTMtA74ljseNrXgKUf084daUyiYvXlaA84daUyiYvXlaAyZsInmakjWo1.Add(propIndex.Index, propIndex);
      }

      public int[] GetIndexArray()
      {
        return Enumerable.ToArray<int>((IEnumerable<int>) this.rHnXUb7jTMtA74ljseNrXgKUf084daUyiYvXlaA84daUyiYvXlaAyZsInmakjWo1.Keys);
      }

      public bool HaveIndex(int index)
      {
        return this.rHnXUb7jTMtA74ljseNrXgKUf084daUyiYvXlaA84daUyiYvXlaAyZsInmakjWo1.ContainsKey(index);
      }

      public IEnumerator GetEnumerator()
      {
        // ISSUE: object of a compiler-generated type is created
        return (IEnumerator) new TxtReader.TxtProperty.XUZ43ZqGrIul0TRnmS8gGjs21ATRnmS8gGjs21AlHi6fwbUXUkIApEeBVYlUF2PA(0)
        {
          \u003C\u003E4__this = this
        };
      }
    }