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

ID | Project | Category | View Status | Date Submitted | Last Update
0007489 | Part 01: TTCN-3 Core Language | Clarification | public | 12-08-2016 08:57 | 12-12-2016 10:50

Reporter | KristÃ³f Szabados |
Assigned To | Gyorgy Rethy |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v4.8.1 (published 2016-07) |
Target Version | v4.9.1 (published 2017-05) | Fixed in Version | v4.9.1 (published 2017-05) |
Clause Reference(s) | B.1.3.3
Source (company - Author) | L. M. Ericsson

Summary | 0007489: what does a permutation with repeating elements match on?

Description

1)
In Annex B.1.3.3 there is no direct example to show what a permutation with repeating elements matches on.
For example: permutation(1,1,2)
2)
The example
"
template integer mw_myInt1 := (1,2,3);
...
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;
"
is incorrect: if the permutation is applied to 5 values it should match to a sequence of 5 integers.

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR7489.docx (154,830) 16-08-2016 10:24 http://oldforge.etsi.org/mantis/file_download.php?file_id=3457&type=bug

Issue History
Date Modified | Username | Field | Change
12-08-2016 08:57 | KristÃ³f Szabados | New Issue |
12-08-2016 11:51 | Jacob Wieland - Spirent | Note Added: 0014051 |
12-08-2016 12:42 | KristÃ³f Szabados | Note Added: 0014053 |
15-08-2016 09:52 | Jens Grabowski | Assigned To | => Jacob Wieland - Spirent
15-08-2016 09:52 | Jens Grabowski | Status | new => assigned
16-08-2016 10:24 | Jacob Wieland - Spirent | File Added: CR7489.docx |
16-08-2016 10:25 | Jacob Wieland - Spirent | Note Added: 0014100 |
16-08-2016 10:25 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => KristÃ³f Szabados
16-08-2016 10:25 | Jacob Wieland - Spirent | Status | assigned => confirmed
16-08-2016 11:45 | KristÃ³f Szabados | Note Added: 0014104 |
16-08-2016 11:45 | KristÃ³f Szabados | Status | confirmed => resolved
16-08-2016 11:45 | KristÃ³f Szabados | Fixed in Version | => v4.8.1 (published 2016-07)
16-08-2016 11:45 | KristÃ³f Szabados | Resolution | open => fixed
16-08-2016 11:45 | KristÃ³f Szabados | Assigned To | KristÃ³f Szabados => Gyorgy Rethy
17-08-2016 10:55 | Jacob Wieland - Spirent | Status | resolved => feedback
17-08-2016 10:55 | Jacob Wieland - Spirent | Resolution | fixed => reopened
17-08-2016 10:55 | Jacob Wieland - Spirent | Fixed in Version | v4.8.1 (published 2016-07) => v4.9.1 (published 2017-05)
17-08-2016 10:55 | Jacob Wieland - Spirent | Target Version | => v4.9.1 (published 2017-05)
17-08-2016 10:55 | Jacob Wieland - Spirent | Status | feedback => resolved
17-08-2016 10:55 | Jacob Wieland - Spirent | Resolution | reopened => fixed
12-12-2016 10:50 | Gyorgy Rethy | Note Added: 0014377 |
12-12-2016 10:50 | Gyorgy Rethy | Status | resolved => closed

Notes

(0014051)
Jacob Wieland - Spirent
12-08-2016 11:51

A permutation match is like a bag-subset-test. Each matching-mechanism (apart from *) inside the permutation-list must match one corresponding value-element and there must be a possible bijective mapping from matching-mechanisms to values, (i.e. if a matching mechanism matches on multiple values in the list of values to be matched by the permutation, one of those values needs to be chosen).
In the example, a ValueList match (1,2,3) is used as a matching mechanism inside of the permutation. That is why the permutation alone matches only 3 values, followed by a 5, so the example is correct, in my opinion.

(0014053)
KristÃ³f Szabados
12-08-2016 12:42

You are right, I misread the second example. The first case should still be shown in an example.

(0014100)
Jacob Wieland - Spirent
16-08-2016 10:25

please review

(0014104)
KristÃ³f Szabados
16-08-2016 11:45

Looks good to me.

(0014377)
Gyorgy Rethy
12-12-2016 10:50

Added to draft V4.8.2