BookStore
BookStoreInv
Pricer
lookUpBookPrice()
out
buyBook()
BookStoreInv,
inout
module BookShopModule { interface BookStoreInv { readonly attribute long totalBooksInStock; long getNumCopiesOfBook(in string title); boolean isBookInStock(in string title); boolean removeCopy(in string title); }; interface Pricer { float priceBook(in string title); boolean isBookOnSale(in string title,out float percentage); }; interface BookStore { boolean lookUpBookPrice(in string title, out float price, out long numcopies, out float discount); boolean buyBook(in string title, inout float currentCredit); } };
bookStore.BookStoreImpl
BookShopModule
BookStoreOperations
inventory
pricer
bookStore.Server
init
BookShopModule.POA_BookStore_tie
imple
> java client.Client 2001
BookShopModule.BookStoreInv
BookShopModule.Pricer