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 <emman...@hibernate.org>: > 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 <emman...@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 <emman...@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@lists.jboss.org >>>>> https://lists.jboss.org/mailman/listinfo/hibernate-dev >>>>> >>>>> >>>>> _______________________________________________ >>>>> hibernate-dev mailing list >>>>> hibernate-dev@lists.jboss.org >>>>> https://lists.jboss.org/mailman/listinfo/hibernate-dev >>>>> >>>>> >>> >>> > > _______________________________________________ hibernate-dev mailing list hibernate-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/hibernate-dev
