ETSI's Bug Tracker - Part 01: TTCN-3 Core Language
View Issue Details

ID | Project | Category | View Status | Date Submitted | Last Update
0005791 | Part 01: TTCN-3 Core Language | Clarification | public | 08-10-2010 16:25 | 15-12-2010 00:31

Reporter | Andras Kovacs |
Assigned To | Ina Schieferdecker |
Priority | normal | Severity | minor | Reproducibility | N/A
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version | v4.3.1 (published 2011-06) | Fixed in Version | v4.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

Summary | 0005791: STF409 question on [Part 1: TTCN-3 Core Language / Section B.1.2.3 ]
Description | STF409 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 |
Tags | No tags attached.
Relationships |
Attached Files | 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 Modified | Username | Field | Change
08-10-2010 16:25 | Andras Kovacs | New Issue |
08-10-2010 16:25 | Andras Kovacs | Clause Reference(s) | => [Part 1: TTCN-3 Core Language / Section B.1.2.3 ]
08-10-2010 16:25 | Andras Kovacs | Source (company - Author) | => BroadBit - Andras Kovacs
14-10-2010 10:44 | Jacob Wieland - Spirent | Note Added: 0009778 |
30-11-2010 09:39 | Ina Schieferdecker | Project | TTCN-3 Change Requests => Part 01: TTCN-3 Core Language
30-11-2010 16:22 | Gyorgy Rethy | Assigned To | => Ina Schieferdecker
30-11-2010 16:22 | Gyorgy Rethy | Status | new => assigned
30-11-2010 16:22 | Gyorgy Rethy | Target Version | => Edition 4.3.1 (not yet published)
02-12-2010 09:09 | Ina Schieferdecker | Note Added: 0009913 |
02-12-2010 09:09 | Ina Schieferdecker | Assigned To | Ina Schieferdecker => Gyorgy Rethy
02-12-2010 09:09 | Ina Schieferdecker | Resolution | open => fixed
02-12-2010 09:09 | Ina Schieferdecker | Fixed in Version | => Edition 4.3.1 (not yet published)
02-12-2010 10:34 | Gyorgy Rethy | Note Added: 0009923 |
02-12-2010 10:34 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Ina Schieferdecker
02-12-2010 11:31 | Ina Schieferdecker | Note Added: 0009926 |
02-12-2010 11:31 | Ina Schieferdecker | Assigned To | Ina Schieferdecker => Gyorgy Rethy
02-12-2010 11:34 | Gyorgy Rethy | Note Added: 0009927 |
02-12-2010 11:34 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Ina Schieferdecker
02-12-2010 11:34 | Gyorgy Rethy | Status | assigned => resolved
15-12-2010 00:23 | Ina Schieferdecker | Note Added: 0009976 |
15-12-2010 00:23 | Ina Schieferdecker | File Added: CR5791.doc |
15-12-2010 00:30 | Ina Schieferdecker | Note Added: 0009977 |
15-12-2010 00:31 | Ina Schieferdecker | Status | resolved => 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