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 |
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 |
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
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