Class AtlEditor.ExclusivePositionUpdater
java.lang.Object
org.eclipse.m2m.atl.adt.ui.editor.AtlEditor.ExclusivePositionUpdater
- All Implemented Interfaces:
org.eclipse.jface.text.IPositionUpdater
- Enclosing class:
- AtlEditor
protected static class AtlEditor.ExclusivePositionUpdater
extends Object
implements org.eclipse.jface.text.IPositionUpdater
Position updater that takes any changes at the borders of a position to not belong to the position.
- Since:
- 3.0
-
Constructor Summary
ConstructorsConstructorDescriptionExclusivePositionUpdater
(String category) Creates a new updater for the givencategory
. -
Method Summary
Modifier and TypeMethodDescriptionReturns the position category.void
update
(org.eclipse.jface.text.DocumentEvent event)
-
Constructor Details
-
ExclusivePositionUpdater
Creates a new updater for the givencategory
.- Parameters:
category
- the new category.
-
-
Method Details
-
getCategory
Returns the position category.- Returns:
- the position category
-
update
public void update(org.eclipse.jface.text.DocumentEvent event) - Specified by:
update
in interfaceorg.eclipse.jface.text.IPositionUpdater
-