Warning: session_start(): open(/var/lib/php/sessions/sess_c9b0rdfq91r542c71g1ssespf4, 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 Set tok_allIdentifiersWithoutColonEquals(S s) {
new HashSet set;
LS tok = javaTokC(s);
for i over tok: {
S t = tok.get(i);
if (isIdentifier(t) && !
(eqGet(tok, i+1, ":") && eqGet(tok, i+2, "=")))
set.add(t);
}
ret set;
}