package Ġcom . lean forge . s occ ero Ċ Ċ import Ġjava . util . regex . Pattern Ċ Ċ object ĠI ds Extractor Ġ{ ĊĊĠĠĠ Ġprivate Ġval Ġids Pattern : ĠPattern Ġ= ĠPattern . compile ("< @ ([^ > ]+ )> ") ĊĊĊĠĠĠ Ġfun Ġextract Ids ( ids : ĠString ) Ġ: ĠList < String > Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġret Ġ= Ġmutable ListOf < String >() ĊĠĠĠĠĠĠĠ Ġval Ġmatcher Ġ= Ġids Pattern . matcher ( ids ) ĊĊĠĠĠĠĠĠĠ Ġwhile Ġ( matcher . find ()) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġret . add ( matcher . group ( 1 )) ĊĠĠĠĠĠĠĠ Ġ} ĊĊĠĠĠĠĠĠĠ Ġreturn Ġret ĊĠĠĠ Ġ} Ċ }