blob: 0c2333ca22c77a21f7e1dc79df133c5581b02bd7 (
plain) (
tree)
|
|
package scala.tools.util
object StringOps {
def decompose(str: String, sep: char): List[String] = {
def ws(start: int): List[String] =
if (start == str.length) List()
else if (str.charAt(start) == sep) ws(start + 1)
else {
val end = str.indexOf(sep, start)
if (end < 0) List(str.substring(start))
else str.substring(start, end) :: ws(end + 1)
}
ws(0)
}
def words(str: String): List[String] = decompose(str, ' ')
}
|