Lines Matching defs:elems
51 private List<A> elems;
53 /** A pointer pointing to the last element of 'elems' containing data,
73 this.elems = List.nil();
103 if (elems.nonEmpty()) {
104 List<A> orig = elems;
106 elems = last = List.of(orig.head);
118 elems = elems.prepend(x);
119 if (last == null) last = elems;
134 elems = last = newLast;
169 return elems;
175 return elems.contains(x);
181 return elems.toArray(vec);
190 return elems.head;
196 A x = elems.head;
197 if (!elems.isEmpty()) {
198 elems = elems.tail;
199 if (elems.isEmpty()) last = null;
209 List<A> elems = ListBuffer.this.elems;
211 return !elems.isEmpty();
214 if (elems.isEmpty())
216 A elem = elems.head;
217 elems = elems.tail;