コード例 #1
0
  protected boolean getRegionText(BaleRegion br, int off, int len, Segment text)
      throws BadLocationException {
    int soff = br.getStart();
    int eoff = br.getEnd();

    if (region_map != null) {
      validateRegions();
      RegionData rd = region_map.get(br);
      Segment rtext = new Segment();
      base_document.getText(soff, eoff - soff, rtext);
      return rd.getText(rtext, off, len, text);
    }

    int doff = off + soff;
    int dlen = len;

    boolean lastbad = false;
    if (br.includesEol()) {
      if (doff + dlen > eoff) dlen = eoff - off;
      base_document.getText(doff, len, text);
    } else {
      if (doff + dlen > eoff) dlen = eoff - off + 1;
      base_document.getText(doff, len, text);
      lastbad = (doff + len > eoff); // if last character might be bad
    }

    return lastbad;
  }
コード例 #2
0
 private void fixupOffset(BaleRegion br, int off, boolean edit) {
   if (edit && region_map != null) {
     validateRegions();
     RegionData rd = region_map.get(br);
     rd.fixupOffset(br, off);
   }
   validateRegions();
 }
コード例 #3
0
  protected int mapRegionOffsetToView(BaleRegion br, int offset) {
    if (region_map != null) {
      validateRegions();
      RegionData rd = region_map.get(br);
      return rd.getViewOffset(offset);
    }

    return offset;
  }
コード例 #4
0
  protected int mapViewOffsetToRegion(BaleRegion br, int offset, boolean edit) {
    if (region_map != null) {
      fixupOffset(br, offset, edit);
      RegionData rd = region_map.get(br);
      return rd.getRegionOffset(br, offset);
    }

    return offset;
  }
コード例 #5
0
  /** ***************************************************************************** */
  protected int getRegionLength(BaleRegion br) {
    int len = br.getEnd() - br.getStart();

    if (!br.includesEol()) len += 1;

    if (region_map != null) {
      validateRegions();
      RegionData rd = region_map.get(br);
      len += rd.getDeltaLength();
    }

    return len;
  }