scope ai_gazelle_analyzeStatementsForRule.

sclass #Data {
  Set<S> possibleVars, usedVars, unusedVars,
    varsUsedInGood, varsUsedInBad,
    varsUsedInGoodOnly, varsUsedInBadOnly;
  Set<S> unclearVars; // used in good and bad mappings
  MultiMap<S> goodMappings, badMappings,
    alwaysGoodMappings, alwaysBadMappings;
}

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));
  MultiMap<S> alwaysGoodMappings = multiMapDiff(goodMappings, badMappings);
  MultiMap<S> alwaysBadMappings = multiMapDiff(badMappings, goodMappings);
  ret nu(Data, +possibleVars, +usedVars, +unusedVars,
    +varsUsedInGood, +varsUsedInBad, +unclearVars,
    varsUsedInGoodOnly := setDiff(varsUsedInGood, varsUsedInBad),
    varsUsedInBadOnly := setDiff(varsUsedInBad, varsUsedInGood),
    +goodMappings, +badMappings,
    +alwaysGoodMappings, +alwaysBadMappings);
}

end scope