public class MarkerIndex
extends java.lang.Object
Constructor and Description |
---|
MarkerIndex(java.io.File outputDirectory) |
Modifier and Type | Method and Description |
---|---|
void |
closed(IMarker marker) |
void |
dispose() |
void |
opened(IMarker marker) |
protected void |
updateMarkerIndex(IMarker marker,
boolean isClose) |
protected void |
updateTypeStream(IMarker marker) |