void Services.registerUsesPort(string portName, string type, gov.cca.TypeMap properties)
{
ComponentID cid_inner = frw.getComponentID(mkPortName(portName));
if (!(cid_inner is ManagerIgnoredComponentID))
{
gov.cca.Services ws = WorkerServices;
ws.registerUsesPort(portName, type, properties);
}
frw.registerUsesPort(mkPortName(portName), type, properties);
}
void Services.registerUsesPort(string portName, string type, gov.cca.TypeMap properties)
{
ComponentID cid_inner = frw.getComponentID(mkPortName(portName));
if (!(cid_inner is ManagerIgnoredComponentID))
{
int[] nodes = cid.WorkerNodes;
//for (int i=0; i<nodes.Length; i++)
foreach (int i in WorkerServices.Keys)
{
gov.cca.Services ws = WorkerServices[i];
ws.registerUsesPort(portName, type, properties);
}
}
frw.registerUsesPort(mkPortName(portName), type, properties);
}