lazy rule ApplyStereotypes {
	from s : UML2!"uml::Element" in IN
	using {
		t : UML2!"uml::Element" = s.resolve();
	}
	do {
		for (st in s.getAppliedStereotypes()) {
			t.applyStereotype(st);
			for (a in st.getAllAttributes()) {
				if (not a.name.startsWith('base_') and s.hasValue(st, a.name)) {
					t.setValue(st, a.name, s.getValue(st, a.name));
				}
			}
		}
	}
}

endpoint rule ApplyAllStereotypes() {
	do {
		for (element in thisModule.traces.defaultSourceElements
				->collect(e|e.object)
				->select(o|o.oclIsKindOf(UML2!"uml::Element"))) {
			thisModule.ApplyStereotypes(element);
		}
	}
}

t.setValue(st, a.name, s.getValue(st, a.name).resolve());

let value : UML2!Stereotype = s.getValue(st, a.name) in
let source : UML2!Element = value.eClass().getEAllReferences()->any(base | base.name.startsWith('base_')) in
source.resolve().getAppliedStereotype(st.getQualifiedName())

helper def: observerType: UML2!Type = UML2!Type.allInstances()->select(e|e.name='Observer').first();
helper def: concreteObserverType: UML2!Type = UML2!Type.allInstances()->select(e|e.name='ConcreteObserver').first();
helper def: updateType: UML2!Type = UML2!Type.allInstances()->select(e|e.name='update').first();
--- A helpful sequence to set stereotypes' values
helper def: stereotypeValues: Sequence(UML2!Element) = Sequence{};
--- Contains all the UML2!Element from both input models
helper def: allInputElements: UML2!Element = thisModule.elementsFromFirst.union(thisModule.elementsFromSecond);
--- Returns the element from the input model corresponding to the stereotypeApplication provided
--- Thus allowing us to use resolve() in order to get the stereotypeApplication of the element
--- in the output model.
helper context OclAny def: getElementFromValue(): UML2!Element = 
	thisModule.allInputElements->select(e|e.getAppliedStereotypes().notEmpty())->select(e|e.getStereotypeApplications().first()=self).first();
--- Applies the values to the stereotyped classes, avoiding to point to the INPUT models
lazy rule applyStereotypeValues {
	from s : UML2!"uml::Element" (not s.oclIsTypeOf(UML2!Operation))
	using {
		t : UML2!"uml::Element" = s.resolve();
	}
	do {
		for (st in s.getAppliedStereotypes()) {
			for (a in st.getAllAttributes()) {
				if (not a.name.startsWith('base_') and s.hasValue(st, a.name)) {
					for (elem in s.getValue(st, a.name)){
						if (elem.getElementFromValue().resolve().getStereotypeApplications().notEmpty()){
							thisModule.stereotypeValues<-thisModule.stereotypeValues.append(elem.getElementFromValue().resolve().getStereotypeApplications().first());
						}
					}
					if (a.type=(thisModule.observerType) or a.type=(thisModule.concreteObserverType) or a.type=(thisModule.updateType)){ --We identify if the element is of the type of one of the stereotyped types
						t.setValue(st, a.name, thisModule.stereotypeValues);
					}
					else{
						t.setValue(st, a.name, s.getValue(st, a.name));
					}
					thisModule.stereotypeValues<-Sequence{};
				}
			}
		}
	}
}
endpoint rule ApplyAllStereotypesAndSetPackages() {
	do {
		--- Apply stereotypes:
		for (element in thisModule.traces.defaultSourceElements
				->collect(e|e.object)
				->select(o|o.oclIsKindOf(UML2!"uml::Element"))) {
			thisModule.applyStereotypeValues(element);
		}
	}
}