Warning: session_start(): open(/var/lib/php/sessions/sess_c69u3djkm2qtqbdlc7e56msgp7, 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 S tok_autoCloseBrackets(S s) {
ret join(tok_autoCloseBrackets(javaTok(s)));
}
// modifies tok
static L tok_autoCloseBrackets(L tok) {
bigloop: for (int i = 1; i < l(tok); i += 2) {
if (eq(tok.get(i), ";")) {
int j, level = 0;
for (j = i-2; j >= 0; j -= 2) {
S t = tok.get(j);
if (eqOneOf(t, ";", "{", "for")) break;
if (eq(t, "}")) break; // TODO: skip over until other end of bracket
else if (eq(t, ")")) --level;
else if (eq(t, "(")) {
if (eq(get(tok, j-2), "for")) break;
++level;
}
}
while (level-- > 0) {
tok.add(i++, ")");
tok.add(i++, "");
}
}
}
ret tok;
}