//
// CounterService.java: interface for the counter service
//

import java.rmi.*;

public interface CounterService extends Remote
{
   // note: all arguments and return values must be Serializable or
   //   or primitive types
   public int  value()     throws RemoteException;
   public void increment() throws RemoteException;
   public void decrement() throws RemoteException;
}