public interface IPositionUpdater
Position updaters are of primary importance for the definition of the semantics of positions.
Clients may implement this interface or use the standard implementation
DefaultPositionUpdater
.
Modifier and Type | Method and Description |
---|---|
void |
update(DocumentEvent event)
Adapts positions to the change specified by the document event.
|
void update(DocumentEvent event)
event
- the document event describing the document change
Copyright (c) 2000, 2015 Eclipse Contributors and others. All rights reserved.Guidelines for using Eclipse APIs.