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