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
0003379Part 01: TTCN-3 Core LanguageClarificationpublic16-05-2008 09:3118-07-2008 10:56
ReporterThomas Deiß 
Assigned ToIna Schieferdecker 
PrioritynormalSeverityminorReproducibilityN/A
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target Versionv4.1.1 (published 2009-06)Fixed in Versionv4.1.1 (published 2009-06) 
Summary0003379: Cyclic definitions
DescriptionIt is not clear from part1 to which cyclic definitions are erroneous.

For types and functions/altsteps this is explicitly allowed. Whereas for component type extension and template modification it is explicitly forbidden.

For constants, modulepars, variables, and templates in general this is not clear. Consider the following the example:

module CyclicConstants {

//const charstring x := "la" & y; //no finite value
//const charstring y := x;
  
  type record ab {
    integer a,
    integer b
  }

  const ab AB := { a := 1, b := BA.a }; //{1,2}
  const ab BA := { a := 2, b := AB.a }; //{2,1}
}

Obviously, the definition of x and y is incorrect as there is no corresponding finite value. But for AB and BA there are finite values as indicated.

I suggest to add a restriction to the corresponding clauses for constants, modulepars, variables, and templates in general that cyclic definitions are not allowed and that cycles are determined on the level of the used identifiers. In the example above it would be checked whether there is a cycle AB -> BA -> AB.

The restriction could be similar to the one for modified templates:
clause 15.5, restriction a) a) A modified template shall not refer to itself, either directly or indirectly, i.e. recursive derivation is not allowed.
TagsNo tags attached.
Clause Reference(s)clauses 15, 10, 11, 8.2.1
Source (company - Author)Nokia Siemens Networks, Thomas Deiß
Attached Filesdoc file icon CR-3379-Resolution-JG-080716.doc [^] (160,256 bytes) 16-07-2008 12:08
doc file icon CR-3379-Resolution-JG-TD-080718.doc [^] (148,480 bytes) 18-07-2008 08:40
doc file icon CR-3379-Resolution-JG-TD-IS-080719.doc [^] (153,088 bytes) 18-07-2008 10:55

- Relationships

-  Notes
(0006047)
Thomas Deiß (reporter)
20-06-2008 13:46

 Consider also the example, is this allowed or is this not allowed because the declarations can be considered as cyclic?

type integer X (three, four);
  
const X three := 3;
const X four := 4;
(0006295)
Jens Grabowski (manager)
16-07-2008 12:09

 Proposal for Resolution attached.
(0006318)
Thomas Deiß (reporter)
18-07-2008 08:42

 CR will be resolved as new clause 5.5. First proposal updated accordingly.
Reference to clause 5 to be added to each restriction.

- Issue History
Date Modified Username Field Change
16-05-2008 09:31 Thomas Deiß New Issue
16-05-2008 09:31 Thomas Deiß Status new => assigned
16-05-2008 09:31 Thomas Deiß Assigned To => Thomas Deiß
16-05-2008 09:31 Thomas Deiß Clause Reference(s) => clauses 15, 10, 11, 8.2.1
16-05-2008 09:31 Thomas Deiß Source (company - Author) => Nokia Siemens Networks, Thomas Deiß
16-05-2008 09:32 Thomas Deiß Project TTCN-3 Change Requests => Part 01: TTCN-3 Core Language
16-05-2008 09:33 Thomas Deiß Assigned To Thomas Deiß => Ina Schieferdecker
20-06-2008 13:46 Thomas Deiß Note Added: 0006047
14-07-2008 15:23 Ina Schieferdecker Assigned To Ina Schieferdecker => Jens Grabowski
16-07-2008 12:08 Jens Grabowski File Added: CR-3379-Resolution-JG-080716.doc
16-07-2008 12:09 Jens Grabowski Note Added: 0006295
16-07-2008 12:09 Jens Grabowski Assigned To Jens Grabowski => Thomas Deiß
18-07-2008 08:40 Thomas Deiß File Added: CR-3379-Resolution-JG-TD-080718.doc
18-07-2008 08:42 Thomas Deiß Note Added: 0006318
18-07-2008 08:42 Thomas Deiß Assigned To Thomas Deiß => Ina Schieferdecker
18-07-2008 08:42 Thomas Deiß Resolution open => fixed
18-07-2008 10:55 Ina Schieferdecker File Added: CR-3379-Resolution-JG-TD-IS-080719.doc
18-07-2008 10:56 Ina Schieferdecker Status assigned => closed
18-07-2008 10:56 Ina Schieferdecker Fixed in Version => Edition 4.1.1 (not yet published)
18-07-2008 10:56 Ina Schieferdecker Target Version => Edition 4.1.1 (not yet published)

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