Warning: session_start(): open(/var/lib/php/sessions/sess_8e9jp25tndnt6vt9ov4glqop7l, 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
static Set asSet(O[] array) {
new HashSet set;
for (O o : array)
if (o != null)
set.add(o);
ret set;
}
static Set asSet(S[] array) {
new TreeSet set;
for (S o : array)
if (o != null)
set.add(o);
ret set;
}
static Set asSet(Iterable l) {
if (l instanceof Set) ret (Set) l;
new HashSet set;
for (A o : unnull(l))
if (o != null)
set.add(o);
ret set;
}
ifclass MultiSet
// Note: does not clone the set (keeps multiset alive)
static Set asSet(MultiSet ms) {
ret ms == null ? null : ms.asSet();
}
endif