Lines Matching refs:PosRec
177 marks = new Vector<PosRec>();
229 PosRec mark = marks.elementAt(i);
244 PosRec mark = marks.elementAt(i);
279 PosRec mark = marks.elementAt(i);
315 transient Vector<PosRec> marks;
324 final class PosRec {
326 PosRec(int offset) {
343 rec = new PosRec(offset);
361 PosRec rec;
369 UndoPosRef(PosRec rec) {
385 protected PosRec rec;