<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_vtvev975dm5g1apnr1q75okmr4, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
sclass UniqueList<A> extends RandomAccessAbstractList<A> {
  new L<A> list;
  new Map<A, Int> index; // position of each element
  
  public A get(int i) { ret list.get(i); }
  public int size() { ret list.size(); }
  
  // couldn't come up with a better name here... add element or
  // get its index if it's already there
  int addOrGetIndex(A a) {
    Int i = index.get(a);
    if (i == null) {
      index.put(a, i = size());
      list.add(a);
    }
    ret i;
  }
  
  public bool add(A a) {
    int n = size();
    ret addOrGetIndex(a) == n;
  }
}