Examples of org.eclipse.jface.text.IDocument.containsPosition()

org.eclipse.jface.text.IDocument.containsPosition()
Determines whether a position described by the parameters is managed by this document. @param category the category to check @param offset the offset of the position to find @param length the length of the position to find @return true if position is found

        // remove all affected positions
        while (first < category.length) {
          TypedPosition p= (TypedPosition) category[first];
          if (lastScannedPosition >= p.offset + p.length ||
              (p.overlapsWith(start, length) &&
                 (!d.containsPosition(fPositionCategory, start, length) ||
                  !contentType.equals(p.getType())))) {


            rememberRegion(p.offset, p.length);
            d.removePosition(fPositionCategory, p);
            ++ first;

View Full Code Here

            break;
        }


        // if position already exists and we have scanned at least the
        // area covered by the event, we are done
        if (d.containsPosition(fPositionCategory, start, length)) {
          if (lastScannedPosition >= e.getOffset() + newLength)
            return createRegion();
          ++ first;
        } else {
          // insert the new type position

View Full Code Here

        // remove all affected positions
        while (first < category.length) {
          TypedPosition p= (TypedPosition) category[first];
          if (lastScannedPosition >= p.offset + p.length ||
              (p.overlapsWith(start, length) &&
                 (!d.containsPosition(fPositionCategory, start, length) ||
                  !contentType.equals(p.getType())))) {


            rememberRegion(p.offset, p.length);
            d.removePosition(fPositionCategory, p);
            ++ first;

View Full Code Here

          } else
            break;
        }


        // if position already exists we are done
        if (d.containsPosition(fPositionCategory, start, length))
          return createRegion();


        // insert the new type position
        try {
          d.addPosition(fPositionCategory, new TypedPosition(start, length, contentType));

View Full Code Here

        // remove all affected positions
        while (first < category.length) {
          TypedPosition p= (TypedPosition) category[first];
          if (lastScannedPosition >= p.offset + p.length ||
              (p.overlapsWith(start, length) &&
                 (!d.containsPosition(fPositionCategory, start, length) ||
                  !contentType.equals(p.getType())))) {


            rememberRegion(p.offset, p.length);
            d.removePosition(fPositionCategory, p);
            ++ first;

View Full Code Here

          } else
            break;
        }


        // if position already exists we are done
        if (d.containsPosition(fPositionCategory, start, length))
          return createRegion();


        // insert the new type position
        try {
          d.addPosition(fPositionCategory, new TypedPosition(start, length, contentType));

View Full Code Here

        // remove all affected positions
        while (first < category.length) {
          TypedPosition p= (TypedPosition) category[first];
          if (lastScannedPosition >= p.offset + p.length ||
              (p.overlapsWith(start, length) &&
                 (!d.containsPosition(fPositionCategory, start, length) ||
                  !contentType.equals(p.getType())))) {


            rememberRegion(p.offset, p.length);
            d.removePosition(fPositionCategory, p);
            ++ first;

View Full Code Here

            break;
        }


        // if position already exists and we have scanned at least the
        // area covered by the event, we are done
        if (d.containsPosition(fPositionCategory, start, length)) {
          if (lastScannedPosition >= e.getOffset() + newLength)
            return createRegion();
          ++ first;
        } else {
          // insert the new type position

View Full Code Here

                    CFEPartition p = (CFEPartition) category[first];
                   
                    //System.out.println("Checking if " + p.getType() + " " + p.offset + ":" + Integer.toString(p.offset+p.length) + " should be deleted.");
                    // Check if this partition needs to be removed.
                    if (lastScannedPosition >= p.offset + p.length
                            || (p.overlapsWith(start, length) && (!d
                                    .containsPosition(fPositionCategory, start,
                                            length) || !contentType.equals(p
                                    .getType())))) {
                        //System.out.println("It should be deleted.");

View Full Code Here

                        break;
                }


                // if position already exists and we have scanned at least the
                // area covered by the event, we are done
                if (d.containsPosition(fPositionCategory, start, length)) {
                    //System.out.println("Position already exists from " + start + " to " + Integer.toString(start+length));
                    if (lastScannedPosition >= fReparseEnd) {
                        repairPseudoPartitions();
                        return createRegion();
                    }

View Full Code Here

0 1

TOP

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.