org.jmlspecs.eclipse.jdt.ui
Class EscjavaAction.Check

java.lang.Object
  org.jmlspecs.eclipse.jdt.ui.EscjavaAction
      org.jmlspecs.eclipse.jdt.ui.EscjavaAction.Check

All Implemented Interfaces:

org.eclipse.ui.IActionDelegate, org.eclipse.ui.IObjectActionDelegate, org.eclipse.ui.IWorkbenchWindowActionDelegate

Enclosing class:

EscjavaAction

public static class EscjavaAction.Check
extends EscjavaAction

This class implements the action for checking files using EscJava2

Author:

David R. Cok

Nested Class Summary

Nested classes/interfaces inherited from class org.jmlspecs.eclipse.jdt.ui.EscjavaAction

EscjavaAction.Check, EscjavaAction.Clear, EscjavaAction.ESC, EscjavaAction.GoToDecl

Constructor Summary

EscjavaAction.Check()

Method Summary

void	run(org.eclipse.jface.action.IAction action)
boolean	touchJavaElement(IJavaElement element) TODO

Methods inherited from class org.jmlspecs.eclipse.jdt.ui.EscjavaAction

dispose, init, iterateByPFR, iterateByProject, selectionChanged, setActivePart

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

EscjavaAction.Check

public EscjavaAction.Check()

Method Detail

run

public final void run(org.eclipse.jface.action.IAction action)

Specified by:

run in interface org.eclipse.ui.IActionDelegate

Overrides:

run in class EscjavaAction

touchJavaElement

public boolean touchJavaElement(IJavaElement element)
                         throws java.lang.Exception

TODO

Parameters:

element -

Returns:

Throws:

java.lang.Exception