ETSI's Bug Tracker - Part 01: TTCN-3 Core Language
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0005791Part 01: TTCN-3 Core LanguageClarificationpublic08-10-2010 16:2515-12-2010 00:31
ReporterAndras Kovacs 
Assigned ToIna Schieferdecker 
PrioritynormalSeverityminorReproducibilityN/A
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target Versionv4.3.1 (published 2011-06)Fixed in Versionv4.3.1 (published 2011-06) 
Clause Reference(s)[Part 1: TTCN-3 Core Language / Section B.1.2.3 ]
Source (company - Author)BroadBit - Andras Kovacs
Summary0005791: STF409 question on [Part 1: TTCN-3 Core Language / Section B.1.2.3 ]
DescriptionSTF409 experts do not understand the meaning of the following restriction in the paragraph text:
'A template field that uses the any value mechanism matches the corresponding incoming field if, and only if, the incoming field evaluates to a single element of the specified type.'
Steps To Reproduce
Additional Information
TagsNo tags attached.
Relationships
Attached Filesdoc CR5791.doc (42,496) 15-12-2010 00:23
http://oldforge.etsi.org/mantis/file_download.php?file_id=2472&type=bug
Issue History
Date ModifiedUsernameFieldChange
08-10-2010 16:25Andras KovacsNew Issue
08-10-2010 16:25Andras KovacsClause Reference(s) => [Part 1: TTCN-3 Core Language / Section B.1.2.3 ]
08-10-2010 16:25Andras KovacsSource (company - Author) => BroadBit - Andras Kovacs
14-10-2010 10:44Jacob Wieland - SpirentNote Added: 0009778
30-11-2010 09:39Ina SchieferdeckerProjectTTCN-3 Change Requests => Part 01: TTCN-3 Core Language
30-11-2010 16:22Gyorgy RethyAssigned To => Ina Schieferdecker
30-11-2010 16:22Gyorgy RethyStatusnew => assigned
30-11-2010 16:22Gyorgy RethyTarget Version => Edition 4.3.1 (not yet published)
02-12-2010 09:09Ina SchieferdeckerNote Added: 0009913
02-12-2010 09:09Ina SchieferdeckerAssigned ToIna Schieferdecker => Gyorgy Rethy
02-12-2010 09:09Ina SchieferdeckerResolutionopen => fixed
02-12-2010 09:09Ina SchieferdeckerFixed in Version => Edition 4.3.1 (not yet published)
02-12-2010 10:34Gyorgy RethyNote Added: 0009923
02-12-2010 10:34Gyorgy RethyAssigned ToGyorgy Rethy => Ina Schieferdecker
02-12-2010 11:31Ina SchieferdeckerNote Added: 0009926
02-12-2010 11:31Ina SchieferdeckerAssigned ToIna Schieferdecker => Gyorgy Rethy
02-12-2010 11:34Gyorgy RethyNote Added: 0009927
02-12-2010 11:34Gyorgy RethyAssigned ToGyorgy Rethy => Ina Schieferdecker
02-12-2010 11:34Gyorgy RethyStatusassigned => resolved
15-12-2010 00:23Ina SchieferdeckerNote Added: 0009976
15-12-2010 00:23Ina SchieferdeckerFile Added: CR5791.doc
15-12-2010 00:30Ina SchieferdeckerNote Added: 0009977
15-12-2010 00:31Ina SchieferdeckerStatusresolved => closed

Notes
(0009778)
Jacob Wieland - Spirent   
14-10-2010 10:44   
maybe 'single element' should be replaced by 'value'
(0009913)
Ina Schieferdecker   
02-12-2010 09:09   
The sentence should read:

"A template field that uses the any value mechanism matches the corresponding incoming field if, and only if, the incoming field evaluates to a value of the specified type."

Please check.
(0009923)
Gyorgy Rethy   
02-12-2010 10:34   
AnyValue can also be assigned to a template, typical for simple-type co-ordination messages, so the sentence should read:
""A template or template field that uses the any value mechanism matches the corresponding incoming message or field respectively, if, and only if, the corresponding message or incoming field evaluates to a value of the specified type.""
(0009926)
Ina Schieferdecker   
02-12-2010 11:31   
As it is not only about incoming messages/fields, better to change the whole paragraph from:

--------------
The matching symbol "?" (AnyValue) is used to indicate that any valid incoming value is acceptable. It can be used on values of all types. A template field that uses the any value mechanism matches the corresponding incoming field if, and only if, the incoming field evaluates to a single element of the specified type.
--------------

to
--------------
The matching symbol "?" (AnyValue) matches any value of the specified type. It can be used on values of all types.
--------------
(0009927)
Gyorgy Rethy   
02-12-2010 11:34   
OK with me.
(0009976)
Ina Schieferdecker   
15-12-2010 00:23   
The observation about "incoming" has implications also in the other subclauses of B.1.2 - however in a straightforward manner - implemented as uploaded in the resolution
(0009977)
Ina Schieferdecker   
15-12-2010 00:30   
Same for B.1.1 and B.1.4