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

[Mark Hobson]

Heh, how does anything run with that implementation?!

Mark

2009/1/30 Emmanuel Bernard <emmanuel at hibernate.org>:
> ahem
> excerpt from the Harmony code
>
> package java.lang;
>
> public final class Class<T> implements Serializable, AnnotatedElement,
>        GenericDeclaration, Type {
>    [...]
>
>    public boolean isAssignableFrom(Class<?> cls) {
>            return false;
>     }
> }
>
> I don't think they have what I am looking for :)
>
>
> On  Jan 30, 2009, at 00:12, Emmanuel Bernard wrote:
>
>> 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
>>>>>>
>>>>>>
>>>>
>>>>
>>
>> _______________________________________________
>> hibernate-dev mailing list
>> hibernate-dev at lists.jboss.org
>> https://lists.jboss.org/mailman/listinfo/hibernate-dev
>
>