Die Methode copy

(vereinfacht)

...  copy ( ... dest, ... src) {
   for (int i = 0; i < src.size (); i++) {
       dest.set(i, src.get(i));
   }
}



Johannes Waldmann 2004-11-30