885 lines
		
	
	
	
		
			34 KiB
		
	
	
	
		
			C#
		
	
	
	
	
	
			
		
		
	
	
			885 lines
		
	
	
	
		
			34 KiB
		
	
	
	
		
			C#
		
	
	
	
	
	
#region Apache License 2.0
 | 
						|
/*
 | 
						|
Nuclex Foundation libraries for .NET
 | 
						|
Copyright (C) 2002-2025 Markus Ewald / Nuclex Development Labs
 | 
						|
 | 
						|
Licensed under the Apache License, Version 2.0 (the "License");
 | 
						|
you may not use this file except in compliance with the License.
 | 
						|
You may obtain a copy of the License at
 | 
						|
 | 
						|
    http://www.apache.org/licenses/LICENSE-2.0
 | 
						|
 | 
						|
Unless required by applicable law or agreed to in writing, software
 | 
						|
distributed under the License is distributed on an "AS IS" BASIS,
 | 
						|
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 | 
						|
See the License for the specific language governing permissions and
 | 
						|
limitations under the License.
 | 
						|
*/
 | 
						|
#endregion // Apache License 2.0
 | 
						|
 | 
						|
using System;
 | 
						|
using System.Collections;
 | 
						|
using System.Collections.Generic;
 | 
						|
using System.Diagnostics;
 | 
						|
using System.Threading.Tasks;
 | 
						|
using System.Diagnostics.CodeAnalysis;
 | 
						|
using System.Threading;
 | 
						|
using System.Collections.Concurrent;
 | 
						|
 | 
						|
#if !NO_SPECIALIZED_COLLECTIONS
 | 
						|
using System.Collections.Specialized;
 | 
						|
#endif
 | 
						|
 | 
						|
using Nuclex.Support.Collections;
 | 
						|
 | 
						|
namespace Nuclex.Avalonia.Collections {
 | 
						|
 | 
						|
  /// <summary>
 | 
						|
  ///   List which fires events when items are added or removed, whilst also
 | 
						|
  ///   lazily fetching items as needed (for example from a socket or database)
 | 
						|
  /// </summary>
 | 
						|
  /// <typeparam name="TItem">Type of items the list manages</typeparam>
 | 
						|
  public abstract class AsyncVirtualObservableReadOnlyList<TItem> :
 | 
						|
    IList<TItem>,
 | 
						|
    IList,
 | 
						|
    ICollection,
 | 
						|
#if !NO_SPECIALIZED_COLLECTIONS
 | 
						|
    INotifyCollectionChanged,
 | 
						|
#endif
 | 
						|
    IObservableCollection<TItem>,
 | 
						|
    IDisposable {
 | 
						|
 | 
						|
    #region class Enumerator
 | 
						|
 | 
						|
    /// <summary>Enumerates over the items in a virtual list</summary>
 | 
						|
    private class Enumerator : IEnumerator<TItem>, IEnumerator {
 | 
						|
 | 
						|
      /// <summary>Initializes a new virtual list enumerator</summary>
 | 
						|
      /// <param name="virtualList">List whose items will be enumerated</param>
 | 
						|
      public Enumerator(AsyncVirtualObservableReadOnlyList<TItem> virtualList) {
 | 
						|
        this.virtualList = virtualList;
 | 
						|
        this.currentItemIndex = -1;
 | 
						|
        this.lastMoveNextResult = false;
 | 
						|
 | 
						|
        Reset();
 | 
						|
      }
 | 
						|
 | 
						|
      /// <summary>Immediately releases all resources owned by the instance</summary>
 | 
						|
      public void Dispose() {
 | 
						|
        this.virtualList = null!; // Only to decouple and make the GC's work easier
 | 
						|
      }
 | 
						|
 | 
						|
      /// <summary>The item at the enumerator's current position</summary>
 | 
						|
      public TItem Current {
 | 
						|
        get {
 | 
						|
#if DEBUG
 | 
						|
          checkVersion();
 | 
						|
#endif
 | 
						|
 | 
						|
          // If the most recent call to MoveNext() returned false, it means that
 | 
						|
          // the enumerator has reached the end of the list, so in that
 | 
						|
          if(this.lastMoveNextResult == false) {
 | 
						|
            throw new InvalidOperationException("Enumerator is not on a valid position");
 | 
						|
          }
 | 
						|
 | 
						|
          this.virtualList.requireCount();
 | 
						|
          this.virtualList.requirePage(this.currentItemIndex / this.virtualList.pageSize);
 | 
						|
 | 
						|
          return this.virtualList.typedList[this.currentItemIndex];
 | 
						|
        }
 | 
						|
      }
 | 
						|
 | 
						|
      /// <summary>Advances the enumerator to the next item</summary>
 | 
						|
      /// <returns>True if there was a next item</returns>
 | 
						|
      public bool MoveNext() {
 | 
						|
#if DEBUG
 | 
						|
        checkVersion();
 | 
						|
#endif
 | 
						|
 | 
						|
        this.virtualList.requireCount();
 | 
						|
 | 
						|
        // Go forward if there potentially are items remaining. The count may still be
 | 
						|
        // unreliable at this point (due to the uncertain count mechanism that truncates
 | 
						|
        // the list when fetching items finds an earlier end of the list)
 | 
						|
        if(this.currentItemIndex < this.virtualList.assumedCount.Value) {
 | 
						|
 | 
						|
          // If the enumerator's 'Current' property is never used an the virtual list
 | 
						|
          // uses the dynamic truncation features (for unknown list sizes), then this
 | 
						|
          // enumerator could be moved way past the last element via 'MoveNext()'.
 | 
						|
          this.virtualList.requirePage(this.currentItemIndex / this.virtualList.pageSize);
 | 
						|
          ++this.currentItemIndex; // Accept potentially advancing past the end here
 | 
						|
 | 
						|
        }
 | 
						|
 | 
						|
        // Are we on a valid item? If so, return true to indicate the list continued,
 | 
						|
        // otherwise we must have hit the end (or are already past it).
 | 
						|
        return this.lastMoveNextResult = (
 | 
						|
          (this.currentItemIndex < this.virtualList.assumedCount.Value)
 | 
						|
        );
 | 
						|
      }
 | 
						|
 | 
						|
      /// <summary>Resets the enumerator to its initial position</summary>
 | 
						|
      public void Reset() {
 | 
						|
        this.virtualList.requireCount(); // to fix version
 | 
						|
 | 
						|
        this.currentItemIndex = -1;
 | 
						|
#if DEBUG
 | 
						|
        this.expectedVersion = this.virtualList.version;
 | 
						|
#endif
 | 
						|
      }
 | 
						|
 | 
						|
      /// <summary>The item at the enumerator's current position</summary>
 | 
						|
      object? IEnumerator.Current {
 | 
						|
        get { return Current; }
 | 
						|
      }
 | 
						|
 | 
						|
#if DEBUG
 | 
						|
      /// <summary>Ensures that the virtual list has not changed</summary>
 | 
						|
      private void checkVersion() {
 | 
						|
        if(this.expectedVersion != this.virtualList.version)
 | 
						|
          throw new InvalidOperationException("Virtual list has been modified");
 | 
						|
      }
 | 
						|
#endif
 | 
						|
 | 
						|
      /// <summary>Virtual list the enumerator belongs to</summary>
 | 
						|
      private AsyncVirtualObservableReadOnlyList<TItem> virtualList;
 | 
						|
      /// <summary>Index of the item the enumerator currently is in</summary>
 | 
						|
      private int currentItemIndex;
 | 
						|
      /// <summary>The most recent result returned from MoveNext()</summary>
 | 
						|
      private bool lastMoveNextResult;
 | 
						|
#if DEBUG
 | 
						|
      /// <summary>Version the virtual list is expected to have</summary>
 | 
						|
      private int expectedVersion;
 | 
						|
#endif
 | 
						|
    }
 | 
						|
 | 
						|
    #endregion // class Enumerator
 | 
						|
 | 
						|
    /// <summary>Raised when an item has been added to the collection</summary>
 | 
						|
    public event EventHandler<ItemEventArgs<TItem>>? ItemAdded { add {} remove{} }
 | 
						|
    /// <summary>Raised when an item is removed from the collection</summary>
 | 
						|
    public event EventHandler<ItemEventArgs<TItem>>? ItemRemoved { add {} remove{} }
 | 
						|
    /// <summary>Raised when an item is replaced in the collection</summary>
 | 
						|
    public event EventHandler<ItemReplaceEventArgs<TItem>>? ItemReplaced;
 | 
						|
    /// <summary>Raised when the collection is about to be cleared</summary>
 | 
						|
    /// <remarks>
 | 
						|
    ///   This could be covered by calling ItemRemoved for each item currently
 | 
						|
    ///   contained in the collection, but it is often simpler and more efficient
 | 
						|
    ///   to process the clearing of the entire collection as a special operation.
 | 
						|
    /// </remarks>
 | 
						|
    public event EventHandler? Clearing { add {} remove{} }
 | 
						|
    /// <summary>Raised when the collection has been cleared</summary>
 | 
						|
    public event EventHandler? Cleared { add {} remove{} }
 | 
						|
 | 
						|
    /// <summary>Triggered when additional items have been lazy-loaded</summary>
 | 
						|
    public event EventHandler<LazyFetchEventArgs>? ItemsFetched;
 | 
						|
 | 
						|
#if !NO_SPECIALIZED_COLLECTIONS
 | 
						|
    /// <summary>Called when the collection has changed</summary>
 | 
						|
    public event NotifyCollectionChangedEventHandler? CollectionChanged;
 | 
						|
#endif
 | 
						|
 | 
						|
    /// <summary>
 | 
						|
    ///   Initializes a new instance of the ObservableList class that is empty.
 | 
						|
    /// </summary>
 | 
						|
    /// <param name="pageSize">
 | 
						|
    ///   How many items to download in one batch
 | 
						|
    /// </param>
 | 
						|
    /// <remarks>
 | 
						|
    ///   The <paramref name="pageSize" /> can be set to one to request items
 | 
						|
    ///   individually or to a larger value in order to improve efficiency when
 | 
						|
    ///   the source of the items is a database or similar source that gains
 | 
						|
    ///   performance from requesting multiple items at once.
 | 
						|
    /// </remarks>
 | 
						|
    public AsyncVirtualObservableReadOnlyList(int pageSize = 32) {
 | 
						|
      this.typedList = new List<TItem>();
 | 
						|
      this.objectList = (IList)this.typedList;
 | 
						|
      this.pageSize = pageSize;
 | 
						|
      this.fetchedPages = new bool[0];
 | 
						|
      this.requestedPages = new ConcurrentQueue<int>();
 | 
						|
      this.cancellationTokenSource = new CancellationTokenSource();
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>Stops all queued fetches and frees the collection's resources</summary>
 | 
						|
    public void Dispose() {
 | 
						|
      if(this.cancellationTokenSource != null) {
 | 
						|
        this.cancellationTokenSource.Cancel();
 | 
						|
        this.cancellationTokenSource.Dispose();
 | 
						|
        this.cancellationTokenSource = null!;
 | 
						|
      }
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>
 | 
						|
    ///   Marks all items as non-fetched, causing them to be requested again
 | 
						|
    /// </summary>
 | 
						|
    /// <param name="purgeItems">
 | 
						|
    ///   Whether to also clear the items that may already be in memory but would
 | 
						|
    ///   get overwritten on the next fetch. If items consume a lot of memory, this
 | 
						|
    ///   will make them available for garbage collection.
 | 
						|
    /// </param>
 | 
						|
    public void InvalidateAll(bool purgeItems = false) {
 | 
						|
      int itemCount;
 | 
						|
      lock(this) {
 | 
						|
        if(!this.assumedCount.HasValue) {
 | 
						|
          return; // If not fetched before, no action is needed
 | 
						|
        }
 | 
						|
 | 
						|
        itemCount = this.assumedCount.Value;
 | 
						|
      }
 | 
						|
 | 
						|
      // Mark the pages as un-fetched
 | 
						|
      int pageCount = this.fetchedPages.Length;
 | 
						|
      if(purgeItems) {
 | 
						|
        var oldItemList = new List<TItem>(capacity: this.pageSize);
 | 
						|
 | 
						|
        for(int pageIndex = 0; pageIndex < pageCount; ++pageIndex) {
 | 
						|
          if(this.fetchedPages[pageIndex]) {
 | 
						|
            this.fetchedPages[pageIndex] = false;
 | 
						|
 | 
						|
            // Figure out the page's item start index and how big the page is 
 | 
						|
            int offset = pageIndex * this.pageSize;
 | 
						|
            int count = Math.Min(itemCount - offset, this.pageSize);
 | 
						|
 | 
						|
            // Make a backup of the old item values so we can provide them
 | 
						|
            // in the ItemReplaced change notification we'll send out.
 | 
						|
            for(int index = 0; index < count; ++index) {
 | 
						|
              oldItemList[index] = this.typedList[offset + index];
 | 
						|
            }
 | 
						|
 | 
						|
            // Replace the loaded items with placeholder items
 | 
						|
#if DEBUG
 | 
						|
            System.Diagnostics.Trace.WriteLine(
 | 
						|
              $"avor: setting up placeholders for items ${offset} +${count}"
 | 
						|
            );
 | 
						|
#endif
 | 
						|
            CreatePlaceholderItems(this.typedList, offset, count);
 | 
						|
 | 
						|
            // Send out change notifications for all items we just replace with placeholders
 | 
						|
#if DEBUG
 | 
						|
            System.Diagnostics.Trace.WriteLine(
 | 
						|
              $"avor: sending 'replace' notifications for items ${offset} +${count}"
 | 
						|
            );
 | 
						|
#endif
 | 
						|
            for(int index = 0; index < count; ++index) {
 | 
						|
              OnReplaced(oldItemList[index], this.typedList[offset + index], offset + index);
 | 
						|
            }
 | 
						|
 | 
						|
            // Make sure the old items aren't lingering around
 | 
						|
            oldItemList.Clear();
 | 
						|
          }
 | 
						|
        }
 | 
						|
 | 
						|
      } else {
 | 
						|
        for(int pageIndex = 0; pageIndex < pageCount; ++pageIndex) {
 | 
						|
          this.fetchedPages[pageIndex] = false;
 | 
						|
        }
 | 
						|
      }
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>
 | 
						|
    ///   Marks an items as non-fetched, causing it to be requested again on access
 | 
						|
    /// </summary>
 | 
						|
    /// <param name="itemIndex">
 | 
						|
    ///   Index of the item that will be marked as non-fetched
 | 
						|
    /// </param>
 | 
						|
    /// <param name="purgeItems">
 | 
						|
    ///   Whether to also clear the items that may already be in memory but would
 | 
						|
    ///   get overwritten on the next fetch. If items consume a lot of memory, this
 | 
						|
    ///   will make them available for garbage collection.
 | 
						|
    /// </param>
 | 
						|
    /// <remarks>
 | 
						|
    ///   Since the list works in pages, this will actually mark the whole page as
 | 
						|
    ///   non-fetched, causing all items in the same page to be requested again
 | 
						|
    ///   when any of them are next accessed.
 | 
						|
    /// </remarks>
 | 
						|
    public void Invalidate(int itemIndex, bool purgeItems = false) {
 | 
						|
      lock(this) {
 | 
						|
        if(!this.assumedCount.HasValue) {
 | 
						|
          return; // If not fetched before, no action is needed
 | 
						|
        }
 | 
						|
      }
 | 
						|
 | 
						|
      // Mark the entie page as needing re-fetching (we've got no other choice)
 | 
						|
      int pageIndex = itemIndex / this.pageSize;
 | 
						|
      this.fetchedPages[pageIndex] = false;
 | 
						|
 | 
						|
      // If we're asked to also purge the item, replace the item with
 | 
						|
      // a placeholder item and trigger the change notification
 | 
						|
      if(purgeItems) {
 | 
						|
        TItem oldItem = this.typedList[itemIndex];
 | 
						|
#if DEBUG
 | 
						|
        System.Diagnostics.Trace.WriteLine(
 | 
						|
          $"avor: setting up placeholder for item ${itemIndex}"
 | 
						|
        );
 | 
						|
#endif
 | 
						|
        CreatePlaceholderItems(this.typedList, itemIndex, 1);
 | 
						|
#if DEBUG
 | 
						|
        System.Diagnostics.Trace.WriteLine(
 | 
						|
          $"avor: sending 'replace' notifications for item ${itemIndex}"
 | 
						|
        );
 | 
						|
#endif
 | 
						|
        OnReplaced(oldItem, this.typedList[itemIndex], itemIndex);
 | 
						|
      }
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>Determines the index of the specified item in the list</summary>
 | 
						|
    /// <param name="item">Item whose index will be determined</param>
 | 
						|
    /// <returns>The index of the item in the list or -1 if not found</returns>
 | 
						|
    public int IndexOf(TItem item) {
 | 
						|
      requireCount();
 | 
						|
      requireAllPages();
 | 
						|
 | 
						|
      // TODO: this won't work, it will compare the placeholder items :-/
 | 
						|
      //       (because the pages are still being fetched at this point)
 | 
						|
 | 
						|
      IComparer<TItem> itemComparer = Comparer<TItem>.Default;
 | 
						|
      for(int index = 0; index < this.assumedCount.Value; ++index) {
 | 
						|
        if(itemComparer.Compare(this.typedList[index], item) == 0) {
 | 
						|
          return index;
 | 
						|
        }
 | 
						|
      }
 | 
						|
 | 
						|
      return -1;
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>Inserts an item into the list at the specified index</summary>
 | 
						|
    /// <param name="index">Index the item will be inserted at</param>
 | 
						|
    /// <param name="item">Item that will be inserted into the list</param>
 | 
						|
    public void Insert(int index, TItem item) {
 | 
						|
      throw new NotSupportedException("Cannot insert items into a read-only list");
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>Removes the item at the specified index from the list</summary>
 | 
						|
    /// <param name="index">Index at which the item will be removed</param>
 | 
						|
    public void RemoveAt(int index) {
 | 
						|
      throw new NotSupportedException("Cannot remove items from a read-only list");
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>Accesses the item at the specified index in the list</summary>
 | 
						|
    /// <param name="index">Index of the item that will be accessed</param>
 | 
						|
    /// <returns>The item at the specified index</returns>
 | 
						|
    public TItem this[int index] {
 | 
						|
      get {
 | 
						|
        requireCount();
 | 
						|
        requirePage(index / this.pageSize);
 | 
						|
 | 
						|
        return this.typedList[index];
 | 
						|
      }
 | 
						|
      set {
 | 
						|
        throw new NotSupportedException("Cannot replace items in a read-only list");
 | 
						|
      }
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>Adds an item to the end of the list</summary>
 | 
						|
    /// <param name="item">Item that will be added to the list</param>
 | 
						|
    public void Add(TItem item) {
 | 
						|
      throw new NotSupportedException("Cannot add items to a read-only list");
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>Removes all items from the list</summary>
 | 
						|
    public void Clear() {
 | 
						|
      throw new NotSupportedException("Cannot clear a read-only list");
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>Checks whether the list contains the specified item</summary>
 | 
						|
    /// <param name="item">Item the list will be checked for</param>
 | 
						|
    /// <returns>True if the list contains the specified items</returns>
 | 
						|
    public bool Contains(TItem item) {
 | 
						|
      // TODO: this won't work, it will compare the placeholder items :-/
 | 
						|
      return (IndexOf(item) != -1);
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>Copies the contents of the list into an array</summary>
 | 
						|
    /// <param name="array">Array the list will be copied into</param>
 | 
						|
    /// <param name="arrayIndex">
 | 
						|
    ///   Index in the target array where the first item will be copied to
 | 
						|
    /// </param>
 | 
						|
    public void CopyTo(TItem[] array, int arrayIndex) {
 | 
						|
      requireCount();
 | 
						|
      requireAllPages();
 | 
						|
 | 
						|
      // TODO: this won't work, it will copy the placeholder items :-/
 | 
						|
      this.typedList.CopyTo(array, arrayIndex);
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>Total number of items in the list</summary>
 | 
						|
    public int Count {
 | 
						|
      get { return requireCount(); }
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>Whether the list is a read-only list</summary>
 | 
						|
    public bool IsReadOnly {
 | 
						|
      get {
 | 
						|
        //return this.typedList.IsReadOnly;
 | 
						|
        return true;
 | 
						|
      }
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>Removes the specified item from the list</summary>
 | 
						|
    /// <param name="item">Item that will be removed from the list</param>
 | 
						|
    /// <returns>
 | 
						|
    ///   True if the item was found and removed from the list, false otherwise
 | 
						|
    /// </returns>
 | 
						|
    public bool Remove(TItem item) {
 | 
						|
      throw new NotSupportedException("Cannot remove items from a read-only list");
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>Returns an enumerator for the items in the list</summary>
 | 
						|
    /// <returns>An enumerator for the list's items</returns>
 | 
						|
    public IEnumerator<TItem> GetEnumerator() {
 | 
						|
      return new Enumerator(this);
 | 
						|
    }
 | 
						|
 | 
						|
    #region IEnumerable implementation
 | 
						|
 | 
						|
    /// <summary>Returns an enumerator for the items in the list</summary>
 | 
						|
    /// <returns>An enumerator for the list's items</returns>
 | 
						|
    IEnumerator IEnumerable.GetEnumerator() {
 | 
						|
      return new Enumerator(this);
 | 
						|
    }
 | 
						|
 | 
						|
    #endregion // IEnumerable implementation
 | 
						|
 | 
						|
    #region ICollection implementation
 | 
						|
 | 
						|
    /// <summary>Copies the contents of the list into an array</summary>
 | 
						|
    /// <param name="array">Array the list will be copied into</param>
 | 
						|
    /// <param name="arrayIndex">
 | 
						|
    ///   Index in the target array where the first item will be copied to
 | 
						|
    /// </param>
 | 
						|
    void ICollection.CopyTo(Array array, int arrayIndex) {
 | 
						|
      requireCount();
 | 
						|
      requireAllPages();
 | 
						|
 | 
						|
      this.objectList.CopyTo(array, arrayIndex);
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>Whether this list performs thread synchronization</summary>
 | 
						|
    bool ICollection.IsSynchronized {
 | 
						|
      get { return this.objectList.IsSynchronized; }
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>Synchronization root used by the list to synchronize threads</summary>
 | 
						|
    object ICollection.SyncRoot {
 | 
						|
      get { return this.objectList.SyncRoot; }
 | 
						|
    }
 | 
						|
 | 
						|
    #endregion // ICollection implementation
 | 
						|
 | 
						|
    #region IList implementation
 | 
						|
 | 
						|
    /// <summary>Adds an item to the list</summary>
 | 
						|
    /// <param name="value">Item that will be added to the list</param>
 | 
						|
    /// <returns>
 | 
						|
    ///   The position at which the item has been inserted or -1 if the item was not inserted
 | 
						|
    /// </returns>
 | 
						|
    int IList.Add(object? value) {
 | 
						|
      throw new NotSupportedException("Cannot add items into a read-only list");
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>Checks whether the list contains the specified item</summary>
 | 
						|
    /// <param name="item">Item the list will be checked for</param>
 | 
						|
    /// <returns>True if the list contains the specified items</returns>
 | 
						|
    bool IList.Contains(object? item) {
 | 
						|
      requireCount();
 | 
						|
      requireAllPages();
 | 
						|
      return this.objectList.Contains(item);
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>Determines the index of the specified item in the list</summary>
 | 
						|
    /// <param name="item">Item whose index will be determined</param>
 | 
						|
    /// <returns>The index of the item in the list or -1 if not found</returns>
 | 
						|
    int IList.IndexOf(object? item) {
 | 
						|
      requireCount();
 | 
						|
      requireAllPages();
 | 
						|
      return this.objectList.IndexOf(item);
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>Inserts an item into the list at the specified index</summary>
 | 
						|
    /// <param name="index">Index the item will be inserted at</param>
 | 
						|
    /// <param name="item">Item that will be inserted into the list</param>
 | 
						|
    void IList.Insert(int index, object? item) {
 | 
						|
      throw new NotSupportedException("Cannot insert items into a read-only list");
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>Whether the list is of a fixed size</summary>
 | 
						|
    bool IList.IsFixedSize {
 | 
						|
      get { return this.objectList.IsFixedSize; }
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>Removes the specified item from the list</summary>
 | 
						|
    /// <param name="item">Item that will be removed from the list</param>
 | 
						|
    void IList.Remove(object? item) {
 | 
						|
      throw new NotSupportedException("Cannot remove items from a read-only list");
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>Accesses the item at the specified index in the list</summary>
 | 
						|
    /// <param name="index">Index of the item that will be accessed</param>
 | 
						|
    /// <returns>The item at the specified index</returns>
 | 
						|
    object? IList.this[int index] {
 | 
						|
      get {
 | 
						|
        requireCount();
 | 
						|
        requirePage(index / this.pageSize);
 | 
						|
 | 
						|
        return this.objectList[index];
 | 
						|
      }
 | 
						|
      set {
 | 
						|
        throw new NotSupportedException("Cannot assign items into a read-only list");
 | 
						|
      }
 | 
						|
    }
 | 
						|
 | 
						|
    #endregion // IList implementation
 | 
						|
 | 
						|
    /// <summary>Fires the 'ItemReplaced' event</summary>
 | 
						|
    /// <param name="oldItem">Item that has been replaced</param>
 | 
						|
    /// <param name="newItem">New item the original item was replaced with</param>
 | 
						|
    /// <param name="index">Index of the replaced item</param>
 | 
						|
    protected virtual void OnReplaced(TItem oldItem, TItem newItem, int index) {
 | 
						|
      ItemReplaced?.Invoke(this, new ItemReplaceEventArgs<TItem>(oldItem, newItem));
 | 
						|
 | 
						|
#if !NO_SPECIALIZED_COLLECTIONS
 | 
						|
      CollectionChanged?.Invoke(
 | 
						|
        this,
 | 
						|
        new NotifyCollectionChangedEventArgs(
 | 
						|
          NotifyCollectionChangedAction.Replace, newItem, oldItem, index
 | 
						|
        )
 | 
						|
      );
 | 
						|
#endif
 | 
						|
    }
 | 
						|
 | 
						|
#if false
 | 
						|
    /// <summary>Forces the items list to be allocated</summary>
 | 
						|
    /// <remarks>
 | 
						|
    ///   If your item count is already known by the time the list is constructed,
 | 
						|
    ///   you can call this method in your constructor and avoid potential enumerator
 | 
						|
    ///   version exceptions due to the underlying list changing between enumerator
 | 
						|
    ///   creation and enumerating the first item.
 | 
						|
    /// </remarks>
 | 
						|
    protected void ForceItemAllocation() {
 | 
						|
      requireCount();
 | 
						|
    }
 | 
						|
 | 
						|
    protected bool IsFetched(int itemIndex) {
 | 
						|
      requireCount();
 | 
						|
      return this.fetchedPages[itemIndex / this.pageSize];
 | 
						|
    }
 | 
						|
#endif
 | 
						|
 | 
						|
    /// <summary>Fires the 'ItemsFetched' event</summary>
 | 
						|
    /// <param name="startIndex">Index of the first fetched item</param>
 | 
						|
    /// <param name="count">Number of items that have been fetched</param>
 | 
						|
    protected virtual void OnFetched(int startIndex, int count) {
 | 
						|
      ItemsFetched?.Invoke(this, new LazyFetchEventArgs(startIndex, count));
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>Retrieves an item by index without triggering a fetch</summary>
 | 
						|
    /// <param name="index">Index of the item that will be retrieved</param>
 | 
						|
    /// <returns>The item at the specified index</returns>
 | 
						|
    /// <remarks>
 | 
						|
    ///   You can use this method if your lazy-loaded collected has, for example, an extra
 | 
						|
    ///   <code>IsSelected</code> column which the user can toggle on or off. By checking
 | 
						|
    ///   the <code>IsSelected</code> state via this method, you avoid fetching any pages
 | 
						|
    ///   merely to check if the user selected them. You will be exposed to placeholder
 | 
						|
    ///   items (and even null items until I fix this...)
 | 
						|
    /// </remarks>
 | 
						|
    protected TItem GetAtIndexWithoutFetching(int index) {
 | 
						|
      requireCount();
 | 
						|
      return this.typedList[index];
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>Counts the total number of items in the virtual collection</summary>
 | 
						|
    /// <returns>The total number of items</returns>
 | 
						|
    protected abstract int CountItems();
 | 
						|
 | 
						|
    /// <summary>Fetches a page required by the collection</summary>
 | 
						|
    /// <param name="target">List into which the items should be fetched</param>
 | 
						|
    /// <param name="startIndex">
 | 
						|
    ///   Index of the first item to fetch. This is both the start index in
 | 
						|
    ///   the actual data and the element index at which to write into the list.
 | 
						|
    /// </param>
 | 
						|
    /// <param name="count">Number of items that should be fetched</param>
 | 
						|
    /// <returns>The number of items that were actually fetched</returns>
 | 
						|
    /// <remarks>
 | 
						|
    ///   If you fetch fewer than the requested number of items here, you will immediately
 | 
						|
    ///   truncate the entire list (it will assume that the end was reached, a means
 | 
						|
    ///   to support cases where the total number is not known). Fetching more than
 | 
						|
    ///   the requested number of items will just put items in memory that the list will
 | 
						|
    ///   continue to think are empty and fetch again if they are actually accessed.
 | 
						|
    /// </remarks>
 | 
						|
    protected abstract Task<int> FetchItemsAsync(
 | 
						|
      IList<TItem> target, int startIndex, int count
 | 
						|
    );
 | 
						|
 | 
						|
    /// <summary>Requests placeholder items to be created</summary>
 | 
						|
    /// <param name="target">List into which the items should be created</param>
 | 
						|
    /// <param name="startIndex">
 | 
						|
    ///   Index of the first item to create a placeholder for. This is both the start index
 | 
						|
    ///   in the actual data and the element index at which to write into the list.
 | 
						|
    /// </param>
 | 
						|
    /// <param name="count">Number of items that should be crated</param>
 | 
						|
    /// <remarks>
 | 
						|
    ///   When you requests items that have not been fetched yet, this method will be
 | 
						|
    ///   called synchronously to create placeholder items (these could be empty items
 | 
						|
    ///   or items with a 'StillLoading' flag set. This allows any UI controls showing
 | 
						|
    ///   the collection's contents to immediately display the items while fetching
 | 
						|
    ///   happens in the background and will replace the placeholder once complete.
 | 
						|
    /// </remarks>
 | 
						|
    protected abstract void CreatePlaceholderItems(
 | 
						|
      IList<TItem> target, int startIndex, int count
 | 
						|
    );
 | 
						|
 | 
						|
    /// <summary>Reports errors when fetching data</summary>
 | 
						|
    /// <param name="error">Exception that has occured</param>
 | 
						|
    /// <param name="action">Describes the action during which the error happened</param>
 | 
						|
    protected abstract void HandleFetchError(Exception error, string action);
 | 
						|
 | 
						|
    /// <summary>Ensures that the total number of items is known</summary>
 | 
						|
    /// <returns>The item count</returns>
 | 
						|
    [MemberNotNull(nameof(assumedCount))]
 | 
						|
    private int requireCount() {
 | 
						|
      lock(this) {
 | 
						|
        if(this.assumedCount.HasValue) {
 | 
						|
          return this.assumedCount.Value;
 | 
						|
        }
 | 
						|
      }
 | 
						|
 | 
						|
      int itemCount;
 | 
						|
      try {
 | 
						|
#if DEBUG
 | 
						|
        System.Diagnostics.Trace.WriteLine("avor: counting items synchronously");
 | 
						|
#endif
 | 
						|
        itemCount = CountItems();
 | 
						|
      }
 | 
						|
      catch(Exception error) {
 | 
						|
        lock(this) {
 | 
						|
          this.assumedCount = 0; // Act as if the collection has zero items
 | 
						|
        }
 | 
						|
 | 
						|
        // Do not let the error bubble up into what is likely an unsuspecting
 | 
						|
        // data grid control or virtualized list widget. Let the user decide what
 | 
						|
        // to do about the error - i.e. set an error flag in their view model.
 | 
						|
        HandleFetchError(
 | 
						|
          error, "Failed to determine the number of items in the collection"
 | 
						|
        );
 | 
						|
        return 0;
 | 
						|
      } // try CountItems() catch
 | 
						|
 | 
						|
      // Items were counted successfully, so adopt the count and initialize our
 | 
						|
      // internal arrays to avoid having to resize the arrays later on (which
 | 
						|
      // saves us a few lock statements)
 | 
						|
      lock(this) {
 | 
						|
        this.assumedCount = itemCount;
 | 
						|
 | 
						|
        int pageCount = (itemCount + this.pageSize - 1) / this.pageSize;
 | 
						|
        this.fetchedPages = new bool[pageCount];
 | 
						|
 | 
						|
        // Resize the list (so we don't have to mutex-lock the list itself),
 | 
						|
        // but put default items in there. We'll create placeholders when they
 | 
						|
        // are accessed, not before (ideally, I'd want uninitialized instances
 | 
						|
        // here, but that would need very thorough verification
 | 
						|
        while(this.typedList.Count < itemCount) {
 | 
						|
          this.typedList.Add(default(TItem)!);
 | 
						|
        }
 | 
						|
      } // lock this
 | 
						|
 | 
						|
#if DEBUG
 | 
						|
      ++this.version;
 | 
						|
#endif
 | 
						|
 | 
						|
      return itemCount;
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>Ensures that all items have fetched</summary>
 | 
						|
    /// <remarks>
 | 
						|
    ///   Avoid if possible.
 | 
						|
    /// </remarks>
 | 
						|
    private void requireAllPages() {
 | 
						|
      lock(this) {
 | 
						|
        Debug.Assert(
 | 
						|
          this.assumedCount.HasValue,
 | 
						|
          "This method should only be called when item count is already known"
 | 
						|
        );
 | 
						|
      }
 | 
						|
 | 
						|
#if DEBUG
 | 
						|
      System.Diagnostics.Trace.WriteLine(
 | 
						|
        $"avor: warning - a scanning operation had to request all available pages"
 | 
						|
      );
 | 
						|
#endif
 | 
						|
 | 
						|
      int pageCount = this.fetchedPages.Length;
 | 
						|
      for(int index = 0; index < pageCount; ++index) {
 | 
						|
        requirePage(index);
 | 
						|
        // CHECK: Should we throttle this by constructing a clever chain of
 | 
						|
        //        ContinueWith() tasks so we don't cause a flood of async requests?
 | 
						|
      }
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>Ensures that the specified page has been fetched</summary>
 | 
						|
    /// <param name="pageIndex">Index of the page that needs to be fetched</param>
 | 
						|
    private async void requirePage(int pageIndex) {
 | 
						|
      int itemCount;
 | 
						|
      lock(this) {
 | 
						|
        if(!this.assumedCount.HasValue) {
 | 
						|
          Debug.Assert(
 | 
						|
            this.assumedCount.HasValue,
 | 
						|
            "This method should only be called when item count is already known"
 | 
						|
          );
 | 
						|
          return;
 | 
						|
        }
 | 
						|
        itemCount = this.assumedCount.Value;
 | 
						|
      }
 | 
						|
 | 
						|
      // If the page is already fetched (or in flight), do nothing
 | 
						|
      if((pageIndex >= this.fetchedPages.Length) || this.fetchedPages[pageIndex]) {
 | 
						|
        return;
 | 
						|
      }
 | 
						|
 | 
						|
      // The page was not fetched, so synchronously fill it with place holder items
 | 
						|
      // as a first step (their creation should be fast and immediate).
 | 
						|
      int offset = pageIndex * this.pageSize;
 | 
						|
      int count = Math.Min(itemCount - offset, this.pageSize);
 | 
						|
#if DEBUG
 | 
						|
      System.Diagnostics.Trace.WriteLine(
 | 
						|
        $"avor: setting up placeholders for items ${offset} +${count}"
 | 
						|
      );
 | 
						|
#endif
 | 
						|
      CreatePlaceholderItems(this.typedList, offset, count);
 | 
						|
 | 
						|
      // Ensure the items are present before marking the page as fetched
 | 
						|
      Interlocked.MemoryBarrier();
 | 
						|
      this.fetchedPages[pageIndex] = true; // Prevent double-fetch
 | 
						|
 | 
						|
      // If another thread is already fetching pages, just schedule this additional page
 | 
						|
      // instead of kicking off another async fetch which could potentially lead to
 | 
						|
      // hundreds of async tasks dog-piling on a database connection.
 | 
						|
      lock(this) {
 | 
						|
        if(this.isFetching) {
 | 
						|
          this.requestedPages.TryAdd(pageIndex);
 | 
						|
          return;
 | 
						|
        } else {
 | 
						|
          this.isFetching = true;
 | 
						|
        }
 | 
						|
      }
 | 
						|
 | 
						|
      {
 | 
						|
        CancellationToken canceller = this.cancellationTokenSource.Token;
 | 
						|
 | 
						|
        // Fetch items from the database. While we do this, other requests may come in
 | 
						|
        // and will see that one thread is already doing a fetch, then queue their page index
 | 
						|
        // on the list of requested pages list. This loop will keep running until either
 | 
						|
        // cancellation occurs or until there are no more requested pages.
 | 
						|
        while(!canceller.IsCancellationRequested) {
 | 
						|
          offset = pageIndex * this.pageSize;
 | 
						|
          count = Math.Min(itemCount - offset, this.pageSize);
 | 
						|
 | 
						|
          // Remember the previous items that are going to be replaced by
 | 
						|
          // the fetch operation below,allowing us to report these in our change notification
 | 
						|
          var previousItems = new List<TItem>(capacity: count);
 | 
						|
          for(int index = 0; index < count; ++index) {
 | 
						|
            previousItems.Add(this.typedList[index + offset]);
 | 
						|
          }
 | 
						|
 | 
						|
          // Now request the items on the page. This request will run asynchronously,
 | 
						|
          // but we'll use an await to get to deliver change notifications once
 | 
						|
          // the page has been fetched and the items are there.
 | 
						|
          int fetchedItemCount;
 | 
						|
          try {
 | 
						|
  #if DEBUG
 | 
						|
            System.Diagnostics.Trace.WriteLine(
 | 
						|
              $"avor: background-fetching items ${offset} +${count}"
 | 
						|
            );
 | 
						|
  #endif
 | 
						|
            fetchedItemCount = await FetchItemsAsync(this.typedList, offset, count);
 | 
						|
  #if DEBUG
 | 
						|
            System.Diagnostics.Trace.WriteLine(
 | 
						|
              $"avor: finished background-fetching items ${offset} +${count}"
 | 
						|
            );
 | 
						|
  #endif
 | 
						|
          }
 | 
						|
          catch(Exception error) {
 | 
						|
 | 
						|
            // Do not let the error bubble up into what is likely an unsuspecting
 | 
						|
            // data grid control or virtualized list widget. Let the user decide what
 | 
						|
            // to do about the error - i.e. set an error flag in their view model.
 | 
						|
            HandleFetchError(
 | 
						|
              error, $"Failed to fetch list items {offset} to {offset + count}"
 | 
						|
            );
 | 
						|
            this.fetchedPages[pageIndex] = false; // We failed!
 | 
						|
            lock(this) {
 | 
						|
              this.isFetching = false;
 | 
						|
            }
 | 
						|
            return; // Leave the placeholder items in, do not process the queue further
 | 
						|
 | 
						|
          }
 | 
						|
          if(fetchedItemCount < this.pageSize) {
 | 
						|
            itemCount = offset + fetchedItemCount;
 | 
						|
            lock(this) {
 | 
						|
              if(itemCount < this.assumedCount) {
 | 
						|
                this.assumedCount = itemCount;
 | 
						|
#if DEBUG
 | 
						|
                ++this.version;
 | 
						|
#endif
 | 
						|
              }
 | 
						|
            }
 | 
						|
          }
 | 
						|
 | 
						|
          // The count may have been adjusted if this truncated the list,
 | 
						|
          // so recalculate the actual number of items. Then send out change
 | 
						|
          // notifications for the items that have now been fetched.
 | 
						|
          count = Math.Min(itemCount - offset, this.pageSize);
 | 
						|
  #if DEBUG
 | 
						|
          System.Diagnostics.Trace.WriteLine(
 | 
						|
            $"avor: sending 'replace' notifications for items ${offset} +${count}"
 | 
						|
          );
 | 
						|
  #endif
 | 
						|
          for(int index = 0; index < count; ++index) {
 | 
						|
            OnReplaced(previousItems[index], this.typedList[index + offset], index + offset);
 | 
						|
          }
 | 
						|
 | 
						|
          // Notify that we've fetched additional items
 | 
						|
          OnFetched(offset, count);
 | 
						|
 | 
						|
          // See if there is another page we need to fetch. If there is, continue
 | 
						|
          // with that page, otherwise, we're done, so we clear the isFetching flag
 | 
						|
          // to make the next caller that wants items fetch them rather than queue them.
 | 
						|
          lock(this) {
 | 
						|
            if(!this.requestedPages.TryTake(out pageIndex)) {
 | 
						|
              this.isFetching = false;
 | 
						|
              break;
 | 
						|
            }
 | 
						|
          }
 | 
						|
 | 
						|
        } // while not cancellation requested
 | 
						|
      } // beauty scope
 | 
						|
    }
 | 
						|
 | 
						|
    /// <summary>Number of items the collection believes it has</summary>
 | 
						|
    private int? assumedCount;
 | 
						|
    /// <summary>Number of items to fetch in a single request</summary>
 | 
						|
    private readonly int pageSize;
 | 
						|
    /// <summary>Tracks which pages have been requested so far</summary>
 | 
						|
    private bool[] fetchedPages;
 | 
						|
    /// <summary>The wrapped list under its type-safe interface</summary>
 | 
						|
    private IList<TItem> typedList;
 | 
						|
    /// <summary>The wrapped list under its object interface</summary>
 | 
						|
    private IList objectList;
 | 
						|
    /// <summary>Pages still waiting to be fetched</summary>
 | 
						|
    private IProducerConsumerCollection<int> requestedPages;
 | 
						|
    /// <summary>Whether the collection is already fetching pages</summary>
 | 
						|
    /// <remarks>
 | 
						|
    ///   This is set while a page is being fetched. If it is set, additional
 | 
						|
    ///   requested pages will be queued in the <see cref="requestedPages" />
 | 
						|
    ///   queue to avoid dog-piling on an SQL connection.
 | 
						|
    /// </remarks>
 | 
						|
    private bool isFetching; // Could be improved to an int to allow N simultaneous fetches
 | 
						|
    /// <summary>Allows for cancellation of the whole lazy-loaded collection</summary>
 | 
						|
    private CancellationTokenSource cancellationTokenSource;
 | 
						|
#if DEBUG
 | 
						|
    /// <summary>Used to detect when enumerators go out of sync</summary>
 | 
						|
    private int version;
 | 
						|
#endif
 | 
						|
 | 
						|
  }
 | 
						|
 | 
						|
} // namespace Nuclex.Avalonia.Collections
 |