edu.colby.cs.JeSS.util
Class MarkerResolutionGenerator.JeSSMarkerResolutionIgnore

java.lang.Object
  extended byedu.colby.cs.JeSS.util.MarkerResolutionGenerator.JeSSMarkerResolutionIgnore
All Implemented Interfaces:
org.eclipse.ui.IMarkerResolution
Enclosing class:
MarkerResolutionGenerator

private class MarkerResolutionGenerator.JeSSMarkerResolutionIgnore
extends java.lang.Object
implements org.eclipse.ui.IMarkerResolution

The resolution that allows the deletion of a single JeSS marker


Constructor Summary
private MarkerResolutionGenerator.JeSSMarkerResolutionIgnore()
           
 
Method Summary
 java.lang.String getLabel()
           
 void run(org.eclipse.core.resources.IMarker marker)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MarkerResolutionGenerator.JeSSMarkerResolutionIgnore

private MarkerResolutionGenerator.JeSSMarkerResolutionIgnore()
Method Detail

getLabel

public java.lang.String getLabel()
Specified by:
getLabel in interface org.eclipse.ui.IMarkerResolution

run

public void run(org.eclipse.core.resources.IMarker marker)
Specified by:
run in interface org.eclipse.ui.IMarkerResolution