public class Fragment extends Position
A fragment is a range of the master document that has an image, the so called segment, in a projection document.
|Modifier and Type||Field and Description|
The corresponding segment of this fragment.
|Constructor and Description|
Creates a new fragment covering the given range.
delete, equals, getLength, getOffset, hashCode, includes, isDeleted, overlapsWith, setLength, setOffset, toString, undelete
public Segment segment
Copyright (c) 2000, 2017 Eclipse Contributors and others. All rights reserved.Guidelines for using Eclipse APIs.