Hi Patrice, Joe,
On Wed, 16 Jul 2008, Patrice Chalin wrote:
> Joseph Kiniry wrote:
>> It looks like the new non-null defaults are also biting me, as our
>> specs were assuming nullable references. Unfortunately, as ESC/Java2
>> still does not support nullable_by_default, it looks like I'll have to
>> update the spec of every reference in the system. :(
>>
>> For the moment I'll just try to put in nullable_by_default and not use
>> ESC/Java2.
> FYI, while I don't plan on implementing support for the
> {non_null,nullable}_by_default modifiers in esc2, I'm almost done with
> adding support for the -nonNullByDefault command line argument (the new
> default works for method return types and parameters).
I would be great if ESC/JavaN were more compatible, especially the
-nonNullByDefault command line argument. I had various problems with
that during tutorials last year.
>>> I'll try to find time to download KOA and try it out though it will
>>> likely not be before tomorrow (Thursday).
>> No problem. I'll perhaps have solved local problems by then, but
>> someone should really look at updating jml-junit for the new jmlc
>> behavior.
> I agree, though we should try to work towards a jmlunit for jml4.
I agree we should have a jmlunit that works with jml4.
However, I'm not sure I understand why the JML2 jmlunit is broken with
JML 5.5 still. Our unit tests for jmlunit are passing, so what are we missing?
Gary T. Leavens
210 Harris Center (Bldg. 116)
School of EECS, University of Central Florida
4000 Central Florida Blvd., Orlando, FL 32816-2362 USA
http://www.eecs.ucf.edu/~leavens phone: +1-407-823-4758
leavens@...
-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/_______________________________________________
Jmlspecs-developers mailing list
Jmlspecs-developers@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers
