Coverage Summary for Class: IView (it.polimi.ingsw.gc14.View)

 package it.polimi.ingsw.gc14.View;
 
 import it.polimi.ingsw.gc14.ErrorType;
 import it.polimi.ingsw.gc14.Model.MiniModel;
 
 /** View interface implemented by both the TUI and GUI. */
 public interface IView {
     /**
      * Updates the view's local copy of the game model.
      *
      * @param miniModel the latest mini model received from the server.
      */
     void setModel(MiniModel miniModel);
 
     /** Re-renders the view based on the current mini model state. */
     void render();
 
     /**
      * Displays an error message to the user.
      *
      * @param error the error type.
      * @param message a human-readable description of the error.
      */
     void showError(ErrorType error, String message);
 
 }