Hello
I cannot offer you better definition than what's there plus going through
the code/tests that make some assertions.
I suppose you have a specific case/test in mind that doesn't match
expectations? That would be a good starting point for a discussion.
One contested point I can recall from the top of my head was around
indirect supertypes of a raw type[1][2] but I am not sure that's what
you're aiming for.
Matej
___________________________________________________________
[1] WARNING: Very long read :)
https://github.com/jakartaee/cdi-tck/issues/429
[2]
https://bugs.openjdk.org/browse/JDK-8044366
On Fri, Aug 16, 2024 at 12:58 AM Laird Nelson <ljnelson(a)gmail.com> wrote:
org.jboss.weld.util.reflection.HierarchyDiscovery's documentation
reads,
in part:
"Utility class that discovers [the] transitive type closure of a given
> type."
This public class is underspecified. I'd like to pin down exactly how it
is underspecified and hopefully help its specification match its actual
behavior, or *vice versa*.
My main question is: what is the definition of a "transitive type closure"
(according to this class)?
(Based on the observed behavior of the class, it is *not* the "reflexive
and transitive closure over the direct supertype relation" (JLS 4.10).)
Best,
Laird
_______________________________________________
weld-dev mailing list -- weld-dev(a)lists.jboss.org
To unsubscribe send an email to weld-dev-leave(a)lists.jboss.org
Privacy Statement:
https://www.redhat.com/en/about/privacy-policy
List Archives:
https://lists.jboss.org/archives/list/weld-dev@lists.jboss.org/message/PP...