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

ID | Project | Category | View Status | Date Submitted | Last Update
0008066 | Part 01: TTCN-3 Core Language | Technical | public | 05-11-2021 09:18 | 29-11-2021 11:31

Reporter | Tomas Urban |
Assigned To | Jens Grabowski |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version |  | Fixed in Version |  |
Clause Reference(s) | 15.8
Source (company - Author) | TTF 014

Summary | 0008066: Invalid example on modified templates

Description

Example 8 located in the section 15.5 contains the following TTCN-3 statements:
template(value) MyRecordType m_myValueRecTemplate1 := {...}
template MyRecordType m_myUnrestrictedRecTemplate3 modifies m_myValueRecTemplate1 := {...}
// ERROR the modified template has different restriction from the base template
However, there should be no error in this case as according to the table 13B (located in the section 15.8) this kind of modification is allowed.
Proposal:
The example is fine and should be kept, but the comment should be removed or replaced with: // Allowed modification as the modified template is less restrictive than the base template

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR8066-211108.docx (78,741) 08-11-2021 16:17 http://oldforge.etsi.org/mantis/file_download.php?file_id=4029&type=bug

Issue History
Date Modified | Username | Field | Change
05-11-2021 09:18 | Tomas Urban | New Issue |
08-11-2021 09:27 | Jens Grabowski | Assigned To | => Jens Grabowski
08-11-2021 09:27 | Jens Grabowski | Status | new => assigned
08-11-2021 15:17 | Jens Grabowski | Project | TTCN-3 Change Requests => Part 01: TTCN-3 Core Language
08-11-2021 16:16 | Jens Grabowski | Note Added: 0016011 |
08-11-2021 16:17 | Jens Grabowski | File Added: CR8066-211108.docx |
08-11-2021 16:18 | Jens Grabowski | Note Added: 0016012 |
08-11-2021 16:18 | Jens Grabowski | Status | assigned => resolved
08-11-2021 16:18 | Jens Grabowski | Resolution | open => fixed
29-11-2021 11:31 | Jens Grabowski | Note Added: 0016126 |
29-11-2021 11:31 | Jens Grabowski | Status | resolved => closed

Notes

(0016011)
Jens Grabowski
08-11-2021 16:16

Comment replaced as suggested by the reporter.

(0016012)
Jens Grabowski
08-11-2021 16:18

Typo

(0016126)
Jens Grabowski
29-11-2021 11:31

Implemented