Method mill

forge-game/src/main/java/forge/game/player/Player.java:1553–1605

(int n, final ZoneType destination, SpellAbility sa, Map<AbilityKey, Object> params)

    }

    public final CardCollectionView mill(int n, final ZoneType destination, SpellAbility sa, Map<AbilityKey, Object> params) {
        // Replacement effects
        final Map<AbilityKey, Object> repRunParams = AbilityKey.mapFromAffected(this);
        repRunParams.put(AbilityKey.Number, n);
        if (params != null) {
            repRunParams.putAll(params);
        }

        if (destination == ZoneType.Graveyard) {
            switch (getGame().getReplacementHandler().run(ReplacementType.Mill, repRunParams)) {
                case NotReplaced:
                    break;
                case Updated:
                    // check if this is still the affected player
                    if (this.equals(repRunParams.get(AbilityKey.Affected))) {
                        n = (int) repRunParams.get(AbilityKey.Number);
                    } else {
                        return CardCollection.EMPTY;
                    }
                    break;
                default:
                    return CardCollection.EMPTY;
            }
        }

        Iterable<Card> milledView = getCardsIn(ZoneType.Library);
        // CR 614.13c
        if (sa.getRootAbility().getReplacingObject(AbilityKey.SimultaneousETB) != null) {
            milledView = IterableUtil.filter(milledView, c -> !((CardCollection) sa.getRootAbility().getReplacingObject(AbilityKey.SimultaneousETB)).contains(c));
        }
        CardCollectionView milled = new CardCollection(Iterables.limit(milledView, n));

        if (destination == ZoneType.Graveyard) {
            milled = GameActionUtil.orderCardsByTheirOwners(game, milled, ZoneType.Graveyard, sa);
        }

        for (Card m : milled) {
            Card moved = game.getAction().moveTo(destination, m, sa, params);
            moved.setMilled(true);

            final Map<AbilityKey, Object> runParams = AbilityKey.mapFromPlayer(this);
            runParams.put(AbilityKey.Card, m);
            game.getTriggerHandler().runTrigger(TriggerType.Milled, runParams, false);
        }

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

        return milled;
    }

    public final CardCollection getTopXCardsFromLibrary(int amount) {
        final CardCollection topCards = new CardCollection();