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

ID | Project | Category | View Status | Date Submitted | Last Update
0007123 | Part 01: TTCN-3 Core Language | Editorial | public | 04-08-2015 12:10 | 11-12-2015 14:35

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 | 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) | 5.4.2
Source (company - Author) | STF 487

Summary | 0007123: Type parameterization in examples

Description

The example 4 in 5.4.2 includes a record type definition and its use as a demonstration of the restriction g. While technically correct, it is a relict from the time when the core language specification allowed type parametrization. This feature has been moved to an extension package long time ago, but the example was left unchanged.
In the current specification, the example doesn't make much sense as types are always without parameters. The restriction should be demonstrated using another object that can be parametrized, but doesn't contain parentheses if there are no parameters: a template.

Steps To Reproduce |
Additional Information |
Tags | technically agreed
Relationships |
Attached Files | CR7123_resolution_v1.docx (32,977) 23-09-2015 08:16 http://oldforge.etsi.org/mantis/file_download.php?file_id=3261&type=bug CR7123_resolution_v2.docx (33,729) 23-09-2015 13:21 http://oldforge.etsi.org/mantis/file_download.php?file_id=3271&type=bug

Issue History
Date Modified | Username | Field | Change
04-08-2015 12:10 | Tomas Urban | New Issue |
21-09-2015 10:27 | Gyorgy Rethy | Target Version | => v4.8.1 (published 2016-07)
21-09-2015 14:11 | Gyorgy Rethy | Note Added: 0013205 |
21-09-2015 14:17 | Gyorgy Rethy | Tag Attached: technically agreed |
22-09-2015 15:58 | Axel Rennoch | Assigned To | => Axel Rennoch
22-09-2015 15:58 | Axel Rennoch | Status | new => assigned
23-09-2015 08:16 | Axel Rennoch | File Added: CR7123_resolution_v1.docx |
23-09-2015 08:18 | Axel Rennoch | Note Added: 0013244 |
23-09-2015 08:18 | Axel Rennoch | Assigned To | Axel Rennoch => Jacob Wieland - Spirent
23-09-2015 08:18 | Axel Rennoch | Status | assigned => acknowledged
23-09-2015 12:07 | Jacob Wieland - Spirent | Note Added: 0013259 |
23-09-2015 12:08 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Axel Rennoch
23-09-2015 12:08 | Jacob Wieland - Spirent | Status | acknowledged => assigned
23-09-2015 13:21 | Axel Rennoch | File Added: CR7123_resolution_v2.docx |
23-09-2015 13:22 | Axel Rennoch | Note Added: 0013265 |
23-09-2015 13:22 | Axel Rennoch | Assigned To | Axel Rennoch => Jacob Wieland - Spirent
23-09-2015 13:22 | Axel Rennoch | Status | assigned => acknowledged
23-09-2015 15:05 | Jacob Wieland - Spirent | Note Added: 0013270 |
23-09-2015 15:05 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Axel Rennoch
23-09-2015 15:05 | Jacob Wieland - Spirent | Status | acknowledged => assigned
23-09-2015 15:12 | Axel Rennoch | Note Added: 0013274 |
23-09-2015 15:12 | Axel Rennoch | Status | assigned => resolved
23-09-2015 15:12 | Axel Rennoch | Resolution | open => fixed
23-09-2015 15:12 | Axel Rennoch | Assigned To | Axel Rennoch => Gyorgy Rethy
04-11-2015 14:02 | Gyorgy Rethy | Fixed in Version | => v4.8.1 (published 2016-07)
11-12-2015 14:35 | Gyorgy Rethy | Note Added: 0013591 |
11-12-2015 14:35 | Gyorgy Rethy | Status | resolved => closed

Notes

(0013205)
Gyorgy Rethy
21-09-2015 14:11

STF discussion: Add use of the non-parameterized template with an explaining comment.

(0013244)
Axel Rennoch
23-09-2015 08:18

Please check the modification.

(0013259)
Jacob Wieland - Spirent
23-09-2015 12:07

this example confuses more than it helps, there is no empty formal parameter list (there is no formal parameter list). I propose to simply delete that part of the example.

(0013265)
Axel Rennoch
23-09-2015 13:22

How about another example using a default?

(0013270)
Jacob Wieland - Spirent
23-09-2015 15:05

I don't know, you mean a default parameter? Sure, why not.

(0013274)
Axel Rennoch
23-09-2015 15:12

The old sample has been replaced with a new sample that covers default parameters in templates, too.

(0013591)
Gyorgy Rethy
11-12-2015 14:35

Added to draft V4.7.4