Logo etsi

ETSI's Bug Tracker
Main | My View | View Issues | Change Log | Roadmap | Monitor project
  
Notice: information submitted on the ETSI issue Tracker may be incorporated in ETSI publication(s) and therefore subject to the ETSI IPR policy.

View Issue Details [ Jump to Notes ] [ Issue History ] [ Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007729Part 01: TTCN-3 Core LanguageEditorialpublic22-11-2017 13:2804-01-2019 16:45
ReporterPhilip Makedonski 
Assigned ToGyorgy Rethy 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Versionv4.8.1 (published 2016-07) 
Target Version4.11.1 (published 2019-05)Fixed in Version4.11.1 (published 2019-05) 
Summary0007729: There seems to be a mistake in Example 4 on Page 108 (v4.9.1)
DescriptionThere 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
  //...
}
TagsNo tags attached.
Clause Reference(s)Clause 8.2.3.1
Source (company - Author)     University of Göttingen, Philip Makedonski
Attached Filesdocx file icon CR7729.docx [^] (183,748 bytes) 19-07-2018 10:03

- Relationships

-  Notes
(0014923)
Jacob Wieland - Spirent (reporter)
24-11-2017 12:00

 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.
(0014997)
Gyorgy Rethy (reporter)
04-01-2018 17:27

 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.
(0015127)
Jens Grabowski (manager)
16-07-2018 13:27

 STF discussion: CR is correct. Jacob will work on a proposal.
(0015169)
Jacob Wieland - Spirent (reporter)
19-07-2018 10:04

 please review, I simply changed the wrong comment
(0015170)
Tomas Urban (developer)
19-07-2018 10:43

 Reviewed, no issues found. The proposal is ready to be added to the next version of the core language standard.
(0015299)
Gyorgy Rethy (reporter)
04-01-2019 16:45

 Added to draft V4.10.2

- 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)

MantisBT 1.2.14 [^]
Copyright © 2000 - 2024 MantisBT Team
Powered by Mantis Bugtracker