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 |
---|---|
Segment |
segment
The corresponding segment of this fragment.
|
Constructor and Description |
---|
Fragment(int offset,
int length)
Creates a new fragment covering the given range.
|
public Segment segment
Copyright (c) 2000, 2014 Eclipse Contributors and others. All rights reserved.Guidelines for using Eclipse APIs.