FileDocCategorySizeDatePackage
TravelAgent.javaAPI DocExample877Sun Mar 07 07:58:02 GMT 1999com.titan.travelagent

TravelAgent.java

package com.titan.travelagent;

import java.rmi.RemoteException;
import javax.ejb.FinderException;
import com.titan.cruise.Cruise;
import com.titan.customer.Customer;
import com.titan.processpayment.CreditCard;
import com.titan.processpayment.CreditCard;

public interface TravelAgent extends javax.ejb.EJBObject {

	public void setCruiseID(int cruise) throws RemoteException;
	public int getCruiseID() throws RemoteException;
	
    public void setCabinID(int cabin) throws RemoteException;
    public int getCabinID() throws RemoteException;
    
    public Ticket bookPassage(CreditCard card, double price)
        throws RemoteException,IncompleteConversationalState,
               DoubleBookingException; 
               
    public String [] listAvailableCabins(int bedCount)
        throws RemoteException, IncompleteConversationalState;
    
}