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

ID | Project | Category | View Status | Date Submitted | Last Update
0005958 | Part 01: TTCN-3 Core Language | Technical | public | 02-11-2011 10:20 | 11-07-2012 10:56

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.4.1 (published 2012-04) | Fixed in Version |  |
Clause Reference(s) | Core language / 8.2.3.1
Source (company - Author) | STF433

Summary | 0005958: Example 4 of section 8.2.3.1 must be rewritten according to CR5607
Description | Because of CR5607, the example statements shown in Example 4 of section 8.2.3.1 will cause a test case error, so the text of the example must be rewritten accordingly
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 | CR5958.doc (133,632) 29-11-2011 11:09 http://oldforge.etsi.org/mantis/file_download.php?file_id=2596&type=bug CR5958_v2.doc (142,848) 01-12-2011 13:27 http://oldforge.etsi.org/mantis/file_download.php?file_id=2641&type=bug

Issue History
Date Modified | Username | Field | Change
02-11-2011 10:20 | Andras Kovacs | New Issue |
02-11-2011 10:20 | Andras Kovacs | Clause Reference(s) | => Core language / 8.2.3.1
02-11-2011 10:20 | Andras Kovacs | Source (company - Author) | => STF433
02-11-2011 10:26 | Andras Kovacs | Note Added: 0010324 |
02-11-2011 10:32 | Andras Kovacs | Note Added: 0010325 |
28-11-2011 09:33 | Jacob Wieland - Spirent | Note Added: 0010327 |
28-11-2011 09:57 | Gyorgy Rethy | Target Version | => Edition 4.4.1
28-11-2011 15:38 | Ina Schieferdecker | Relationship added | related to 0005607
28-11-2011 15:43 | Gyorgy Rethy | Assigned To | => Jacob Wieland - Spirent
28-11-2011 15:43 | Gyorgy Rethy | Status | new => assigned
29-11-2011 11:09 | Jacob Wieland - Spirent | File Added: CR5958.doc |
29-11-2011 11:16 | Jacob Wieland - Spirent | Note Added: 0010381 |
29-11-2011 11:16 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Gyorgy Rethy
30-11-2011 11:00 | Gyorgy Rethy | Note Added: 0010430 |
30-11-2011 11:01 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Jens Grabowski
01-12-2011 11:38 | Jens Grabowski | Note Added: 0010469 |
01-12-2011 11:39 | Jens Grabowski | Assigned To | Jens Grabowski => Jacob Wieland - Spirent
01-12-2011 13:27 | Jacob Wieland - Spirent | File Added: CR5958_v2.doc |
01-12-2011 13:28 | Jacob Wieland - Spirent | Note Added: 0010477 |
01-12-2011 13:28 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Jens Grabowski
01-12-2011 13:32 | Jacob Wieland - Spirent | Assigned To | Jens Grabowski => Ina Schieferdecker
01-12-2011 13:33 | Jacob Wieland - Spirent | Status | assigned => resolved
01-12-2011 13:33 | Jacob Wieland - Spirent | Resolution | open => fixed
01-12-2011 13:33 | Jacob Wieland - Spirent | Note Added: 0010478 |
11-07-2012 10:56 | Ina Schieferdecker | Note Added: 0010823 |
11-07-2012 10:56 | Ina Schieferdecker | Status | resolved => closed

Notes

(0010324)
Andras Kovacs
02-11-2011 10:26

Furthermore, the following paragraph must be removed from the text of section 8.2.3.1:
"There is one exception to this rule: when in the context of an enumerated type (see clause 6.2.4), an enumeration value
is clashing with the name of a definition in the importing module, the enumeration value shall take precedence and the
definition in the importing module shall be referenced by using its qualified name (see example 4 below in this clause). "

(0010325)
Andras Kovacs
02-11-2011 10:32

Furthermore, the following sentence must be removed from Note 5 of section 8.2.3.1:
"In particular, importing an enumerated type does not impose the restriction given in clause 6.2.4 on global names defined in the importing module."
Furthermore, the following sentence must be removed from Note 6 of section 8.2.3.1:
"Note that this implicit importing does not impose the restriction given in clause 6.2.4 on global names defined in module C."

(0010327)
Jacob Wieland - Spirent
28-11-2011 09:33

I agree with everything except the contents of the last note. I don't see th need to remove the sentences as they still apply: when importing an enumerated type, its enumerated field names do not restrict the names being defined in the importing module if they are of different types than the imported enumerated type (which is restricted by CR5607).

(0010381)
Jacob Wieland - Spirent
29-11-2011 11:16

uploaded proposal

(0010430)
Gyorgy Rethy
30-11-2011 11:00

Jens, pls. review.

(0010469)
Jens Grabowski
01-12-2011 11:38

Example: const MyEnumType enumY := enumX; // this is not allowed as enumeration namesed values of type // MyEnumType restrict names of definitions of that type only // global names in module A only (see clause 6.2.4) is irritating. Possibly delete. Otherwise OK

(0010477)
Jacob Wieland - Spirent
01-12-2011 13:28

moved that part of the example to an example in the proper section

(0010478)
Jacob Wieland - Spirent
01-12-2011 13:33

Jens has confirmed the matter being resolved

(0010823)
Ina Schieferdecker
11-07-2012 10:56

Implemented as proposed in v2