Warning: session_start(): open(/var/lib/php/sessions/sess_kor4o5ee36j3osshptj0nvffu6, 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
sclass WordTokReplacerWithSecondIn > WordTokReplacer {
S secondIn;
class PartialApplication {
SS map;
S rewrittenSecondIn;
*(SS *map) {
rewrittenSecondIn = join(replaceCodeTokensUsingMap_curly(wordTok_noBrackets(secondIn), map));
}
toString { ret sfu(this); }
}
*(S sentence, Collection vars, S *secondIn, LS replaced_multi) {
super(sentence, vars, replaced_multi);
}
S rewrite(S s, SS map) {
ret join(replaceCodeTokensUsingMap_curly(wordTok_noBrackets(s), map);
}
run {
//emit(new PartialApplication(map));
emit(WordTokReplacer(rewrite(secondIn, map), vars, map join(tokReplaced)));
}
}