[jmlspecs] #33: Create a Jml Java Contract AST
|
View:
New views
2 Messages
—
Rating Filter:
Alert me
|
 |
[jmlspecs] #33: Create a Jml Java Contract AST
by SourceForge.net
::
Rate this Message:
#33: Create a Jml Java Contract AST
-------------------------+-------------------------------------------------- Reporter: iainhull | Owner: iainhull Type: task | Status: new Priority: major | Milestone: Component: Refactoring | Version: 1.0a Keywords: | -------------------------+-------------------------------------------------- Investigate the use of extending the JDT AST to recognise Jml Java Contracts. This will enable refactorings to treat classes and inteterfaces uniformly. -- Ticket URL: <http://sourceforge.net/apps/trac/jmlspecs/ticket/33> 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] #33: Create a Jml Java Contract AST
by SourceForge.net
::
Rate this Message:
#33: Create a Jml Java Contract AST
--------------------------+------------------------------------------------- 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/33#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 |
| Free embeddable forum powered by Nabble | Forum Help |
