Class InclusivePositionUpdater

  • All Implemented Interfaces:
    IPositionUpdater

    public class InclusivePositionUpdater
    extends 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 Detail

      • InclusivePositionUpdater

        public InclusivePositionUpdater​(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 String getCategory()
        Returns the position category.
        Returns:
        the position category