public static void Saddcmtdelcmt(WorkflowControllerImpl wc)
throws RemoteException, TransactionAbortedException, InvalidTransactionException {
int xid = wc.start();
xid = wc.start();
boolean returnValue = wc.addRooms(xid, "Stanford", 200, 150);
assert returnValue == true;
returnValue = wc.addCars(xid, "SFO", 300, 30);
assert returnValue == true;
wc.commit(xid);
int xid2 = wc.start();
boolean rooms = wc.deleteRooms(xid2, "Stanford", 5);
assert rooms == true;
boolean cars = wc.deleteCars(xid2, "Stanford", 5);
assert cars == true;
wc.commit(xid2);
int xid3 = wc.start();
int noofrooms = wc.queryRooms(xid3, "Stanford");
assert noofrooms == 195;
int noofcars = wc.queryCars(xid3, "Stanford");
assert noofcars == 195;
}
