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

ID | Project | Category | View Status | Date Submitted | Last Update
0007171 | Part 01: TTCN-3 Core Language | Clarification | public | 09-09-2015 16:49 | 04-12-2015 16:33

Reporter | Gyorgy Rethy |
Assigned To | Gyorgy Rethy |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v4.7.1 (published 2015-06) |
Target Version | v4.8.1 (published 2016-07) | Fixed in Version | v4.8.1 (published 2016-07) |
Clause Reference(s) | B.1.2.1
Source (company - Author) | L.M.Ericsson

Summary | 0007171: Make a template list restriction explicit

Description

Template list matching, though allows templates, matches only fields of the (received) value that are present. This is descried in the text:
"Template lists specify lists of acceptable values. ...
A template field that uses a template list matches the corresponding field if, and only if, the field value matches any one of the values or templates in the template list. ..."
Omit is not a value, thus cannot match a "field value". Consequently the templates in the list shall not resolve to "omit" as a whole. This restriction should be made explicit in the standard in the Restrictions clause to make it clear to the users of the language. Also a note mentioning using ifpresent to match missing fields would be useful, like:
NOTE: Omitted fields can be matched by adding ifpresent to the template list matching mechanism.

Steps To Reproduce |
Additional Information |
Tags | technically agreed
Relationships |
Attached Files | CR7171_resolution_v1.docx (78,474) 23-09-2015 10:06 http://oldforge.etsi.org/mantis/file_download.php?file_id=3265&type=bug CR7171_resolution_v2.docx (60,613) 23-09-2015 13:24 http://oldforge.etsi.org/mantis/file_download.php?file_id=3272&type=bug

Issue History
Date Modified | Username | Field | Change
09-09-2015 16:49 | Gyorgy Rethy | New Issue |
21-09-2015 10:26 | Gyorgy Rethy | Target Version | => v4.8.1 (published 2016-07)
22-09-2015 09:44 | Gyorgy Rethy | Tag Attached: technically agreed |
22-09-2015 09:45 | Gyorgy Rethy | Note Added: 0013234 |
22-09-2015 09:45 | Gyorgy Rethy | Assigned To | => Gyorgy Rethy
22-09-2015 09:45 | Gyorgy Rethy | Status | new => assigned
23-09-2015 10:06 | Gyorgy Rethy | File Added: CR7171_resolution_v1.docx |
23-09-2015 10:08 | Gyorgy Rethy | Note Added: 0013251 |
23-09-2015 10:08 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Jens Grabowski
23-09-2015 10:08 | Gyorgy Rethy | Status | assigned => confirmed
23-09-2015 10:08 | Gyorgy Rethy | Product Version | => v4.7.1 (published 2015-06)
23-09-2015 13:24 | Jens Grabowski | File Added: CR7171_resolution_v2.docx |
23-09-2015 13:27 | Jens Grabowski | Note Added: 0013266 |
23-09-2015 13:27 | Jens Grabowski | Assigned To | Jens Grabowski => Gyorgy Rethy
23-09-2015 13:27 | Jens Grabowski | Status | confirmed => resolved
04-11-2015 14:03 | Gyorgy Rethy | Fixed in Version | => v4.8.1 (published 2016-07)
04-12-2015 16:33 | Gyorgy Rethy | Note Added: 0013562 |
04-12-2015 16:33 | Gyorgy Rethy | Status | resolved => closed
04-12-2015 16:33 | Gyorgy Rethy | Resolution | open => fixed

Notes

(0013234)
Gyorgy Rethy
22-09-2015 09:45

STF discussion: templates in the list shall obey the template(present) restriction. Put this into the text and also into a restriction.

(0013251)
Gyorgy Rethy
23-09-2015 10:08

Resolution proposal is in CR7171_resolution_v1. Please review.

(0013266)
Jens Grabowski
23-09-2015 13:27

Wording slightly changed in v2. Otherwise ok.

(0013562)
Gyorgy Rethy
04-12-2015 16:33

Added to draft V4.7.4