External/mage
1
0
Fork 1
mirror of https://github.com/magefree/mage.git synced 2026-01-24 12:19:59 -08:00
Code Issues Projects Releases Packages Wiki Activity Actions

* Grindstone - Infinite loop (with e.g. two Progenitus) is handled as a draw.

Browse source
This commit is contained in:
LevelX2 2014-12-26 17:22:32 +01:00
parent 395997c66f
commit 40eef06944
7 changed files with 115 additions and 18 deletions
Download patch file Download diff file Expand all files Collapse all files

1
Mage.Sets/src/mage/sets/shadowmoor/PaintersServant.java
View file

@ -104,6 +104,7 @@ class ChooseColorEffect extends OneShotEffect {
game.getState().setValue(source.getSourceId() + "_color", colorChoice.getColor());
permanent.addInfo("chosen color", "<font color = 'blue'>Chosen color: " + colorChoice.getColor().getDescription() + "</font>");
}
return true;
}
return false;
}

17
Mage.Sets/src/mage/sets/tempest/Grindstone.java
View file

@ -53,7 +53,7 @@ public class Grindstone extends CardImpl {
super(ownerId, 280, "Grindstone", Rarity.RARE, new CardType[]{CardType.ARTIFACT}, "{1}");
this.expansionSetCode = "TMP";
// {3}, {tap}: Target player puts the top two cards of his or her library into his or her graveyard. If both cards share a color, repeat this process.
// {3}, {T}: Target player puts the top two cards of his or her library into his or her graveyard. If both cards share a color, repeat this process.
Ability ability = new SimpleActivatedAbility(Zone.BATTLEFIELD, new GrindstoneEffect(), new ManaCostsImpl("{3}"));
ability.addCost(new TapSourceCost());
ability.addTarget(new TargetPlayer());
@ -93,7 +93,18 @@ class GrindstoneEffect extends OneShotEffect {
Player targetPlayer = game.getPlayer(this.getTargetPointer().getFirst(game, source));
boolean colorShared;
if (targetPlayer != null) {
int possibleIterations = targetPlayer.getLibrary().size() / 2;
int iteration = 0;
do {
iteration++;
if (iteration > possibleIterations + 20) {
// 801.16. If the game somehow enters a "loop" of mandatory actions, repeating a sequence of events
// with no way to stop, the game is a draw for each player who controls an object that's involved in
// that loop, as well as for each player within the range of influence of any of those players. They
// leave the game. All remaining players continue to play the game.
game.setDraw(source.getControllerId());
return true;
}
colorShared = false;
Card card1 = targetPlayer.getLibrary().removeFromTop(game);
if (card1 != null) {
@ -105,9 +116,7 @@ class GrindstoneEffect extends OneShotEffect {
colorShared = card1.getColor().shares(card2.getColor());
}
}
}
}
} while (colorShared && targetPlayer.isInGame());
return true;
}