internal string ToStringTest([PexAssumeUnderTest] BoxingClass target)
{
string result = target.ToString();
return(result);
// TODO: add assertions to method BoxingClassTest.ToStringTest(BoxingClass)
}
internal BoxingClass ConstructorTest(string location)
{
BoxingClass target = new BoxingClass(location);
return(target);
// TODO: add assertions to method BoxingClassTest.ConstructorTest(String)
}
public void ToStringTest77701()
{
BoxingClass boxingClass;
string s;
boxingClass = new BoxingClass("");
((Classes)boxingClass).Count = 0;
s = this.ToStringTest(boxingClass);
Assert.AreEqual <string>
("The gym for this class is located at: and it has a monthly cost of: £5.00. The session booked is for Boxing.",
s);
Assert.IsNotNull((object)boxingClass);
}
public void BookItemTest954()
{
User user;
BoxingClass boxingClass;
string s;
user = new User((string)null, (string)null, (string)null);
boxingClass = new BoxingClass((string)null);
((Classes)boxingClass).Count = 0;
s = this.BookItemTest(user, (IBookable)boxingClass);
Assert.AreEqual <string>("Booked @ 5\nSubtotal = 5", 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>(5, user.RunningCost);
}
public void SessionTypeTest432()
{
User user;
BoxingClass boxingClass;
string s;
user = new User((string)null, (string)null, (string)null);
boxingClass = new BoxingClass((string)null);
((Classes)boxingClass).Count = 0;
s = this.SessionTypeTest(user, (IBookable)boxingClass);
Assert.AreEqual <string>
("The gym for this class is located at: and it has a monthly cost of: £5.00. The session booked is for Boxing. is a Boxing class.",
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);
}
