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

ID | Project | Category | View Status | Date Submitted | Last Update
0007892 | Part 01: TTCN-3 Core Language | Technical | public | 23-01-2020 10:36 | 15-12-2020 17:01

Reporter | Tomas Urban |
Assigned To | Gyorgy Rethy |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | 4.12.1 (published 2020-05) |
Target Version | 4.13.1 (ongoing) | Fixed in Version | 4.13.1 (ongoing) |
Clause Reference(s) | 15.5
Source (company - Author) | Elvior

Summary | 0007892: Allow modification of matching symbols on static template level

Description

Modification of matching symbols is currently supported only in inline templates. Static templates can only modify already declared templates (the modify keyword has to be followed by a reference). I think this restriction is not justified and it should be possible to modify matching symbols in static template declarations too.
Example:
var template MyRec v_template := modifies ? := { field1 := 1; } // Allowed
template MyRec mw_template modifies ? := { field1 := 1; } // Currently not allowed

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR7892-1.docx (208,623) 12-08-2020 09:50 http://oldforge.etsi.org/mantis/file_download.php?file_id=3919&type=bug

Issue History
Date Modified | Username | Field | Change
23-01-2020 10:36 | Tomas Urban | New Issue |
24-01-2020 14:06 | Jacob Wieland - Spirent | Note Added: 0015607 |
10-08-2020 11:09 | Jens Grabowski | Assigned To | => Tomas Urban
10-08-2020 11:09 | Jens Grabowski | Status | new => assigned
12-08-2020 09:30 | Tomas Urban | Description Updated | bug_revision_view_page.php?rev_id=522#r522
12-08-2020 09:50 | Tomas Urban | File Added: CR7892-1.docx |
12-08-2020 09:54 | Tomas Urban | Note Added: 0015706 |
12-08-2020 09:54 | Tomas Urban | Assigned To | Tomas Urban => Jacob Wieland - Spirent
12-08-2020 09:54 | Tomas Urban | Status | assigned => confirmed
12-08-2020 14:41 | Jacob Wieland - Spirent | Status | confirmed => resolved
12-08-2020 14:41 | Jacob Wieland - Spirent | Resolution | open => fixed
12-08-2020 14:41 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Gyorgy Rethy
15-12-2020 17:01 | Gyorgy Rethy | Note Added: 0015860 |
15-12-2020 17:01 | Gyorgy Rethy | Status | resolved => closed
15-12-2020 17:01 | Gyorgy Rethy | Fixed in Version | => 4.13.1 (ongoing)
15-12-2020 17:01 | Gyorgy Rethy | Target Version | => 4.13.1 (ongoing)

Notes

(0015607)
Jacob Wieland - Spirent
24-01-2020 14:06

TO be fair, I think that template MyRec mw_template := modifies ? := { field1 := 1 } is allowed. I agree though, that the other syntax should also be allowed.

(0015706)
Tomas Urban
12-08-2020 09:54

Resolution uploaded. I only modified the syntactical section adding BaseTemplateBody into it as an alternative option to the existing reference. They partially overlap, but not completely as BaseTemplateBody doesn't represent a reference to a parametrized template without a parameter list. Please check.

(0015860)
Gyorgy Rethy
15-12-2020 17:01

Implemented in draft 4.12.2