#34: Implement the Pull up Invariant refactoring
-------------------------+--------------------------------------------------
Reporter: iainhull | Owner: iainhull
Type: task | Status: new
Priority: major | Milestone:
Component: Refactoring | Version: 1.0a
Keywords: |
-------------------------+--------------------------------------------------
create a simple pull up refactoring from a class to a class. Initially
this will not test for dependencies.
--
Ticket URL: <
http://sourceforge.net/apps/trac/jmlspecs/ticket/34>
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
