Lines Matching defs:p1
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 {
120 if (p1 < p0) {
121 throw new BadLocationException("Invalid end offset", p1);
130 i.p1 = doc.createPosition(p1);
132 safeDamageRange(p0, p1);
150 safeDamageRange(info.p0, info.p1);
168 int p1 = -1;
181 p1 = hi.p1.getOffset();
185 p1 = Math.max(p1, hi.p1.getOffset());
194 safeDamageRange(p0, p1);
204 int p1 = 0;
208 p1 = Math.max(p1, info.p1.getOffset());
211 safeDamageRange(p0, p1);
224 * @param p1 the end of the range >= p0
227 public void changeHighlight(Object tag, int p0, int p1) throws BadLocationException {
232 if (p1 < p0) {
233 throw new BadLocationException("Invalid end of the range", p1);
246 lhi.p1 = doc.createPosition(p1);
247 safeDamageRange(Math.min(p0, p1), Math.max(p0, p1));
252 int oldP1 = info.p1.getOffset();
254 safeDamageRange(Math.min(oldP1, p1),
255 Math.max(oldP1, p1));
256 } else if (p1 == oldP1) {
261 safeDamageRange(p0, p1);
264 info.p1 = doc.createPosition(p1);
292 * @param p1 ending offset of view
297 public void paintLayeredHighlights(Graphics g, int p0, int p1,
306 if ((p0 < start && p1 > start) ||
308 lhi.paintLayeredHighlights(g, p0, p1, viewBounds,
319 private void safeDamageRange(final Position p0, final Position p1) {
320 safeDamager.damageRange(p0, p1);
409 Rectangle p1 = mapper.modelToView(c, offs1);
420 if (p0.y == p1.y) {
422 Rectangle r = p0.union(p1);
428 if ((p0.y + p0.height) != p1.y) {
430 p1.y - (p0.y + p0.height));
432 g.fillRect(alloc.x, p1.y, (p1.x - alloc.x), p1.height);
513 return p1.getOffset();
521 Position p1;
563 void paintLayeredHighlights(Graphics g, int p0, int p1,
570 p1 = Math.min(end, p1);
574 (g, p0, p1, viewBounds, editor, view));
593 private Vector<Position> p1 = new Vector<Position>(10);
609 p1.get(i).getOffset());
614 p1.clear();
642 p1.clear();
647 p1.add(pos1);