// Search for the single Application component deployed in the platform and instantiate it.
private void instantiateSystemComponent(string app_name, int facet_instance, Tuple <int, string>[] facet_address_list, int[] nodes)
{
try{
string instantiator_string = buildInstantiatorStringOfSystem(app_name + ".System", facet_instance, facet_address_list, nodes);
Console.WriteLine(instantiator_string);
string session_id_string = "system";
session = BackEnd.startSession(session_id_string);
//gov.cca.Services frwServices = session.Services;
// INSTANTIATE THE APPLICATION
Console.WriteLine("Creating an instance of the application " + platform_ref);
app_cid = (ManagerComponentID)BackEnd.createSystemComponentInstance(app_name, instantiator_string, session_id_string);
}
catch (Exception e)
{
Console.Error.WriteLine(e.Message);
if (e.InnerException != null)
{
Console.Error.WriteLine(e.InnerException.Message);
}
}
}
public ManagerServices(ManagerComponentID cid)
{
}
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 worker_init_port)
{
this.mcid = (ManagerComponentID)services.getComponentID();
this.session_id_string = mcid.getInstanceName();
this.worker_init_port = worker_init_port;
}
public ManagerServicesImpl(ManagerObject frw, ManagerComponentID cid)
{
this.frw = frw;
this.cid = cid;
}
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 GoPortImpl(ManagerServices services, Port[] wgo_ports)
{
this.mcid = (ManagerComponentID)services.getComponentID();
this.session_id_string = mcid.getInstanceName();
this.wgo_ports = wgo_ports;
}
