equal
deleted
inserted
replaced
130 |
130 |
131 def explode(text: CharSequence): List[Symbol] = iterator(text).toList |
131 def explode(text: CharSequence): List[Symbol] = iterator(text).toList |
132 |
132 |
133 def length(text: CharSequence): Int = iterator(text).length |
133 def length(text: CharSequence): Int = iterator(text).length |
134 |
134 |
|
135 def trim_blanks(text: CharSequence): String = |
|
136 Library.trim(is_blank(_), explode(text)).mkString |
|
137 |
135 |
138 |
136 /* decoding offsets */ |
139 /* decoding offsets */ |
137 |
140 |
138 object Index |
141 object Index |
139 { |
142 { |