File: CollectionSearcher.swift

package info (click to toggle)
swiftlang 6.0.3-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 2,519,992 kB
  • sloc: cpp: 9,107,863; ansic: 2,040,022; asm: 1,135,751; python: 296,500; objc: 82,456; f90: 60,502; lisp: 34,951; pascal: 19,946; sh: 18,133; perl: 7,482; ml: 4,937; javascript: 4,117; makefile: 3,840; awk: 3,535; xml: 914; fortran: 619; cs: 573; ruby: 573
file content (125 lines) | stat: -rw-r--r-- 3,365 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
//===----------------------------------------------------------------------===//
//
// This source file is part of the Swift.org open source project
//
// Copyright (c) 2021-2022 Apple Inc. and the Swift project authors
// Licensed under Apache License v2.0 with Runtime Library Exception
//
// See https://swift.org/LICENSE.txt for license information
//
//===----------------------------------------------------------------------===//

struct DefaultSearcherState<Searched: Collection> {
  enum Position {
    case index(Searched.Index)
    case done
  }
  
  var position: Position
  let end: Searched.Index
}

protocol CollectionSearcher {
  associatedtype Searched: Collection
  associatedtype State
  
  func state(for searched: Searched, in range: Range<Searched.Index>) -> State
  func search(
    _ searched: Searched,
    _ state: inout State
  ) -> Range<Searched.Index>?
}

protocol StatelessCollectionSearcher: CollectionSearcher
  where State == DefaultSearcherState<Searched>
{
  func search(
    _ searched: Searched,
    in range: Range<Searched.Index>) -> Range<Searched.Index>?
}

extension StatelessCollectionSearcher {
  func state(
    for searched: Searched,
    in range: Range<Searched.Index>
  ) -> State {
    State(position: .index(range.lowerBound), end: range.upperBound)
  }
  
  func search(
    _ searched: Searched,
    _ state: inout State
  ) -> Range<Searched.Index>? {
    guard
      case .index(let index) = state.position,
      let range = search(searched, in: index..<state.end)
    else { return nil }
    
    if range.isEmpty {
      if range.upperBound == searched.endIndex {
        state.position = .done
      } else {
        state.position = .index(searched.index(after: range.upperBound))
      }
    } else {
      state.position = .index(range.upperBound)
    }
    
    return range
  }
}

// MARK: Searching from the back

protocol BackwardCollectionSearcher {
  associatedtype BackwardSearched: BidirectionalCollection
  associatedtype BackwardState
  
  func backwardState(
    for searched: BackwardSearched,
    in range: Range<BackwardSearched.Index>) -> BackwardState
  func searchBack(
    _ searched: BackwardSearched,
    _ state: inout BackwardState
  ) -> Range<BackwardSearched.Index>?
}

protocol BackwardStatelessCollectionSearcher: BackwardCollectionSearcher
  where BackwardState == DefaultSearcherState<BackwardSearched>
{
  func searchBack(
    _ searched: BackwardSearched,
    in range: Range<BackwardSearched.Index>
  ) -> Range<BackwardSearched.Index>?
}

extension BackwardStatelessCollectionSearcher {
  func backwardState(
    for searched: BackwardSearched,
    in range: Range<BackwardSearched.Index>
  ) -> BackwardState {
    BackwardState(position: .index(range.upperBound), end: range.lowerBound)
  }
  
  func searchBack(
    _ searched: BackwardSearched,
    _ state: inout BackwardState) -> Range<BackwardSearched.Index>? {
    guard
      case .index(let index) = state.position,
      let range = searchBack(searched, in: state.end..<index)
    else { return nil }
    
    
    if range.isEmpty {
      if range.lowerBound == searched.startIndex {
        state.position = .done
      } else {
        state.position = .index(searched.index(before: range.lowerBound))
      }
    } else {
      state.position = .index(range.lowerBound)
    }
    
    return range
  }
}