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

ID | Project | Category | View Status | Date Submitted | Last Update
0006440 | Part 01: TTCN-3 Core Language | Editorial | public | 19-03-2013 08:21 | 27-08-2013 17:10

Reporter | Tomas Urban |
Assigned To | Ina Schieferdecker |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version | v4.6.1 (published 2014-06) | Fixed in Version | v4.6.1 (published 2014-06) |
Clause Reference(s) | 6.2.4
Source (company - Author) | Elvior

Summary | 0006440: Restriction on imported enumerated types

Description

As a resolution of CR 5607, the following rule was added to the specification:
"When a TTCN-3 global or local definition is declared using an imported enumerated type, the name of that definition shall not be the same as any of the enumerated values of that type."
This rule imposes unnecessary restriction on function, altstep, type, test case, signature or parameterized template definitions. The rule shall be related only to constant, module parameters, variables, formal parameters and non-parameterized templates.
Proposal of a modified rule:
Constants, module parameters, variables, formal parameters and non-parameterized templates of an imported enumerated type shall not have the same identifier as any of enumerated values of that type.

Steps To Reproduce |
Additional Information |
Tags | No tags attached.

Relationships

related to | 0005607 | closed | Ina Schieferdecker | definitions of an enum type should not have the same name as an enum value in that type

Attached Files | CR6440.doc (161,792) 10-07-2013 18:09 http://oldforge.etsi.org/mantis/file_download.php?file_id=2824&type=bug CR6440_resolution_v2.doc (161,792) 12-07-2013 09:30 http://oldforge.etsi.org/mantis/file_download.php?file_id=2843&type=bug CR6440_resolution_v3.doc (162,304) 12-07-2013 10:57 http://oldforge.etsi.org/mantis/file_download.php?file_id=2845&type=bug

Issue History
Date Modified | Username | Field | Change
19-03-2013 08:21 | Tomas Urban | New Issue |
19-03-2013 08:21 | Tomas Urban | Clause Reference(s) | => 6.2.4
19-03-2013 08:21 | Tomas Urban | Source (company - Author) | => Elvior
19-03-2013 08:22 | Tomas Urban | Relationship added | related to 0005607
19-03-2013 08:22 | Tomas Urban | Description Updated |
08-07-2013 15:22 | Jens Grabowski | Project | TTCN-3 Change Requests => Part 01: TTCN-3 Core Language
08-07-2013 15:23 | Jens Grabowski | Status | new => assigned
08-07-2013 15:23 | Jens Grabowski | Assigned To | => Jacob Wieland - Spirent
08-07-2013 18:06 | Gyorgy Rethy | Target Version | => v4.6.1 (published 2014-06)
09-07-2013 12:03 | Jacob Wieland - Spirent | Note Added: 0011462 |
10-07-2013 18:09 | Jacob Wieland - Spirent | File Added: CR6440.doc |
10-07-2013 18:10 | Jacob Wieland - Spirent | Note Added: 0011522 |
10-07-2013 18:11 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Gyorgy Rethy
10-07-2013 18:11 | Jacob Wieland - Spirent | Note Added: 0011523 |
12-07-2013 09:25 | Gyorgy Rethy | Note Added: 0011568 |
12-07-2013 09:30 | Gyorgy Rethy | File Added: CR6440_resolution_v2.doc |
12-07-2013 09:34 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Jacob Wieland - Spirent
12-07-2013 09:34 | Gyorgy Rethy | Status | assigned => confirmed
12-07-2013 10:53 | Jacob Wieland - Spirent | Status | confirmed => assigned
12-07-2013 10:54 | Jacob Wieland - Spirent | Note Added: 0011572 |
12-07-2013 10:54 | Jacob Wieland - Spirent | Status | assigned => confirmed
12-07-2013 10:55 | Jacob Wieland - Spirent | Status | confirmed => assigned
12-07-2013 10:55 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Ina Schieferdecker
12-07-2013 10:57 | Jacob Wieland - Spirent | File Added: CR6440_resolution_v3.doc |
12-07-2013 10:57 | Jacob Wieland - Spirent | Note Deleted: 0011572 |
12-07-2013 10:58 | Jacob Wieland - Spirent | Note Added: 0011573 |
12-07-2013 10:58 | Jacob Wieland - Spirent | Status | assigned => confirmed
27-08-2013 17:09 | Ina Schieferdecker | Note Added: 0011612 |
27-08-2013 17:09 | Ina Schieferdecker | Status | confirmed => resolved
27-08-2013 17:09 | Ina Schieferdecker | Resolution | open => fixed
27-08-2013 17:09 | Ina Schieferdecker | Fixed in Version | => v4.6.1 (published 2014-06)
27-08-2013 17:10 | Ina Schieferdecker | Status | resolved => closed

Notes

(0011462)
Jacob Wieland - Spirent
09-07-2013 12:03

Since that is the gist of what the restriction aimed at, I have no problem with this clarification. "Using" here was meant as "Having" (which is only possible for the non-parameterized declarations).
Parameterized templates which have only parameters with default-values/templates must also fulfil this restriction to avoid the ambiguity. Of course, this is only relevant if the right-hand-side of the template definition is a function call.

(0011522)
Jacob Wieland - Spirent
10-07-2013 18:10

Made restriction more clear.

(0011523)
Jacob Wieland - Spirent
10-07-2013 18:11

please check

(0011568)
Gyorgy Rethy
12-07-2013 09:25

See updated text in CR6440_resolution_v2.doc. No technical change, just adjusted the text as discussed.

(0011573)
Jacob Wieland - Spirent
12-07-2013 10:58

we missed formal parameters, I amended the proposal accordingly, please check

(0011612)
Ina Schieferdecker
27-08-2013 17:09

As proposed