From 9984c564746634e619fc1180394e9dd734d967b1 Mon Sep 17 00:00:00 2001
From: melvin <melvinzhang@gmail.com>
Date: Sun, 3 Nov 2013 09:33:52 +0800
Subject: [PATCH] added specialized method getArtificialChoiceResults for
 MagicScryChoice to handle case where there is no cards in library

---
 src/magic/model/choice/MagicScryChoice.java | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/src/magic/model/choice/MagicScryChoice.java b/src/magic/model/choice/MagicScryChoice.java
index c29f1bd667..7ccf75d6d3 100644
--- a/src/magic/model/choice/MagicScryChoice.java
+++ b/src/magic/model/choice/MagicScryChoice.java
@@ -12,11 +12,30 @@ import magic.ui.UndoClickedException;
 import magic.ui.choice.MayChoicePanel;
 
 import java.util.concurrent.Callable;
+import java.util.List;
+import java.util.ArrayList;
 
 public class MagicScryChoice extends MagicMayChoice {
     public MagicScryChoice() {
         super("Put this card on the bottom of your library?");
     }
+    
+    @Override
+    public List<Object[]> getArtificialChoiceResults(
+            final MagicGame game,
+            final MagicEvent event,
+            final MagicPlayer player,
+            final MagicSource source) {
+        
+        final MagicCard topCard = player.getLibrary().getCardAtTop();
+        if (topCard == MagicCard.NONE) {
+            final List<Object[]> choiceResultsList=new ArrayList<Object[]>();
+            choiceResultsList.add(new Object[]{NO_CHOICE});
+            return choiceResultsList;
+        } else {
+            return NO_OTHER_CHOICE_RESULTS;
+        }
+    }
 
     @Override
     public Object[] getPlayerChoiceResults(