Details
-
Improvement
-
Status: Closed
-
Trivial
-
Resolution: Fixed
-
1.7.1
-
None
Description
It would be useful to have the following convenience method: DGM#tokenize(String self, Character token)
This would allow e.g.: "/usr:/tmp".tokenize(File.pathSeparatorChar) without the need for the extra toString().
For this case, File.pathSeparator could have been used but the principal still holds.