Repository navigation
User Guide
To use DPJizer you need to install Eclipse. We have tested DPJizer on Eclipse 3.6 (Helios).
You can use the update site of DPJizer to install it on your Eclipse.
Right click on your project in Eclipse. Select DPJizer and then Infer Effects from the pop up menu. This menu item opens the refactoring wizard for inferring method effect summaries. The first page of the wizard will give you the option to cancel, preview or perform the effect inference.
Import the example Eclipse project into your Eclipse workspace. Follow the instructions above to invoke the infer effects refactoring. The following is a screenshot of the preview dialog in this example.
