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

ID | Project | Category | View Status | Date Submitted | Last Update
0007135 | Part 01: TTCN-3 Core Language | Technical | public | 07-08-2015 14:34 | 15-12-2015 10:12

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) | 19.3.2
Source (company - Author) | STF 487

Summary | 0007135: Template instance in the header of the select union statement

Description

According to the BNF, there cannot be a template instance in the header of the select union statement:
561.SelectCaseConstruct ::= SelectKeyword [UnionKeyword] "(" SingleExpression ")" SelectCaseBody
However, the textual description of the statement in 19.3.2 expects a template instance instead of the expression.
There are two ways for handling the problem:
a. Disallow the use of templates. BNF should stay the same, but the text in 19.3.2 should be changed replacing "TemplateInstance" with "SingleExpression".
b. Modify the BNF:
561.SelectCaseConstruct ::= SelectKeyword ("(" SingleExpression ")")|( UnionKeyword "(" InLineTemplate ")") SelectCaseBody
In this second case, the textual description should be ammended and describe what happens when the template instance contains a matching symbol (either an error or application of the expansion rules).

Steps To Reproduce |
Additional Information |
Tags | technically agreed
Relationships |
Attached Files | CR7135_resolution.docx (168,676) 15-10-2015 14:02 http://oldforge.etsi.org/mantis/file_download.php?file_id=3321&type=bug

Issue History
Date Modified | Username | Field | Change
07-08-2015 14:34 | Tomas Urban | New Issue |
21-09-2015 10:27 | Gyorgy Rethy | Target Version | => v4.8.1 (published 2016-07)
21-09-2015 14:52 | Gyorgy Rethy | Tag Attached: technically agreed |
21-09-2015 14:52 | Gyorgy Rethy | Note Added: 0013213 |
21-09-2015 14:53 | Gyorgy Rethy | Assigned To | => Gyorgy Rethy
21-09-2015 14:53 | Gyorgy Rethy | Status | new => assigned
15-10-2015 14:02 | Jacob Wieland - Spirent | File Added: CR7135_resolution.docx |
15-10-2015 14:02 | Jacob Wieland - Spirent | Note Added: 0013412 |
15-10-2015 14:02 | Jacob Wieland - Spirent | Status | assigned => resolved
15-10-2015 14:02 | Jacob Wieland - Spirent | Fixed in Version | => v4.8.1 (published 2016-07)
15-10-2015 14:02 | Jacob Wieland - Spirent | Resolution | open => fixed
15-12-2015 10:12 | Gyorgy Rethy | Note Added: 0013633 |
15-12-2015 10:12 | Gyorgy Rethy | Status | resolved => closed

Notes

(0013213)
Gyorgy Rethy
21-09-2015 14:52

STF discussion: change acc. to proposed alternative a.

(0013412)
Jacob Wieland - Spirent
15-10-2015 14:02

changed accordingly

(0013633)
Gyorgy Rethy
15-12-2015 10:12

Added to draft V4.7.4