Java RegionData.getViewOffset Examples

Example #1

File: BaleFragmentContentIndent.java Project: shveta08/ICSE-2012-CodeBubbles

 IndentPosition(BaleRegion br, int off) throws BadLocationException {
   RegionData rd = region_map.get(br);
   validateRegions();
   int roff = rd.getRegionOffset(br, off);
   int voff = rd.getViewOffset(roff);
   local_offset = off - voff;
   base_position = base_document.createPosition(br.getStart() + roff);
 }

Example #2

File: BaleFragmentContentIndent.java Project: shveta08/ICSE-2012-CodeBubbles

  protected int mapRegionOffsetToView(BaleRegion br, int offset) {
    if (region_map != null) {
      validateRegions();
      RegionData rd = region_map.get(br);
      return rd.getViewOffset(offset);
    }

    return offset;
  }