Title:
Clarify availability of 'result' for Tuiple returns
Summary:
The current phrasing
Within a contextual operation <it>result</it> represents the unique result parameter (if there is a unique declared result) or the
tuple containing the list of declared result parameters.
suggests that the synthetic Tuple return is accessible as result. This is not necessary and imposes considerable implementation difficulties since a new Tuple would need creation with each mutation.
Sucggest the new wording.
Within a contextual operation for which no name is specified for a single return parameter, <it>result</it> is the implicit name of the parameter. If the name is specified explicitly, as is necessary for multiple returns, no pre-defined
<it>result</it> variable exists.
Source:
ptc/14-03-38 — Chapter/Section: 8.1.16 — Page Number/s: 75
Legacy Issue Number:
19505
Reporter:
Ed Willink, Model Driven Solutions (ed@xxxxxxxxxxxxx)
Reported:
Wed, 2 Jul 2014 04:00 GMT on
QVT 1.2
Updated:
Tue, 29 Sep 2015 13:26 GMT
Discussion:
QVT13-28
Summary:
Clarify availability of 'result' for Tuple returns
The current phrasing
Within a contextual operation result represents the unique result parameter (if there is a unique declared result) or the
tuple containing the list of declared result parameters.
suggests that the synthetic Tuple return is accessible as result. This is not necessary and imposes considerable implementation difficulties since a new Tuple would need creation with each mutation.
Suggest the new wording.
Within a contextual operation for which no name is specified for a single return parameter,
result is the implicit name of the parameter. If the name is specified explicitly, as is necessary for multiple returns, no pre-defined
result variable exists.
Discussion
Yes
Revised Text:
In "8.1.16 Pre-defined Variables: this, self, and result" replace
Within a contextual operation result represents the unique result parameter (if there is a unique declared result) or the tuple containing the list of declared result parameters.
by
Within a contextual operation for which no name is specified for a single return parameter,
result is the implicit name of the parameter. If the name is specified explicitly, as is necessary for multiple returns, no pre-defined
result variable exists.
Extent Of Change:
Minor
Created:
Fri, 25 Sep 2015 10:14 GMT
Updated:
Fri, 25 Sep 2015 10:19 GMT
Discussion:
QVT13-65