Lines Matching defs:marks
103 if (marks != null) {
125 if (marks != null) {
177 if (marks == null) {
178 marks = new Vector<PosRec>();
225 // marks after it.
228 int n = marks.size();
230 PosRec mark = marks.elementAt(i);
233 marks.removeElementAt(i);
243 int n = marks.size();
245 PosRec mark = marks.elementAt(i);
248 marks.removeElementAt(i);
277 int n = marks.size();
281 PosRec mark = marks.elementAt(i);
284 marks.removeElementAt(i);
318 transient Vector<PosRec> marks;
341 * to causing the marks to be collected.
347 marks.addElement(rec);
407 if(marks != null)
458 if(marks != null)
486 if(marks != null)