Warning: session_start(): open(/var/lib/php/sessions/sess_4hemk5f55dphnt4g4udfes7g8f, 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
svoid gazelle_saveExampleFromCommentAsAppliedRule(S ruleID) {
for (S example : gazelle_goodExamplesFromComments(ruleID)) {
PairS xmp = splitAtDoubleArrow_pair(example);
if (xmp == null) continue;
GazelleEvalContext ctx = dm_gazelle_stdEvalContext(ll(t3(dm_textForRule(ruleID), dm_commentOfRule(ruleID), ruleID)));
L l = ai_ruleEngine2_rulesForInput_5(ctx.engine, litmap(standard := xmp.a));
print("Matched: " + sfu(l));
if (empty(l)) continue;
RuleEngine2_MatchedRule mr = first(l);
LS tokC = mr.outTokenize(mr.rule.out);
LS tokI = mr.outTokenize(xmp.b);
printStruct(tokI);
SS map = zipTwoListsToCIMap_strict_withoutEquals(tokC, tokI);
if (!gazelle_addMatch(mr, map, tokC, tokI)) continue;
print("Got map: " + map);
}
}