ESC/Java2 GUI - Issues and Release Notes

This is the first and current version of this program. Details of its use are shown by the "Documentation" menu item. Ideas for improvement are welcome.

Problems

Features

  • It would be nice to integrate the tool with the JML tools and with Daikon.
  • Some of the color coding could be cleaned up.
  • It would be nice if the title showed the current project name.
  • It would be nice to coordinate the showing of the files of a refinement sequence.
  • It would be nice if, when input files are reloaded, the tree of classes and methods was not totally regenerated. In fact it would be great if parsing and type-checking could be done incrementally, so simple chagnes in specs would not necessitate a total restart.
  • The tool should integrate with the system Preferences.
  • The tool should say something useful in response to the About menu item.
  • Accelerator keys should be implemented.
  • Should be a way to select an editor window by browsing.
  • It would be nice to be able to adjust the L&F

    Changes since the limited edition alpha release