changeset 63450 | afd657fffdf9 |
parent 62812 | ce22e5c3d4ce |
child 64370 | 865b39487b5d |
63449:b3f6e81cd13b | 63450:afd657fffdf9 |
---|---|
94 def explode(sep: Char, text: String): List[String] = |
94 def explode(sep: Char, text: String): List[String] = |
95 explode(_ == sep, text) |
95 explode(_ == sep, text) |
96 |
96 |
97 def explode(text: String): List[String] = |
97 def explode(text: String): List[String] = |
98 explode(Character.isWhitespace(_), text) |
98 explode(Character.isWhitespace(_), text) |
99 |
|
100 |
|
101 /* brackets */ |
|
102 |
|
103 val open_brackets = "([{«‹⟨⌈⌊⦇⟦⦃" |
|
104 val close_brackets = ")]}»›⟩⌉⌋⦈⟧⦄" |
|
99 } |
105 } |