| de.uka.ilkd.key.casetool.eclipse.OpenKeYAction
| OpenKeYAction | | public class OpenKeYAction extends Action implements IWorkbenchWindowActionDelegate(Code) | | |
| Method Summary | |
| public void | dispose()
| | public void | init(IWorkbenchWindow window)
| | public void | run(IAction action)
| | public void | selectionChanged(IAction action, ISelection selection)
|
| 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) | | |
|
|