/*
-----------------------------------------------------------------------
--          			CHESS M2M plugin							 --
--                                                                   --
--                    Copyright (C) 2011-2012                        --
--                 University of Padova, ITALY                       --
--                                                                   --
-- Author: Alessandro Zovi         azovi@math.unipd.it 		         --
--                                                                   --
-- All rights reserved. This program and the accompanying materials  --
-- are made available under the terms of the Eclipse Public License  --
-- v1.0 which accompanies this distribution, and is available at     --
-- http://www.eclipse.org/legal/epl-v20.html                         --
-----------------------------------------------------------------------
*/

library ProfileUtils;
modeltype UML uses "http://www.eclipse.org/uml2/2.0.0/UML";
modeltype MARTEP uses "http://www.eclipse.org/papyrus/MARTE/1";
modeltype CHESS uses "http://CHESS";
	

modeltype ECORE uses "http://www.eclipse.org/emf/2002/Ecore";


property propertyPlatform : Component = null;

/*
  in initialization:
  
  propertyPlatform := model.allOwnedElements()[Component]->selectOne(isStereotyped(GaResourcesPlatformQN));


*/

query InstanceSpecification::instanceSpec2Property() : Property {
	return propertyPlatform.ownedMember[Property]->selectOne(name = self.name);
}

query getConnector(myPort : Port, myProperty : Property) : Connector {
	return myPort._end->selectOne(partWithPort = myProperty).owner.oclAsType(Connector);
}

//Deprecated since CHESS Specification states that a port must have only one connector
query Port::getPiPort(op : chessmlprofile::RTComponentModel::CHRtSpecification) : Port {
    // Find the connector that links the RI to a PI
    var bindingConnector := getConnector(self, op.partWithPort);
    var myConnectorEnd := (bindingConnector.allOwnedElements()[ConnectorEnd])->	selectOne(role <> self);
    return myConnectorEnd.role.oclAsType(Port);
}

//Deprecated since CHESS Specification states that a port must have only one connector
query Port::getPiPartWithPort(op : chessmlprofile::RTComponentModel::CHRtSpecification) : Property {
    // Find the connector that links the RI to a PI
    var bindingConnector := getConnector(self, op.partWithPort);
    var myConnectorEnd := (bindingConnector.allOwnedElements()[ConnectorEnd])->	selectOne(role <> self);
    return myConnectorEnd.partWithPort;
}

query Property::property2InstanceSpec() : InstanceSpecification {
	return platform.ownedMember[InstanceSpecification]->selectOne(name = self.name);
}

//Test if it is a ditributed communication between the ports by returning the corresponding communication bus
/*query getConnectingBus(riProp : Property, piProp : Property) : Property {
	var senderHwInstance := getAssignToFrom(riProp);					
	var receiverHwInstance := getAssignToFrom(piProp); 
	if (senderHwInstance <> receiverHwInstance) then 
	   return getConnectingBusInstance(senderHwInstance, receiverHwInstance)
	endif;
	return null;
}*/


/*query Property::linkedInstanceSpecifications() : Bag(InstanceSpecification) {
	var res : Bag(InstanceSpecification) := Bag{};	
	self.owner.ownedElement[Connector]->select(isLinkedWith(self))->forEach(c){
	    res += c._end->selectOne(partWithPort<>self).partWithPort.property2InstanceSpec();
	};
	return res;
}*/

/*
query getConnector(myPort : Port, myProperty : Property) : Connector {
	var connectorSet  := model.allOwnedElements()[Connector];
	
	
	//return connectorSet->selectOne(allOwnedElements()[ConnectorEnd]->selectOne(role = myPort and partWithPort = myProperty).oclIsUndefined()=false);
	connectorSet->forEach(c) {
		c.allSubobjectsOfKind(ConnectorEnd) [ConnectorEnd]->forEach(es) {
			if (es.role = myPort and es.partWithPort = myProperty) then {
				return c;
			} endif;
		};
	};
	return null;
}*/