Logo etsi

ETSI's Bug Tracker
Main | My View | View Issues | Change Log | Roadmap | Monitor project
  
Notice: information submitted on the ETSI issue Tracker may be incorporated in ETSI publication(s) and therefore subject to the ETSI IPR policy.

View Issue Details [ Jump to Notes ] [ Issue History ] [ Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007090Part 01: TTCN-3 Core LanguageEditorialpublic22-06-2015 13:5210-12-2015 16:16
ReporterJacob Wieland - Spirent 
Assigned ToGyorgy Rethy 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target Versionv4.8.1 (published 2016-07)Fixed in Versionv4.8.1 (published 2016-07) 
Summary0007090: description and example for field value redirect are wrong
DescriptionThe BNF allows as the right hand side of a value-field redirect assignment only

FieldReference ExtendedFieldReference

(disregarding @encoded at the moment)

in the section 22.2.2 this has been shorted to FieldOrTypeReference in the Syntactical Structure part.

The description, though clear and confusing left and right hand side, can only be understood correctly if the intention of the feature is already clear. The later example is wrong.

"When the keyword value is followed by an assignment list enframed by a pair of parentheses, the whole received
message and/or one or more parts of it can be stored. In a single assignment within the list, on the left hand side of the
assignment symbol (":=") a field of the template type shall be referenced, on the right hand side the name of the variable
or a formal parameter, in which the value shall be stored. The variable or formal parameter shall be type compatible
with the type on the left hand side of the assignment symbol. As a special case the field reference can be absent to
indicate that the whole message shall be stored in a variable. "

This is followed by the wrong example:

MyPort.receive(MyType:?) -> value (MyVar, MyMessageIdVar:= MyType.messageId)
 // The value of the received message is stored in the variable
 // MyVar and the value of the messageId field of the received
 // message is stored in the variable MyMessageIdVar.

which contradicts both the above description and the semantic restriction of the BNF on FieldReference (i.e. it shall only start with a type in case it is applied to anytype.

The example needs to be amended to

MyPort.receive(MyType:?) -> value (MyVar, MyMessageIdVar:= messageId)

and maybe the FieldOrTypeReference part could be clarified more in the description part as well. Also, left and right need to be fixed as the variable is on the left and the field reference on the right.
TagsNo tags attached.
Clause Reference(s)22.2.2
Source (company - Author)Testing Technologies - Jacob Wieland
Attached Filesdocx file icon CR7090_resolution_v1.docx [^] (28,265 bytes) 05-08-2015 16:11
docx file icon CR7090_resolution_v2.docx [^] (27,420 bytes) 06-08-2015 09:10
docx file icon CR7090_resolution_v3.docx [^] (28,524 bytes) 06-08-2015 10:10
docx file icon CR7090_resolution_v4.docx [^] (28,796 bytes) 09-12-2015 16:33

- Relationships
has duplicate 0007168closedGyorgy Rethy Invalid description of redirect assignment of message fields in receive operation 

-  Notes
(0013027)
Gyorgy Rethy (reporter)
03-08-2015 12:57

 STF discussion 03-08-2015: correct example and review textual description to make it more readable.
(0013089)
Axel Rennoch (developer)
05-08-2015 16:12

 The uploaded file contains the corrected text and some text proposals (in comments).
(0013090)
Axel Rennoch (developer)
05-08-2015 16:14

 Please have a look to the proposed alternative text variants.
(0013097)
Jacob Wieland - Spirent (reporter)
06-08-2015 07:52

 Regarding the first comment: What is meant with "A list element with a single assignment"?

In the second comment, I like version two better but not only the ":=" should be missing but also the right-hand-side.
(0013098)
Axel Rennoch (developer)
06-08-2015 09:11

 A second draft text proposal has been uploaded for further improvements.
(0013099)
Axel Rennoch (developer)
06-08-2015 09:13

 Please have a look to v2 and feel free to do further modifications in the uploaded file.
(0013107)
Jacob Wieland - Spirent (reporter)
06-08-2015 10:11

 changed text somewhat, please review
(0013108)
Axel Rennoch (developer)
06-08-2015 10:33

 The correction of the example and the final text proposed in the upload solves the CR.
(0013575)
Gyorgy Rethy (reporter)
09-12-2015 16:35

 Sorry guys, the changed text still was hard to read and confusing to me. Please look at my proposed text in CR7090_resolution_v4.docx.
(0013579)
Jacob Wieland - Spirent (reporter)
10-12-2015 16:04

 ok with me
(0013581)
Gyorgy Rethy (reporter)
10-12-2015 16:16

 Added to V4.7.4

- Issue History
Date Modified Username Field Change
22-06-2015 13:52 Jacob Wieland - Spirent New Issue
03-08-2015 12:57 Gyorgy Rethy Note Added: 0013027
03-08-2015 12:57 Gyorgy Rethy Assigned To => Axel Rennoch
03-08-2015 12:57 Gyorgy Rethy Status new => assigned
04-08-2015 09:09 Gyorgy Rethy Project TTCN-3 Change Requests => Part 01: TTCN-3 Core Language
05-08-2015 16:11 Axel Rennoch File Added: CR7090_resolution_v1.docx
05-08-2015 16:12 Axel Rennoch Note Added: 0013089
05-08-2015 16:14 Axel Rennoch Note Added: 0013090
05-08-2015 16:14 Axel Rennoch Assigned To Axel Rennoch => Jacob Wieland - Spirent
05-08-2015 16:14 Axel Rennoch Status assigned => acknowledged
06-08-2015 07:52 Jacob Wieland - Spirent Note Added: 0013097
06-08-2015 07:52 Jacob Wieland - Spirent Assigned To Jacob Wieland - Spirent => Axel Rennoch
06-08-2015 07:52 Jacob Wieland - Spirent Status acknowledged => assigned
06-08-2015 09:10 Axel Rennoch File Added: CR7090_resolution_v2.docx
06-08-2015 09:11 Axel Rennoch Note Added: 0013098
06-08-2015 09:13 Axel Rennoch Note Added: 0013099
06-08-2015 09:13 Axel Rennoch Assigned To Axel Rennoch => Jacob Wieland - Spirent
06-08-2015 09:13 Axel Rennoch Status assigned => acknowledged
06-08-2015 10:10 Jacob Wieland - Spirent File Added: CR7090_resolution_v3.docx
06-08-2015 10:11 Jacob Wieland - Spirent Note Added: 0013107
06-08-2015 10:11 Jacob Wieland - Spirent Assigned To Jacob Wieland - Spirent => Axel Rennoch
06-08-2015 10:11 Jacob Wieland - Spirent Status acknowledged => confirmed
06-08-2015 10:33 Axel Rennoch Note Added: 0013108
06-08-2015 10:33 Axel Rennoch Status confirmed => resolved
06-08-2015 10:33 Axel Rennoch Resolution open => fixed
06-08-2015 10:33 Axel Rennoch Assigned To Axel Rennoch => Gyorgy Rethy
07-09-2015 18:06 Jacob Wieland - Spirent Relationship added has duplicate 0007168
04-11-2015 14:00 Gyorgy Rethy Target Version => v4.8.1 (published 2016-07)
04-11-2015 14:02 Gyorgy Rethy Fixed in Version => v4.8.1 (published 2016-07)
09-12-2015 16:33 Gyorgy Rethy File Added: CR7090_resolution_v4.docx
09-12-2015 16:35 Gyorgy Rethy Note Added: 0013575
09-12-2015 16:35 Gyorgy Rethy Status resolved => feedback
09-12-2015 16:35 Gyorgy Rethy Resolution fixed => reopened
09-12-2015 16:37 Gyorgy Rethy Assigned To Gyorgy Rethy => Jacob Wieland - Spirent
09-12-2015 16:37 Gyorgy Rethy Status feedback => confirmed
10-12-2015 16:04 Jacob Wieland - Spirent Note Added: 0013579
10-12-2015 16:04 Jacob Wieland - Spirent Status confirmed => resolved
10-12-2015 16:04 Jacob Wieland - Spirent Resolution reopened => fixed
10-12-2015 16:04 Jacob Wieland - Spirent Assigned To Jacob Wieland - Spirent => Gyorgy Rethy
10-12-2015 16:16 Gyorgy Rethy Note Added: 0013581
10-12-2015 16:16 Gyorgy Rethy Status resolved => closed

MantisBT 1.2.14 [^]
Copyright © 2000 - 2024 MantisBT Team
Powered by Mantis Bugtracker