ETSI's Bug Tracker - Part 01: TTCN-3 Core Language |
| View Issue Details |
|
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0007729 | Part 01: TTCN-3 Core Language | Editorial | public | 22-11-2017 13:28 | 04-01-2019 16:45 |
|
| Reporter | Philip Makedonski | |
| Assigned To | Gyorgy Rethy | |
| Priority | normal | Severity | minor | Reproducibility | have not tried |
| Status | closed | Resolution | fixed | |
| Platform | | OS | | OS Version | |
| Product Version | v4.8.1 (published 2016-07) | |
| Target Version | 4.11.1 (published 2019-05) | Fixed in Version | 4.11.1 (published 2019-05) | |
| Clause Reference(s) | Clause 8.2.3.1 |
| Source (company - Author) | University of Göttingen, Philip Makedonski |
|
| Summary | 0007729: There seems to be a mistake in Example 4 on Page 108 (v4.9.1) |
| Description | There seems to be a mistake in Example 4 in Clause 8.2.3.1 on Page 108 (v4.9.1):
EXAMPLE 4: Name clash between enumerated values and global definitions
module A {
type enumerated MyEnumType {enumX, enumY}
type enumerated MyEnumType2 {enumY, enumZ}
}
module B {
import from A all;
const MyEnumType enumY := enumX; // this is not allowed as enumerated values restrict
// global names (see clause 6.2.4)
const MyEnumType2 enumX := enumY; // this is likewise not allowed
// PM: WRONG! It should either be noted as allowed
// or changed to MyEnumType2 enumZ := enumY
// since MyEnumType2 does not contain enumX
const MyEnumType enumZ := enumX; // allowed as MyEnumType does not contain enumZ
}
I'm guessing what was intended was "const MyEnumType2 enumZ := enumY", especially, considering the fact that the same example continues with:
module C {
import from A all;
import from B all;
const integer enumZ := 0;
const integer enumY := 1;
const MyEnumType2 enumX := enumY; // PM: this is identical to the example above and should be allowed
//...
}
|
| Steps To Reproduce | |
| Additional Information | |
| Tags | No tags attached. |
| Relationships | |
| Attached Files |  CR7729.docx (183,748) 19-07-2018 10:03
http://oldforge.etsi.org/mantis/file_download.php?file_id=3772&type=bug |
|
| Issue History |
| Date Modified | Username | Field | Change |
| 22-11-2017 13:28 | Philip Makedonski | New Issue | |
| 24-11-2017 12:00 | Jacob Wieland - Spirent | Note Added: 0014923 | |
| 04-01-2018 17:27 | Gyorgy Rethy | Note Added: 0014997 | |
| 05-01-2018 13:59 | Gyorgy Rethy | Target Version | => 4.11.1 (published 2019-05) |
| 16-07-2018 13:27 | Jens Grabowski | Note Added: 0015127 | |
| 16-07-2018 13:27 | Jens Grabowski | Assigned To | => Jacob Wieland - Spirent |
| 16-07-2018 13:27 | Jens Grabowski | Status | new => assigned |
| 19-07-2018 10:03 | Jacob Wieland - Spirent | File Added: CR7729.docx | |
| 19-07-2018 10:04 | Jacob Wieland - Spirent | Note Added: 0015169 | |
| 19-07-2018 10:04 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Tomas Urban |
| 19-07-2018 10:04 | Jacob Wieland - Spirent | Status | assigned => confirmed |
| 19-07-2018 10:43 | Tomas Urban | Note Added: 0015170 | |
| 19-07-2018 10:43 | Tomas Urban | Assigned To | Tomas Urban => Gyorgy Rethy |
| 19-07-2018 10:43 | Tomas Urban | Status | confirmed => resolved |
| 04-01-2019 16:45 | Gyorgy Rethy | Note Added: 0015299 | |
| 04-01-2019 16:45 | Gyorgy Rethy | Status | resolved => closed |
| 04-01-2019 16:45 | Gyorgy Rethy | Resolution | open => fixed |
| 04-01-2019 16:45 | Gyorgy Rethy | Fixed in Version | => 4.11.1 (published 2019-05) |
|
Notes |
|
|
|
I think the first examples were originally also in the same module as the enum type definitions and thus giving the module-prefix was not resolving the ambiguity (which is why that is disallowed).
So, I think the complaint is correct. |
|
|
|
|
|
I also think the CR is correct, if it can be agreed by mid January, could be corrected in the coming version V4.10.1. |
|
|
|
|
|
STF discussion: CR is correct. Jacob will work on a proposal. |
|
|
|
|
|
please review, I simply changed the wrong comment |
|
|
|
|
|
Reviewed, no issues found. The proposal is ready to be added to the next version of the core language standard. |
|
|
|
|
|