package class10_1_RemoteProxy; // MSOE. Dr. Yoder. 10 February 2016.
//
// CounterService.java: interface for the counter service
//

import java.rmi.*;

/**
 * @author hasker
 */
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;
}