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

ID | Project | Category | View Status | Date Submitted | Last Update
0007271 | Part 01: TTCN-3 Core Language | Clarification | public | 27-12-2015 11:16 | 12-12-2016 13:32

Reporter | Jacob Wieland - Spirent |
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.2.2, B.1.2.6, B.1.2.7, B.1.3.3
Source (company - Author) | Testing Technologies - Jacob Wieland

Summary | 0007271: template(present) restriction shall also apply to individual elements of complement,superset,subset,permutation lists
Description | CR 7171 added restriction that template lists shall only contain template(present) items. The same should be true for the constructs complement, superset, subset and permutation (with the exception of AnyElementsOrNone for permutation)
Steps To Reproduce |
Additional Information |
Tags | No tags attached.

Relationships

related to | 0007487 | closed | Gyorgy Rethy | inconsistent examples and naming in Annex B

Attached Files

CR7271_7487_7488_resolution_v1.docx (152,882) 16-08-2016 11:36
http://oldforge.etsi.org/mantis/file_download.php?file_id=3458&type=bug
CR7271_7487_7488_resolution_v2.docx (160,895) 16-08-2016 15:10
http://oldforge.etsi.org/mantis/file_download.php?file_id=3463&type=bug
CR7271_7487_7488_resolution_v3.docx (117,315) 17-08-2016 10:27
http://oldforge.etsi.org/mantis/file_download.php?file_id=3469&type=bug

Issue History
Date Modified | Username | Field | Change
27-12-2015 11:16 | Jacob Wieland - Spirent | New Issue |
18-07-2016 11:18 | Jens Grabowski | Assigned To | => Axel Rennoch
18-07-2016 11:18 | Jens Grabowski | Status | new => assigned
16-08-2016 11:36 | Axel Rennoch | File Added: CR7271_7487_7488_resolution_v1.docx |
16-08-2016 11:37 | Axel Rennoch | Note Added: 0014101 |
16-08-2016 11:39 | Axel Rennoch | Note Added: 0014102 |
16-08-2016 11:39 | Axel Rennoch | Assigned To | Axel Rennoch => Jacob Wieland - Spirent
16-08-2016 11:39 | Axel Rennoch | Status | assigned => acknowledged
16-08-2016 14:24 | Jacob Wieland - Spirent | Note Added: 0014109 |
16-08-2016 14:24 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Axel Rennoch
16-08-2016 14:24 | Jacob Wieland - Spirent | Status | acknowledged => assigned
16-08-2016 15:10 | Axel Rennoch | File Added: CR7271_7487_7488_resolution_v2.docx |
16-08-2016 15:10 | Axel Rennoch | Note Added: 0014111 |
16-08-2016 15:12 | Axel Rennoch | Note Added: 0014112 |
16-08-2016 15:12 | Axel Rennoch | Assigned To | Axel Rennoch => Jacob Wieland - Spirent
16-08-2016 15:12 | Axel Rennoch | Status | assigned => acknowledged
16-08-2016 15:26 | Axel Rennoch | Relationship added | related to 0007487
17-08-2016 10:27 | Jacob Wieland - Spirent | File Added: CR7271_7487_7488_resolution_v3.docx |
17-08-2016 10:28 | Jacob Wieland - Spirent | Note Added: 0014125 |
17-08-2016 10:29 | Jacob Wieland - Spirent | Status | acknowledged => resolved
17-08-2016 10:29 | Jacob Wieland - Spirent | Resolution | open => fixed
17-08-2016 10:29 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Gyorgy Rethy
17-08-2016 10:30 | Jacob Wieland - Spirent | Assigned To | Gyorgy Rethy => Jacob Wieland - Spirent
17-08-2016 10:30 | Jacob Wieland - Spirent | Status | resolved => feedback
17-08-2016 10:30 | Jacob Wieland - Spirent | Resolution | fixed => reopened
17-08-2016 10:43 | Jacob Wieland - Spirent | Status | feedback => resolved
17-08-2016 10:43 | Jacob Wieland - Spirent | Resolution | reopened => fixed
17-08-2016 10:43 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Gyorgy Rethy
12-12-2016 13:32 | Gyorgy Rethy | Note Added: 0014383 |
12-12-2016 13:32 | Gyorgy Rethy | Status | resolved => closed
12-12-2016 13:32 | Gyorgy Rethy | Fixed in Version | => v4.9.1 (published 2017-05)

Notes

(0014101)
Axel Rennoch
16-08-2016 11:37

The resolution already uses the proposed changes from CRs 7487 and 7488.

(0014102)
Axel Rennoch
16-08-2016 11:39

Please check and modify/confirm the current resolution.

(0014109)
Jacob Wieland - Spirent
16-08-2016 14:24

1) new restrictions should be appended to the restrictions list to avoid existing references to restrictions to point to the wrong one (this should probably also be fixed for the TemplateList construct)
2) MyRecordof is used several times, but not defined anywhere near the examples (last definition I say was in section 6). For consistency, it should also be renamed to MyRecordofType or MyListType.
3) The IfPresent indicator template also needs the template present restriction
4) in permutation, the template present restriction applies to all templates except AnyElementsOrNone

(0014111)
Axel Rennoch
16-08-2016 15:10

comments from Jacob considered in resolution draft v2

(0014112)
Axel Rennoch
16-08-2016 15:12

please check/confirm resolution v2 and assign to György

(0014125)
Jacob Wieland - Spirent
17-08-2016 10:28

I have added a definition for MyRecordofType and also deleted the restriction for if present again, because, thinking about it some more, it doesn't really hurt to use the ifpresent indicator on a non-present template (here, the ifpresent simply does not have any additional effect).

(0014383)
Gyorgy Rethy
12-12-2016 13:32

Added too draft V4.8.2