public Page(ByteVectorCollection packets, PageHeader header) : this(header) { if (packets == null) { throw new ArgumentNullException("packets"); } this.packets = new ByteVectorCollection(packets); List<int> list = new List<int>(); IEnumerator<ByteVector> enumerator = packets.GetEnumerator(); try { while (enumerator.MoveNext()) { ByteVector current = enumerator.Current; list.Add(current.Count); } } finally { if (enumerator == null) { } enumerator.Dispose(); } header.PacketSizes = list.ToArray(); }