[hibernate-dev] Do you know of any ASL 2 implementation of...

[Emmanuel Bernard]

Cool, that's already a nice start.
Let me see if I find something.

Would you be OK to contribute it under the ASL 2.0 license to us?

On  Jan 29, 2009, at 09:44, Mark Hobson wrote:

> I haven't gone into supporting type variables, hence I don't perform
> type capturing or inference yet, although I would be interested in
> adding this.  For an example of what is currently implemented, the
> following are from the tests:
>
> Number <: Integer
> Object <: Integer
> List <: List<Integer>
> Collection<Integer> <: List<Integer>
> Collection<Integer> <: ArrayList<Integer>
> List<Integer> !<: Set<Integer>
> List<Number> !<: List<Integer>
> List<?> <: List<Integer>
> List<? extends Number> <: List<Number>
> List<? extends Number> <: List<Integer>
> List<? extends Number> !<: List<Object>
> List<? super Number> <: List<Number>
> List<? super Number> <: List<Object>
> List<? super Number> !<: List<Integer>
> List<Integer> <: IntegerArrayList
>
> Let me know if you find any existing libraries since I use this in my
> other projects.  If there's nothing out there then open-sourcing this
> would stop people from having to reinvent the wheel.
>
> Cheers,
>
> Mark
>
> 2009/1/29 Emmanuel Bernard <emmanuel at hibernate.org>:
>> If I can't find an other alternative that would surely be of help  
>> yes :)
>>
>> Do you know how much of the subtype rules you have implemented?
>>
>> The one that sounded non trivial to me were around detecting that  
>> generic
>> are supertypes of others:
>> - containment and equivalence
>> - capture conversion
>> - intersection types
>> - management of bounds
>> (using the language of the JSL)
>>
>>
>> On  Jan 29, 2009, at 05:49, Mark Hobson wrote:
>>
>>> I've written a small utility library that provides methods to work
>>> with Types, specifically it contains such a method isAssignable(Type
>>> supertype, Type type) that should satisfy your requirements.
>>>
>>> I've been considering open-sourcing it so would be happy to do so if
>>> you were interested?
>>>
>>> Cheers,
>>>
>>> Mark
>>>
>>> 2009/1/29 Emmanuel Bernard <emmanuel at hibernate.org>:
>>>>
>>>> Specifically a routine like
>>>> boolean isSuperType(Type super, Type, sub);
>>>> note Type, not Class<?>
>>>>
>>>> On  Jan 28, 2009, at 21:22, Emmanuel Bernard wrote:
>>>>
>>>>
>>>> http://java.sun.com/docs/books/jls/third_edition/html/typesValues.html#4.10
>>>>
>>>> Subtyping
>>>>
>>>> I am looking for an ASL 2 / BSD implementation of the subtyping
>>>> resolution
>>>> algorithm in Java.
>>>>
>>>> I am thinking Harmony might have one.
>>>>
>>>> Anybody knows?
>>>>
>>>> _______________________________________________
>>>> hibernate-dev mailing list
>>>> hibernate-dev at lists.jboss.org
>>>> https://lists.jboss.org/mailman/listinfo/hibernate-dev
>>>>
>>>>
>>>> _______________________________________________
>>>> hibernate-dev mailing list
>>>> hibernate-dev at lists.jboss.org
>>>> https://lists.jboss.org/mailman/listinfo/hibernate-dev
>>>>
>>>>
>>
>>