<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_mu7v5j93ugrl8rrtq9nil1grtv, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
scope ai_gazelle_analyzeStatementsForRule.

sclass #Data {
  Set<S> possibleVars, usedVars, unusedVars,
    varsUsedInGood, varsUsedInBad;
  Set<S> unclearVars; // used in good and bad mappings
  MultiMap<S> goodMappings, badMappings;
}

static Data ai_gazelle_analyzeStatementsForRule(LS l) {
  Set<S> possibleVars = asCISet(matchAny_firstGroups("possible variable *", l));
  Set<S> usedVars = asCISet(matchX_any_firstGroups("... variable * was used", l));
  Set<S> unusedVars = asCISet(listMinusSet(possibleVars, usedVars));
  Set<S> varsUsedInGood = asCISet(matchX_any_firstGroups("in a good mapping, variable * was used", l));
  Set<S> varsUsedInBad = asCISet(matchX_any_firstGroups("in a bad mapping, variable * was used", l));
  Set<S> unclearVars = setIntersection(varsUsedInGood, varsUsedInBad);
  MultiMap<S> goodMappings = pairsToMultiMap(matchX_any_firstAndSecondGroups("in a good mapping, variable * was mapped to *", l));
  MultiMap<S> badMappings = pairsToMultiMap(matchX_any_firstAndSecondGroups("in a bad mapping, variable * was mapped to *", l));
  ret nu(Data, +possibleVars, +usedVars, +unusedVars,
    +varsUsedInGood, +varsUsedInBad, +unclearVars,
    +goodMappings, +badMappings);
}

end scope