| de.uka.ilkd.key.casetool.eclipse.JavaProjectJMLBrowserAction
| JavaProjectJMLBrowserAction | | public class JavaProjectJMLBrowserAction extends Action implements IObjectActionDelegate,IWorkbenchWindowActionDelegate(Code) | |
author:
Marius Hillenbrand
author:
Action which opens the JML Specification browser on a project.
author:
This action is selectable in the context menu of a class (in the outline)
author:
or a java file (in the Package Explorer) |
| Method Summary | |
| public void | dispose()
| | public void | init(IWorkbenchWindow window)
| | public void | run(IAction action)
| | public void | selectionChanged(IAction action, ISelection selection)
| | public void | setActivePart(IAction action, IWorkbenchPart targetPart)
|
| selection | | ISelection selection(Code) | | |
| JavaProjectJMLBrowserAction | | public JavaProjectJMLBrowserAction()(Code) | | |
| dispose | | public void dispose()(Code) | | |
| init | | public void init(IWorkbenchWindow window)(Code) | | |
| run | | public void run(IAction action)(Code) | | |
| selectionChanged | | public void selectionChanged(IAction action, ISelection selection)(Code) | | |
| setActivePart | | public void setActivePart(IAction action, IWorkbenchPart targetPart)(Code) | | |
|
|