-- @atlcompiler emftvm
-- @nsURI ECORE=http://www.eclipse.org/emf/2002/Ecore
module MergeEClass;
create OUT: ECORE refining IN: ECORE;

rule Package {
	from
		s : ECORE!EPackage
	to
		t : ECORE!EPackage (
			-- remap() will replace 'dropped' by 'retained', so 'retained' is excluded to prevent duplicates
			eClassifiers <- s.eClassifiers -> 
					excluding(s.eClassifiers -> any(c | c.name = 'Retained'))
		)
}

rule MergeClass {
	from
		retainedClass: ECORE!EClass,
		droppedClass: ECORE!EClass (
			retainedClass.name = 'Retained' and 
			droppedClass.name = 'Dropped'
	)
	to
		t : ECORE!EClass mapsTo retainedClass (
			eSuperTypes <- droppedClass.remap(retainedClass).eSuperTypes ->
					asOrderedSet() -> union(droppedClass.eSuperTypes -> asOrderedSet())
		)
}

rule DeleteGenericType {
	from
		s : ECORE!EGenericType (
			let c : OclAny = s.refImmediateComposite() in
			c.oclIsKindOf(ECORE!EClass) and c.name = 'Dropped'
		)
}