2013-06-22 02:35:46 -07:00
|
|
|
[
|
|
|
|
new MagicPermanentActivation(
|
2013-07-06 23:21:21 -07:00
|
|
|
new MagicActivationHints(MagicTiming.Pump),
|
2013-06-22 02:35:46 -07:00
|
|
|
"Mill"
|
|
|
|
) {
|
2013-06-23 18:29:26 -07:00
|
|
|
|
2013-06-22 02:35:46 -07:00
|
|
|
@Override
|
2013-08-30 21:00:50 -07:00
|
|
|
public Iterable<MagicEvent> getCostEvent(final MagicPermanent source) {
|
2013-06-22 02:35:46 -07:00
|
|
|
return [new MagicPayManaCostEvent(source,"{3}")];
|
|
|
|
}
|
|
|
|
|
|
|
|
@Override
|
|
|
|
public MagicEvent getPermanentEvent(final MagicPermanent source,final MagicPayedCost payedCost) {
|
|
|
|
return new MagicEvent(
|
|
|
|
source,
|
|
|
|
MagicTargetChoice.TARGET_PLAYER,
|
|
|
|
this,
|
|
|
|
"Target player\$ puts the top three cards of his or her library " +
|
|
|
|
"into his or her graveyard."
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
@Override
|
|
|
|
public void executeEvent(final MagicGame game, final MagicEvent event) {
|
|
|
|
event.processTargetPlayer(game,new MagicPlayerAction() {
|
|
|
|
public void doAction(final MagicPlayer player) {
|
|
|
|
game.doAction(new MagicMillLibraryAction(player,3));
|
|
|
|
}
|
|
|
|
});
|
|
|
|
}
|
|
|
|
}
|
|
|
|
]
|