Logo etsi

ETSI's Bug Tracker
Main | My View | View Issues | Change Log | Roadmap | Monitor project
  
Notice: information submitted on the ETSI issue Tracker may be incorporated in ETSI publication(s) and therefore subject to the ETSI IPR policy.

View Issue Details [ Jump to Notes ] [ Issue History ] [ Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007503Part 01: TTCN-3 Core LanguageClarificationpublic29-09-2016 13:3212-12-2016 10:02
ReporterMartin Hauch 
Assigned ToGyorgy Rethy 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Versionv4.8.1 (published 2016-07) 
Target Versionv4.9.1 (published 2017-05)Fixed in Versionv4.9.1 (published 2017-05) 
Summary0007503: allowed elements in a permutation matching-mechanism
DescriptionChapter: B.1.3.3 Permutation
As I understand restriction c) and d) in this chapter, elements of a permutation should only be SpecificValue, AnyElement and AnyElementsOrNone.

But in the following examples (from EXAMPLE1:) ValueList is also used as permutation-element.

        template integer mw_myInt1 := (1,2,3);
    template integer mw_myInt2 := (1,2,?);

    template MySequenceOfType mw_myTemplate10 := { permutation (mw_myInt1, 2, 3 ), 5 };
    // matches any of the sequences of 4 integers:
    // 1,3,2,5; 2,1,3,5; 2,3,1,5; 3,1,2,5; or 3,2,1,5;
    // 2,3,2,5; 2,2,3,5; 2,3,2,5; 3,2,2,5; or 3,2,2,5;
    // 3,3,2,5; 2,3,3,5; 2,3,3,5; 3,3,2,5; or 3,2,3,5;

    template MySequenceOfType mw_myTemplate11 := { permutation (mw_myInt2, 2, 3 ), 5 };
    // matches any sequence of 4 integers that ends with 5 and contains 2 and 3 at least once in
    // other positions

Please check the restrictions for permutations and the examples above.
TagsNo tags attached.
Clause Reference(s)B.1.3.3
Source (company - Author)Devoteam - Martin Hauch
Attached Filesdocx file icon CR7503_proposal.docx [^] (155,022 bytes) 16-11-2016 09:28
docx file icon CR7503_proposal_v2.docx [^] (155,096 bytes) 16-11-2016 15:09
docx file icon CR7503_proposal_v3.docx [^] (175,094 bytes) 17-11-2016 11:25
docx file icon CR7503_proposal_v4.docx [^] (155,247 bytes) 17-11-2016 11:34

- Relationships

-  Notes
(0014250)
Kristóf Szabados (reporter)
15-11-2016 13:35

 restriction "d" sounds strange:
- restriction "c" already limits the template referred to in the all from clause and it's elements.
- Expressions, templates and AnyElement and AnyElementsOrNone are allowed as permutation elements.

I believe restriction "d" tried to make sure that the same all from related restrictions are present when the all from is written out directly inside the
permutation and when it would be present in a template that is used in the permutation (so that restriction "c" can not be circumvented by extracting an incorrect all from into template and reference it).

So I propose to change restriction "d" to:
"
For template used as individual members of a permutation and defined using all from, the template in their all from clause shall obey to restriction c) above.
"
(0014273)
Kristóf Szabados (reporter)
16-11-2016 15:09

 hopefully simplified wording
(0014284)
Kristóf Szabados (reporter)
16-11-2016 16:59

 please check if this restriction wording is good
(0014296)
Tomas Urban (developer)
17-11-2016 11:28

 According to STF discussion, I removed the restriction on content (all matching mechanisms/templates allowed) and the restriction d). The only restriction that remained is that permutation cannot be present in the template referenced in the all from clause. It is for consistency with all other rules using the all from clause.

Please review.
(0014297)
Kristóf Szabados (reporter)
17-11-2016 11:35

 removed the void restriction
(0014313)
Kristóf Szabados (reporter)
17-11-2016 14:42

 incorrect assignment at resolution
(0014371)
Gyorgy Rethy (reporter)
12-12-2016 10:02

 Added to draft V4.8.2

- Issue History
Date Modified Username Field Change
29-09-2016 13:32 Martin Hauch New Issue
14-11-2016 13:31 Jens Grabowski Assigned To => Kristóf Szabados
14-11-2016 13:31 Jens Grabowski Status new => assigned
15-11-2016 13:35 Kristóf Szabados Note Added: 0014250
16-11-2016 09:28 Kristóf Szabados Status assigned => confirmed
16-11-2016 09:28 Kristóf Szabados File Added: CR7503_proposal.docx
16-11-2016 15:09 Kristóf Szabados File Added: CR7503_proposal_v2.docx
16-11-2016 15:09 Kristóf Szabados Note Added: 0014273
16-11-2016 16:59 Kristóf Szabados Assigned To Kristóf Szabados => Tomas Urban
16-11-2016 16:59 Kristóf Szabados Status confirmed => assigned
16-11-2016 16:59 Kristóf Szabados Note Added: 0014284
17-11-2016 11:25 Tomas Urban File Added: CR7503_proposal_v3.docx
17-11-2016 11:28 Tomas Urban Note Added: 0014296
17-11-2016 11:28 Tomas Urban Assigned To Tomas Urban => Kristóf Szabados
17-11-2016 11:28 Tomas Urban Status assigned => confirmed
17-11-2016 11:34 Kristóf Szabados File Added: CR7503_proposal_v4.docx
17-11-2016 11:35 Kristóf Szabados Note Added: 0014297
17-11-2016 11:38 Kristóf Szabados Status confirmed => resolved
17-11-2016 11:38 Kristóf Szabados Fixed in Version => v4.10.1 (published 2018-05)
17-11-2016 11:38 Kristóf Szabados Resolution open => fixed
17-11-2016 11:38 Kristóf Szabados Assigned To Kristóf Szabados => Gyorgy Rethy
17-11-2016 14:42 Kristóf Szabados Note Added: 0014313
17-11-2016 14:42 Kristóf Szabados Status resolved => feedback
17-11-2016 14:42 Kristóf Szabados Resolution fixed => reopened
17-11-2016 14:42 Kristóf Szabados Status feedback => resolved
17-11-2016 14:42 Kristóf Szabados Fixed in Version v4.10.1 (published 2018-05) => v4.9.1 (published 2017-05)
17-11-2016 14:42 Kristóf Szabados Resolution reopened => fixed
12-12-2016 10:02 Gyorgy Rethy Status resolved => closed
12-12-2016 10:02 Gyorgy Rethy Target Version => v4.9.1 (published 2017-05)
12-12-2016 10:02 Gyorgy Rethy Note Added: 0014371

MantisBT 1.2.14 [^]
Copyright © 2000 - 2024 MantisBT Team
Powered by Mantis Bugtracker