ETSI's Bug Tracker - Part 01: TTCN-3 Core Language
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0007132Part 01: TTCN-3 Core LanguageTechnicalpublic07-08-2015 11:5115-12-2015 09:46
ReporterTomas Urban 
Assigned ToGyorgy Rethy 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Versionv4.7.1 (published 2015-06) 
Target Versionv4.8.1 (published 2016-07)Fixed in Versionv4.8.1 (published 2016-07) 
Clause Reference(s)A.1.6.8.3
Source (company - Author)STF 487
Summary0007132: Syntax of the select statement
DescriptionThe 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
Tagstechnically agreed
Relationships
related to 0007133closed Gyorgy Rethy Select union statement should have at least one branch 
Attached Filesdocx 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 ModifiedUsernameFieldChange
07-08-2015 11:51Tomas UrbanNew Issue
07-08-2015 12:32Tomas UrbanNote Added: 0013141
21-09-2015 10:27Gyorgy RethyTarget Version => v4.8.1 (published 2016-07)
21-09-2015 14:39Gyorgy RethyNote Added: 0013210
21-09-2015 14:41Gyorgy RethyTag Attached: technically agreed
22-09-2015 16:16Axel RennochAssigned To => Axel Rennoch
22-09-2015 16:16Axel RennochStatusnew => assigned
23-09-2015 09:31Axel RennochFile Added: CR7132_resolution_v1.docx
23-09-2015 09:33Axel RennochNote Added: 0013248
23-09-2015 09:33Axel RennochAssigned ToAxel Rennoch => Jacob Wieland - Spirent
23-09-2015 09:33Axel RennochStatusassigned => confirmed
23-09-2015 09:33Axel RennochRelationship addedrelated to 0007133
23-09-2015 12:41Jacob Wieland - SpirentNote Added: 0013264
23-09-2015 12:41Jacob Wieland - SpirentStatusconfirmed => resolved
23-09-2015 12:41Jacob Wieland - SpirentFixed in Version => v4.8.1 (published 2016-07)
23-09-2015 12:41Jacob Wieland - SpirentResolutionopen => fixed
16-10-2015 13:23Jacob Wieland - SpirentStatusresolved => feedback
16-10-2015 13:23Jacob Wieland - SpirentResolutionfixed => reopened
16-10-2015 13:23Jacob Wieland - SpirentStatusfeedback => resolved
16-10-2015 13:23Jacob Wieland - SpirentResolutionreopened => fixed
16-10-2015 13:23Jacob Wieland - SpirentAssigned ToJacob Wieland - Spirent => Gyorgy Rethy
15-12-2015 09:46Gyorgy RethyNote Added: 0013630
15-12-2015 09:46Gyorgy RethyStatusresolved => 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