internal Enumerator(PositionCollection positions) { this.positions = positions; this.currentIndex = -1; }