/*****************************************************
 * jr generated file
 ****************************************************/
import java.rmi.*;
import edu.ucdavis.jr.*;
import edu.ucdavis.jr.jrx.*;
import java.rmi.*;
import java.io.Serializable;

public interface Op_ext_ThrowsjavadotiodotEOFException
  extends Op_ext
{
    static final long serialVersionUID = 0;
    public static class JRProxyOp
	extends Op_ext.JRProxyOp
    {
	public JRProxyOp(Op_ext theop)
	{
	    super(theop);
	}
	public final java.lang.Object call(long JRtimestamp, java.lang.Object [] args)
	//	    throws Exception 
	    throws java.io.EOFException 
	{
	    jrvm.sendAndDie();
	    try {
		return this.theop.call(JRtimestamp, args);
	    } catch (RemoteException e) { throw new edu.ucdavis.jr.jrCommunicationException(e); }
    catch (java.lang.Exception e) {
    	if( e instanceof java.io.EOFException)			throw (java.io.EOFException)e;
	throw new jrRuntimeError("Unhandled exception: " + e.toString());
		}
	    finally {
		jrvm.ariseAndReceive();
	    }
	}
	public final Cap_ext cocall(long JRtimestamp, java.lang.Object [] args)
	    throws java.io.EOFException
	{
	    jrvm.sendAndDie();
	    try {
		return this.theop.cocall(JRtimestamp, args);
	    } catch (RemoteException e) { throw new edu.ucdavis.jr.jrCommunicationException(e); }
    catch (java.lang.Exception e) {
    	if( e instanceof java.io.EOFException)			throw (java.io.EOFException)e;
		}
	    finally {
		jrvm.ariseAndReceive();
	    }
		return null;
	}
    }
}
