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

ID | Project | Category | View Status | Date Submitted | Last Update
0005954 | Part 01: TTCN-3 Core Language | Clarification | public | 31-10-2011 16:42 | 11-07-2012 11:23

Reporter | Andras Kovacs |
Assigned To | Ina Schieferdecker |
Priority | normal | Severity | minor | Reproducibility | N/A
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v4.3.1 (published 2011-06) |
Target Version | v4.5.1 (published 2013-04) | Fixed in Version | v4.5.1 (published 2013-04) |
Clause Reference(s) | Core language / C.42
Source (company - Author) | STF433

Summary | 0005954: int2enum expected behavior is not fully specified
Description | The standard does not specify in section C.42 what should happen when the input integer does not correspond to any enum-value. comment: logical behavior would be to throw the test-case error
Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files |

Issue History
Date Modified | Username | Field | Change
31-10-2011 16:42 | Andras Kovacs | New Issue |
31-10-2011 16:42 | Andras Kovacs | Clause Reference(s) | => Core language / C.42
31-10-2011 16:42 | Andras Kovacs | Source (company - Author) | => STF433
28-11-2011 09:38 | Jacob Wieland - Spirent | Note Added: 0010328 |
28-11-2011 10:35 | Jacob Wieland - Spirent | Note Added: 0010335 |
28-11-2011 10:39 | Gyorgy Rethy | Note Added: 0010336 |
28-11-2011 15:50 | Gyorgy Rethy | Assigned To | => Ina Schieferdecker
28-11-2011 15:50 | Gyorgy Rethy | Status | new => assigned
28-11-2011 15:50 | Gyorgy Rethy | Target Version | => Edition 4.4.1
29-11-2011 10:10 | Ina Schieferdecker | Note Added: 0010375 |
29-11-2011 10:11 | Ina Schieferdecker | Note Added: 0010376 |
29-11-2011 10:11 | Ina Schieferdecker | Assigned To | Ina Schieferdecker => Gyorgy Rethy
30-11-2011 10:59 | Gyorgy Rethy | Note Added: 0010429 |
30-11-2011 10:59 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Ina Schieferdecker
30-11-2011 10:59 | Gyorgy Rethy | Status | assigned => resolved
09-07-2012 17:17 | Ina Schieferdecker | Target Version | Edition 4.4.1 => Edition 4.5.1
11-07-2012 11:23 | Ina Schieferdecker | Note Added: 0010830 |
11-07-2012 11:23 | Ina Schieferdecker | Status | resolved => closed
11-07-2012 11:23 | Ina Schieferdecker | Resolution | open => fixed
11-07-2012 11:23 | Ina Schieferdecker | Fixed in Version | => Edition 4.5.1

Notes

(0010328)
Jacob Wieland - Spirent
28-11-2011 09:38

Agreed. That was the intention.

(0010335)
Jacob Wieland - Spirent
28-11-2011 10:35

As a side-proposal, it would be useful if the int2enum function would also return the enum-value that it assigns to the out-parameter to allow it being used inside an expression or as a right-hand-side of an assignment or as argument to the select-construct, etc.. I.e. the return type of the function would always be the same as the type of the out parameter.

(0010336)
Gyorgy Rethy
28-11-2011 10:39

$16.1.2, restriction 2) defines 2) each actual parameter shall evaluate to an element of its corresponding formal parameter's type; in the case of int2enum this is more tricky as the integer value shall correspond to an associated integer value of the out parameter's type. I propose to define this explicitly.

(0010375)
Ina Schieferdecker
29-11-2011 10:10

Change "The general error causes in clause 16.1.2 apply." to "In addition to the general error causes in clause 16.1.2, error causes are: - The integer value does not correspond to an associated integer value of the enumerated values in the enumerated type of the out parameter."

(0010376)
Ina Schieferdecker
29-11-2011 10:11

Please check resolution noted above.

(0010429)
Gyorgy Rethy
30-11-2011 10:59

Proposal OK.

(0010830)
Ina Schieferdecker
11-07-2012 11:23

Implemented as proposed.