Lines Matching defs:marks
102 if (marks != null) {
124 if (marks != null) {
176 if (marks == null) {
177 marks = new Vector<PosRec>();
224 // marks after it.
227 int n = marks.size();
229 PosRec mark = marks.elementAt(i);
232 marks.removeElementAt(i);
242 int n = marks.size();
244 PosRec mark = marks.elementAt(i);
247 marks.removeElementAt(i);
275 int n = marks.size();
279 PosRec mark = marks.elementAt(i);
282 marks.removeElementAt(i);
315 transient Vector<PosRec> marks;
338 * to causing the marks to be collected.
344 marks.addElement(rec);
403 if(marks != null)
452 if(marks != null)
479 if(marks != null)