Я ищу способ красиво извлечь 'идентификатор пользователя' из строки в Groovy. Допустим, у меня есть строка "key::${userId}"
Например:
String s = "key::123456"
Я могу извлечь userId в стиле java следующим образом
Long.parseLong(s.substring(s.indexOf("::") + 2))
Но я считаю, что есть способ сделать короче и аккуратнее