Dear Patrice and David, all,
thanks for your replies.
> If you do not want to make any changes to the .java file then you need
> to rename the .jml to .refines-java.
I tried that and it still does not complain about inconsistencies with non-null
specifications.
The problem I'm having is the following: I want to add specifications,
e.g to the file
java/util/Collection.spec
and then need to make sure that all subtypes are consistent, e.g
java/util/List.spec
java/util/ArrayList.refines-spec
At the moment, inconsistencies between these files seem to be ignored, for
example, if the signature for method "contains" uses different
nullity annotations, no error is reported.
Regards,
cu, WMD.
____________________________________________________________________________________
Be a better friend, newshound, and
know-it-all with Yahoo! Mobile. Try it now.
http://mobile.yahoo.com/;_ylt=Ahu06i62sR8HDtDypao8Wcj9tAcJ-------------------------------------------------------------------------
This SF.net email is sponsored by the 2008 JavaOne(SM) Conference
Don't miss this year's exciting event. There's still time to save $100.
Use priority code J8TL2D2.
http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone_______________________________________________
Jmlspecs-developers mailing list
Jmlspecs-developers@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers
