mapping ARSEPGenIA::ARPackage::arpackage2module() : Module {
	name := self.sName;
	declarations:= self.elements.map packageableElements2moduleElement(result)->asOrderedSet();
}

/** Here we check the Type of each PackageableElement and choose the mapping which fits best. PackageableElement is an Interface or Abstract Class, ModuleElement is an Abstract Class.
**/
mapping ARSEPGenI::PackageableElement::packageableElements2moduleElement(inout module:Module) : ModuleElement{
             // we need to do this in the init-part due to initialize a non-abstract return object:
	init {
                          //case 1:
		if(self.oclIsTypeOf(SenderReceiverInterface))
			then {
				result := self.oclAsType(SenderReceiverInterface).map senderReceiverInterface2messagePortType(); //object MessagePortType{}
			}
			else //case 2:
			if (self.oclIsTypeOf(ARSEPComponents::AtomicSCT))
				then {
					result := self.oclAsType(AtomicSCT).map atomicSCT2Component(); //object Component{}
				}
                                                     //so far everything works fine!
				else // default case for all types of PackageableElements not explicitly mapped above
				if(true)
					then {
						result := null; //THIS DOES NOT WORK!!!
						module.annotations += object TS::SampleAnnotation{value := "No mapping rule exist for the following PackageableElement: "+self.shortName+" of type "+self.metaClassName()+" details: "+self.repr()};
					}
				endif
			endif
		endif;
	}
}

mapping ARTOPGenIA::ARPackage::arpackage2module() : Module {
	name := self.shortName;	
	self.elements->forEach(elem) {
		if (elem.oclIsKindOf(SenderReceiverInterface)) then { //self.elements.oclIsTypeOf(SenderReceiverInterface) or 
			declarations+= elem.oclAsType(SenderReceiverInterface).map senderReceiverInterface2messagePortType();
		}else
			if (elem.oclIsTypeOf(ARSEPComponents::AtomicSCT))
				then {
					declarations+= elem.oclAsType(AtomicSCT).map atomicSCT2Component();
				}
				else // default case for PackageableElements not directly matched
					{
						annotations += object TS::SampleAnnotation{value := "No mapping rule exist for the following PackageableElement: "+elem.shortName+" of type "+elem.metaClassName()+" details: "+elem.repr()};
					}
			endif
		endif;
	}
}