ETSI's Bug Tracker - Part 01: TTCN-3 Core Language
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0004703Part 01: TTCN-3 Core LanguageClarificationpublic15-01-2009 14:2601-07-2009 15:10
ReporterIna Schieferdecker 
Assigned ToIna Schieferdecker 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target Versionv4.2.1 (published 2010-07)Fixed in Versionv4.2.1 (published 2010-07) 
Clause Reference(s)22.2.2
Source (company - Author)Wolfgang Seka, MCC160
Summary0004703: Explaination of standalone receive
DescriptionPart 1 explains for Stand-alone receive:

The receive operation can be used as a stand-alone statement in a behaviour description. In this latter case the receive operation is considered to be shorthand for an alt statement with only one alternative, i.e. it has blocking semantics, and therefore provides the ability of waiting for the next message matching the specified template or value on that queue.

The latter part on "waiting for the next message matching the specified template" can be misinterpreted, so that not only the top level messages can be matched.

This is not true. The blocking semantics holds.

Hence, a simplification is proposed to

"The receive operation can be used as a stand-alone statement in a behaviour description. In this latter case the receive operation is considered to be shorthand for an alt statement with only one alternative."

which removes the confusing part and makes clear, that the semantics of an alt statement applies
Steps To Reproduce
Additional Information
TagsNo tags attached.
Relationships
Attached Filesdoc CR-4703-Explaination-of-standalone-receive-JG.doc (203,264) 21-04-2009 12:02
http://oldforge.etsi.org/mantis/file_download.php?file_id=2095&type=bug
Issue History
Date ModifiedUsernameFieldChange
15-01-2009 14:26Ina SchieferdeckerNew Issue
15-01-2009 14:26Ina SchieferdeckerClause Reference(s) => 22.2.2
15-01-2009 14:26Ina SchieferdeckerSource (company - Author) => Wolfgang Seka, MCC160
15-01-2009 14:27Ina SchieferdeckerProjectTTCN-3 Change Requests => Part 01: TTCN-3 Core Language
15-01-2009 14:27Ina SchieferdeckerAssigned To => Jens Grabowski
15-01-2009 14:27Ina SchieferdeckerStatusnew => assigned
15-01-2009 14:27Ina SchieferdeckerCategoryTTCN-3 Core Language => Clarification
15-01-2009 14:27Ina SchieferdeckerTarget Version => Edition 4.2.1 (not yet published)
21-04-2009 10:39Jens GrabowskiNote Added: 0008522
21-04-2009 12:02Jens GrabowskiFile Added: CR-4703-Explaination-of-standalone-receive-JG.doc
21-04-2009 12:03Jens GrabowskiNote Added: 0008525
21-04-2009 12:03Jens GrabowskiAssigned ToJens Grabowski => Ina Schieferdecker
01-07-2009 15:09Ina SchieferdeckerNote Added: 0008807
01-07-2009 15:09Ina SchieferdeckerResolutionopen => fixed
01-07-2009 15:10Ina SchieferdeckerStatusassigned => resolved
01-07-2009 15:10Ina SchieferdeckerFixed in Version => Edition 4.2.1 (not yet published)
01-07-2009 15:10Ina SchieferdeckerStatusresolved => closed

Notes
(0008522)
Jens Grabowski   
21-04-2009 10:39   
The "confusing part" is used for the description of several stand-alone statements (e.g., done, trigger, timeout, killed). The simplification should be done for all statements/operations.
(0008525)
Jens Grabowski   
21-04-2009 12:03   
Proposal for resolution uploaded. Assigned to Ina for crosschecking.
(0008807)
Ina Schieferdecker   
01-07-2009 15:09   
Included as proposed.