-- IDL module extracted from ITU-T X.781 (08/2001)

// DESCRIPTION:  
//
// source IDL file for simple BANK example
//
//************************************************************************
module BankModule {
//
// a simple description of a bank account
// 
 interface account {
	readonly attribute float balance;

	void makeLodgement (in float f);
	void makeWithdrawal (in float f);
};
//
// a simple description of a bank current account
//
 interface currentAccount : account {
	readonly attribute float overdraftLimit;
 };
//
// a bank simply manufactures accounts
//
//  bank::reject is raised if a duplicate account name is seen
//
 interface bank {
 	exception reject {};
   		account newAccount (in string name) raises (reject);
		currentAccount newCurrentAccount (in string name, in float limit)
					raises (reject);
		void deleteAccount (in account a);
	};
};