Warning: session_start(): open(/var/lib/php/sessions/sess_si64ne78443e9q3ej09eii9cmp, 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
// returns L
static L recursiveJavaTok(S s) {
L tok = cloneList(javaTokWithBrackets(s));
for (int i = 1; i < l(tok); i += 2) {
S t = cast tok.get(i);
if (startsWithOneOf(t, "(", "{")) {
L sub = recursiveJavaTok(dropFirstAndLast(t));
// add brackets to inner N tokens
sub.set(0, first(sub) + takeFirst(1, t));
sub.set(l(sub)-1, takeLast(1, t) + last(sub));
tok.set(i, sub);
}
}
ret tok;
}