Warning: session_start(): open(/var/lib/php/sessions/sess_a0eke0bo4c9rgib2k87qmht20s, 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
sbool match3_withIntsAndIDs(S pat, S s, Matches m default null) {
LS tokPat = javaTokWithAllPlusAngleBrackets(pat);
S pat2 = joinMap(tokPat, t -> eqOneOf(t, "", "") ? "*" : t);
Matches m2 = m == null ? new Matches : m;
ifdef match3_withIntsAndIDs_debug
printVars_str match3_withInts(+pat2, +s);
endifdef
if (!match3(pat2, s, m2)) false;
LS vars = filter(codeTokens(tokPat), t -> eqOneOf(t, "", "", "*"));
for i over vars: {
if (eq(vars.get(i), "") && !isInteger(m2.get(i))
|| eq(vars.get(i), "") && !isIdentifier(m2.get(i)))
false;
}
true;
}