| |
|
| java.lang.Object org.eclipse.jface.text.DefaultPositionUpdater org.eclipse.jface.text.projection.FragmentUpdater
FragmentUpdater | class FragmentUpdater extends DefaultPositionUpdater (Code) | | The position updater used to adapt the fragments of a master document. If an
insertion happens at a fragment's offset, the fragment is extended rather
than shifted. Also, the last fragment is extended if an insert operation
happens at the end of the fragment.
since: 3.0 |
Constructor Summary | |
protected | FragmentUpdater(String fragmentCategory) Creates the fragment updater for the given category. |
FragmentUpdater | protected FragmentUpdater(String fragmentCategory)(Code) | | Creates the fragment updater for the given category.
Parameters: fragmentCategory - the position category used for managing the fragments of a document |
adaptToInsert | protected void adaptToInsert()(Code) | | |
affectsPositions | public boolean affectsPositions(DocumentEvent event)(Code) | | Returns whether this updater considers any position affected by the given document event. A
position is affected if event
Position.overlapsWith(intint) overlaps with it but not if the position is only shifted.
Parameters: event - the event true if there is any affected position, false otherwise |
|
|
|