#40: Functional represents clause only can be written with =, <- is deprecated
----------------------------------+-----------------------------------------
Reporter: chalin | Owner: chalin
Type: task | Status: new
Priority: minor | Milestone:
Component: JML Reference Manual | Version: 1.0a
Keywords: |
----------------------------------+-----------------------------------------
(From NotesDagstuhl) Functional represents clause only can be written with
=, <- is deprecated. To be done:
* [Done:PC] Update the reference manual.
* [Done:DK] Ensure OpenJML reports a deprecated warning.
* [Done?GL] Ensure JML2 reports a deprecated warning.
* [Done?PC] Ensure all samples and API specs have been updated.
Double check the ? items above.
Anything more to do?
--
Ticket URL: <
http://sourceforge.net/apps/trac/jmlspecs/ticket/40>
jmlspecs <
http://sourceforge.net/projects/jmlspecs/>
The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, documentation generation, unit testing, static checking, verification, etc.
------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now.
http://p.sf.net/sfu/bobj-july_______________________________________________
Jmlspecs-developers mailing list
Jmlspecs-developers@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers
