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

    public class JRmain
      extends JRjavadotlangdotObject
      implements Serializable, Cloneable
    {
	static final long serialVersionUID = 0;
	public Cap_ext_ op_test_intToint;
	public Cap_ext_ JRget_op_test_intToint() {
		return op_test_intToint;
	}
	public void JRset_op_test_intToint(Cap_ext_ op_test_intToint) {
		this.op_test_intToint = op_test_intToint;
	}

	public Cap_ext_ThrowsjavadotiodotEOFException op_test2_intTointThrowsjavadotiodotEOFException;
	public Cap_ext_ThrowsjavadotiodotEOFException JRget_op_test2_intTointThrowsjavadotiodotEOFException() {
		return op_test2_intTointThrowsjavadotiodotEOFException;
	}
	public void JRset_op_test2_intTointThrowsjavadotiodotEOFException(Cap_ext_ThrowsjavadotiodotEOFException op_test2_intTointThrowsjavadotiodotEOFException) {
		this.op_test2_intTointThrowsjavadotiodotEOFException = op_test2_intTointThrowsjavadotiodotEOFException;
	}

	public JRmain(JRmain copy)
	{
	this.op_test_intToint = copy.op_test_intToint;
	this.op_test2_intTointThrowsjavadotiodotEOFException = copy.op_test2_intTointThrowsjavadotiodotEOFException;

	}
	public JRmain(Object ... opSig)
	{
	this.op_test_intToint = new Cap_ext_((Op_ext_.JRProxyOp)opSig[0]);
	this.op_test2_intTointThrowsjavadotiodotEOFException = new Cap_ext_ThrowsjavadotiodotEOFException((Op_ext_ThrowsjavadotiodotEOFException.JRProxyOp)opSig[1]);

	}
	public JRmain(boolean dummy)	{
	    super(dummy);
	this.op_test_intToint = Cap_ext_.noop;
	this.op_test2_intTointThrowsjavadotiodotEOFException = Cap_ext_ThrowsjavadotiodotEOFException.noop;

	}
	public Object clone()
	    throws CloneNotSupportedException
	{
	    return super.clone();
	}
	public static Object getNoop()
	{
	    return new JRmain(true);
	}
    }
