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

ID | Project | Category | View Status | Date Submitted | Last Update
0007133 | Part 01: TTCN-3 Core Language | Technical | public | 07-08-2015 11:55 | 12-10-2015 12:06

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 | 0007133: Select union statement should have at least one branch

Description

The BNF defines the select body as follows:
563.SelectCaseBody ::= "{" {SelectCase}+ "}"
Please notice the rule requires 1..N SelectCase items. However, the textual description of the select union statement states that "the statement contains a header part and zero or more branches". That's clearly inconsistent with the BNF. and a select union statement with no branch doesn't make any sense either. I propose to change the sentence to: "the statement contains a header part and one or more branches".

Steps To Reproduce |
Additional Information |
Tags | technically agreed

Relationships

related to | 0007132 | closed | Gyorgy Rethy | Syntax of the select statement

Attached Files |

Issue History
Date Modified | Username | Field | Change
07-08-2015 11:55 | Tomas Urban | New Issue |
21-09-2015 10:27 | Gyorgy Rethy | Target Version | => v4.8.1 (published 2016-07)
21-09-2015 14:41 | Gyorgy Rethy | Note Added: 0013211 |
21-09-2015 14:41 | Gyorgy Rethy | Tag Attached: technically agreed |
22-09-2015 16:02 | Axel Rennoch | Assigned To | => Axel Rennoch
22-09-2015 16:02 | Axel Rennoch | Status | new => assigned
23-09-2015 08:29 | Axel Rennoch | File Added: CR7133_resolution_v1.docx |
23-09-2015 08:31 | Axel Rennoch | Note Added: 0013245 |
23-09-2015 08:31 | Axel Rennoch | Assigned To | Axel Rennoch => Jacob Wieland - Spirent
23-09-2015 08:31 | Axel Rennoch | Status | assigned => acknowledged
23-09-2015 09:33 | Axel Rennoch | Relationship added | related to 0007132
23-09-2015 12:01 | Jacob Wieland - Spirent | File Added: CR7133_resolution_v2.docx |
23-09-2015 12:02 | Jacob Wieland - Spirent | Note Added: 0013257 |
23-09-2015 12:02 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Gyorgy Rethy
23-09-2015 12:02 | Jacob Wieland - Spirent | Status | acknowledged => confirmed
25-09-2015 11:28 | Gyorgy Rethy | Note Added: 0013304 |
25-09-2015 11:28 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Axel Rennoch
25-09-2015 11:28 | Gyorgy Rethy | Status | confirmed => assigned
25-09-2015 13:13 | Axel Rennoch | File Deleted: CR7133_resolution_v1.docx |
25-09-2015 13:13 | Axel Rennoch | File Deleted: CR7133_resolution_v2.docx |
25-09-2015 13:13 | Axel Rennoch | Note Added: 0013310 |
25-09-2015 13:14 | Axel Rennoch | Assigned To | Axel Rennoch => Gyorgy Rethy
25-09-2015 13:14 | Axel Rennoch | Status | assigned => confirmed
12-10-2015 12:06 | Gyorgy Rethy | Note Added: 0013354 |
12-10-2015 12:06 | Gyorgy Rethy | Status | confirmed => closed
12-10-2015 12:06 | Gyorgy Rethy | Resolution | open => fixed
12-10-2015 12:06 | Gyorgy Rethy | Fixed in Version | => v4.8.1 (published 2016-07)

Notes

(0013211)
Gyorgy Rethy
21-09-2015 14:41

STF discussion: correct the text of the Semantic description

(0013245)
Axel Rennoch
23-09-2015 08:31

Please confirm the modification.

(0013257)
Jacob Wieland - Spirent
23-09-2015 12:02

added additional + after the set in the Syntactical Structure part, please review and resolve

(0013304)
Gyorgy Rethy
25-09-2015 11:28

Actually, select case and select union shall have the same semantics, they have a common BNF in Annex A. Currently select case also allows only a single else branch that, of course, makes no sense once we define select case as a shorthand for an if-else sequence. So select case shall also be changed to require at least one non-else branch.
I think we have also discussed that for consistency we disallow else branches at the middle.
Also the BNF in Annex A shall be changed, e.g. to:
563.SelectCaseBody ::= "{" {SelectCase}+ [ ElseKeyword StatementBlock ]"}"
564.SelectCase ::= CaseKeyword ("(" TemplateInstance {"," TemplateInstance } ")" StatementBlock

(0013310)
Axel Rennoch
25-09-2015 13:13

The resolution of the CR is covered by CR 7132, including BNF.

(0013354)
Gyorgy Rethy
12-10-2015 12:06

See resolution in CR 7132