Warning: session_start(): open(/var/lib/php/sessions/sess_dib62teinvqrshm0a01f1r6ebk, 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
static void nlLogic_iterate_withOnFail2(final NLLogicChecker_v2 c, Exp e, final NLLogicChecker_v2.Matching m, final L satisfiedConditions, final Runnable onMatch, final VF2, Exp> onFail) {
final new Flag anyResults;
if (e cast And) {
final Exp a = e.a, b = e.b;
c.iterate_single(a, m, r {
anyResults.raise();
temp tempAddToList_exclusive(satisfiedConditions, a);
nlLogic_iterate_withOnFail2(c, b, m, satisfiedConditions, onMatch, onFail);
});
} else
c.iterate_single(e, m, r {
anyResults.raise();
callF(onMatch);
});
if (!anyResults.isUp())
callF(onFail, satisfiedConditions, e);
}