org.eclipse.xtext.ui.editor.validation

Class AddMarkersOperation

java.lang.Object

org.eclipse.ui.actions.WorkspaceModifyOperation

org.eclipse.xtext.ui.editor.validation.AddMarkersOperation

All Implemented Interfaces:

org.eclipse.jface.operation.IRunnableWithProgress, org.eclipse.jface.operation.IThreadListener

public class AddMarkersOperation
extends org.eclipse.ui.actions.WorkspaceModifyOperation

Author:

Sven Efftinge - Initial contribution and API

Constructor Summary

Constructors

Constructor and Description
AddMarkersOperation(org.eclipse.core.resources.IResource resource, List<Issue> issues, Set<String> markerIds, boolean deleteMarkers, MarkerCreator markerCreator) Deprecated. use AddMarkersOperation(IResource, List, Set, boolean, MarkerCreator, MarkerTypeProvider) instead
AddMarkersOperation(org.eclipse.core.resources.IResource resource, List<Issue> issues, Set<String> markerIds, boolean deleteMarkers, MarkerCreator markerCreator, MarkerTypeProvider markerTypeProvider)
AddMarkersOperation(org.eclipse.core.resources.IResource resource, List<Issue> issues, String markerId, boolean deleteMarkers, MarkerCreator markerCreator) Deprecated. use AddMarkersOperation(IResource, List, Set, boolean, MarkerCreator, MarkerTypeProvider) instead

Method Summary

Methods

Modifier and Type	Method and Description
protected void	execute(org.eclipse.core.runtime.IProgressMonitor monitor)
String	getMarkerId() Deprecated. use getMarkerIds() instead.
com.google.common.collect.ImmutableList<String>	getMarkerIds()

Methods inherited from class org.eclipse.ui.actions.WorkspaceModifyOperation

getRule, run, threadChange

Methods inherited from class java.lang.Object

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

Constructor Detail

AddMarkersOperation

@Deprecated
public AddMarkersOperation(org.eclipse.core.resources.IResource resource,
                              List<Issue> issues,
                              String markerId,
                              boolean deleteMarkers,
                              MarkerCreator markerCreator)

Deprecated. use AddMarkersOperation(IResource, List, Set, boolean, MarkerCreator, MarkerTypeProvider) instead

AddMarkersOperation

@Deprecated
public AddMarkersOperation(org.eclipse.core.resources.IResource resource,
                              List<Issue> issues,
                              Set<String> markerIds,
                              boolean deleteMarkers,
                              MarkerCreator markerCreator)

Deprecated. use AddMarkersOperation(IResource, List, Set, boolean, MarkerCreator, MarkerTypeProvider) instead

AddMarkersOperation

public AddMarkersOperation(org.eclipse.core.resources.IResource resource,
                   List<Issue> issues,
                   Set<String> markerIds,
                   boolean deleteMarkers,
                   MarkerCreator markerCreator,
                   MarkerTypeProvider markerTypeProvider)

Since:

2.3

Method Detail

getMarkerId

@Deprecated
public String getMarkerId()

Deprecated. use getMarkerIds() instead.

Returns:

the first markerID if any.

getMarkerIds

public com.google.common.collect.ImmutableList<String> getMarkerIds()

execute

protected void execute(org.eclipse.core.runtime.IProgressMonitor monitor)
                throws org.eclipse.core.runtime.CoreException,
                       InvocationTargetException,
                       InterruptedException

Specified by:

execute in class org.eclipse.ui.actions.WorkspaceModifyOperation

Throws:

org.eclipse.core.runtime.CoreException

InvocationTargetException

InterruptedException