org.eclipse.sphinx.platform.resources

Class MarkerJob.DeleteMarkerTask

java.lang.Object

org.eclipse.sphinx.platform.resources.MarkerDescriptor

org.eclipse.sphinx.platform.resources.MarkerJob.MarkerTask

org.eclipse.sphinx.platform.resources.MarkerJob.DeleteMarkerTask

Enclosing class:

MarkerJob

protected static class MarkerJob.DeleteMarkerTask
extends MarkerJob.MarkerTask

Field Summary

Fields inherited from class org.eclipse.sphinx.platform.resources.MarkerJob.MarkerTask

resource

Constructor Summary

Constructors

Constructor and Description
DeleteMarkerTask(org.eclipse.core.resources.IResource resource, java.lang.String type)

Method Summary

Methods inherited from class org.eclipse.sphinx.platform.resources.MarkerDescriptor

getAttributes, getType, setType

Methods inherited from class java.lang.Object

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

Constructor Detail

DeleteMarkerTask

public DeleteMarkerTask(org.eclipse.core.resources.IResource resource,
                        java.lang.String type)