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

java.lang.Object
  extended by org.eclipse.ui.actions.WorkspaceModifyOperation
      extended by 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
AddMarkersOperation(org.eclipse.core.resources.IResource resource, java.util.List<Issue> issues, java.util.Set<java.lang.String> markerIds, boolean deleteMarkers, MarkerCreator markerCreator)
          Deprecated. use AddMarkersOperation(IResource, List, Set, boolean, MarkerCreator, MarkerTypeProvider) instead
AddMarkersOperation(org.eclipse.core.resources.IResource resource, java.util.List<Issue> issues, java.util.Set<java.lang.String> markerIds, boolean deleteMarkers, MarkerCreator markerCreator, MarkerTypeProvider markerTypeProvider)
           
AddMarkersOperation(org.eclipse.core.resources.IResource resource, java.util.List<Issue> issues, java.lang.String markerId, boolean deleteMarkers, MarkerCreator markerCreator)
          Deprecated. use AddMarkersOperation(IResource, List, Set, boolean, MarkerCreator, MarkerTypeProvider) instead
 
Method Summary
protected  void execute(org.eclipse.core.runtime.IProgressMonitor monitor)
           
 java.lang.String getMarkerId()
          Deprecated. use getMarkerIds() instead.
 com.google.common.collect.ImmutableList<java.lang.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,
                                      java.util.List<Issue> issues,
                                      java.lang.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,
                                      java.util.List<Issue> issues,
                                      java.util.Set<java.lang.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,
                           java.util.List<Issue> issues,
                           java.util.Set<java.lang.String> markerIds,
                           boolean deleteMarkers,
                           MarkerCreator markerCreator,
                           MarkerTypeProvider markerTypeProvider)
Since:
2.3
Method Detail

getMarkerId

@Deprecated
public java.lang.String getMarkerId()
Deprecated. use getMarkerIds() instead.

Returns:
the first markerID if any.

getMarkerIds

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

execute

protected void execute(org.eclipse.core.runtime.IProgressMonitor monitor)
                throws org.eclipse.core.runtime.CoreException,
                       java.lang.reflect.InvocationTargetException,
                       java.lang.InterruptedException
Specified by:
execute in class org.eclipse.ui.actions.WorkspaceModifyOperation
Throws:
org.eclipse.core.runtime.CoreException
java.lang.reflect.InvocationTargetException
java.lang.InterruptedException