2013-04-12 19:58:51 -07:00
|
|
|
[
|
2013-07-23 22:58:35 -07:00
|
|
|
new MagicIfDamageWouldBeDealtTrigger(MagicTrigger.PREVENT_DAMAGE) {
|
2013-04-12 19:58:51 -07:00
|
|
|
@Override
|
|
|
|
public MagicEvent executeTrigger(
|
|
|
|
final MagicGame game,
|
|
|
|
final MagicPermanent permanent,
|
|
|
|
final MagicDamage damage) {
|
|
|
|
if (damage.getSource() == permanent.getEnchantedCreature()) {
|
|
|
|
// Replacement effect. Generates no event or action.
|
2013-07-23 22:58:35 -07:00
|
|
|
damage.prevent();
|
2013-04-12 19:58:51 -07:00
|
|
|
}
|
|
|
|
return MagicEvent.NONE;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
]
|