public class MarkerManager
extends java.lang.Object
Modifier | Constructor and Description |
---|---|
protected |
MarkerManager() |
Modifier and Type | Method and Description |
---|---|
void |
addListener(IMarkerListener listener,
java.util.concurrent.Executor executor) |
void |
closed(IMarker marker) |
static MarkerManager |
get() |
java.util.Set<IMarker> |
getMarkers(IModel model,
java.util.Set<IMarker> container) |
long |
newId() |
void |
opened(IMarker marker) |
void |
removeListener(IMarkerListener listener) |
public static MarkerManager get()
public void addListener(IMarkerListener listener, java.util.concurrent.Executor executor)
public void removeListener(IMarkerListener listener)
public long newId()
public void opened(IMarker marker)
public void closed(IMarker marker)