ETSI's Bug Tracker - Part 01: TTCN-3 Core Language
View Issue Details
0006841Part 01: TTCN-3 Core LanguageClarificationpublic11-12-2014 10:4306-01-2015 18:33
Gyorgy Rethy 
Gyorgy Rethy 
normalminorhave not tried
closedfixed 
v4.6.2 (interim 2014) 
v4.7.1 (published 2015-06)v4.7.1 (published 2015-06) 
B.1.3.3 Permutation, Restrictions
L.M.Ericsson
0006841: Contradictory wording in all from restrictions
Restrictions b) and d) are worded as:
b) The template in the all from clause as a whole shall not resolve into a matching mechanism (i.e. its fields may contain any of the matching mechanisms or matching attributes that are allowed by the following restriction).
c) Individual members of a permutation and elements of the template in the all from clause shall only be expressions, templates, and the AnyElement and AnyElementsOrNone matching mechanisms.

While the overall intention can be guessed, striktly speaking, specific values used in templates are also matching mechanisms (item b). Item c) allows "templates" within all from, but all matching mechanisms are templates, thus this is contradicting to b); I think item c) meant template references, obeying restriction b).
No tags attached.
docx CR6841_resolution_v1.docx (77,405) 11-12-2014 11:06
http://oldforge.etsi.org/mantis/file_download.php?file_id=3194&type=bug
Issue History
11-12-2014 10:43Gyorgy RethyNew Issue
11-12-2014 11:06Gyorgy RethyFile Added: CR6841_resolution_v1.docx
11-12-2014 11:07Gyorgy RethyNote Added: 0012539
11-12-2014 11:07Gyorgy RethyAssigned To => Tomas Urban
11-12-2014 11:07Gyorgy RethyStatusnew => confirmed
11-12-2014 11:07Gyorgy RethyProduct Version => v4.6.2 (interim 2014)
11-12-2014 11:07Gyorgy RethyTarget Version => v4.7.1 (published 2015-06)
15-12-2014 09:28Tomas UrbanNote Added: 0012550
15-12-2014 09:28Tomas UrbanStatusconfirmed => resolved
15-12-2014 09:28Tomas UrbanResolutionopen => fixed
15-12-2014 09:28Tomas UrbanAssigned ToTomas Urban => Gyorgy Rethy
06-01-2015 18:33Gyorgy RethyNote Added: 0012651
06-01-2015 18:33Gyorgy RethyStatusresolved => closed
06-01-2015 18:33Gyorgy RethyFixed in Version => v4.7.1 (published 2015-06)

Notes
(0012539)
Gyorgy Rethy   
11-12-2014 11:07   
Please review.
(0012550)
Tomas Urban   
15-12-2014 09:28   
The proposed resolution solves the CR and can be added to the next version of the TTCN-3 core language specification.
(0012651)
Gyorgy Rethy   
06-01-2015 18:33   
Added to draft V4.6.3