Exemple #1
0
 void productionExcised(Production p) {
   current().productionsExcised.add(p.getName());
   totalProductionsExcised++;
 }
Exemple #2
0
 void productionAdded(Production p) {
   current().productionsAdded.add(p.getName());
   totalProductionsAdded++;
 }