ETSI's Bug Tracker - Part 01: TTCN-3 Core Language
View Issue Details

ID | Project | Category | View Status | Date Submitted | Last Update
0007090 | Part 01: TTCN-3 Core Language | Editorial | public | 22-06-2015 13:52 | 10-12-2015 16:16

Reporter | Jacob Wieland - Spirent |
Assigned To | Gyorgy Rethy |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version | v4.8.1 (published 2016-07) | Fixed in Version | v4.8.1 (published 2016-07) |
Clause Reference(s) | 22.2.2
Source (company - Author) | Testing Technologies - Jacob Wieland

Summary | 0007090: description and example for field value redirect are wrong

Description

The 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.

Steps To Reproduce |
Additional Information |
Tags | No tags attached.

Relationships

has duplicate | 0007168 | closed | Gyorgy Rethy | Invalid description of redirect assignment of message fields in receive operation

Attached Files

CR7090_resolution_v1.docx (28,265) 05-08-2015 16:11
http://oldforge.etsi.org/mantis/file_download.php?file_id=3236&type=bug
CR7090_resolution_v2.docx (27,420) 06-08-2015 09:10
http://oldforge.etsi.org/mantis/file_download.php?file_id=3238&type=bug
CR7090_resolution_v3.docx (28,524) 06-08-2015 10:10
http://oldforge.etsi.org/mantis/file_download.php?file_id=3241&type=bug
CR7090_resolution_v4.docx (28,796) 09-12-2015 16:33
http://oldforge.etsi.org/mantis/file_download.php?file_id=3390&type=bug

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

Notes

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

STF discussion 03-08-2015: correct example and review textual description to make it more readable.

(0013089)
Axel Rennoch
05-08-2015 16:12

The uploaded file contains the corrected text and some text proposals (in comments).

(0013090)
Axel Rennoch
05-08-2015 16:14

Please have a look to the proposed alternative text variants.

(0013097)
Jacob Wieland - Spirent
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
06-08-2015 09:11

A second draft text proposal has been uploaded for further improvements.

(0013099)
Axel Rennoch
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
06-08-2015 10:11

changed text somewhat, please review

(0013108)
Axel Rennoch
06-08-2015 10:33

The correction of the example and the final text proposed in the upload solves the CR.

(0013575)
Gyorgy Rethy
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
10-12-2015 16:04

ok with me

(0013581)
Gyorgy Rethy
10-12-2015 16:16

Added to V4.7.4