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);
}
public void ResetPoints() // This is a Command
{
player = new Model.Player();
player.Credential.Points = 0;
}