Examples of HighlightedPosition

Examples of ptolemy.backtrack.eclipse.plugin.editor.SemanticHighlightingReconciler.HighlightedPosition

525
526
527
528
529
530
531
532
533
534
535
536
537
        int i = -1;
        int j = positions.size();

        while ((j - i) > 1) {
            int k = (i + j) >> 1;
            HighlightedPosition position = positions.get(k);

            if (position.getOffset() > offset) {
                j = k;
            } else {
                i = k;
            }
        }
View Full Code Here

Examples of ptolemy.backtrack.eclipse.plugin.editor.SemanticHighlightingReconciler.HighlightedPosition

551
552
553
554
555
556
557
558
559
560
561
562
563
        int i = -1;
        int j = positions.size();

        while ((j - i) > 1) {
            int k = (i + j) >> 1;
            HighlightedPosition position = positions.get(k);

            if (position.getOffset() >= offset) {
                j = k;
            } else {
                i = k;
            }
        }
View Full Code Here

Examples of ptolemy.backtrack.eclipse.plugin.editor.SemanticHighlightingReconciler.HighlightedPosition

621
622
623
624
625
626
627
628
629
630
    /**
     * Invalidate text presentation of all positions.
     */
    private void _invalidateTextPresentation() {
        for (int i = 0, n = _positions.size(); i < n; i++) {
            HighlightedPosition position = _positions.get(i);
            _sourceViewer.invalidateTextPresentation(position.getOffset(),
                    position.getLength());
        }
    }
View Full Code Here

Examples of ptolemy.backtrack.eclipse.plugin.editor.SemanticHighlightingReconciler.HighlightedPosition

717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
            try {
                Position[] positions = event.getDocument().getPositions(
                        _category);

                for (int i = 0; i != positions.length; i++) {
                    HighlightedPosition position = (HighlightedPosition) positions[i];

                    // Also update deleted positions because they get deleted by the background thread and removed/invalidated only in the UI runnable
                    //                  if (position.isDeleted())
                    //                      continue;
                    int offset = position.getOffset();
                    int length = position.getLength();
                    int end = offset + length;

                    if (offset > eventEnd) {
                        updateWithPrecedingEvent(position, event);
                    } else if (end < eventOffset) {
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.