Method Summary |
|
protected int | assertProjectParsed(IProject project) |
protected synchronized int | assertProjectParsed(IProject project, boolean jmlBrowserIntended) if necessary loads the current project into the KeY prover. |
public static KeYPlugin | getDefault() Returns the shared instance. |
public ResourceBundle | getResourceBundle() |
public static String | getResourceString(String key) Returns the string from the plugin's resource bundle, or 'key' if not
found. |
public void | openJMLSpecBrowserOnCurrentLoadedModel() Just opens the JML Specification browser in the KeY prover which knows
about the java models loaded before. |
public void | openKeY() starts the KeY Prover in standalone mode (i.e. |
public synchronized void | resourceChanged(IResourceChangeEvent event) |
public void | start(BundleContext context) |
public void | stop(BundleContext context) |