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

ID | Project | Category | View Status | Date Submitted | Last Update
0007132 | Part 01: TTCN-3 Core Language | Technical | public | 07-08-2015 11:51 | 15-12-2015 09:46

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) | A.1.6.8.3
Source (company - Author) | STF 487

Summary | 0007132: Syntax of the select statement

Description

The BNF defines the select body syntax as follows:
563.SelectCaseBody ::= "{" {SelectCase}+ "}"
564.SelectCase ::= CaseKeyword ("(" InLineTemplate {"," InLineTemplate}
")" | ElseKeyword) StatementBlock
However, in my opinion it is not a correct or complete definition and it is not compatible with the textual description of the statement (19.3). The problem is that the rule doesn't say that the else branch should occur at most once and if present it should be the last branch in the SelectCaseBody construct. There should be either a static semantic rule saying that or (preferably) it should be resolved syntactically:
563.SelectCaseBody ::= "{" {SelectCase}+ [CaseElse] "}"
564.SelectCase ::= CaseKeyword "(" InLineTemplate {"," InLineTemplate}
")" StatementBlock
565.CaseElse ::= CaseKeyword ElseKeyword StatementBlock

Steps To Reproduce |
Additional Information |
Tags | technically agreed

Relationships

related to | 0007133 | closed | Gyorgy Rethy | Select union statement should have at least one branch

Attached Files | CR7132_resolution_v1.docx (88,159) 23-09-2015 09:31 http://oldforge.etsi.org/mantis/file_download.php?file_id=3263&type=bug

Issue History
Date Modified | Username | Field | Change
07-08-2015 11:51 | Tomas Urban | New Issue |
07-08-2015 12:32 | Tomas Urban | Note Added: 0013141 |
21-09-2015 10:27 | Gyorgy Rethy | Target Version | => v4.8.1 (published 2016-07)
21-09-2015 14:39 | Gyorgy Rethy | Note Added: 0013210 |
21-09-2015 14:41 | Gyorgy Rethy | Tag Attached: technically agreed |
22-09-2015 16:16 | Axel Rennoch | Assigned To | => Axel Rennoch
22-09-2015 16:16 | Axel Rennoch | Status | new => assigned
23-09-2015 09:31 | Axel Rennoch | File Added: CR7132_resolution_v1.docx |
23-09-2015 09:33 | Axel Rennoch | Note Added: 0013248 |
23-09-2015 09:33 | Axel Rennoch | Assigned To | Axel Rennoch => Jacob Wieland - Spirent
23-09-2015 09:33 | Axel Rennoch | Status | assigned => confirmed
23-09-2015 09:33 | Axel Rennoch | Relationship added | related to 0007133
23-09-2015 12:41 | Jacob Wieland - Spirent | Note Added: 0013264 |
23-09-2015 12:41 | Jacob Wieland - Spirent | Status | confirmed => resolved
23-09-2015 12:41 | Jacob Wieland - Spirent | Fixed in Version | => v4.8.1 (published 2016-07)
23-09-2015 12:41 | Jacob Wieland - Spirent | Resolution | open => fixed
16-10-2015 13:23 | Jacob Wieland - Spirent | Status | resolved => feedback
16-10-2015 13:23 | Jacob Wieland - Spirent | Resolution | fixed => reopened
16-10-2015 13:23 | Jacob Wieland - Spirent | Status | feedback => resolved
16-10-2015 13:23 | Jacob Wieland - Spirent | Resolution | reopened => fixed
16-10-2015 13:23 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Gyorgy Rethy
15-12-2015 09:46 | Gyorgy Rethy | Note Added: 0013630 |
15-12-2015 09:46 | Gyorgy Rethy | Status | resolved => closed

Notes

(0013141)
Tomas Urban
07-08-2015 12:32

If possible, it would be nice to have textual restrictions on the use of the else branch in 16.3.1 and 16.3.2: The else branch shall be present at most once and if used it shall be the last branch of the select statement.

(0013210)
Gyorgy Rethy
21-09-2015 14:39

STF discussion: change the BNF acc. to the proposal. Correct the Syntactical Structure part of $19.3.1: at least one branch shall be present

(0013248)
Axel Rennoch
23-09-2015 09:33

Please check and close the CR. This CR overwrites issue 0007133.

(0013264)
Jacob Wieland - Spirent
23-09-2015 12:41

ok

(0013630)
Gyorgy Rethy
15-12-2015 09:46

Added to draft V4.7.4