#49: Introduce Models for dependants of refactored code
-------------------------+--------------------------------------------------
Reporter: iainhull | Owner: iainhull
Type: task | Status: new
Priority: major | Milestone:
Component: Refactoring | Version: 1.0a
Keywords: |
-------------------------+--------------------------------------------------
Comment(by iainhull):
* fields
* List fields of local class accessed by refactored contracts
* Offer to create model fields for each of these
* Automatically assign name and model field class based on concrete
type, user can overwrite these
* methods
* List methods of local class accessed by refactored contracts
* Offer to create model methods for each of these
* Automatically assign name, user can overwrite this
* The refactoring will then add these model fields and methods to the
destination class and represents clauses to the source class.
--
Ticket URL: <
http://sourceforge.net/apps/trac/jmlspecs/ticket/49#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.
------------------------------------------------------------------------------
Come build with us! The BlackBerry® Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9-12, 2009. Register now!
http://p.sf.net/sfu/devconf_______________________________________________
Jmlspecs-developers mailing list
Jmlspecs-developers@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers
