public void DeleteSeatsTest()
{
var wc = new MyWC.MyWC_Accessor();
var tm = new MyTM.MyTM();
var rm = new MyRM.MyRM();
MyWC_Accessor.TransactionManager = tm;
rm.SetName("flight_000");
rm.TransactionManager = tm;
tm.Register(rm);
MyWC.MyWC.Flights = tm.GetResourceMananger("flight_000");
var context = wc.Start();
var flights = wc.ListFlights(context);
foreach (var f in flights)
{
wc.DeleteFlight(context, f.Split(',')[0]);
}
wc.Commit(context);
context = wc.Start();
Assert.IsTrue(wc.AddSeats(context, "FLX", 100, 550));
Assert.IsTrue(wc.AddSeats(context, "SGX", 200, 250));
wc.Commit(context);
context = wc.Start();
var result = wc.ListFlights(context);
wc.Commit(context);
Assert.AreEqual(2, result.Length);
context = wc.Start();
Assert.IsTrue(wc.DeleteSeats(context, "FLX", 50));
Assert.IsTrue(wc.DeleteSeats(context, "SGX", 50));
wc.Commit(context);
context = wc.Start();
var c1 = wc.QueryFlight(context, "FLX");
var c2 = wc.QueryFlight(context, "SGX");
Assert.AreEqual(100 - 50, c1);
Assert.AreEqual(200 - 50, c2);
wc.Abort(context);
}
public void AddSeatsTest()
{
var wc = new MyWC.MyWC_Accessor();
var tm = new MyTM.MyTM();
var rm = new MyRM.MyRM();
MyWC_Accessor.TransactionManager = tm;
rm.SetName("flight");
rm.TransactionManager = tm;
tm.Register(rm);
MyWC.MyWC.Flights = tm.GetResourceMananger("flight");
var context = wc.Start();
wc.AddSeats(context, "FL", 100, 550);
wc.AddSeats(context, "SG", 200, 250);
wc.Commit(context);
context = wc.Start();
var result = wc.ListFlights(context);
wc.Commit(context);
Assert.AreEqual(2, result.Length);
context = wc.Start();
wc.AddSeats(context, "FL", 50, 450);
wc.Commit(context);
context = wc.Start();
var c = wc.QueryFlight(context, "FL");
Assert.AreEqual(150, c);
var price = wc.QueryFlightPrice(context, "FL");
Assert.AreEqual(450, price);
wc.Abort(context);
context = wc.Start();
c = wc.QueryFlight(context, "SG");
price = wc.QueryFlightPrice(context, "SG");
Assert.AreEqual(200, c);
Assert.AreEqual(250, price);
wc.Abort(context);
}
public void AddDeleteCars()
{
var wc = new MyWC.MyWC_Accessor();
var tm = new MyTM.MyTM();
var rm = new MyRM.MyRM();
MyWC_Accessor.TransactionManager = tm;
rm.SetName("car");
rm.TransactionManager = tm;
tm.Register(rm);
MyWC.MyWC.Cars = tm.GetResourceMananger("car");
var context = wc.Start();
Assert.IsTrue(wc.AddCars(context, "SEATTLE", 100, 66));
Assert.IsTrue(wc.AddCars(context, "HONOLULU", 200, 220));
wc.Commit(context);
context = wc.Start();
Assert.AreEqual(100, wc.QueryCar(context, "SEATTLE"));
Assert.AreEqual(66, wc.QueryCarPrice(context, "SEATTLE"));
Assert.AreEqual(200, wc.QueryCar(context, "HONOLULU"));
Assert.AreEqual(220, wc.QueryCarPrice(context, "HONOLULU"));
wc.Commit(context);
//add rooms
context = wc.Start();
Assert.IsTrue(wc.AddCars(context, "SEATTLE", 10, 55));
Assert.IsTrue(wc.AddCars(context, "HONOLULU", 20, 110));
wc.Commit(context);
context = wc.Start();
Assert.AreEqual(100 + 10, wc.QueryCar(context, "SEATTLE"));
Assert.AreEqual(55, wc.QueryCarPrice(context, "SEATTLE"));
Assert.AreEqual(220, wc.QueryCar(context, "HONOLULU"));
Assert.AreEqual(110, wc.QueryCarPrice(context, "HONOLULU"));
wc.Commit(context);
//delete rooms
context = wc.Start();
Assert.IsTrue(wc.DeleteCars(context, "SEATTLE", 5));
Assert.IsTrue(wc.DeleteCars(context, "HONOLULU", 10));
wc.Commit(context);
context = wc.Start();
Assert.AreEqual(100 + 10 - 5, wc.QueryCar(context, "SEATTLE"));
Assert.AreEqual(55, wc.QueryCarPrice(context, "SEATTLE"));
Assert.AreEqual(220 - 10, wc.QueryCar(context, "HONOLULU"));
Assert.AreEqual(110, wc.QueryCarPrice(context, "HONOLULU"));
wc.Commit(context);
}
public void AddDeleteCars()
{
var wc = new MyWC.MyWC_Accessor();
var tm = new MyTM.MyTM();
var rm = new MyRM.MyRM();
MyWC_Accessor.TransactionManager = tm;
rm.SetName("car");
rm.TransactionManager = tm;
tm.Register(rm);
MyWC.MyWC.Cars = tm.GetResourceMananger("car");
var context = wc.Start();
Assert.IsTrue(wc.AddCars(context, "SEATTLE", 100, 66));
Assert.IsTrue(wc.AddCars(context, "HONOLULU", 200, 220));
wc.Commit(context);
context = wc.Start();
Assert.AreEqual(100, wc.QueryCar(context, "SEATTLE"));
Assert.AreEqual(66, wc.QueryCarPrice(context, "SEATTLE"));
Assert.AreEqual(200, wc.QueryCar(context, "HONOLULU"));
Assert.AreEqual(220, wc.QueryCarPrice(context, "HONOLULU"));
wc.Commit(context);
//add rooms
context = wc.Start();
Assert.IsTrue(wc.AddCars(context, "SEATTLE", 10, 55));
Assert.IsTrue(wc.AddCars(context, "HONOLULU", 20, 110));
wc.Commit(context);
context = wc.Start();
Assert.AreEqual(100 + 10, wc.QueryCar(context, "SEATTLE"));
Assert.AreEqual(55, wc.QueryCarPrice(context, "SEATTLE"));
Assert.AreEqual(220, wc.QueryCar(context, "HONOLULU"));
Assert.AreEqual(110, wc.QueryCarPrice(context, "HONOLULU"));
wc.Commit(context);
//delete rooms
context = wc.Start();
Assert.IsTrue(wc.DeleteCars(context, "SEATTLE", 5));
Assert.IsTrue(wc.DeleteCars(context, "HONOLULU", 10));
wc.Commit(context);
context = wc.Start();
Assert.AreEqual(100 + 10 - 5, wc.QueryCar(context, "SEATTLE"));
Assert.AreEqual(55, wc.QueryCarPrice(context, "SEATTLE"));
Assert.AreEqual(220 - 10, wc.QueryCar(context, "HONOLULU"));
Assert.AreEqual(110, wc.QueryCarPrice(context, "HONOLULU"));
wc.Commit(context);
}
public void Reservation()
{
var wc = new MyWC.MyWC_Accessor();
var tm = new MyTM.MyTM();
var rmf = new MyRM.MyRM();
var rmc = new MyRM.MyRM();
var rmr = new MyRM.MyRM();
MyWC_Accessor.TransactionManager = tm;
rmf.SetName("flight");
rmf.TransactionManager = tm;
rmc.SetName("car");
rmc.TransactionManager = tm;
rmr.SetName("room");
rmr.TransactionManager = tm;
tm.Register(rmf);
tm.Register(rmc);
tm.Register(rmr);
MyWC.MyWC.Flights = tm.GetResourceMananger("flight");
MyWC.MyWC.Cars = tm.GetResourceMananger("car");
MyWC.MyWC.Rooms = tm.GetResourceMananger("room");
MyWC.MyWC.TransactionManager = tm;
var context = wc.Start();
wc.AddSeats(context, "SEA-JFK", 3000, 300);
wc.AddSeats(context, "JFK-STV", 3000, 300);
wc.AddCars(context, "NY", 2000, 200);
wc.AddRooms(context, "NY", 1000, 100);
wc.Commit(context);
var c1 = new Customer();
var c2 = new Customer();
Assert.IsTrue(wc.ReserveItinerary(c1, new[] { "SEA-JFK", "JFK-STV" }, "NY", true, true));
Assert.IsTrue(wc.ReserveItinerary(c2, new[] { "SEA-JFK" }, "NY", true, true));
context = wc.Start();
Assert.AreEqual(c1, wc.ListCustomers(context)[0]);
Assert.AreEqual(c2, wc.ListCustomers(context)[1]);
wc.Commit(context);
context = wc.Start();
Assert.AreEqual(3000 - 2, wc.QueryFlight(context, "SEA-JFK"));
Assert.AreEqual(3000 - 1, wc.QueryFlight(context, "JFK-STV"));
Assert.AreEqual(1000 - 2, wc.QueryRoom(context, "NY"));
wc.Commit(context);
wc.CancelItinerary(c1);
wc.CancelItinerary(c2);
context = wc.Start();
Assert.AreEqual(1000, wc.QueryRoom(context, "NY"));
Assert.AreEqual(3000, wc.QueryFlight(context, "SEA-JFK"));
Assert.AreEqual(3000, wc.QueryFlight(context, "JFK-STV"));
wc.Commit(context);
}
public void AddManyFlightsTest()
{
var wc = new MyWC.MyWC_Accessor();
var tm = new MyTM.MyTM();
var rm = new MyRM.MyRM();
MyWC_Accessor.TransactionManager = tm;
rm.SetName("flight");
rm.TransactionManager = tm;
tm.Register(rm);
MyWC.MyWC.Flights = tm.GetResourceMananger("flight");
var context = wc.Start();
wc.AddSeats(context, "FL", 100, 550);
wc.AddSeats(context, "SG", 200, 250);
wc.AddSeats(context, "SG1", 201, 251);
wc.AddSeats(context, "SG2", 202, 252);
wc.AddSeats(context, "SG3", 203, 253);
wc.AddSeats(context, "SG4", 204, 254);
wc.AddSeats(context, "SG5", 205, 255);
wc.AddSeats(context, "SG5", 206, 256);
wc.AddSeats(context, "SG6", 207, 257);
wc.Abort(context);
context = wc.Start();
var result = wc.ListFlights(context);
wc.Commit(context);
Assert.AreEqual(0, result.Length);
context = wc.Start();
wc.AddSeats(context, "FL", 100, 550);
wc.AddSeats(context, "SG", 200, 250);
wc.AddSeats(context, "SG1", 201, 251);
wc.AddSeats(context, "SG2", 202, 252);
wc.AddSeats(context, "SG3", 203, 253);
wc.AddSeats(context, "SG4", 204, 254);
wc.AddSeats(context, "SG5", 205, 255);
wc.AddSeats(context, "SG5", 206, 256);
wc.AddSeats(context, "SG6", 207, 257);
wc.Commit(context);
context = wc.Start();
result = wc.ListFlights(context);
wc.Commit(context);
Assert.AreEqual(8, result.Length);
context = wc.Start();
wc.AddSeats(context, "FL", 50, 450);
wc.Commit(context);
context = wc.Start();
var c = wc.QueryFlight(context, "FL");
Assert.AreEqual(150, c);
var price = wc.QueryFlightPrice(context, "FL");
Assert.AreEqual(450, price);
wc.Abort(context);
context = wc.Start();
c = wc.QueryFlight(context, "SG");
price = wc.QueryFlightPrice(context, "SG");
Assert.AreEqual(200, c);
Assert.AreEqual(250, price);
wc.Abort(context);
context = wc.Start();
c = wc.QueryFlight(context, "SG5");
price = wc.QueryFlightPrice(context, "SG5");
Assert.AreEqual(411, c);
Assert.AreEqual(256, price);
wc.Abort(context);
}
public void Reservation()
{
var wc = new MyWC.MyWC_Accessor();
var tm = new MyTM.MyTM();
var rmf = new MyRM.MyRM();
var rmc = new MyRM.MyRM();
var rmr = new MyRM.MyRM();
MyWC_Accessor.TransactionManager = tm;
rmf.SetName("flight");
rmf.TransactionManager = tm;
rmc.SetName("car");
rmc.TransactionManager = tm;
rmr.SetName("room");
rmr.TransactionManager = tm;
tm.Register(rmf);
tm.Register(rmc);
tm.Register(rmr);
MyWC.MyWC.Flights = tm.GetResourceMananger("flight");
MyWC.MyWC.Cars = tm.GetResourceMananger("car");
MyWC.MyWC.Rooms = tm.GetResourceMananger("room");
MyWC.MyWC.TransactionManager = tm;
var context = wc.Start();
wc.AddSeats(context, "SEA-JFK", 3000, 300);
wc.AddSeats(context, "JFK-STV", 3000, 300);
wc.AddCars(context, "NY", 2000, 200);
wc.AddRooms(context, "NY", 1000, 100);
wc.Commit(context);
var c1 = new Customer();
var c2 = new Customer();
Assert.IsTrue(wc.ReserveItinerary(c1, new[] {"SEA-JFK", "JFK-STV"}, "NY", true, true));
Assert.IsTrue(wc.ReserveItinerary(c2, new[] {"SEA-JFK"}, "NY", true, true));
context = wc.Start();
Assert.AreEqual(c1, wc.ListCustomers(context)[0]);
Assert.AreEqual(c2, wc.ListCustomers(context)[1]);
wc.Commit(context);
context = wc.Start();
Assert.AreEqual(3000 - 2, wc.QueryFlight(context, "SEA-JFK"));
Assert.AreEqual(3000 - 1, wc.QueryFlight(context, "JFK-STV"));
Assert.AreEqual(1000 - 2, wc.QueryRoom(context, "NY"));
wc.Commit(context);
wc.CancelItinerary(c1);
wc.CancelItinerary(c2);
context = wc.Start();
Assert.AreEqual(1000, wc.QueryRoom(context, "NY"));
Assert.AreEqual(3000, wc.QueryFlight(context, "SEA-JFK"));
Assert.AreEqual(3000, wc.QueryFlight(context, "JFK-STV"));
wc.Commit(context);
}
public void DeleteSeatsTest()
{
var wc = new MyWC.MyWC_Accessor();
var tm = new MyTM.MyTM();
var rm = new MyRM.MyRM();
MyWC_Accessor.TransactionManager = tm;
rm.SetName("flight_000");
rm.TransactionManager = tm;
tm.Register(rm);
MyWC.MyWC.Flights = tm.GetResourceMananger("flight_000");
var context = wc.Start();
var flights = wc.ListFlights(context);
foreach(var f in flights)
{
wc.DeleteFlight(context, f.Split(',')[0]);
}
wc.Commit(context);
context = wc.Start();
Assert.IsTrue(wc.AddSeats(context, "FLX", 100, 550));
Assert.IsTrue(wc.AddSeats(context, "SGX", 200, 250));
wc.Commit(context);
context = wc.Start();
var result = wc.ListFlights(context);
wc.Commit(context);
Assert.AreEqual(2, result.Length);
context = wc.Start();
Assert.IsTrue(wc.DeleteSeats(context, "FLX", 50));
Assert.IsTrue(wc.DeleteSeats(context, "SGX", 50));
wc.Commit(context);
context = wc.Start();
var c1 = wc.QueryFlight(context, "FLX");
var c2 = wc.QueryFlight(context, "SGX");
Assert.AreEqual(100 - 50, c1);
Assert.AreEqual(200 - 50, c2);
wc.Abort(context);
}
public void AddSeatsTest()
{
var wc = new MyWC.MyWC_Accessor();
var tm = new MyTM.MyTM();
var rm = new MyRM.MyRM();
MyWC_Accessor.TransactionManager = tm;
rm.SetName("flight");
rm.TransactionManager = tm;
tm.Register(rm);
MyWC.MyWC.Flights = tm.GetResourceMananger("flight");
var context = wc.Start();
wc.AddSeats(context, "FL", 100, 550);
wc.AddSeats(context, "SG", 200, 250);
wc.Commit(context);
context = wc.Start();
var result = wc.ListFlights(context);
wc.Commit(context);
Assert.AreEqual(2, result.Length);
context = wc.Start();
wc.AddSeats(context, "FL", 50, 450);
wc.Commit(context);
context = wc.Start();
var c = wc.QueryFlight(context, "FL");
Assert.AreEqual(150, c);
var price = wc.QueryFlightPrice(context, "FL");
Assert.AreEqual(450, price);
wc.Abort(context);
context = wc.Start();
c = wc.QueryFlight(context, "SG");
price = wc.QueryFlightPrice(context, "SG");
Assert.AreEqual(200, c);
Assert.AreEqual(250, price);
wc.Abort(context);
}
public void AddManyFlightsTest()
{
var wc = new MyWC.MyWC_Accessor();
var tm = new MyTM.MyTM();
var rm = new MyRM.MyRM();
MyWC_Accessor.TransactionManager = tm;
rm.SetName("flight");
rm.TransactionManager = tm;
tm.Register(rm);
MyWC.MyWC.Flights = tm.GetResourceMananger("flight");
var context = wc.Start();
wc.AddSeats(context, "FL", 100, 550);
wc.AddSeats(context, "SG", 200, 250);
wc.AddSeats(context, "SG1", 201, 251);
wc.AddSeats(context, "SG2", 202, 252);
wc.AddSeats(context, "SG3", 203, 253);
wc.AddSeats(context, "SG4", 204, 254);
wc.AddSeats(context, "SG5", 205, 255);
wc.AddSeats(context, "SG5", 206, 256);
wc.AddSeats(context, "SG6", 207, 257);
wc.Abort(context);
context = wc.Start();
var result = wc.ListFlights(context);
wc.Commit(context);
Assert.AreEqual(0, result.Length);
context = wc.Start();
wc.AddSeats(context, "FL", 100, 550);
wc.AddSeats(context, "SG", 200, 250);
wc.AddSeats(context, "SG1", 201, 251);
wc.AddSeats(context, "SG2", 202, 252);
wc.AddSeats(context, "SG3", 203, 253);
wc.AddSeats(context, "SG4", 204, 254);
wc.AddSeats(context, "SG5", 205, 255);
wc.AddSeats(context, "SG5", 206, 256);
wc.AddSeats(context, "SG6", 207, 257);
wc.Commit(context);
context = wc.Start();
result = wc.ListFlights(context);
wc.Commit(context);
Assert.AreEqual(8, result.Length);
context = wc.Start();
wc.AddSeats(context, "FL", 50, 450);
wc.Commit(context);
context = wc.Start();
var c = wc.QueryFlight(context, "FL");
Assert.AreEqual(150, c);
var price = wc.QueryFlightPrice(context, "FL");
Assert.AreEqual(450, price);
wc.Abort(context);
context = wc.Start();
c = wc.QueryFlight(context, "SG");
price = wc.QueryFlightPrice(context, "SG");
Assert.AreEqual(200, c);
Assert.AreEqual(250, price);
wc.Abort(context);
context = wc.Start();
c = wc.QueryFlight(context, "SG5");
price = wc.QueryFlightPrice(context, "SG5");
Assert.AreEqual(411, c);
Assert.AreEqual(256, price);
wc.Abort(context);
}