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

ID | Project | Category | View Status | Date Submitted | Last Update
0006864 | Part 01: TTCN-3 Core Language | Clarification | public | 14-01-2015 08:38 | 14-12-2015 11:24

Reporter | Tomas Urban |
Assigned To | Gyorgy Rethy |
Priority | normal | Severity | minor | Reproducibility | N/A
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) | 6.1.1.1
Source (company - Author) | Elvior

Summary | 0006864: Index notation applied to omitted or uninitialized strings

Description

The current specification doesn't contain a formal rule describing what should happen if the index notation is applied to an unitialized or omitted string field. On the RHS, it seems quite obvious - an error shall be generated. On the LHS, there are two options: either produce an error as well or allow index 0 to create a string with length 1 (that would be consistent with expansion of an empty string). I would prefer the first option.
Proposal: add the following restriction to the section 6.1.1.1:
Referencing an identified element of an uninitialized or omitted string field or value on the right or left hand side of an assignment shall cause an error.

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR-6864-150804-V1.docx (59,097) 04-08-2015 14:48 http://oldforge.etsi.org/mantis/file_download.php?file_id=3230&type=bug CR6864_resolution_v2.docx (78,642) 03-11-2015 14:29 http://oldforge.etsi.org/mantis/file_download.php?file_id=3355&type=bug

Issue History
Date Modified | Username | Field | Change
14-01-2015 08:38 | Tomas Urban | New Issue |
14-01-2015 14:10 | Jacob Wieland - Spirent | Note Added: 0012673 |
14-05-2015 10:09 | Gyorgy Rethy | Target Version | => v4.8.1 (published 2016-07)
03-08-2015 14:45 | Gyorgy Rethy | Note Added: 0013038 |
03-08-2015 14:45 | Gyorgy Rethy | Assigned To | => Jens Grabowski
03-08-2015 14:45 | Gyorgy Rethy | Status | new => assigned
04-08-2015 14:48 | Jens Grabowski | File Added: CR-6864-150804-V1.docx |
04-08-2015 14:49 | Jens Grabowski | Note Added: 0013068 |
04-08-2015 14:50 | Jens Grabowski | Assigned To | Jens Grabowski => Gyorgy Rethy
04-08-2015 14:50 | Jens Grabowski | Status | assigned => confirmed
03-11-2015 14:06 | Gyorgy Rethy | Note Edited: 0013038 | bug_revision_view_page.php?bugnote_id=13038#r202
03-11-2015 14:29 | Gyorgy Rethy | File Added: CR6864_resolution_v2.docx |
03-11-2015 14:36 | Gyorgy Rethy | Note Added: 0013472 |
03-11-2015 14:36 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Jacob Wieland - Spirent
03-11-2015 14:36 | Gyorgy Rethy | Status | confirmed => assigned
03-11-2015 14:41 | Jacob Wieland - Spirent | Note Added: 0013474 |
03-11-2015 14:41 | Jacob Wieland - Spirent | Status | assigned => resolved
03-11-2015 14:41 | Jacob Wieland - Spirent | Fixed in Version | => v4.8.1 (published 2016-07)
03-11-2015 14:41 | Jacob Wieland - Spirent | Resolution | open => fixed
03-11-2015 14:41 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Gyorgy Rethy
14-12-2015 11:24 | Gyorgy Rethy | Note Added: 0013610 |
14-12-2015 11:24 | Gyorgy Rethy | Status | resolved => closed

Notes

(0012673)
Jacob Wieland - Spirent
14-01-2015 14:10

I have no problem with the proposed solution.

(0013038)
Gyorgy Rethy
03-08-2015 14:45 (edited on: 03-11-2015 14:06)

STF discussion 03-08-2015: allow creation of the value with length 1 when index is 0; this allows initialized and fill-up a string in loops.

(0013068)
Jens Grabowski
04-08-2015 14:49

Proposal for resoulution uploaded. Assigned for proofreading to György.

(0013472)
Gyorgy Rethy
03-11-2015 14:36

CR6864_resolution_v2.docx: Basicaly OK with me; just extended the first rule for the LHS (only single-length elements can be on the LHS), because it did sound to me like a rule for the RHS only (in spite of the bitstring example); added some charstring examples for the extension. Please review, if agree, it can be put to resolved directly.

(0013474)
Jacob Wieland - Spirent
03-11-2015 14:41

ok

(0013610)
Gyorgy Rethy
14-12-2015 11:24

Added to draft V4.7.4