mirror of
https://github.com/AdaCore/uwrap.git
synced 2026-02-12 13:06:34 -08:00
97a1160eb1
This is a partial implementation, requires support to libadalang array to support the version returning arrays. Properties were handled as fields. They are now implemented as function. This required to update various places where properties were used like predicates, and use the filter function instead. Filter is fixed, doesn't fail anymore in case of a non-matching prefix in a matching call, and properly sets 'it' and reset the yield callback when matching the expression. Regular expressions were possibly interrupting the outer iteration when matching before generation of values - now fixed.