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

ID | Project | Category | View Status | Date Submitted | Last Update
0006321 | Part 01: TTCN-3 Core Language | Clarification | public | 26-09-2012 17:25 | 14-12-2012 06:59

Reporter | Gyorgy Rethy |
Assigned To | Ina Schieferdecker |
Priority | normal | Severity | minor | Reproducibility | always
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version | v4.5.1 (published 2013-04) | Fixed in Version | v4.5.1 (published 2013-04) |
Clause Reference(s) | C.1.30 Enumerated to integer
Source (company - Author) | L.M.Ericsson

Summary | 0006321: Add explanatory text to enum2int

Description

When using enumerated values, the standard requires that the type of that value be always identified:
in clause 6.2.4:
"... . The identifiers of enumerated values shall be unique within the enumerated type (but do not have to be globally unique) and are consequently visible in the context of the given type only. ..."
and in clause 3.1:
"type context: "In the context of a type" means that at least one object involved in the given TTCN-3 action (an assignment, operation, parameter passing etc.) identifies a concrete type unambiguously
NOTE: Either directly (e.g. an in-line template) or by means of a typed TTCN-3 object (e.g. via a constant, variable, formal parameter etc.)."
As a consequence, no simple literal enumerated value shall be passed to enum2int, only a typed object, like a constant, variable, modulepar or a function call with a return type. Users should be notified about this specifics.
Proposed solution: adding the following sentence to end of the 1st paragraph of C.1.30:
"The actual parameter passed to inpar always shall be a typed object (see clause 6.2.4 and the definition "type context" in clause 3.1)."

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

Issue History
Date Modified | Username | Field | Change
26-09-2012 17:25 | Gyorgy Rethy | New Issue |
26-09-2012 17:25 | Gyorgy Rethy | Clause Reference(s) | => C.1.30 Enumerated to integer
26-09-2012 17:25 | Gyorgy Rethy | Source (company - Author) | => L.M.Ericsson
17-10-2012 12:50 | Jacob Wieland - Spirent | Note Added: 0011175 |
10-12-2012 13:39 | Gyorgy Rethy | Status | new => assigned
10-12-2012 13:39 | Gyorgy Rethy | Assigned To | => Ina Schieferdecker
10-12-2012 16:40 | Gyorgy Rethy | Target Version | => Edition 4.5.1
14-12-2012 06:59 | Ina Schieferdecker | Note Added: 0011259 |
14-12-2012 06:59 | Ina Schieferdecker | Status | assigned => closed
14-12-2012 06:59 | Ina Schieferdecker | Resolution | open => fixed
14-12-2012 06:59 | Ina Schieferdecker | Fixed in Version | => Edition 4.5.1

Notes

(0011175)
Jacob Wieland - Spirent
17-10-2012 12:50

I agree.

(0011259)
Ina Schieferdecker
14-12-2012 06:59

Implemented as proposed.