More refactoring towards replacing PureCollections.Sequence with List

1 files changed, 2 insertions, 36 deletions

diff --git a/Source/Core/PureCollections.cs b/Source/Core/PureCollections.cs
index 58b6e9c0..8eafd73f 100644
--- a/Source/Core/PureCollections.cs
+++ b/Source/Core/PureCollections.cs
@@ -520,7 +520,7 @@ namespace PureCollections {
     public bool MoveNext() {

       index++;

       //while (index < seq.elems.Length); // Sequences allow nils ... && seq.elems[index] == null);

-      return index < seq.Length;

+      return index < seq.Count;

     }

     public object Current {

       get {

@@ -594,7 +594,7 @@ namespace PureCollections {
     }

 

     //In place Update (and Remove) and Length - - - - - - - - - - - - - - - 

-    public int Length {

+    public int Count {

       get {

         return this.card;

       }

@@ -634,40 +634,6 @@ namespace PureCollections {
       }

     }

 

-    public void Remove() {

-      if (card == 0)

-        return;

-      card--;

-    }

-

-    // remove the first occurrence of o from this sequence

-    public void Remove(Object x) {

-      if (x == null)

-        throw new MissingCase();

-      Contract.Assert(this.elems != null);

-      for (int i = 0; i < card; i++) {

-        if (x.Equals(elems[i])) {

-          ++i;

-          while (i < card) {

-            elems[i - 1] = elems[i];

-            ++i;

-          }

-          card--;

-          elems[card] = null;

-          return;

-        }

-      }

-    }

-

-    public void Truncate(int newLen) {

-      Contract.Requires(0 <= newLen && newLen <= Length);

-      Contract.Assert(elems != null);

-      for (int i = newLen; i < card; i++) {

-        elems[i] = null;

-      }

-      card = newLen;

-    }

-

     //ToString - - - - - - - - - - - - - - - - - - - - - - - - - - - -

     [Pure]

     public override string ToString() {