Open DamDC91 opened 2 years ago
why not use https://github.com/cwi-swat/ada-air/blob/e4506fef724e8cbf30ef1600c67488a84dd0716f/test/lal-type-hierarchy/src/utils.adb#L35-L36 instead of https://github.com/TNO/Rejuvenation-Ada/blob/6784214f9098a06b3889bbf2f7c0705da3392e3a/src/rejuvenation-finder.adb#L19-L30
Needs some investigation:
While Next (Node)
Consume
Libadalang.Iterators.Ada_Node_Predicate
why not use https://github.com/cwi-swat/ada-air/blob/e4506fef724e8cbf30ef1600c67488a84dd0716f/test/lal-type-hierarchy/src/utils.adb#L35-L36 instead of https://github.com/TNO/Rejuvenation-Ada/blob/6784214f9098a06b3889bbf2f7c0705da3392e3a/src/rejuvenation-finder.adb#L19-L30