0005801: Test case operations - no corresponding BNF rules

(0009793)
Philip Makedonski (reporter)
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 (reporter)
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 (reporter)
30-11-2010 16:57

STF discussion 30-11-2010: comment is correct.

(0009881)
Ina Schieferdecker (reporter)
01-12-2010 10:22

BNF and pseudo-syntax changed to

testcase "." stop [ â€œ(â€œ { ( FreeText | TemplateInstance ) [","] } ")" ]

(0009886)
Ina Schieferdecker (reporter)
01-12-2010 10:55

BNF is

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

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

Issue History
Date Modified	Username	Field	Change
01-11-2010 16:10	Philip Makedonski	New Issue
01-11-2010 16:10	Philip Makedonski	Clause Reference(s)	=> TTCN-3 v4.2.1 Part 1: Core Notation, Clause 21.2(.1) Test case stop operation
01-11-2010 16:10	Philip Makedonski	Source (company - Author)	=> University of GÃ¶ttingen
01-11-2010 16:36	Philip Makedonski	Note Added: 0009793
01-11-2010 19:03	Benjamin Zeiss	Relationship added	related to 0005800
11-11-2010 13:58	Jacob Wieland - Spirent	Note Added: 0009796
30-11-2010 09:36	Ina Schieferdecker	Project	TTCN-3 Change Requests => Part 01: TTCN-3 Core Language
30-11-2010 16:57	Gyorgy Rethy	Note Added: 0009865
30-11-2010 16:57	Gyorgy Rethy	Assigned To	=> Ina Schieferdecker
30-11-2010 16:57	Gyorgy Rethy	Status	new => assigned
30-11-2010 16:57	Gyorgy Rethy	Target Version	=> Edition 4.3.1 (not yet published)
01-12-2010 10:22	Ina Schieferdecker	Note Added: 0009881
01-12-2010 10:55	Ina Schieferdecker	Note Added: 0009886
01-12-2010 10:57	Ina Schieferdecker	Status	assigned => resolved
01-12-2010 10:57	Ina Schieferdecker	Resolution	open => fixed
01-12-2010 10:57	Ina Schieferdecker	Fixed in Version	=> Edition 4.3.1 (not yet published)
01-12-2010 10:57	Ina Schieferdecker	Status	resolved => closed

Notes
(0009793) Philip Makedonski (reporter) 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 (reporter) 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 (reporter) 30-11-2010 16:57	STF discussion 30-11-2010: comment is correct.

(0009881) Ina Schieferdecker (reporter) 01-12-2010 10:22	BNF and pseudo-syntax changed to testcase "." stop [ â€œ(â€œ { ( FreeText \| TemplateInstance ) [","] } ")" ]

(0009886) Ina Schieferdecker (reporter) 01-12-2010 10:55	BNF is 180. FunctionStatement ::= ConfigurationStatements \| TimerStatements \| CommunicationStatements \| BasicStatements \| BehaviourStatements \| VerdictStatements \| SUTStatements \| TestcaseOperation 455. TestcaseOperation ::= TestcaseKeyword "." StopKeyword ["(" {(FreeText \| TemplateInstance) [","]} ")"]

ETSI's Bug Tracker