Warning: session_start(): open(/var/lib/php/sessions/sess_84pv18qafjosco9f320fhb18f3, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
persistable sclass AutoGrowingList extends RandomAccessAbstractList {
new L list;
IF1 createEmptyElement; // optional, takes index and produces element
*(IF1 *createEmptyElement) {}
public int size() { ret list.size(); }
public A get(int i) { ret list.get(i); }
public A set(int i, A a) {
while (i > size())
list.add(createEmptyElement?.get(i));
if (i == size()) {
add(a);
null;
} else
ret list.set(i, a);
};
public bool add(A a) { ret list.add(a); }
}