diff options
author | Sven Gothel <[email protected]> | 2012-10-24 16:50:23 +0200 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2012-10-24 16:50:23 +0200 |
commit | 08a8defda8b6f49eb794cf787f688ba65bfe7b37 (patch) | |
tree | a0aed7a50d301d4351120073560d20c88234c60b /.externalToolBuilders/org.eclipse.jdt.core.javabuilder.launch | |
parent | 761b2855b9c01c421ecd4d435a828a67b3a2471b (diff) |
Fix VersionNumber: Non digits cut off pattern was '\D.*' and cut off digits in case leading non digits appear.
'\D.*' matches a leading non-digit and then any character.
First the string is tokenized by delim:
"OpenGL ES GLSL ES 1.0.16" -> "OpenGL ES GLSL ES 1", "0", "16"
Enhance pattern as follows and access collected group if matching:
// group1: \D* == leading non digits, optional
// group2: \d* == digits
// group3: .* == any pending chars, optional
final java.util.regex.Pattern nonDigitsCutOff = java.util.regex.Pattern.compile("(\\D*)(\\d*)(.*)");
Reorganized storage from atomic values to int[3] array, allowing simple pattern matching loop.
Added unit test.
Diffstat (limited to '.externalToolBuilders/org.eclipse.jdt.core.javabuilder.launch')
0 files changed, 0 insertions, 0 deletions