ETSI's Bug Tracker - Part 01: TTCN-3 Core Language
View Issue Details

ID | Project | Category | View Status | Date Submitted | Last Update
0007120 | Part 01: TTCN-3 Core Language | Technical | public | 03-08-2015 10:23 | 11-12-2015 15:10

Reporter | Tomas Urban |
Assigned To | Gyorgy Rethy |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v4.7.1 (published 2015-06) |
Target Version | v4.8.1 (published 2016-07) | Fixed in Version | v4.8.1 (published 2016-07) |
Clause Reference(s) | 5.4.2
Source (company - Author) | STF 487

Summary | 0007120: Missing restriction on number of parameters in list notation

Description

The 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 |
Tags | No tags attached.
Relationships |
Attached Files | 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 Modified | Username | Field | Change
03-08-2015 10:23 | Tomas Urban | New Issue |
03-08-2015 10:28 | Gyorgy Rethy | Assigned To | => Jacob Wieland - Spirent
03-08-2015 10:28 | Gyorgy Rethy | Status | new => assigned
03-08-2015 10:30 | Gyorgy Rethy | Note Added: 0013017 |
03-08-2015 10:31 | Gyorgy Rethy | Assigned To | Jacob Wieland - Spirent => Axel Rennoch
06-08-2015 09:39 | Axel Rennoch | File Added: CR7120_resolution_v1.docx |
06-08-2015 09:41 | Axel Rennoch | Note Added: 0013103 |
06-08-2015 09:43 | Axel Rennoch | Note Added: 0013104 |
06-08-2015 09:43 | Axel Rennoch | Assigned To | Axel Rennoch => Jacob Wieland - Spirent
06-08-2015 09:43 | Axel Rennoch | Status | assigned => acknowledged
06-08-2015 11:10 | Jacob Wieland - Spirent | Note Added: 0013109 |
06-08-2015 11:10 | Jacob Wieland - Spirent | Status | acknowledged => resolved
06-08-2015 11:10 | Jacob Wieland - Spirent | Resolution | open => fixed
06-08-2015 11:10 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Gyorgy Rethy
04-11-2015 14:00 | Gyorgy Rethy | Target Version | => v4.8.1 (published 2016-07)
04-11-2015 14:02 | Gyorgy Rethy | Fixed in Version | => v4.8.1 (published 2016-07)
11-12-2015 15:10 | Gyorgy Rethy | Note Added: 0013599 |
11-12-2015 15:10 | Gyorgy Rethy | Status | resolved => 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