Warning: session_start(): open(/var/lib/php/sessions/sess_mosoct6hqjh4kcbpk76gge7f6o, 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 combineToNLPattern(S a, S b) {
if (a == null || b == null) null;
L tok1 = codeTokens(dropPunctuation(javaTok(a)));
L tok2 = codeTokens(dropPunctuation(javaTok(b)));
if (l(tok1) != l(tok2)) null;
new L out;
for i over tok1: {
S t = tok1.get(i);
out.add(eq(t, tok2.get(i)) ? t : "*");
}
ret joinWithSpace(out);
}
sS combineToNLPattern(Iterable l) {
ret foldl_noSeed(func(S a, S b) -> S { combineToNLPattern(a, b) }, l);
}