github/mage
1
0
Fork 0
mirror of https://github.com/correl/mage.git synced 2024-12-25 11:11:16 +00:00
Code Issues Projects Releases Packages Wiki Activity

Some minor changes to framework classes.

Browse source
This commit is contained in:
LevelX2 2014-09-14 23:57:55 +02:00
parent a407ec6fd9
commit d498df6a54
3 changed files with 23 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
Mage/src/mage/abilities/effects/common/LookLibraryAndPickControllerEffect.java
View file

@ -45,6 +45,7 @@ import mage.target.TargetCard;
import java.util.List;
import java.util.UUID;
import mage.util.CardUtil;
/**
*
@ -216,7 +217,22 @@ public class LookLibraryAndPickControllerEffect extends LookLibraryControllerEff
}
sb.append("put ").append(filter.getMessage()).append(" from among them onto the ");
} else {
sb.append(". Put one of them into your ");
sb.append(". Put ");
if (numberToPick.calculate(null, null, this) > 1 ) {
if (upTo) {
if (numberToPick.calculate(null, null, this) == (numberOfCards.calculate(null, null, this))) {
sb.append("any number");
} else {
sb.append("up to ").append(CardUtil.numberToText(numberToPick.calculate(null, null, this)));
}
} else{
sb.append(CardUtil.numberToText(numberToPick.calculate(null, null, this)));
}
} else {
sb.append("one");
}
sb.append(" of them into your ");
}
}
sb.append(targetPickedCards.toString().toLowerCase());

3
Mage/src/mage/abilities/effects/common/continious/GainProtectionFromColorTargetEffect.java
View file

@ -70,6 +70,9 @@ public class GainProtectionFromColorTargetEffect extends GainAbilityTargetEffect
if (creature != null && player != null) {
while (!choice.isChosen()) {
player.choose(Outcome.Protect, choice, game);
if (!player.isInGame()) {
return false;
}
}
FilterCard protectionFilter = (FilterCard)((ProtectionAbility)ability).getFilter();
protectionFilter.add(new ColorPredicate(choice.getColor()));

3
Mage/src/mage/target/TargetSource.java
View file

@ -93,6 +93,9 @@ public class TargetSource extends TargetObject {
else {
addTarget(id, source, game, notTarget);
}
if (object != null) {
game.informPlayers("Selected " + object.getLogName() + " as source");
}
}
}