Warning: session_start(): open(/var/lib/php/sessions/sess_2r13da9ef28ugjlemmqbtle6o8, 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
sS tok_packageName(LS tok) {
int i = jfind(tok, "package");
if (i < 0) ret "";
i += 2;
int j = jfind(tok, i, ";");
if (j < 0) ret "";
ret join(codeTokensOnly(subList(tok, i-1, j)));
}
sS tok_packageName(S src) {
Producer p = javaTokC_producer(src);
S t = p.next();
if (!eq(t, "package")) ret "";
new StringBuilder buf;
while (!eqOneOf(t = p.next(), null, ";"))
buf.append(t);
ret str(buf);
}