public static void main(String args[])
throws RemoteException, TransactionAbortedException, InvalidTransactionException,
FileNotFoundException, IOException {
TransactionManagerImpl tm = new TransactionManagerImpl();
ResourceManagerImpl rmflights = new ResourceManagerImpl(ResourceManager.RMINameFlights);
rmflights.setTm(tm);
ResourceManagerImpl rmcustomers = new ResourceManagerImpl(ResourceManager.RMINameCustomers);
rmcustomers.setTm(tm);
ResourceManagerImpl rmcars = new ResourceManagerImpl(ResourceManager.RMINameCars);
rmcars.setTm(tm);
ResourceManagerImpl rmhotels = new ResourceManagerImpl(ResourceManager.RMINameRooms);
rmhotels.printRooms();
rmhotels.setTm(tm);
WorkflowControllerImpl wc = new WorkflowControllerImpl();
wc.setRM(ResourceManager.RMINameFlights, rmflights);
wc.setRM(ResourceManager.RMINameCars, rmcars);
wc.setRM(ResourceManager.RMINameCustomers, rmcustomers);
wc.setRM(ResourceManager.RMINameRooms, rmhotels);
wc.setTM(tm);
tm.setRM(ResourceManager.RMINameFlights, rmflights);
tm.setRM(ResourceManager.RMINameCars, rmcars);
tm.setRM(ResourceManager.RMINameCustomers, rmcustomers);
tm.setRM(ResourceManager.RMINameRooms, rmhotels);
// badd(wc);
// baddabt(wc);
// baddabtrd(wc);
// baddcmtrd(wc);
// baddcmtrsv(wc);
// bstcmt(wc);
// bstabt(wc);
// bstart(wc);
Fdieall(wc);
// FunLock(wc);
// Lconc(wc);
// Saddcmtdelcmt(wc);
// Saddrd(wc);
// Sbadxid(wc);
// sbill(wc);
// Sitiabt(wc);
// Siticmt(wc);
// Sitifail(wc);
System.exit(1);
}
