Method mill

forge-game/src/main/java/forge/game/GameAction.java:2660–2693

(final PlayerCollection millers, final int numCards, final ZoneType destination, final SpellAbility sa, final Map<AbilityKey, Object> moveParams)

    }

    public CardCollection mill(final PlayerCollection millers, final int numCards, final ZoneType destination, final SpellAbility sa, final Map<AbilityKey, Object> moveParams) {
        final boolean showRevealDialog = sa != null && sa.hasParam("ShowMilledCards");

        final CardCollection milled = new CardCollection();

        for (final Player p : millers) {
            if (!p.isInGame()) {
                continue;
            }

            final CardCollectionView milledPlayer = p.mill(numCards, destination, sa, moveParams);
            milled.addAll(milledPlayer);

            // Reveal the milled cards, so players don't have to manually inspect the
            // graveyard to figure out which ones were milled.
            String toZoneStr = destination.equals(ZoneType.Graveyard) ? "" : " (" +
                    Localizer.getInstance().getMessage("lblMilledToZone", destination.getTranslatedName()) + ")";
            if (showRevealDialog) {
                final String message = Localizer.getInstance().getMessage("lblMilledCards");
                final boolean addSuffix = !toZoneStr.isEmpty();
                reveal(milledPlayer, destination, p, false, message, addSuffix);
            }
            game.fireEvent(new GameEventAddLog(GameLogEntryType.ZONE_CHANGE, p + " milled " +
                    Lang.joinHomogenous(milledPlayer) + toZoneStr + "."));
        }

        if (!milled.isEmpty()) {
            final Map<AbilityKey, Object> runParams = AbilityKey.newMap();
            runParams.put(AbilityKey.Cards, milled);
            game.getTriggerHandler().runTrigger(TriggerType.MilledAll, runParams, false);
        }

        return milled;
    }

    public void dealDamage(final boolean isCombat, final CardDamageTable damageMap, final CardDamageTable preventMap,
                           final GameEntityCounterTable counterTable, final SpellAbility cause) {