[news.eclipse.modeling.mdt.ocl] Re: Query for not all elements of a mode

[Gilbert Mirenque <formatzeh@xxxxxx>]

Besides this I want to check some more precisely that not only the
events are not contained in a composite component but also are of
special type. Therefore this expression with a let statement.

let contextEvents: Set(CRUISeMetaModel::Event) =
	MyMetaModel::ContextComponent.allInstances().event->union(contextEvents)
in
self.event ->forAll(ev| 	
	not MyMetaModel::CompositeComponent.allInstances()->forAll(comp|
		comp.eContents()->select(tempEv|
tempEv.oclIsTypeOf(MyMetaModel::Event))-> includes(ev)
	)
	and
	contextEvents->includes(ev)
)


But I get the result "Unrecognized variable: (contextEvents)". Is the
let statement wrong?