ETSI's Bug Tracker - Part 01: TTCN-3 Core Language
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0005801Part 01: TTCN-3 Core LanguageEditorialpublic01-11-2010 16:1001-12-2010 10:57
ReporterPhilip Makedonski 
Assigned ToIna Schieferdecker 
PrioritynormalSeveritymajorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target Versionv4.3.1 (published 2011-06)Fixed in Versionv4.3.1 (published 2011-06) 
Clause Reference(s)TTCN-3 v4.2.1 Part 1: Core Notation, Clause 21.2(.1) Test case stop operation
Source (company - Author)University of Göttingen
Summary0005801: Test case operations - no corresponding BNF rules
DescriptionThe testcase.stop operation introduced in clause 21.2.1 of the TTCN-3 Core Notation (v4.2.1) has no respective syntax definition in the BNF productions.

Apart from that, I am just wondering what the point of it is in the first place, wasn't simply using mtc.stop supposed to result in basically the same thing??
Steps To Reproduce1. Read clause 21.2.1
2. Read annex A.1.6
(3. Read clauses 21.3.3 and 26.1)
Additional Information
TagsNo tags attached.
Relationships
related to 0005800closed  Test case stop operation missing in BNF 4.2.1 
Attached Files
Issue History
Date ModifiedUsernameFieldChange
01-11-2010 16:10Philip MakedonskiNew Issue
01-11-2010 16:10Philip MakedonskiClause Reference(s) => TTCN-3 v4.2.1 Part 1: Core Notation, Clause 21.2(.1) Test case stop operation
01-11-2010 16:10Philip MakedonskiSource (company - Author) => University of Göttingen
01-11-2010 16:36Philip MakedonskiNote Added: 0009793
01-11-2010 19:03Benjamin ZeissRelationship addedrelated to 0005800
11-11-2010 13:58Jacob Wieland - SpirentNote Added: 0009796
30-11-2010 09:36Ina SchieferdeckerProjectTTCN-3 Change Requests => Part 01: TTCN-3 Core Language
30-11-2010 16:57Gyorgy RethyNote Added: 0009865
30-11-2010 16:57Gyorgy RethyAssigned To => Ina Schieferdecker
30-11-2010 16:57Gyorgy RethyStatusnew => assigned
30-11-2010 16:57Gyorgy RethyTarget Version => Edition 4.3.1 (not yet published)
01-12-2010 10:22Ina SchieferdeckerNote Added: 0009881
01-12-2010 10:55Ina SchieferdeckerNote Added: 0009886
01-12-2010 10:57Ina SchieferdeckerStatusassigned => resolved
01-12-2010 10:57Ina SchieferdeckerResolutionopen => fixed
01-12-2010 10:57Ina SchieferdeckerFixed in Version => Edition 4.3.1 (not yet published)
01-12-2010 10:57Ina SchieferdeckerStatusresolved => closed

Notes
(0009793)
Philip Makedonski   
01-11-2010 16:36   
After looking a bit closer at it, even the pseudo-syntactic rule present in clause 21.2.1 is incorrect:

testcase "." stop { ( FreeText | TemplateInstance ) [","] } ")"
(0009796)
Jacob Wieland - Spirent   
11-11-2010 13:58   
Semantically, it also sets the error verdict with the given reason. As setverdict(error, reason) is not allowed (for reasons unkonwn and unclear to me), it was felt that some other syntax was needed.
(0009865)
Gyorgy Rethy   
30-11-2010 16:57   
STF discussion 30-11-2010: comment is correct.
(0009881)
Ina Schieferdecker   
01-12-2010 10:22   
BNF and pseudo-syntax changed to

testcase "." stop [ “(“ { ( FreeText | TemplateInstance ) [","] } ")" ]
(0009886)
Ina Schieferdecker   
01-12-2010 10:55   
BNF is

180. FunctionStatement ::= ConfigurationStatements |
                           TimerStatements |
                           CommunicationStatements |
                           BasicStatements |
                           BehaviourStatements |
                           VerdictStatements |
                           SUTStatements |
                           TestcaseOperation

455. TestcaseOperation ::= TestcaseKeyword "." StopKeyword ["(" {(FreeText |
                                                                  TemplateInstance)
                                                                 [","]}
                                                            ")"]