Пример #1
0
        public string SetNames(string inputPlayerName)
        {
            Contract.Requires(!string.IsNullOrEmpty(inputPlayerName), "Navn må ikke være tomt!");
            //Contract.Requires<ArgumentNullException>(!string.IsNullOrEmpty(name1), "Exception!!");

            //Contract.Requires(!string.IsNullOrEmpty(name2), "Navn må ikke være tomt!");
            //Contract.Requires<ArgumentNullException>(!string.IsNullOrEmpty(name2), "Exception!!");

            Contract.Ensures(Contract.Result <string>() != "");

            validationStatus = Contract.Result <string>();
            player           = new Model.Player();

            if (inputPlayerName == "")
            {
                validationStatus = "Navn må ikke være tomt!";
            }
            else
            {
                try
                {
                    player.PlayerName = inputPlayerName;
                }
                catch (Exception)
                {
                    throw;
                }
            }
            return(validationStatus);
        }
Пример #2
0
 public void ResetPoints() // This is a Command
 {
     player = new Model.Player();
     player.Credential.Points = 0;
 }