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 |
|
|
|
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). " |
|
|
|
|
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." |
|
|
|
|
|
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). |
|
|
|
|
|
|
|
|
|
|
|
|
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 |
|
|
|
|
|
moved that part of the example to an example in the proper section |
|
|
|
|
|
Jens has confirmed the matter being resolved |
|
|
|
|
|
Implemented as proposed in v2 |
|