common_prefix.pony

 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
primitive CommonPrefix
  """
  Creates a string that is the common prefix of the supplied strings, possibly
  empty.
  """

  fun apply(data: ReadSeq[Stringable]): String iso^ =>
    var res = "".clone()
    try
      let iter = data.values()
      if iter.has_next() then
        res = iter.next()?.string()
        for d in iter do
          var idx: USize = 0
          let s = d.string()
          while (idx < res.size()) and (idx < s.size()) do
            if res(idx)? != s(idx)? then
              break
            end
            idx = idx + 1
          end
          res = res.substring(0, idx.isize())
        end
      end
    end
    res