Warning: session_start(): open(/var/lib/php/sessions/sess_b1coii8ahuedp81oc1toiaaqf7, 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 LS tok_splitAtAnyOperator(S s) { ret tok_splitAtAnyOperator(javaTok(s)); } static LS tok_splitAtAnyOperator(LS tok) { new LS l; int i = 0; while ping (i < l(tok)) { S t; int j = i; while (l(t = get(tok, j)) == 1 && !startsWithLetterOrDigit(t)) j += 2; l.add(trimJoinSubList(tok, i, j)); i = j; while (j < l(tok) && !(l(t = get(tok, j)) == 1 && !startsWithLetterOrDigit(t))) j += 2; l.add(trimJoinSubList(tok, i, j)); i = j; } ret l; }