Lines Matching refs:p0
108 * @param p0 the start offset of the range to highlight >= 0
109 * @param p1 the end offset of the range to highlight >= p0
115 public Object addHighlight(int p0, int p1, Highlighter.HighlightPainter p) throws BadLocationException {
116 if (p0 < 0) {
117 throw new BadLocationException("Invalid start offset", p0);
120 if (p1 < p0) {
129 i.p0 = doc.createPosition(p0);
132 safeDamageRange(p0, p1);
150 safeDamageRange(info.p0, info.p1);
167 int p0 = -1;
179 if (p0 == -1) {
180 p0 = hi.p0.getOffset();
184 p0 = Math.min(p0, hi.p0.getOffset());
192 if (p0 != -1) {
194 safeDamageRange(p0, p1);
203 int p0 = Integer.MAX_VALUE;
207 p0 = Math.min(p0, info.p0.getOffset());
211 safeDamageRange(p0, p1);
223 * @param p0 the beginning of the range >= 0
224 * @param p1 the end of the range >= p0
227 public void changeHighlight(Object tag, int p0, int p1) throws BadLocationException {
228 if (p0 < 0) {
229 throw new BadLocationException("Invalid beginning of the range", p0);
232 if (p1 < p0) {
245 lhi.p0 = doc.createPosition(p0);
247 safeDamageRange(Math.min(p0, p1), Math.max(p0, p1));
251 int oldP0 = info.p0.getOffset();
253 if (p0 == oldP0) {
257 safeDamageRange(Math.min(p0, oldP0),
258 Math.max(p0, oldP0));
261 safeDamageRange(p0, p1);
263 info.p0 = doc.createPosition(p0);
291 * @param p0 starting offset of view
297 public void paintLayeredHighlights(Graphics g, int p0, int p1,
306 if ((p0 < start && p1 > start) ||
307 (p0 >= start && p0 < end)) {
308 lhi.paintLayeredHighlights(g, p0, p1, viewBounds,
319 private void safeDamageRange(final Position p0, final Position p1) {
320 safeDamager.damageRange(p0, p1);
408 Rectangle p0 = mapper.modelToView(c, offs0);
420 if (p0.y == p1.y) {
422 Rectangle r = p0.union(p1);
426 int p0ToMarginWidth = alloc.x + alloc.width - p0.x;
427 g.fillRect(p0.x, p0.y, p0ToMarginWidth, p0.height);
428 if ((p0.y + p0.height) != p1.y) {
429 g.fillRect(alloc.x, p0.y + p0.height, alloc.width,
430 p1.y - (p0.y + p0.height));
509 return p0.getOffset();
520 Position p0;
563 void paintLayeredHighlights(Graphics g, int p0, int p1,
569 p0 = Math.max(start, p0);
574 (g, p0, p1, viewBounds, editor, view));
592 private Vector<Position> p0 = new Vector<Position>(10);
605 int len = p0.size();
608 p0.get(i).getOffset(),
613 p0.clear();
632 p0.clear();
637 boolean addToQueue = p0.isEmpty();
640 if (!p0.isEmpty()) {
641 p0.clear();
646 p0.add(pos0);