public AutomaticSlicesPortImpl(ManagerServices services, Port[] wcreate_slices_ports) { this.mcid = (ManagerComponentID)services.getComponentID(); this.session_id_string = mcid.getInstanceName(); this.wgo_ports = wcreate_slices_ports; }
public ReconfigurationAdvicePortImpl(ManagerServices services, Port worker_advice_port) { this.mcid = (ManagerComponentID)services.getComponentID(); this.session_id_string = mcid.getInstanceName(); this.worker_advice_port = worker_advice_port; }
public InitializePortImpl(ManagerServices services, Port[] winitialize_ports) { this.mcid = (ManagerComponentID)services.getComponentID(); this.session_id_string = mcid.getInstanceName(); this.w_initialize_port = winitialize_ports; }
public InitializePortImpl(ManagerServices services, Port worker_init_port) { this.mcid = (ManagerComponentID)services.getComponentID(); this.session_id_string = mcid.getInstanceName(); this.worker_init_port = worker_init_port; }
public GoPortImpl(ManagerServices services, Port[] wgo_ports) { this.mcid = (ManagerComponentID)services.getComponentID(); this.session_id_string = mcid.getInstanceName(); this.wgo_ports = wgo_ports; }