public class InclusivePositionUpdater extends Object implements IPositionUpdater
[p.offset, p.offset + p.length]
of a Position
p
as belonging to the position.Constructor and Description |
---|
InclusivePositionUpdater(String category)
Creates a new updater for the given
category . |
Modifier and Type | Method and Description |
---|---|
String |
getCategory()
Returns the position category.
|
void |
update(DocumentEvent event)
Adapts positions to the change specified by the document event.
|
public InclusivePositionUpdater(String category)
category
.category
- the new category.public void update(DocumentEvent event)
IPositionUpdater
update
in interface IPositionUpdater
event
- the document event describing the document changepublic String getCategory()
Copyright (c) 2000, 2014 Eclipse Contributors and others. All rights reserved.Guidelines for using Eclipse APIs.