Issue 19810: NOP helper example due to non-mutating List operation (qvt-rtf)
Source:  (, )
Nature: Revision
Severity: Minor
Summary: The following helper from the specification is a NOP, because List::append has no side effect in QVT 1.2. 


helper Package::computeCandidates(inout list:List) : List {
   if (self.nothingToAdd()) return list;
   list.append(self.retrieveCandidates());
   return list;
}

Therefore the snippet should rather use List::add.
Resolution: Incorrect use of side-effect free append in example

The following helper from the specification is a NOP, because List::append has no side effect in QVT 1.2.

helper Package::computeCandidates(inout list:List) : List{ if (self.nothingToAdd()) return list; list.append(self.retrieveCandidates()); return list; }

Therefore the snippet should rather use List::add.

Discussion

Yes
Revised Text: In 8.1.8 Helper ... computeCandidates

list.appendadd(self.retrieveCandidates());
Actions taken:
June 25, 2015: received issue
December 22, 2015: Resolved
March 29, 2016: closed issue
Discussion: 

End of Annotations:=====
iler: QUALCOMM Windows Eudora Version 7.1.0.9
Date: Wed, 01 Jul 2015 16:32:08 -0400
To: juergen@omg.org
From: Juergen Boldt <juergen@omg.org>
Subject: Fwd: Issue/Bug Report 19810 QVT
X-Virus-Scanned: amavisd-new at omg.org




From: webmaster@omg.org
Date: 25 Jun 2015 05:45:05 -0400
To: <issues@omg.org>
Subject: Issue/Bug Report

*******************************************************************************
Name:            Christopher Gerking
Employer:        Heinz Nixdorf Institute, 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.1.8
FormalNumber:    formal/15-02-01
Version:         1.2
Doc_Year:        2015
Doc_Month:       February
Doc_Day:         01
Page:            68
Title:           NOP helper example due to non-mutating List operation
Nature:          Revision
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/43.0.2357.130 Safari/537.36
Time:            05:45 AM

Description:

The following helper from the specification is a NOP in QVT 1.2, because List::append specifies that it produces a new List.

helper Package::computeCandidates(inout list:List) : List {
   if (self.nothingToAdd()) return list;
   list.append(self.retrieveCandidates());
   return list;
}

The snippet should rather use List::add in order to mutate the inout list variable.






Juergen Boldt
Director, Member Services
Object Management Group
109 Highland Ave
Needham, MA 02494 USA

Tel:  +1 (781) 444 0404 x 132
fax:  +1 (781) 444 0320

www.omg.org

[]