Graphical disconnection

src/main/java/it/polimi/ingsw/gc14/Model/MiniModel.java

@@ -21,6 +21,7 @@ public class MiniModel implements Serializable {
     public ArrayList<TribeCard> lowerListTribeCards;
     public ArrayList<BuildingCard> upperListBuildingCards;
     public ArrayList<BuildingCard> lowerListBuildingCards;
+    public ArrayList<String> disconnectedPlayers;
 
     /**
      * Map associating each occupied slot with the corresponding player.
@@ -64,6 +65,7 @@ public class MiniModel implements Serializable {
         this.lowerListTribeCards = lowerListTribeCards;
         this.upperListBuildingCards = upperListBuildingCards;
         this.lowerListBuildingCards = lowerListBuildingCards;
+        this.disconnectedPlayers = new ArrayList<>();
     }
 
     /**
@@ -80,7 +82,7 @@ public class MiniModel implements Serializable {
                      OrderLogicCard orderLogicCard,
                      CurrentState currentState,
                      List<Player> players,
-                     List<Totems> availableTotems,ArrayList<TribeCard> upperListTribeCards,ArrayList<TribeCard>lowerListTribeCards,ArrayList<BuildingCard> upperListBuildingCards,ArrayList<BuildingCard>lowerListBuildingCards) {
+                     List<Totems> availableTotems,ArrayList<TribeCard> upperListTribeCards,ArrayList<TribeCard>lowerListTribeCards,ArrayList<BuildingCard> upperListBuildingCards,ArrayList<BuildingCard>lowerListBuildingCards, ArrayList<String> disconnectedPlayers) {
 
         this.slotPlayerMap = slotPlayerMap;
         this.orderLogicCard = orderLogicCard;
@@ -92,6 +94,7 @@ public class MiniModel implements Serializable {
         this.lowerListTribeCards = lowerListTribeCards;
         this.upperListBuildingCards = upperListBuildingCards;
         this.lowerListBuildingCards = lowerListBuildingCards;
+        this.disconnectedPlayers = disconnectedPlayers;
         setPlayers(players);
     }
 
@@ -181,4 +184,9 @@ public class MiniModel implements Serializable {
         }
         return -1;
     }
+
+    //TODO
+    public void setDisconnectedPlayers (ArrayList<String> disconnectedPlayers){
+        this.disconnectedPlayers=disconnectedPlayers;
+    }
 }