Failure/foul-magics
1
0
Fork 0
forked from External/mage
Code Pull requests Releases Packages Activity Actions

Code cleanup: protect all copy constructors (#10750)

Browse source 
* apply regex to change public copy constructors to protected
* cleanup code using now protected constructors
* fix manaBuilder weird casting of Mana into ConditionalMana
This commit is contained in:
Susucre 2023-08-05 01:34:58 +02:00 • committed by GitHub
parent b04b13d530
commit f75b1c9f0a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1565 changed files with 2412 additions and 2731 deletions
Download patch file Download diff file Expand all files Collapse all files

11
Mage/src/main/java/mage/abilities/effects/common/RevealAndShuffleIntoLibrarySourceEffect.java
View file

@ -17,18 +17,17 @@ import mage.game.stack.Spell;
import mage.players.Player;
/**
*
* @author LevelX2
*/
public class RevealAndShuffleIntoLibrarySourceEffect extends OneShotEffect {
public RevealAndShuffleIntoLibrarySourceEffect() {
super(Outcome.Neutral);
staticText = "reveal {this} and shuffle it into its owner's library instead";
}
public RevealAndShuffleIntoLibrarySourceEffect(final RevealAndShuffleIntoLibrarySourceEffect effect) {
protected RevealAndShuffleIntoLibrarySourceEffect(final RevealAndShuffleIntoLibrarySourceEffect effect) {
super(effect);
}
@ -41,7 +40,7 @@ public class RevealAndShuffleIntoLibrarySourceEffect extends OneShotEffect {
Cards cards = new CardsImpl();
Permanent permanent = null;
if (sourceObject instanceof Spell) {
sourceObject = ((Spell)sourceObject).getCard();
sourceObject = ((Spell) sourceObject).getCard();
}
if (sourceObject instanceof Permanent) {
permanent = (Permanent) sourceObject;
@ -50,8 +49,8 @@ public class RevealAndShuffleIntoLibrarySourceEffect extends OneShotEffect {
cards.add(permanent);
}
} else if (sourceObject instanceof Card) {
owner = game.getPlayer(((Card)sourceObject).getOwnerId());
cards.add((Card)sourceObject);
owner = game.getPlayer(((Card) sourceObject).getOwnerId());
cards.add((Card) sourceObject);
}
if (owner != null) {
Zone fromZone = game.getState().getZone(sourceObject.getId());