equal
deleted
inserted
replaced
95 |
95 |
96 return val; |
96 return val; |
97 } |
97 } |
98 |
98 |
99 private static Optional<Integer> retrieveInteger(String src, String region) { |
99 private static Optional<Integer> retrieveInteger(String src, String region) { |
100 return Arrays.stream(src.split(";")) |
100 int regionIndex = src.indexOf(region); |
101 .filter(entry -> entry.contains(region)) |
101 if (regionIndex >= 0) { |
102 .map(entry -> entry.substring(0, entry.indexOf(":"))) |
102 int start = src.lastIndexOf(';', regionIndex) + 1; |
103 .findAny() |
103 return Optional.of(Integer.parseInt(src, start, src.indexOf(':', start), 10)); |
104 .map(Integer::parseInt); |
104 } |
|
105 return Optional.empty(); |
105 } |
106 } |
106 } |
107 } |