org.eclipse.sphinx.platform.resources

Class MarkerJob.CreateMarkerTask

java.lang.Object

org.eclipse.sphinx.platform.resources.MarkerDescriptor

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

org.eclipse.sphinx.platform.resources.MarkerJob.CreateMarkerTask

Enclosing class:

MarkerJob

protected static class MarkerJob.CreateMarkerTask
extends MarkerJob.MarkerTask

Field Summary

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

resource

Constructor Summary

Constructors

Constructor and Description
CreateMarkerTask(org.eclipse.core.resources.IResource resource, java.lang.String type, int severity, java.lang.String message)
CreateMarkerTask(org.eclipse.core.resources.IResource resource, java.lang.String type, java.util.Map<java.lang.String,java.lang.Object> attributes)

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

CreateMarkerTask

public CreateMarkerTask(org.eclipse.core.resources.IResource resource,
                        java.lang.String type,
                        java.util.Map<java.lang.String,java.lang.Object> attributes)

CreateMarkerTask

public CreateMarkerTask(org.eclipse.core.resources.IResource resource,
                        java.lang.String type,
                        int severity,
                        java.lang.String message)