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 |
|
|
|
|
STF discussion 03-08-2015: correct example and review textual description to make it more readable. |
|
|
|
|
|
The uploaded file contains the corrected text and some text proposals (in comments). |
|
|
|
|
|
Please have a look to the proposed alternative text variants. |
|
|
|
|
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. |
|
|
|
|
|
A second draft text proposal has been uploaded for further improvements. |
|
|
|
|
|
Please have a look to v2 and feel free to do further modifications in the uploaded file. |
|
|
|
|
|
changed text somewhat, please review |
|
|
|
|
|
The correction of the example and the final text proposed in the upload solves the CR. |
|
|
|
|
|
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. |
|
|
|
|
|
|
|
|
|