ETSI's Bug Tracker - Part 01: TTCN-3 Core Language
View Issue Details
0003943Part 01: TTCN-3 Core LanguageTechnicalpublic10-08-2008 12:3117-08-2008 10:07
Gyorgy Rethy 
Ina Schieferdecker 
normalminoralways
closedfixed 
 
v4.1.1 (published 2009-06)v4.1.1 (published 2009-06) 
$6.2.10.2
L.M.Ericsson
0003943: Ambiguity in component type extension
Name clashes between the parent and the children comp. types are disallowed but the standard leaves ambiguity if names are clashing between the definitions in the different parent types (used in the same step of extension). E.g. in the case of
type component X { timer T1:=1.0}
type component Y { timer T1:=2.0}
type component Z extends X,Y { timer T2; }
function f() runs on Z {
T1.start
}
what is the initial duration of timer T1?
Add a new restriction b) in $6.2.10.2 (shift existing b) to c)):
b) When defining component types by extending more than one parent types, there shall be no name clash between the definitions of the different parent types, i.e. there shall not be a port, variable, constant or timer identifier that is declared in any two of the parent types (directly or by means of extension).
No tags attached.
doc CR_3943_ambiguity_in_component_extension_resolution_01.doc (159,744) 13-08-2008 10:32
http://oldforge.etsi.org/mantis/file_download.php?file_id=1590&type=bug
Issue History
10-08-2008 12:31Gyorgy RethyNew Issue
10-08-2008 12:31Gyorgy RethyStatusnew => assigned
10-08-2008 12:31Gyorgy RethyAssigned To => Ina Schieferdecker
10-08-2008 12:31Gyorgy RethyClause Reference(s) => $6.2.10.2
10-08-2008 12:31Gyorgy RethySource (company - Author) => L.M.Ericsson
11-08-2008 08:50Ina SchieferdeckerNote Added: 0006476
11-08-2008 08:51Ina SchieferdeckerAssigned ToIna Schieferdecker => Thomas Deiß
13-08-2008 10:32Thomas DeißFile Added: CR_3943_ambiguity_in_component_extension_resolution_01.doc
13-08-2008 10:34Thomas DeißNote Added: 0006509
13-08-2008 10:34Thomas DeißAssigned ToThomas Deiß => Gyorgy Rethy
13-08-2008 10:34Thomas DeißResolutionopen => fixed
15-08-2008 11:01Gyorgy RethyNote Added: 0006542
15-08-2008 11:01Gyorgy RethyAssigned ToGyorgy Rethy => Ina Schieferdecker
15-08-2008 11:01Gyorgy RethyStatusassigned => resolved
17-08-2008 09:02Ina SchieferdeckerTarget Version => Edition 4.1.1 (not yet published)
17-08-2008 10:07Ina SchieferdeckerStatusresolved => closed
17-08-2008 10:07Ina SchieferdeckerFixed in Version => Edition 4.1.1 (not yet published)

Notes
(0006476)
Ina Schieferdecker   
11-08-2008 08:50   
agreed in principle, but allow the diamond case for component type extension
(0006509)
Thomas Deiß   
13-08-2008 10:34   
resolution proposal for checking added.
(0006542)
Gyorgy Rethy   
15-08-2008 11:01   
Resolution proposal checked, OK from my side.