Warning: session_start(): open(/var/lib/php/sessions/sess_0vo638rrlmclpa1pudh5044c9n, 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_withInts(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;
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;
}