Package org.eclipse.jface.text.projection

Examples of org.eclipse.jface.text.projection.ChildDocument$VisibleRegion

2823
2824
2825
2826
2827
2828
2829
2830
2831
2832
2833
2834
2835
2836
2837
2838
2839
2840
2841
2842
   * @since 2.1
    * @deprecated use <code>updateSlaveDocument</code> instead
   */
  protected boolean updateVisibleDocument(IDocument visibleDocument, int visibleRegionOffset, int visibleRegionLength) throws BadLocationException {
    if (visibleDocument instanceof ChildDocument) {
      ChildDocument childDocument= (ChildDocument) visibleDocument;

      IDocument document= childDocument.getParentDocument();
      int line= document.getLineOfOffset(visibleRegionOffset);
      int offset= document.getLineOffset(line);
      int length= (visibleRegionOffset - offset) + visibleRegionLength;

      Position parentRange= childDocument.getParentDocumentRange();
      if (offset != parentRange.getOffset() || length != parentRange.getLength()) {
        childDocument.setParentDocumentRange(offset, length);
        return true;
      }
    }
    return false;
  }
View Full Code Here
3410
3411
3412
3413
3414
3415
3416
3417
3418
3419
3420
   */
  protected int _getVisibleRegionOffset() {

    IDocument document= getVisibleDocument();
    if (document instanceof ChildDocument) {
      ChildDocument cdoc= (ChildDocument) document;
      return cdoc.getParentDocumentRange().getOffset();
    }

    return 0;
  }
View Full Code Here
3437
3438
3439
3440
3441
3442
3443
3444
3445
3446
3447
3448
   * @see ITextViewer#overlapsWithVisibleRegion(int, int)
   */
  public boolean overlapsWithVisibleRegion(int start, int length) {
    IDocument document= getVisibleDocument();
    if (document instanceof ChildDocument) {
      ChildDocument cdoc= (ChildDocument) document;
      return cdoc.getParentDocumentRange().overlapsWith(start, length);
    } else if (document != null) {
      int size= document.getLength();
      return (start >= 0 && length >= 0 && start + length <= size);
    }
    return false;
View Full Code Here
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
      ISlaveDocumentManagerExtension extension= (ISlaveDocumentManagerExtension) manager;
      IDocument[] slaves= extension.getSlaveDocuments(masterDocument);
      if (slaves != null) {
        for (int i= 0; i < slaves.length; i++) {
          if (slaves[i] instanceof ChildDocument) {
            ChildDocument child= (ChildDocument) slaves[i];
            Position p= child.getParentDocumentRange();
            try {

              if (!updateSlaveDocument(child, p.getOffset(), p.getLength()))
                child.repairLineInformation();

            } catch (BadLocationException e) {
              // ignore
            }
          }
View Full Code Here
3003
3004
3005
3006
3007
3008
3009
3010
3011
3012
3013
3014
3015
3016
3017
3018
3019
3020
3021
3022
   * @since 2.1
    * @deprecated use <code>updateSlaveDocument</code> instead
   */
  protected boolean updateVisibleDocument(IDocument visibleDocument, int visibleRegionOffset, int visibleRegionLength) throws BadLocationException {
    if (visibleDocument instanceof ChildDocument) {
      ChildDocument childDocument= (ChildDocument) visibleDocument;

      IDocument document= childDocument.getParentDocument();
      int line= document.getLineOfOffset(visibleRegionOffset);
      int offset= document.getLineOffset(line);
      int length= (visibleRegionOffset - offset) + visibleRegionLength;

      Position parentRange= childDocument.getParentDocumentRange();
      if (offset != parentRange.getOffset() || length != parentRange.getLength()) {
        childDocument.setParentDocumentRange(offset, length);
        return true;
      }
    }
    return false;
  }
View Full Code Here
3590
3591
3592
3593
3594
3595
3596
3597
3598
3599
3600
   */
  protected int _getVisibleRegionOffset() {

    IDocument document= getVisibleDocument();
    if (document instanceof ChildDocument) {
      ChildDocument cdoc= (ChildDocument) document;
      return cdoc.getParentDocumentRange().getOffset();
    }

    return 0;
  }
View Full Code Here
3617
3618
3619
3620
3621
3622
3623
3624
3625
3626
3627
3628
   * @see ITextViewer#overlapsWithVisibleRegion(int, int)
   */
  public boolean overlapsWithVisibleRegion(int start, int length) {
    IDocument document= getVisibleDocument();
    if (document instanceof ChildDocument) {
      ChildDocument cdoc= (ChildDocument) document;
      return cdoc.getParentDocumentRange().overlapsWith(start, length);
    } else if (document != null) {
      int size= document.getLength();
      return (start >= 0 && length >= 0 && start + length <= size);
    }
    return false;
View Full Code Here
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
      ISlaveDocumentManagerExtension extension= (ISlaveDocumentManagerExtension) manager;
      IDocument[] slaves= extension.getSlaveDocuments(masterDocument);
      if (slaves != null) {
        for (int i= 0; i < slaves.length; i++) {
          if (slaves[i] instanceof ChildDocument) {
            ChildDocument child= (ChildDocument) slaves[i];
            Position p= child.getParentDocumentRange();
            try {

              if (!updateSlaveDocument(child, p.getOffset(), p.getLength()))
                child.repairLineInformation();

            } catch (BadLocationException e) {
              // ignore
            }
          }
View Full Code Here
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
      ISlaveDocumentManagerExtension extension= (ISlaveDocumentManagerExtension) manager;
      IDocument[] slaves= extension.getSlaveDocuments(masterDocument);
      if (slaves != null) {
        for (int i= 0; i < slaves.length; i++) {
          if (slaves[i] instanceof ChildDocument) {
            ChildDocument child= (ChildDocument) slaves[i];
            Position p= child.getParentDocumentRange();
            try {

              if (!updateSlaveDocument(child, p.getOffset(), p.getLength()))
                child.repairLineInformation();

            } catch (BadLocationException e) {
              // ignore
            }
          }
View Full Code Here
2997
2998
2999
3000
3001
3002
3003
3004
3005
3006
3007
3008
3009
3010
3011
3012
3013
3014
3015
3016
   * @since 2.1
    * @deprecated use <code>updateSlaveDocument</code> instead
   */
  protected boolean updateVisibleDocument(IDocument visibleDocument, int visibleRegionOffset, int visibleRegionLength) throws BadLocationException {
    if (visibleDocument instanceof ChildDocument) {
      ChildDocument childDocument= (ChildDocument) visibleDocument;

      IDocument document= childDocument.getParentDocument();
      int line= document.getLineOfOffset(visibleRegionOffset);
      int offset= document.getLineOffset(line);
      int length= (visibleRegionOffset - offset) + visibleRegionLength;

      Position parentRange= childDocument.getParentDocumentRange();
      if (offset != parentRange.getOffset() || length != parentRange.getLength()) {
        childDocument.setParentDocumentRange(offset, length);
        return true;
      }
    }
    return false;
  }
View Full Code Here
TOP

Related Classes of org.eclipse.jface.text.projection.ChildDocument$VisibleRegion

  • at.bestsolution.efxclipse.text.jface.TextViewer
  • org.eclipse.jface.text.IRegion
  • org.eclipse.jface.text.source.SourceViewer
  • org.eclipse.jface.text.TextViewer
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.