⚠ not yet verified

Stubby - The Stub Generator¶

Unsupported historical content

This Eclipse integration is no longer supported or maintained. It targeted old Eclipse releases (Indigo/Luna era) and old versions of KeY; the update sites may no longer exist. This page is kept for historical reference.

Stubby allows to generate stubs annotated with default JML specifications for used API members.

The following sections illustrate the main features of Stubby using screenshots. Each section contains numbered screenshots that explain a usage scenario step by step. Clicking on each picture produces a more detailed view. The screenshots may differ from the latest release.

Prerequisites¶

Stubby is compatible with Eclipse Luna (4.4) or newer.

Required update-sites and installation instructions are available in the download area.

Generate Stubs¶

Select "Generate Stubs" in the context menu of a Java project.
Define generation settings and finish the wizard.
Inspect the generated stub files.

Edit Generated Stubs¶

Open the stub file to edit.
Replace @generated with @generated NOT to ensure that changes will be maintained during stub generation. Modify specification afterwards.