[cdi-dev] Events and Type Variables in CDI 1.1

[Arne Limburg]

Hi Martin,

Your view on that seems reasonable, but the spec does not state so:

An event object is an instance of a concrete Java class with no
unresolvable type "variables"

And a Wildcard is surely not type variable. So I am with Jozef. This is a
spec issue. As you, too, wrote, we should explicitly forbid wildcard types
in event object

I’ll create a spec issue for that.

Cheers,
Arne


Am 05.05.14 09:29 schrieb "Martin Kouba" unter <mkouba at redhat.com>:

>Hi,
>
>I may be wrong, but I always thought a wildcard represents an unknown
>type and cannot be used for instance creation. So I believe "T" is not
>resolvable in this use-case. The spec states in 10.1: "An event object
>is an instance of a concrete Java class with no unresolvable type
>variables. The event types of the event include all superclasses and
>interfaces of the runtime class of the event object.". In other words an
>event type may not contain a wildcard. Note that a parameterized type
>that contains a wildcard type parameter is not a legal bean type either.
>Still the spec should clarify what "resolvable" means and maybe
>explicitly forbid wildcards in event types.
>
>Martin
>
>Dne 5.5.2014 08:46, Jozef Hartinger napsal(a):
>> Yes, go ahead with the spec issue.
>> 
>> Jozef
>> 
>> On 05/04/2014 10:24 PM, Arne Limburg wrote:
>>> Hi Jozef,
>>>
>>> In this case the type variable can be resolved to a wildcard type.
>>> Should this be legal or not? For now, I find to wording in the spec
>>> that forbids the event type to resolve to a wildcard type. So this may
>>> be a spec issue AND a tck issue. Shall I create a ticket for it?
>>>
>>> Cheers,
>>> Arne
>>>
>>> Von: Jozef Hartinger <jharting at redhat.com <mailto:jharting at redhat.com>>
>>> Datum: Freitag, 2. Mai 2014 16:20
>>> An: Arne Limburg <arne.limburg at openknowledge.de
>>> <mailto:arne.limburg at openknowledge.de>>
>>> Cc: "cdi-dev at lists.jboss.org <mailto:cdi-dev at lists.jboss.org>"
>>> <cdi-dev at lists.jboss.org <mailto:cdi-dev at lists.jboss.org>>
>>> Betreff: Re: [cdi-dev] Events and Type Variables in CDI 1.1
>>>
>>> Hi,
>>>
>>> I think this is a spec issue. The spec should make it clearer that a
>>> "resolvable type variable" means a type variable that can be resolved
>>> to a reference type other than a type variable.
>>>
>>> Jozef
>>>
>>> On 04/30/2014 09:32 PM, Arne Limburg wrote:
>>>> Hi,
>>>>
>>>> I found an issue in either the spec or the tck, which I would like to
>>>> discuss:
>>>> The
>>>> TCK-Test 
>>>>org.jboss.cdi.tck.tests.event.fires.FireEventTest.testTypeVariableEvent
>>>>TypeFails
>>>> uses the following bean to fire an event by calling the method
>>>> fireWithTypeVariable()
>>>>
>>>> publicclassBar {
>>>>
>>>>
>>>>     @Inject
>>>>
>>>>     private Event<Foo<? extends Number>> event;
>>>>
>>>>
>>>>     public <T extends Number> void fireWithTypeVariable() {
>>>>
>>>>         event.fire(new Foo<T>());
>>>>
>>>>     }
>>>>
>>>>
>>>> }
>>>>
>>>>
>>>> The TCK expects this test to fail because of the type variable in the
>>>> instance created by new Foo<T>()
>>>> However, the spec states in 10.3.1 „If the container is unable to
>>>> resolve the parameterized type of the event object, it uses the
>>>> specified type to infer the parameterized type of the event types.“
>>>> Imho in this case the container is able to resolve T to "? extends
>>>> Number“ and the spec does not prohibit an event to have a wildcard
>>>> type. So since T is not unresolvable, this test case should not
>>>> expect the container to throw an exception. If we consider T not to
>>>> be resolved, because it resolves to a wildcard type, we should
>>>> mention this somewhere in the spec. Or am I missing something?
>>>>
>>>> Cheers,
>>>> Arne
>>>>
>>>>
>>>> _______________________________________________
>>>> cdi-dev mailing list
>>>> 
>>>>cdi-dev at lists.jboss.orghttps://lists.jboss.org/mailman/listinfo/cdi-dev
>>>
>> 
>> 
>> 
>> _______________________________________________
>> cdi-dev mailing list
>> cdi-dev at lists.jboss.org
>> https://lists.jboss.org/mailman/listinfo/cdi-dev
>>