Warning: session_start(): open(/var/lib/php/sessions/sess_0e6uqr42b5sl309bh6r9go9u0r, 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 reTok(L tok) {
replaceCollection(tok, javaTok(tok));
ret tok;
}
static L reTok(L tok, int i) {
ret reTok(tok, i, i+1);
}
static L reTok(L tok, int i, int j) {
// extend i to an "N" token
// and j to "C" (so j-1 is an "N" token)
i = i & ~1;
j = j | 1;
L t = javaTok(join(subList(tok, i, j)));
replaceListPart(tok, i, j, t);
// fallback to safety
// reTok(tok);
ret tok;
}
ifclass IntRange
static LS reTok(LS tok, IntRange r) {
if (r != null) reTok(tok, i.start, i.end);
ret tok;
}
endif