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

ID | Project | Category | View Status | Date Submitted | Last Update
0007140 | Part 01: TTCN-3 Core Language | Technical | public | 14-08-2015 10:40 | 11-12-2015 14:48

Reporter | Tomas Urban |
Assigned To | Gyorgy Rethy |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v4.7.1 (published 2015-06) |
Target Version | v4.8.1 (published 2016-07) | Fixed in Version | v4.8.1 (published 2016-07) |
Clause Reference(s) | 22.3.3
Source (company - Author) | STF 487

Summary | 0007140: Templates not allowed in the value part of the reply operation

Description

All communication operations for outgoing traffic allow to use templates (conforming to the value restriction) in their parameters. However, there's one exception to this paradigm - the value clause of the reply operation which is defined in the BNF as:
322.ReplyValue ::= ValueKeyword Expression
And in 22.3.3 as:
Port "." reply "(" TemplateInstance [ value Expression ] ")" [ to Address ]
In my opinion the value part of the reply operation should support template instances as well:
322.ReplyValue ::= ValueKeyword InLineTemplate
Syntactical structure of 22.3.3: Port "." reply "(" TemplateInstance [ value TemplateInstance ] ")" [ to Address ]
The restriction 22.3.3.e should be extended: The TemplateInstance in the value clause (and all parts of it) shall have a specific value i.e. the use of matching mechanisms such as AnyValue is not allowed.

Steps To Reproduce |
Additional Information |
Tags | technically agreed

Relationships

related to | 0007184 | closed | Gyorgy Rethy | Template instance in the value part of reply operations

Attached Files | CR7140_resolution_v1.docx (86,678) 23-09-2015 15:02 http://oldforge.etsi.org/mantis/file_download.php?file_id=3273&type=bug CR7140_resolution_v2.docx (90,056) 23-09-2015 15:40 http://oldforge.etsi.org/mantis/file_download.php?file_id=3274&type=bug

Issue History
Date Modified | Username | Field | Change
14-08-2015 10:40 | Tomas Urban | New Issue |
21-09-2015 10:27 | Gyorgy Rethy | Target Version | => v4.8.1 (published 2016-07)
21-09-2015 15:39 | Gyorgy Rethy | Tag Attached: technically agreed |
21-09-2015 15:42 | Gyorgy Rethy | Note Added: 0013219 |
23-09-2015 11:38 | Axel Rennoch | Assigned To | => Axel Rennoch
23-09-2015 11:38 | Axel Rennoch | Status | new => assigned
23-09-2015 15:02 | Axel Rennoch | File Added: CR7140_resolution_v1.docx |
23-09-2015 15:05 | Axel Rennoch | Note Added: 0013271 |
23-09-2015 15:05 | Axel Rennoch | Assigned To | Axel Rennoch => Jacob Wieland - Spirent
23-09-2015 15:05 | Axel Rennoch | Status | assigned => acknowledged
23-09-2015 15:40 | Jacob Wieland - Spirent | File Added: CR7140_resolution_v2.docx |
23-09-2015 15:41 | Jacob Wieland - Spirent | Note Added: 0013277 |
23-09-2015 15:42 | Jacob Wieland - Spirent | Note Added: 0013278 |
23-09-2015 15:42 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Gyorgy Rethy
23-09-2015 15:42 | Jacob Wieland - Spirent | Status | acknowledged => confirmed
25-09-2015 11:41 | Gyorgy Rethy | Status | confirmed => resolved
25-09-2015 11:41 | Gyorgy Rethy | Fixed in Version | => v4.8.1 (published 2016-07)
25-09-2015 11:41 | Gyorgy Rethy | Resolution | open => fixed
15-10-2015 13:13 | Jacob Wieland - Spirent | Relationship added | related to 0007184
11-12-2015 14:48 | Gyorgy Rethy | Note Added: 0013592 |
11-12-2015 14:48 | Gyorgy Rethy | Status | resolved => closed

Notes

(0013219)
Gyorgy Rethy
21-09-2015 15:42

STF discussion: comment correct, but TemplateBody is sufficient in the "value" part

(0013271)
Axel Rennoch
23-09-2015 15:05

Please check the resolution that allows both Expression and TemplateBody.

(0013277)
Jacob Wieland - Spirent
23-09-2015 15:41

since TemplateBody already encompasses everything from Expression, I simplified/disambiguated Expression | TemplateBody to only TemplateBody. Also, I have simplified the text to avoid redundancy.

(0013278)
Jacob Wieland - Spirent
23-09-2015 15:42

please review and resolve

(0013592)
Gyorgy Rethy
11-12-2015 14:48

Added to draft V4.7.4