This is a preliminary list of planned features for the next release and beyond. It is not ordered in any way:

Planned for version 0.2

• Wizard for creating contract templates for classes and methods
• Support refactoring where it makes sense
• A "Goto Contract" and "Goto Target" feature
• A contract hierarchy view, like the JDT type hierarchy view

Future releases

• Region based contract hierarchy
• Method-centric contract hierarchy
• Some kind of visual overview of contract coverage
• Migrate to Eclipse 3.3 - make use of new features (annotation processing, launch configuration tabs, additional ruler column, ...)

Legend: