Warning: session_start(): open(/var/lib/php/sessions/sess_e40f3c4o84b6vkkdenjj8ma0ma, 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 jreplaceIC_literal(S s, S in, S out) {
LS tokIn = javaTokC(in);
LS tok = javaTok(s);
LS tokOut = null;
int n = l(tok)-l(tokIn)*2+1;
int i = 1;
bool change;
while ping (i < n) {
ifdef jreplaceIC_literal_debug
print("jreplaceIC_literal: list=" + subList(tok, i, i+l(tokIn)*2-1));
endifdef
if (!codeTokensEqualICAtIndex(tok, tokIn, i))
continue with i += 2;
if (tokOut == null) tokOut = dropFirstAndLast(javaTok(out));
int oldEnd = i+l(tokIn)*2-1, newEnd = i+l(tokOut);
replaceSublist(tok, i, oldEnd, tokOut);
i = newEnd+1;
set change;
}
ret change ? join(tok) : s;
}