Logo etsi

ETSI's Bug Tracker
Main | My View | View Issues | Change Log | Roadmap | Monitor project
  
Notice: information submitted on the ETSI issue Tracker may be incorporated in ETSI publication(s) and therefore subject to the ETSI IPR policy.

View Issue Details [ Jump to Notes ] [ Issue History ] [ Print ]
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) 
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
Tagstechnically agreed
Clause Reference(s)A.1.6.8.3
Source (company - Author)STF 487
Attached Filesdocx file icon CR7132_resolution_v1.docx [^] (88,159 bytes) 23-09-2015 09:31

- Relationships
related to 0007133closedGyorgy Rethy Select union statement should have at least one branch 

-  Notes
(0013141)
Tomas Urban (reporter)
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 (reporter)
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 (developer)
23-09-2015 09:33

 Please check and close the CR.
This CR overwrites issue 0007133.
(0013264)
Jacob Wieland - Spirent (reporter)
23-09-2015 12:41

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

 Added to draft V4.7.4

- 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

MantisBT 1.2.14 [^]
Copyright © 2000 - 2024 MantisBT Team
Powered by Mantis Bugtracker