Examples of org.eclipse.jface.text.projection.ProjectionDocument

org.eclipse.jface.text.projection.ProjectionDocument

A ProjectionDocument represents a projection of its master document. The contents of a projection document is a sequence of fragments of the master document, i.e. the projection document can be thought as being constructed from the master document by not copying the whole master document but omitting several ranges of the master document.

The projection document indirectly utilizes its master document as ITextStore by means of a ProjectionTextStore.

The content of a projection document can be changed in two ways. Either by a text replace applied to the master document or the projection document. Or by changing the projection between the master document and the projection document. For the latter the two methods addMasterDocumentRange and removeMasterDocumentRange are provided. For any manipulation, the projection document sends out a {@link org.eclipse.jface.text.projection.ProjectionDocumentEvent} describingthe change.

Clients are not supposed to directly instantiate this class. In order to obtain a projection document, a {@link org.eclipse.jface.text.projection.ProjectionDocumentManager}should be used. This class is not intended to be subclassed outside of its origin package.

@since 3.0 @noinstantiate This class is not intended to be instantiated by clients. @noextend This class is not intended to be subclassed by clients.

   * @throws BadLocationException in case the range is invalid
   */
  private void expand(int offset, int length, boolean fireRedraw) throws BadLocationException {
    IDocument slave= getVisibleDocument();
    if (slave instanceof ProjectionDocument) {
      ProjectionDocument projection= (ProjectionDocument) slave;


      // expand
      addMasterDocumentRange(projection, offset, length);


      // collapse contained regions

   *
   * @throws BadLocationException in case something goes wrong during initialization
   */
  public final void reinitializeProjection() throws BadLocationException {


    ProjectionDocument projection= null;


    ISlaveDocumentManager manager= getSlaveDocumentManager();
    if (manager != null) {
      IDocument master= getDocument();
      if (master != null) {

Examples of org.eclipse.jface.text.projection.ProjectionDocument

Related Classes of org.eclipse.jface.text.projection.ProjectionDocument