public IAppointment getAppointmentByNameTest([PexAssumeUnderTest] global::BarkNPark.System target, string name)
{
IAppointment result = target.getAppointmentByName(name);
return(result);
// TODO: add assertions to method SystemTest.getAppointmentByNameTest(System, String)
}
public IStation getFirstAvailableStationTest([PexAssumeUnderTest] global::BarkNPark.System target)
{
IStation result = target.getFirstAvailableStation();
return(result);
// TODO: add assertions to method SystemTest.getFirstAvailableStationTest(System)
}
public string ToStringTest([PexAssumeUnderTest] global::BarkNPark.System target)
{
string result = target.ToString();
return(result);
// TODO: add assertions to method SystemTest.ToStringTest(System)
}
public IStation GetStationTest([PexAssumeUnderTest] global::BarkNPark.System target, StationCode code)
{
IStation result = target.GetStation(code);
return(result);
// TODO: add assertions to method SystemTest.GetStationTest(System, StationCode)
}
public int CheckoutTest([PexAssumeUnderTest] global::BarkNPark.System target, string name)
{
int result = target.Checkout(name);
return(result);
// TODO: add assertions to method SystemTest.CheckoutTest(System, String)
}
public List <IStation> listStationsTest([PexAssumeUnderTest] global::BarkNPark.System target)
{
List <IStation> result = target.listStations();
return(result);
// TODO: add assertions to method SystemTest.listStationsTest(System)
}
public int addItemTest(
[PexAssumeUnderTest] global::BarkNPark.System target,
string name,
ItemType[] items
)
{
int result = target.addItem(name, items);
return(result);
// TODO: add assertions to method SystemTest.addItemTest(System, String, ItemType[])
}
public int CheckInTest(
[PexAssumeUnderTest] global::BarkNPark.System target,
string name,
double duration
)
{
int result = target.CheckIn(name, duration);
return(result);
// TODO: add assertions to method SystemTest.CheckInTest(System, String, Double)
}
public int requestextensionTest(
[PexAssumeUnderTest] global::BarkNPark.System target,
string name,
double timeToAdd
)
{
int result = target.requestextension(name, timeToAdd);
return(result);
// TODO: add assertions to method SystemTest.requestextensionTest(System, String, Double)
}
public void listStationsTest800()
{
System system;
List <IStation> list;
system = new global::BarkNPark.System();
list = this.listStationsTest(system);
Assert.IsNotNull((object)list);
Assert.AreEqual <int>(4, list.Capacity);
Assert.AreEqual <int>(3, list.Count);
Assert.IsNotNull((object)system);
}
