|

»

Java Modeling Language (JML)

»

jmlspecs-developers

[jmlspecs] #44: Generalise Pull up refactoring to support other method based contracts

View: New views

4 Messages — Rating Filter: Alert me

	[jmlspecs] #44: Generalise Pull up refactoring to support other method based contracts by SourceForge.net :: Rate this Message: Reply to Author \| View Threaded \| Show Only this Message #44: Generalise Pull up refactoring to support other method based contracts ----------------------+----------------------------------------------------- Reporter: iainhull \| Owner: David Cok Type: defect \| Status: new Priority: major \| Milestone: Component: OpenJML \| Version: 1.0a Keywords: \| ----------------------+----------------------------------------------------- Add pull up refactoring to ModelMethod ModelField and ModelSpec contracts -- Ticket URL: <http://sourceforge.net/apps/trac/jmlspecs/ticket/44> 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
	Re: [jmlspecs] #44: Generalise Pull up refactoring to support other method based contracts by SourceForge.net :: Rate this Message: Reply to Author \| View Threaded \| Show Only this Message #44: Generalise Pull up refactoring to support other method based contracts -------------------------+-------------------------------------------------- Reporter: iainhull \| Owner: iainhull Type: defect \| Status: assigned Priority: major \| Milestone: Component: Refactoring \| Version: 1.0a Keywords: \| -------------------------+-------------------------------------------------- Changes (by iainhull): * owner: David Cok => iainhull * status: new => assigned * component: OpenJML => Refactoring -- Ticket URL: <http://sourceforge.net/apps/trac/jmlspecs/ticket/44#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
	Re: [jmlspecs] #44: Generalise Pull up refactoring to support other method based contracts by SourceForge.net :: Rate this Message: Reply to Author \| View Threaded \| Show Only this Message #44: Generalise Pull up refactoring to support other method based contracts -------------------------+-------------------------------------------------- Reporter: iainhull \| Owner: iainhull Type: task \| Status: assigned Priority: major \| Milestone: Component: Refactoring \| Version: 1.0a Keywords: \| -------------------------+-------------------------------------------------- Changes (by iainhull): * type: defect => task -- Ticket URL: <http://sourceforge.net/apps/trac/jmlspecs/ticket/44#comment:2> 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
	Re: [jmlspecs] #44: Generalise Pull up refactoring to support other method based contracts by SourceForge.net :: Rate this Message: Reply to Author \| View Threaded \| Show Only this Message #44: Generalise Pull up refactoring to support other method based contracts --------------------------+------------------------------------------------- Reporter: iainhull \| Owner: iainhull Type: task \| Status: closed Priority: major \| Milestone: Component: Refactoring \| Version: 1.0a Resolution: fixed \| Keywords: --------------------------+------------------------------------------------- Changes (by iainhull): * status: assigned => closed * resolution: => fixed -- Ticket URL: <http://sourceforge.net/apps/trac/jmlspecs/ticket/44#comment:3> 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