Issue 19096: Resolve expressions without source variable (qvt-rtf)
Source:  (, )
Nature: Clarification
Severity: Minor
Summary: In contrast to 8.2.1.23 ResolveInExp, the prior section 8.2.1.22 ResolveExp does not explicitly state whether the source variable is optional for resolve expressions. For Eclipse QVTo, this leads to the situation the source variable is assumed to be mandatory. Consequently, the resolve expression in following snippet is invalid in Eclipse: 


var p : EPackage = resolveone(EPackage);


I don't think that this restriction is desirable from the specification viewpoint. 

Eclipse bugzilla: https://bugs.eclipse.org/bugs/show_bug.cgi?id=392156
Resolution: The resolve needs a domain in which to search for target objects. For ResolveInExp this can be the
traces of a designated mapping. For ResolveExp it would seem that some source objects must be
supplied. However there seems no reason to prohibit a search everywhere and this could be achieved
by specifying Element.allInstances(). Therefore an omitted ResolveExp sources can mean search all
traces.
Revised Text: In 8.2.1.22 ResolveExp after the first paragraph add
The source object is optional. When no source object is provided, this expression inspects all the targets
created or updated by all mapping operations irrespective of the source objects.
Actions taken:
November 19, 2013: received issue
July 15, 2014: closed issue
Discussion: 

End of Annotations:=====

m: webmaster@omg.org
Date: 19 Nov 2013 05:44:58 -0500
To: <issues@omg.org>
Subject: Issue/Bug Report


*******************************************************************************
Name:            Christopher Gerking
Employer:        University of Paderborn
mailFrom:        christopher.gerking@upb.de
Terms_Agreement: I agree
Specification:   Meta Object Facility (MOF) 2.0 Query/View/ Transformation Specification
Section:         8.2.1.22 ResolveExp
FormalNumber:    formal/2011-01-01
Version:         1.1
Doc_Year:        2011
Doc_Month:       January
Doc_Day:         01
Page:            99
Title:           Resolve expressions without source variable
Nature:          Clarification
Severity:        Minor
CODE:            3TMw8
B1:              Report Issue
Remote Name:     nb-sch-fs782-1.cs.uni-paderborn.de
Remote User:     
HTTP User Agent: Mozilla/5.0 (Windows NT 6.1; WOW64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/31.0.1650.57 Safari/537.36
Time:            05:44 AM


Description:


In contrast to 8.2.1.23 ResolveInExp, the prior section 8.2.1.22 ResolveExp does not explicitly state whether the source variable is optional for resolve expressions. For Eclipse QVTo, this leads to the situation the source variable is assumed to be mandatory. Consequently, the resolve expression in following snippet is invalid in Eclipse: 


var p : EPackage = resolveone(EPackage);


I don't think that this restriction is desirable from the specification viewpoint. 

Eclipse bugzilla: https://bugs.eclipse.org/bugs/show_bug.cgi?id=392156