Re: [qvto-dev] QVT13-48 allInstances() needs clarification

[Adolfo Sanchez-Barbudo Herrera <adolfosbh@xxxxxxxxx>]

On 06/10/2015 11:47, Ed Willink wrote:
> allInstances() is underspecified, in particular the extent from the 
> instances are discovered is unclear
Hi Ed,

I think that this a problem that should be clarified in OCL, rather than 
in QVT. I see allInstances working on a kind of "Environment" or "Scope" 
(e.g. ResourceSet in EMF? initial Resource plus all reachable Resources 
from it? ). Whatever how "wide" the scope is something to be 
considered/clarified for both OCL and QVT. Ideally, a good clarification 
in OCL, might transparently be applied to QVT.

Regards,
Adolfo.