void Dispose(bool disposing) { if (!this.disposed) { if (disposing) { if (this.synopsis != null) { this.synopsis.Dispose(); this.synopsis = null; } } this.disposed = true; } }
public void Stop() { // On stop, any state is discarded. No output is issued for pending aggregations. this.synopsis.Dispose(); this.synopsis = null; }