ETSI's Bug Tracker - Part 01: TTCN-3 Core Language
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0007120Part 01: TTCN-3 Core LanguageTechnicalpublic03-08-2015 10:2311-12-2015 15:10
ReporterTomas Urban 
Assigned ToGyorgy Rethy 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Versionv4.7.1 (published 2015-06) 
Target Versionv4.8.1 (published 2016-07)Fixed in Versionv4.8.1 (published 2016-07) 
Clause Reference(s)5.4.2
Source (company - Author)STF 487
Summary0007120: Missing restriction on number of parameters in list notation
DescriptionThe restriction a in 5.4.2 on list notation doesn't explicitly say that the number of actual parameters may not exceed the number of formal parameters. Although it seems obvious, this rule is currently not formally specified and cannot be tested in conformance tests. There's also a possibility to interpret the rules in such a way that excessive parameters are simply ignored.

Proposal:
Add the following sentence to the restriction a: The number of actual parameters in the list notation may not exceed the number of parameters in the formal parameter list.
Steps To Reproduce
Additional Information
TagsNo tags attached.
Relationships
Attached Filesdocx CR7120_resolution_v1.docx (26,733) 06-08-2015 09:39
http://oldforge.etsi.org/mantis/file_download.php?file_id=3240&type=bug
Issue History
Date ModifiedUsernameFieldChange
03-08-2015 10:23Tomas UrbanNew Issue
03-08-2015 10:28Gyorgy RethyAssigned To => Jacob Wieland - Spirent
03-08-2015 10:28Gyorgy RethyStatusnew => assigned
03-08-2015 10:30Gyorgy RethyNote Added: 0013017
03-08-2015 10:31Gyorgy RethyAssigned ToJacob Wieland - Spirent => Axel Rennoch
06-08-2015 09:39Axel RennochFile Added: CR7120_resolution_v1.docx
06-08-2015 09:41Axel RennochNote Added: 0013103
06-08-2015 09:43Axel RennochNote Added: 0013104
06-08-2015 09:43Axel RennochAssigned ToAxel Rennoch => Jacob Wieland - Spirent
06-08-2015 09:43Axel RennochStatusassigned => acknowledged
06-08-2015 11:10Jacob Wieland - SpirentNote Added: 0013109
06-08-2015 11:10Jacob Wieland - SpirentStatusacknowledged => resolved
06-08-2015 11:10Jacob Wieland - SpirentResolutionopen => fixed
06-08-2015 11:10Jacob Wieland - SpirentAssigned ToJacob Wieland - Spirent => Gyorgy Rethy
04-11-2015 14:00Gyorgy RethyTarget Version => v4.8.1 (published 2016-07)
04-11-2015 14:02Gyorgy RethyFixed in Version => v4.8.1 (published 2016-07)
11-12-2015 15:10Gyorgy RethyNote Added: 0013599
11-12-2015 15:10Gyorgy RethyStatusresolved => closed

Notes
(0013017)
Gyorgy Rethy   
03-08-2015 10:30   
STF discussion 03-08-2015: Check in the text and add rule if needed.
(0013103)
Axel Rennoch   
06-08-2015 09:41   
Currently "ignoring" parameters is specified in the context of signature templates only. But additional actual parameters indicate a conflict with the parameter list and should not be allowed. Thus the proposed rule has been added to the restriction "a" as proposed before.
(0013104)
Axel Rennoch   
06-08-2015 09:43   
Please have a look to the draft proposed resolution and justification in the note.
(0013109)
Jacob Wieland - Spirent   
06-08-2015 11:10   
looks good to me
(0013599)
Gyorgy Rethy   
11-12-2015 15:10   
Added to draft V4.7.4