#31: Recognise Pre/Post Conditions in java classes
--------------------------+-------------------------------------------------
Reporter: iainhull | Owner: iainhull
Type: task | Status: closed
Priority: major | Milestone:
Component: Refactoring | Version: 1.0a
Resolution: fixed | Keywords:
--------------------------+-------------------------------------------------
Changes (by iainhull):
* status: new => closed
* resolution: => fixed
--
Ticket URL: <
http://sourceforge.net/apps/trac/jmlspecs/ticket/31#comment:1>
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
