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

    public class JRRollerCoaster
      extends JRjavadotlangdotObject
      implements Serializable, Cloneable
    {
	static final long serialVersionUID = 0;
	public Cap_ext_ op_done_voidTovoid;
	public Cap_ext_ JRget_op_done_voidTovoid() {
		return op_done_voidTovoid;
	}
	public void JRset_op_done_voidTovoid(Cap_ext_ op_done_voidTovoid) {
		this.op_done_voidTovoid = op_done_voidTovoid;
	}

	public Cap_ext_ op_manager_voidTovoid;
	public Cap_ext_ JRget_op_manager_voidTovoid() {
		return op_manager_voidTovoid;
	}
	public void JRset_op_manager_voidTovoid(Cap_ext_ op_manager_voidTovoid) {
		this.op_manager_voidTovoid = op_manager_voidTovoid;
	}

	public Cap_ext_ op_wagon_intTovoid;
	public Cap_ext_ JRget_op_wagon_intTovoid() {
		return op_wagon_intTovoid;
	}
	public void JRset_op_wagon_intTovoid(Cap_ext_ op_wagon_intTovoid) {
		this.op_wagon_intTovoid = op_wagon_intTovoid;
	}

	public Cap_ext_ op_passenger_intTovoid;
	public Cap_ext_ JRget_op_passenger_intTovoid() {
		return op_passenger_intTovoid;
	}
	public void JRset_op_passenger_intTovoid(Cap_ext_ op_passenger_intTovoid) {
		this.op_passenger_intTovoid = op_passenger_intTovoid;
	}

	public Cap_ext_ op_nextwagonunloading_intTovoid;
	public Cap_ext_ JRget_op_nextwagonunloading_intTovoid() {
		return op_nextwagonunloading_intTovoid;
	}
	public void JRset_op_nextwagonunloading_intTovoid(Cap_ext_ op_nextwagonunloading_intTovoid) {
		this.op_nextwagonunloading_intTovoid = op_nextwagonunloading_intTovoid;
	}

	public Cap_ext_ op_nextwagonloading_intTovoid;
	public Cap_ext_ JRget_op_nextwagonloading_intTovoid() {
		return op_nextwagonloading_intTovoid;
	}
	public void JRset_op_nextwagonloading_intTovoid(Cap_ext_ op_nextwagonloading_intTovoid) {
		this.op_nextwagonloading_intTovoid = op_nextwagonloading_intTovoid;
	}

	public Cap_ext_ op_closing_voidTovoid;
	public Cap_ext_ JRget_op_closing_voidTovoid() {
		return op_closing_voidTovoid;
	}
	public void JRset_op_closing_voidTovoid(Cap_ext_ op_closing_voidTovoid) {
		this.op_closing_voidTovoid = op_closing_voidTovoid;
	}

	public Cap_ext_ op_quitPark_voidTovoid;
	public Cap_ext_ JRget_op_quitPark_voidTovoid() {
		return op_quitPark_voidTovoid;
	}
	public void JRset_op_quitPark_voidTovoid(Cap_ext_ op_quitPark_voidTovoid) {
		this.op_quitPark_voidTovoid = op_quitPark_voidTovoid;
	}

	public Cap_ext_ op_closeRollerCoaster_voidTovoid;
	public Cap_ext_ JRget_op_closeRollerCoaster_voidTovoid() {
		return op_closeRollerCoaster_voidTovoid;
	}
	public void JRset_op_closeRollerCoaster_voidTovoid(Cap_ext_ op_closeRollerCoaster_voidTovoid) {
		this.op_closeRollerCoaster_voidTovoid = op_closeRollerCoaster_voidTovoid;
	}

	public Cap_ext_ op_isOpen_voidToboolean;
	public Cap_ext_ JRget_op_isOpen_voidToboolean() {
		return op_isOpen_voidToboolean;
	}
	public void JRset_op_isOpen_voidToboolean(Cap_ext_ op_isOpen_voidToboolean) {
		this.op_isOpen_voidToboolean = op_isOpen_voidToboolean;
	}

	public Cap_ext_ op_getOutRollerCoaster_intXintTovoid;
	public Cap_ext_ JRget_op_getOutRollerCoaster_intXintTovoid() {
		return op_getOutRollerCoaster_intXintTovoid;
	}
	public void JRset_op_getOutRollerCoaster_intXintTovoid(Cap_ext_ op_getOutRollerCoaster_intXintTovoid) {
		this.op_getOutRollerCoaster_intXintTovoid = op_getOutRollerCoaster_intXintTovoid;
	}

	public Cap_ext_ op_getInRollerCoaster_intToint;
	public Cap_ext_ JRget_op_getInRollerCoaster_intToint() {
		return op_getInRollerCoaster_intToint;
	}
	public void JRset_op_getInRollerCoaster_intToint(Cap_ext_ op_getInRollerCoaster_intToint) {
		this.op_getInRollerCoaster_intToint = op_getInRollerCoaster_intToint;
	}

	public JRRollerCoaster(JRRollerCoaster copy)
	{
	this.op_done_voidTovoid = copy.op_done_voidTovoid;
	this.op_manager_voidTovoid = copy.op_manager_voidTovoid;
	this.op_wagon_intTovoid = copy.op_wagon_intTovoid;
	this.op_passenger_intTovoid = copy.op_passenger_intTovoid;
	this.op_nextwagonunloading_intTovoid = copy.op_nextwagonunloading_intTovoid;
	this.op_nextwagonloading_intTovoid = copy.op_nextwagonloading_intTovoid;
	this.op_closing_voidTovoid = copy.op_closing_voidTovoid;
	this.op_quitPark_voidTovoid = copy.op_quitPark_voidTovoid;
	this.op_closeRollerCoaster_voidTovoid = copy.op_closeRollerCoaster_voidTovoid;
	this.op_isOpen_voidToboolean = copy.op_isOpen_voidToboolean;
	this.op_getOutRollerCoaster_intXintTovoid = copy.op_getOutRollerCoaster_intXintTovoid;
	this.op_getInRollerCoaster_intToint = copy.op_getInRollerCoaster_intToint;

	}
	public JRRollerCoaster(Object ... opSig)
	{
	this.op_done_voidTovoid = new Cap_ext_((Op_ext_.JRProxyOp)opSig[0]);
	this.op_manager_voidTovoid = new Cap_ext_((Op_ext_.JRProxyOp)opSig[1]);
	this.op_wagon_intTovoid = new Cap_ext_((Op_ext_.JRProxyOp)opSig[2]);
	this.op_passenger_intTovoid = new Cap_ext_((Op_ext_.JRProxyOp)opSig[3]);
	this.op_nextwagonunloading_intTovoid = new Cap_ext_((Op_ext_.JRProxyOp)opSig[4]);
	this.op_nextwagonloading_intTovoid = new Cap_ext_((Op_ext_.JRProxyOp)opSig[5]);
	this.op_closing_voidTovoid = new Cap_ext_((Op_ext_.JRProxyOp)opSig[6]);
	this.op_quitPark_voidTovoid = new Cap_ext_((Op_ext_.JRProxyOp)opSig[7]);
	this.op_closeRollerCoaster_voidTovoid = new Cap_ext_((Op_ext_.JRProxyOp)opSig[8]);
	this.op_isOpen_voidToboolean = new Cap_ext_((Op_ext_.JRProxyOp)opSig[9]);
	this.op_getOutRollerCoaster_intXintTovoid = new Cap_ext_((Op_ext_.JRProxyOp)opSig[10]);
	this.op_getInRollerCoaster_intToint = new Cap_ext_((Op_ext_.JRProxyOp)opSig[11]);

	}
	public JRRollerCoaster(boolean dummy)	{
	    super(dummy);
	this.op_done_voidTovoid = Cap_ext_.noop;
	this.op_manager_voidTovoid = Cap_ext_.noop;
	this.op_wagon_intTovoid = Cap_ext_.noop;
	this.op_passenger_intTovoid = Cap_ext_.noop;
	this.op_nextwagonunloading_intTovoid = Cap_ext_.noop;
	this.op_nextwagonloading_intTovoid = Cap_ext_.noop;
	this.op_closing_voidTovoid = Cap_ext_.noop;
	this.op_quitPark_voidTovoid = Cap_ext_.noop;
	this.op_closeRollerCoaster_voidTovoid = Cap_ext_.noop;
	this.op_isOpen_voidToboolean = Cap_ext_.noop;
	this.op_getOutRollerCoaster_intXintTovoid = Cap_ext_.noop;
	this.op_getInRollerCoaster_intToint = Cap_ext_.noop;

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