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

ID | Project | Category | View Status | Date Submitted | Last Update
0005967 | Part 01: TTCN-3 Core Language | Editorial | public | 28-11-2011 13:03 | 28-11-2011 13:59

Reporter | Tomas Urban |
Assigned To |  |
Priority | normal | Severity | minor | Reproducibility | N/A
Status | closed | Resolution | won't fix |
Platform |  | OS |  | OS Version |
Product Version | v4.3.1 (published 2011-06) |
Target Version | v4.4.1 (published 2012-04) | Fixed in Version |  |
Clause Reference(s) | C.32
Source (company - Author) | Elvior

Summary | 0005967: IsChosen: invalid reference to value list

Description

The following sentence in the chapter C.32 (function ischosen) contains a reference to a value list:
"The function ischosen is applicable to templates of union types containing a specific value or a value list."
Value lists are not valid values of union types. I think the author of this rule most likely wanted to write "list template" instead, which is a valid operand of the ischosen function as it is demonstrated in the examples. The terms are very similar, so it is easy to make this kind of mistake.

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files |

Issue History
Date Modified | Username | Field | Change
28-11-2011 13:03 | Tomas Urban | New Issue |
28-11-2011 13:03 | Tomas Urban | Clause Reference(s) | => C.32
28-11-2011 13:03 | Tomas Urban | Source (company - Author) | => Elvior
28-11-2011 13:45 | Gyorgy Rethy | Note Added: 0010348 |
28-11-2011 13:46 | Gyorgy Rethy | Target Version | => Edition 4.4.1
28-11-2011 13:59 | Gyorgy Rethy | Status | new => closed
28-11-2011 13:59 | Gyorgy Rethy | Resolution | open => won't fix

Notes

(0010348)
Gyorgy Rethy
28-11-2011 13:45

The standard meant value list, i.e. the value list matching (as in $B.1.2.1). See example template U t_U5 := ({ f2 := â€™12?â€™O }, { f2 := â€™*34â€™O length(2) }) ischosen(t_U5.f2) // returns true