Class InclusivePositionUpdater

  • All Implemented Interfaces:
    IPositionUpdater

    public class InclusivePositionUpdater
    extends java.lang.Object
    implements IPositionUpdater
    Position updater that considers any change in [p.offset, p.offset + p.length] of a Position p as belonging to the position.
    Since:
    3.0
    Restriction:
    This class is not intended to be subclassed by clients.
    • Constructor Summary

      Constructors 
      Constructor Description
      InclusivePositionUpdater​(java.lang.String category)
      Creates a new updater for the given category.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.String getCategory()
      Returns the position category.
      void update​(DocumentEvent event)
      Adapts positions to the change specified by the document event.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • InclusivePositionUpdater

        public InclusivePositionUpdater​(java.lang.String category)
        Creates a new updater for the given category.
        Parameters:
        category - the new category.
    • Method Detail

      • update

        public void update​(DocumentEvent event)
        Description copied from interface: IPositionUpdater
        Adapts positions to the change specified by the document event. It is ensured that the document's partitioning has been adapted to this document change and that all the position updaters which have a smaller index in the document's position updater list have been called.
        Specified by:
        update in interface IPositionUpdater
        Parameters:
        event - the document event describing the document change
      • getCategory

        public java.lang.String getCategory()
        Returns the position category.
        Returns:
        the position category