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

ID | Project | Category | View Status | Date Submitted | Last Update
0007603 | Part 01: TTCN-3 Core Language | Technical | public | 03-02-2017 11:39 | 05-09-2019 10:34

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.9.1 (published 2017-05) |
Target Version | v4.10.1 (published 2018-05) | Fixed in Version | v4.10.1 (published 2018-05) |
Clause Reference(s) | 15.8
Source (company - Author) | L.M.Ericsson

Summary | 0007603: Delete note on template restriction passing table

Description

Table 13 (clause 15.8) specifies the compatibility of different template restrictions of formal and actual parameters (and left-right hand sides).
When introducing the feature, no hard restriction has been defined for the incompatible combination, but a note has been added (that the content has to be compatible). The reason was backward compatibility with (that time) existing TTCN-3 code.
However, by now all code using template restrictions should have been updated.
It is proposed to delete the note to the table and replace "(see note)" with "No" in the table's body.
If wished, the change can be mentioned in the deprecated features annex, but I cannot see it necessary.

Steps To Reproduce |
Additional Information |
Tags | No tags attached.

Relationships

related to | 0007599 | closed | Gyorgy Rethy | Rules for actual parameterers with template restriction
related to | 0007874 | closed | Gyorgy Rethy | Reintroduce restriction on restricted modified templates

Attached Files | CR7603-v1.docx (263,873) 27-07-2017 11:16 http://oldforge.etsi.org/mantis/file_download.php?file_id=3664&type=bug CR7603-v2.docx (226,882) 04-09-2017 10:55 http://oldforge.etsi.org/mantis/file_download.php?file_id=3674&type=bug

Issue History
Date Modified | Username | Field | Change
03-02-2017 11:39 | Gyorgy Rethy | New Issue |
06-03-2017 12:21 | Tomas Urban | Relationship added | related to 0007599
06-06-2017 14:11 | Jens Grabowski | Note Added: 0014629 |
06-06-2017 14:12 | Jens Grabowski | Assigned To | => Tomas Urban
06-06-2017 14:12 | Jens Grabowski | Status | new => assigned
26-07-2017 10:14 | Jens Grabowski | Note Added: 0014778 |
26-07-2017 10:15 | Jens Grabowski | Note Added: 0014779 |
27-07-2017 11:16 | Tomas Urban | File Added: CR7603-v1.docx |
27-07-2017 11:30 | Tomas Urban | Note Added: 0014784 |
27-07-2017 11:30 | Tomas Urban | Assigned To | Tomas Urban => KristÃ³f Szabados
27-07-2017 11:30 | Tomas Urban | Status | assigned => confirmed
04-09-2017 10:55 | KristÃ³f Szabados | File Added: CR7603-v2.docx |
04-09-2017 10:56 | KristÃ³f Szabados | Note Added: 0014805 |
04-09-2017 10:59 | KristÃ³f Szabados | Note Added: 0014806 |
04-09-2017 10:59 | KristÃ³f Szabados | Status | confirmed => resolved
04-09-2017 10:59 | KristÃ³f Szabados | Resolution | open => fixed
04-09-2017 10:59 | KristÃ³f Szabados | Assigned To | KristÃ³f Szabados => Gyorgy Rethy
30-12-2017 18:31 | Gyorgy Rethy | Note Added: 0014962 |
30-12-2017 18:31 | Gyorgy Rethy | Status | resolved => closed
30-12-2017 18:31 | Gyorgy Rethy | Fixed in Version | => v4.10.1 (published 2018-05)
05-09-2019 10:34 | Tomas Urban | Relationship added | related to 0007874

Notes

(0014629)
Jens Grabowski
06-06-2017 14:11

STF discussion: to be discussed with 7599, Tomas to prepare discussion

(0014778)
Jens Grabowski
26-07-2017 10:14

STF discussion: Follow CR, deprecate feature (to support test suites that have not been updated until now)

(0014779)
Jens Grabowski
26-07-2017 10:15

CR resolved together with CR 7599.

(0014784)
Tomas Urban
27-07-2017 11:30

Please check the resolution.
However, maybe we should consider additional conversion functions. In case of conversions to template(value), the user can call the valueof operation. Conversion to template(omit) is also possible:
var template(omit) v_omit;
if (isvalue(v_sourceTemplate)) {
v_omit := valueof(v_sourceTemplate);
} else if (istemplatekind(v_sourceTemplate, "omit") {
v_omit := omit;
}
However, conversion to the present template is not possible. The user can detect that an unrestricted template fulfils the present restriction by calling ispresent(v_sourceTemplate), but there's no way how assign the content of the template to a template with a present restriction.

(0014805)
KristÃ³f Szabados
04-09-2017 10:56

only a trivial change: the new item in the deprecated language feature list should be G.13 as a G12 already exists.

(0014806)
KristÃ³f Szabados
04-09-2017 10:59

Looks good to me. Can be included in the next version.

(0014962)
Gyorgy Rethy
30-12-2017 18:31

Added to draft V4.9.2