ETSI's Bug Tracker - Part 01: TTCN-3 Core Language
View Issue Details
0007472Part 01: TTCN-3 Core LanguageNew Featurepublic08-08-2016 15:3716-12-2016 19:25
Jacob Wieland - Spirent 
Gyorgy Rethy 
normalminorhave not tried
closedfixed 
v4.8.1 (published 2016-07) 
v4.9.1 (published 2017-05)v4.9.1 (published 2017-05) 
5.4.2
Spirent - Jacob Wieland
0007472: mixed parameter-style lists should be allowed
Normally, a paramterized entity has some mandatory parameters and possibly some optional ones. The mandatory are usually declared first in the formal parameter list and the optional ones later.

Other languages like, for instance, Python allow the user to give the actual parameter list in a mixed style, where you would put first the parameters with a fixed place (i.e. the mandatory ones) and then can add additional ones in the named-parameter-style (i.e. assignment notation).

This way, the user does not have to remember and over-and-over again write down the mandatory parameter names, but only has to write down what is absolutely necessary while still being concise.
take the following function header

function f(T1 mp1, ..., Tn mpn, O1 op1 := d1, ..., Om opm := dm);

The instances of this function should be allowed to look like this:

f(a1,...,an,opi := oai, opj := oaj)
No tags attached.
related to 0007492closed Gyorgy Rethy duplication and ambiguity concerning actual par lists in BNF 
docx CR7472.docx (236,213) 16-08-2016 13:16
http://oldforge.etsi.org/mantis/file_download.php?file_id=3461&type=bug
Issue History
08-08-2016 15:37Jacob Wieland - SpirentNew Issue
15-08-2016 10:49Jens GrabowskiNote Added: 0014067
15-08-2016 10:50Jens GrabowskiAssigned To => Jacob Wieland - Spirent
15-08-2016 10:50Jens GrabowskiStatusnew => assigned
16-08-2016 12:07Jacob Wieland - SpirentRelationship addedrelated to 0007492
16-08-2016 13:16Jacob Wieland - SpirentFile Added: CR7472.docx
16-08-2016 13:16Jacob Wieland - SpirentNote Added: 0014107
16-08-2016 13:16Jacob Wieland - SpirentAssigned ToJacob Wieland - Spirent => Tomas Urban
16-08-2016 13:16Jacob Wieland - SpirentStatusassigned => confirmed
17-08-2016 10:27Tomas UrbanNote Added: 0014124
17-08-2016 10:27Tomas UrbanStatusconfirmed => resolved
17-08-2016 10:27Tomas UrbanResolutionopen => fixed
17-08-2016 10:27Tomas UrbanAssigned ToTomas Urban => Gyorgy Rethy
17-08-2016 10:38Jacob Wieland - SpirentAssigned ToGyorgy Rethy => Jacob Wieland - Spirent
17-08-2016 10:38Jacob Wieland - SpirentStatusresolved => feedback
17-08-2016 10:38Jacob Wieland - SpirentResolutionfixed => reopened
17-08-2016 10:42Jacob Wieland - SpirentNote Added: 0014126
17-08-2016 10:42Jacob Wieland - SpirentStatusfeedback => assigned
17-08-2016 10:42Jacob Wieland - SpirentStatusassigned => resolved
17-08-2016 10:42Jacob Wieland - SpirentResolutionreopened => fixed
17-08-2016 10:42Jacob Wieland - SpirentAssigned ToJacob Wieland - Spirent => Gyorgy Rethy
17-08-2016 11:20Jacob Wieland - SpirentProjectTTCN-3 Change Requests => Part 01: TTCN-3 Core Language
17-08-2016 11:20Jacob Wieland - SpirentStatusresolved => feedback
17-08-2016 11:20Jacob Wieland - SpirentResolutionfixed => reopened
17-08-2016 11:20Jacob Wieland - SpirentProduct Version => v4.8.1 (published 2016-07)
17-08-2016 11:20Jacob Wieland - SpirentTarget Version => v4.9.1 (published 2017-05)
17-08-2016 11:21Jacob Wieland - SpirentStatusfeedback => resolved
17-08-2016 11:21Jacob Wieland - SpirentFixed in Version => v4.9.1 (published 2017-05)
17-08-2016 11:21Jacob Wieland - SpirentResolutionreopened => fixed
13-12-2016 08:38Gyorgy RethyNote Added: 0014401
13-12-2016 08:40Gyorgy RethyStatusresolved => feedback
13-12-2016 08:40Gyorgy RethyResolutionfixed => reopened
14-12-2016 13:11Jacob Wieland - SpirentNote Added: 0014435
14-12-2016 13:11Jacob Wieland - SpirentStatusfeedback => assigned
16-12-2016 19:25Gyorgy RethyNote Added: 0014449
16-12-2016 19:25Gyorgy RethyStatusassigned => closed
16-12-2016 19:25Gyorgy RethyResolutionreopened => fixed

Notes
(0014067)
Jens Grabowski   
15-08-2016 10:49   
STF discussion: resonable extension, Jacob prepares proposal.
(0014107)
Jacob Wieland - Spirent   
16-08-2016 13:16   
please review
(0014124)
Tomas Urban   
17-08-2016 10:27   
Proposal is ready to be included into the next version of the core language specification.
(0014126)
Jacob Wieland - Spirent   
17-08-2016 10:42   
please add a version number to this CR, if it is possible
(0014401)
Gyorgy Rethy   
13-12-2016 08:38   
Added to draft V4.8.2 with the addition to the new restriction m): "no value list notation shall be used following the first assignment notation"

The whole restriction is now:
"m) If the mixed notation is used, no value list notation shall be used following the first assignment notation and the parameters given in assignment notation shall not assign parameters that already have an actual parameter given in list notation."

This is in line with the intention of the CR and the first paragraph of clause 5.4.2, but defines a formal rule for this requirement (otherwise we should define the semantics of a pure parameter value between two parameters with assignment notation).

Please notify me if you disagree.
(0014435)
Jacob Wieland - Spirent   
14-12-2016 13:11   
Perfect!
(0014449)
Gyorgy Rethy   
16-12-2016 19:25   
Added to draft V4.8.2