-
Notifications
You must be signed in to change notification settings - Fork 8
ETHZJMLPlugin
Attila Sukosd edited this page Mar 15, 2013
·
2 revisions
WikiInclude(ETHZJML2PluginExplanation)
Please use the "JML2 Eclipse plug-in" category in the SourceForge tracker.
The source code is included in the plug-in distribution.
Version 1.1.0, released September 22nd 2008.
Feature summary:
- Executing the JML2 checker, RAC compiler, and exec tool using a context menu command, a toolbar button, or a keyboard shortcut.
- Project properties pages to configure the tools. Java project properties are automatically used for the JML2 tools.
- Code completion templates make adding JML comments easier.
- Execute an application with RAC support.
- JML2 Error View displays the messages from the tools.
- Auto-build support to automatically run the JML2 checker on edited files.
- Status messages and progress reports.
- Help system includes the JML reference manual and papers.
Version: 2 Time: Tue Oct 7 20:27:41 2008 Author: wdietl (None) IP: 129.132.105.183