| java.lang.Object de.uka.ilkd.key.casetool.eclipse.MethodPOAction
MethodPOAction | public class MethodPOAction implements IObjectActionDelegate(Code) | | author: Marius Hillenbrand author: Action which lets the user select proof obligations for a method. author: This action is selectable from the context menu of a java method. |
Method Summary | |
public void | run(IAction action) | public void | selectionChanged(IAction action, ISelection selection) | public void | setActivePart(IAction action, IWorkbenchPart targetPart) |
selection | ISelection selection(Code) | | |
MethodPOAction | public MethodPOAction()(Code) | | Constructor for Action1.
|
run | public void run(IAction action)(Code) | | See Also: IActionDelegate.run(IAction) |
selectionChanged | public void selectionChanged(IAction action, ISelection selection)(Code) | | See Also: IActionDelegate.selectionChanged(IActionISelection) |
setActivePart | public void setActivePart(IAction action, IWorkbenchPart targetPart)(Code) | | See Also: IObjectActionDelegate.setActivePart(IActionIWorkbenchPart) |
|
|