/**
 * Zprava ze serveru ke klientovi.
 * 
 * @author Marek Dvoroznak
 * @version 0.1
 */
public class ServerMessage extends AbstractMessage
{
    // cislo zpravy
    private String number;

    /**
     * Zkonstruuje objekt typu ServerMessage.
     * 
     * @param to adresat
     * @param body telo zpravy
     * @param number cislo zpravy
     */
    public ServerMessage(Subject to, String body, String number)
    {
        super(null, to, body);
        setNumber(number);
    }
    
    /**
     * Nastavi cislo zpravy.
     * 
     * @param number cislo zpravy
     */
    public void setNumber(String number)
    {
        this.number = number;
    }
    
    /**
     * Vrati zformatovane telo zpravy.
     * 
     * @return zformatovane telo zpravy
     */
    public String getFormatedBody()
    {
        User to = (User)getTo();
        String body = (String)getBody();
        return ":" + Settings.SERVER_NAME + " " + number + " " + to.getName() + " " + body;
    }   
}