How to use

getModificationStamp

method

in

org.eclipse.jface.text.source.IAnnotationModelExtension

  /**
   * Seals this event. Any direct modification to the annotation model after the event has been sealed
   * invalidates this event.
   *
   * @since 3.0
   */
  public void markSealed() {
    if (fAnnotationModel instanceof IAnnotationModelExtension) {
      IAnnotationModelExtension extension= (IAnnotationModelExtension) fAnnotationModel;
      fModificationStamp= extension.getModificationStamp();
    }
  }
}

/**
 * Returns whether this annotation model event is still valid.
 *
 * @return <code>true</code> if this event is still valid, <code>false</code> otherwise
 * @since 3.0
 */
public boolean isValid() {
  if (fModificationStamp != null && fAnnotationModel instanceof IAnnotationModelExtension) {
    IAnnotationModelExtension extension= (IAnnotationModelExtension) fAnnotationModel;
    return fModificationStamp == extension.getModificationStamp();
  }
  return true;
}

  /**
   * Seals this event. Any direct modification to the annotation model after the event has been sealed
   * invalidates this event.
   *
   * @since 3.0
   */
  public void markSealed() {
    if (fAnnotationModel instanceof IAnnotationModelExtension) {
      IAnnotationModelExtension extension= (IAnnotationModelExtension) fAnnotationModel;
      fModificationStamp= extension.getModificationStamp();
    }
  }
}

/**
 * Returns whether this annotation model event is still valid.
 *
 * @return <code>true</code> if this event is still valid, <code>false</code> otherwise
 * @since 3.0
 */
public boolean isValid() {
  if (fModificationStamp != null && fAnnotationModel instanceof IAnnotationModelExtension) {
    IAnnotationModelExtension extension= (IAnnotationModelExtension) fAnnotationModel;
    return fModificationStamp == extension.getModificationStamp();
  }
  return true;
}