|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.jmlspecs.eclipse.jdt.ui.EscjavaAction
public abstract class EscjavaAction
This class and its subclasses are the classes that respond to Menu actions.
| Nested Class Summary | |
|---|---|
static class |
EscjavaAction.Check
This class implements the action for checking files using EscJava2 |
static class |
EscjavaAction.Clear
This class implements the action that clears EscJava markers. |
static class |
EscjavaAction.ESC
|
static class |
EscjavaAction.GoToDecl
This class implements the action that opens and positions an editor on an associated declaration of a marker. |
| Constructor Summary | |
|---|---|
EscjavaAction()
|
|
| Method Summary | |
|---|---|
void |
dispose()
We can use this method to dispose of any system resources we previously allocated. |
void |
init(org.eclipse.ui.IWorkbenchWindow window)
We will cache window object in order to be able to provide parent shell for the message dialog. |
void |
iterateByPFR(java.util.Map map)
Iterates over all the package fragment roots in the map, calling start/doit/end for each package fragment root and its Collection. |
void |
iterateByProject(java.util.Map map)
Iterates over all the projects in the map (as produced by getJavaElements()), calling start/doit/end for each project's collection of IJavaElements and IResources. |
void |
run(org.eclipse.jface.action.IAction action)
|
void |
selectionChanged(org.eclipse.jface.action.IAction action,
org.eclipse.jface.viewers.ISelection selection)
|
void |
setActivePart(org.eclipse.jface.action.IAction action,
org.eclipse.ui.IWorkbenchPart targetPart)
|
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public EscjavaAction()
| Method Detail |
|---|
public final void setActivePart(org.eclipse.jface.action.IAction action,
org.eclipse.ui.IWorkbenchPart targetPart)
setActivePart in interface org.eclipse.ui.IObjectActionDelegate
public final void selectionChanged(org.eclipse.jface.action.IAction action,
org.eclipse.jface.viewers.ISelection selection)
selectionChanged in interface org.eclipse.ui.IActionDelegatepublic void dispose()
dispose in interface org.eclipse.ui.IWorkbenchWindowActionDelegateIWorkbenchWindowActionDelegate.dispose()public void init(org.eclipse.ui.IWorkbenchWindow window)
init in interface org.eclipse.ui.IWorkbenchWindowActionDelegatewindow - The parent windowIWorkbenchWindowActionDelegate.init(org.eclipse.ui.IWorkbenchWindow)public void run(org.eclipse.jface.action.IAction action)
run in interface org.eclipse.ui.IActionDelegatepublic void iterateByProject(java.util.Map map)
map - The map containing IJavaProjects and their Collections of
IJavaElements and IResources.public void iterateByPFR(java.util.Map map)
map - The map containing IPackageFragmentRoot keys and Collection values
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||