[ new MagicPermanentActivation( new MagicActivationHints(MagicTiming.Pump), "Pump" ) { @Override public MagicEvent[] getCostEvent(final MagicPermanent source) { return [ new MagicTapEvent(source) ]; } @Override public MagicEvent getPermanentEvent(final MagicPermanent source,final MagicPayedCost payedCost) { return new MagicEvent( source, this, "Put a +1/+1 counter on each artifact creature you control." ); } @Override public void executeEvent(final MagicGame game, final MagicEvent event) { final MagicPlayer player = event.getPlayer(); final Collection targets = game.filterPermanents(player,MagicTargetFilter.TARGET_ARTIFACT_CREATURE_YOU_CONTROL); for (final MagicPermanent target : targets) { game.doAction(new MagicChangeCountersAction( target, MagicCounterType.PlusOne, 1, true )); } } } ]