internal GymWithPool ConstructorTest(string location)
{
GymWithPool target = new GymWithPool(location);
return(target);
// TODO: add assertions to method GymWithPoolTest.ConstructorTest(String)
}
internal string ToStringTest([PexAssumeUnderTest] GymWithPool target)
{
string result = target.ToString();
return(result);
// TODO: add assertions to method GymWithPoolTest.ToStringTest(GymWithPool)
}
public void ToStringTest56701()
{
GymWithPool gymWithPool;
string s;
gymWithPool = new GymWithPool("");
((Gym)gymWithPool).Count = 0;
s = this.ToStringTest(gymWithPool);
Assert.AreEqual <string>
("The current gym is located at: and it has a monthly cost of: £25.00 this gym has a pool ",
s);
Assert.IsNotNull((object)gymWithPool);
}
public void BookItemTest555()
{
User user;
GymWithPool gymWithPool;
string s;
user = new User((string)null, (string)null, (string)null);
gymWithPool = new GymWithPool((string)null);
((Gym)gymWithPool).Count = 0;
s = this.BookItemTest(user, (IBookable)gymWithPool);
Assert.AreEqual <string>("Booked @ 25\nSubtotal = 25", s);
Assert.IsNotNull((object)user);
Assert.AreEqual <string>((string)null, user.Name);
Assert.AreEqual <string>((string)null, user.UserName);
Assert.AreEqual <string>((string)null, user.Password);
Assert.AreEqual <int>(0, user.AccountNumber);
Assert.AreEqual <double>(25, user.RunningCost);
}
public void SessionTypeTest174()
{
User user;
GymWithPool gymWithPool;
string s;
user = new User((string)null, (string)null, (string)null);
gymWithPool = new GymWithPool((string)null);
((Gym)gymWithPool).Count = 0;
s = this.SessionTypeTest(user, (IBookable)gymWithPool);
Assert.AreEqual <string>
("The current gym is located at: and it has a monthly cost of: £25.00 this gym has a pool is a gym with a pool.",
s);
Assert.IsNotNull((object)user);
Assert.AreEqual <string>((string)null, user.Name);
Assert.AreEqual <string>((string)null, user.UserName);
Assert.AreEqual <string>((string)null, user.Password);
Assert.AreEqual <int>(0, user.AccountNumber);
Assert.AreEqual <double>(0, user.RunningCost);
}
