Warning: session_start(): open(/var/lib/php/sessions/sess_4mjf6grh5bj09das5spnrunbqb, 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
sclass CollectionInConcept implements Collection {
Collection c; // Backing Collection
Concept cc;
*() {} // for persistence
*(Collection *c, Concept *cc) {}
public int size() {
synchronized (this) {return c.size();}
}
public boolean isEmpty() {
synchronized (this) {return c.isEmpty();}
}
public boolean contains(Object o) {
synchronized (this) {return c.contains(o);}
}
public Object[] toArray() {
synchronized (this) {return c.toArray();}
}
public T[] toArray(T[] a) {
synchronized (this) {return c.toArray(a);}
}
public Iterator iterator() {
return c.iterator(); // caller should not use Iterator.remove()
}
public boolean add(E e) {
synchronized (this) {if (!c.add(e)) false; } change(); true;
}
public boolean remove(Object o) {
synchronized (this) {if (!c.remove(o)) false;} change(); true;
}
public boolean containsAll(Collection> coll) {
synchronized (this) {return c.containsAll(coll);}
}
public boolean addAll(Collection extends E> coll) {
synchronized (this) {if (!c.addAll(coll)) false;} change(); true;
}
public boolean removeAll(Collection> coll) {
synchronized (this) {if (!c.removeAll(coll)) false;} change(); true;
}
public boolean retainAll(Collection> coll) {
synchronized (this) {if (!c.retainAll(coll)) false;} change(); true;
}
public void clear() {
synchronized (this) {c.clear();} change();
}
public String toString() {
synchronized (this) {return c.toString();}
}
/*public void forEach(Consumer super E> consumer) {
synchronized (this) {c.forEach(consumer);}
}*/
/*public boolean removeIf(Predicate super E> filter) {
synchronized (this) {return c.removeIf(filter);}
}*/
@Override
public Spliterator spliterator() {
return c.spliterator(); // Must be manually synched by user!
}
/*public Stream stream() {
return c.stream(); // Must be manually synched by user!
}*/
/*public Stream parallelStream() {
return c.parallelStream(); // Must be manually synched by user!
}*/
void change() { if (cc != null) cc.change(); }
Collection unwrap() { ret c; }
}