[cdi-dev] [JBoss JIRA] (CDI-703) Carify indirect specialization

[ https://issues.jboss.org/browse/CDI-703?page=com.atlassian.jira.plugin.sy... ] Matej Novotny commented on CDI-703: ----------------------------------- [~struberg] but that's the whole point of [transitive relation|https://en.wikipedia.org/wiki/Transitive_relation]. Indirect specialization is defined through transitive relation, in gibberish that is ∀ a , b , c ∈ X : ( a R b ∧ b R c ) ⇒ a R c And the very next part of spec follows up on this and mentions the qualifiers: bq. Then X will inherit the qualifiers and bean name of Y: ... The word *then* referes to 'when X specializes Y' from the previous paragraph. So let's have a following chain of beans: {code} @QualifierA class A{...} @QualifierB @Specializes class B extends A{...} @QualifierC @Specializes class C extends B{...} {code} Now all that is needed is to substitute {{X}} and {{Y}} (from spec statements) for beans and explore how the transitive relation affects this. There are two statements: a) Formally, a bean X is said to specialize another bean Y if there is either: -> true if specialization exists b) Then X will inherit the qualifiers and bean name of Y: -> true if a) is true Now let's apply this to the above shown beans: * Bean A ** Nothing interesting, the basic bean which will be replaced * Bean B ** Direct specialization of A *** X=B, Y=A *** a) true, specialization exists *** b) true, qualifier {{@QualifierA}} is inherited * Bean C ** Direct specialization of B (also defined in spec in [chapter 3.1.4|http://docs.jboss.org/cdi/spec/2.0/cdi-spec.html#specialize_managed...] *** X=C, Y=B *** a) true, specialization exists *** b) true, qualifier {{@QualifierB}} is inherited ** Indirect specialization of A *** Implied by transitive relation, if C specializes B and B specializes A, then C specializes A *** Therefore X=C, Y=A *** a) true, indirect specialization exists *** b) since a) is valid, this hold true *and C has to inherit qualifier {{@QualifierA}}* from A -- This message was sent by Atlassian JIRA (v7.2.3#72005)