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

Okay, I've created the project here: http://code.google.com/p/jtype/ The method you're after is TypeUtils.isAssignable. I'm interested in fleshing out this library in future, keeping the focus on pure type operations. I'd like to implement full type inference and type capturing in line with the JLS as I've had a requirement for this in the past. Do let me know if you have any comments or suggestions. Cheers, Mark 2009/1/30 Emmanuel Bernard <emmanuel(a)hibernate.org&gt;: > all good. > > On Jan 30, 2009, at 09:46, Mark Hobson wrote: > >> Cool, I'll aim to create the project as soon as I get a free moment. >> Extra hands would be appreciated so I can't see a problem with >> giving >> you commit access. Copyright isn't an issue as I work for my own >> company :) >> >> I'll post the URL once it's up there. Likely to be after the >> weekend >> if that's alright? >> >> Cheers, >> >> Mark >> >> 2009/1/30 Emmanuel Bernard <emmanuel(a)hibernate.org&gt;: >>> >>> That's fine, you can go host it on google-code under the ASL 2. >>> That way >>> we >>> can use it as a source level or jar level dependency. >>> >>> It would be nice to get commit access so we can participate in >>> enhancing >>> the >>> support coverage. >>> >>> Jboss.org might have some benefits as a forge but the .org team >>> is very >>> busy >>> at the moment, so creating a new project would be a bit low in >>> priority. >>> Google code is quite nice and clean. >>> >>> BTW before dropping the code, make sure you have the copyright >>> rights (if >>> you developed that for a company, you might have to ask them). >>> >>> Thanks! >>> >>> Emmanuel >>> >>> On Jan 30, 2009, at 05:04, Mark Hobson wrote: >>> >>>> ASL 2.0 is fine with me. I was thinking about hosting it >>>> somewhere >>>> like Google Code since there's a few open-source projects that >>>> I've >>>> seen which could benefit from it. Let me know, I can create a >>>> project >>>> and you can give it a spin. >>>> >>>> Cheers, >>>> >>>> Mark >>>> >>>> 2009/1/30 Emmanuel Bernard <emmanuel(a)hibernate.org&gt;: >>>>> >>>>> 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(a)hibernate.org&gt;: >>>>>>> >>>>>>> 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(a)hibernate.org&gt;: >>>>>>>>> >>>>>>>>> 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(a)lists.jboss.org >>>>>>>>> https://lists.jboss.org/mailman/listinfo/hibernate-dev >>>>>>>>> >>>>>>>>> >>>>>>>>> _______________________________________________ >>>>>>>>> hibernate-dev mailing list >>>>>>>>> hibernate-dev(a)lists.jboss.org >>>>>>>>> https://lists.jboss.org/mailman/listinfo/hibernate-dev >>>>>>>>> >>>>>>>>> >>>>>>> >>>>>>> >>>>> >>>>> >>> >>> > >