Warning: session_start(): open(/var/lib/php/sessions/sess_04clv510lmqk4omsrq7mhtrq9t, 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 L indicesOf(L l, A a) {
if (l == null) null;
ifclass IContentsIndexedList
if (l cast IContentsIndexedList)
ret intArrayToList(l.indicesOf(a));
endif
ifclass IContentsIndexedList2
if (l cast IContentsIndexedList2)
ret map(h -> h/HasIndex.idx, l.indicesOf_treeSetOfHasIndex(a));
endif
new L x;
for (int i = 0; i < l(l); i++)
if (eq(l.get(i), a))
x.add(i);
ret x;
}
static L indicesOf(S s, S x) {
int i = -1;
new L out;
while ((i = indexOf(s, x, i+1)) >= 0)
out.add(i);
ret out;
}