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

ID | Project | Category | View Status | Date Submitted | Last Update
0006714 | Part 01: TTCN-3 Core Language | Technical | public | 08-04-2014 14:49 | 23-09-2014 15:25

Reporter | Tomas Urban |
Assigned To | Gyorgy Rethy |
Priority | urgent | Severity | minor | Reproducibility | N/A
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v4.5.1 (published 2013-04) |
Target Version | v4.6.2 (interim 2014) | Fixed in Version | v4.6.2 (interim 2014) |
Clause Reference(s) | 6.2
Source (company - Author) | STF 478

Summary | 0006714: Expansion of LHS in case of uninitialized constructive variables

Description

It might be obvious what happens if the LHS of an assignment contains a reference to a record field and the record itself is uninitialized or omitted, i.e. that the record value is created, the RHS is assigned to the referenced field and all remaining fields become uninitialized (unless "implicit omit" is involved). However, this kind of rule is missing from the core language specification and should be added for values of the following constructive types: record, set, record of, set of, array, union.

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

Relationships

related to | 0006700 | closed | Gyorgy Rethy | Clarification for clause 15.6.3
related to | 0006715 | closed | Gyorgy Rethy | Referencing alternatives of union templates
related to | 0006717 | closed | Gyorgy Rethy | Values of address type in expressions and references

Attached Files

CR6714_v1.docx (31,945) 09-04-2014 10:32
http://oldforge.etsi.org/mantis/file_download.php?file_id=2979&type=bug
CR6714_v2.docx (33,814) 10-04-2014 13:10
http://oldforge.etsi.org/mantis/file_download.php?file_id=2996&type=bug
CR6714_v3.docx (37,004) 01-08-2014 14:41
http://oldforge.etsi.org/mantis/file_download.php?file_id=3080&type=bug
CR6714_v4.docx (39,396) 11-08-2014 10:15
http://oldforge.etsi.org/mantis/file_download.php?file_id=3081&type=bug

Issue History
Date Modified | Username | Field | Change
08-04-2014 14:49 | Tomas Urban | New Issue |
08-04-2014 14:49 | Tomas Urban | Status | new => assigned
08-04-2014 14:49 | Tomas Urban | Assigned To | => Tomas Urban
09-04-2014 09:18 | Tomas Urban | Relationship added | related to 0006700
09-04-2014 10:31 | Tomas Urban | Relationship added | related to 0006715
09-04-2014 10:32 | Tomas Urban | Assigned To | Tomas Urban =>
09-04-2014 10:32 | Tomas Urban | File Added: CR6714_v1.docx |
09-04-2014 10:35 | Tomas Urban | Note Added: 0011967 |
09-04-2014 10:35 | Tomas Urban | Assigned To | => Jens Grabowski
09-04-2014 13:31 | Tomas Urban | Relationship added | related to 0006717
09-04-2014 14:03 | Gyorgy Rethy | Priority | normal => urgent
10-04-2014 11:07 | Tomas Urban | Status | assigned => confirmed
10-04-2014 11:47 | Jens Grabowski | Note Added: 0011994 |
10-04-2014 11:47 | Jens Grabowski | Assigned To | Jens Grabowski => Tomas Urban
10-04-2014 11:47 | Jens Grabowski | Status | confirmed => assigned
10-04-2014 11:48 | Jens Grabowski | Status | assigned => confirmed
10-04-2014 13:10 | Tomas Urban | File Added: CR6714_v2.docx |
10-04-2014 13:12 | Tomas Urban | Note Added: 0012001 |
10-04-2014 13:12 | Tomas Urban | Assigned To | Tomas Urban => Jens Grabowski
07-05-2014 16:30 | Gyorgy Rethy | Project | TTCN-3 Change Requests => Part 01: TTCN-3 Core Language
11-05-2014 20:49 | Gyorgy Rethy | Target Version | => v4.7.1 (published 2015-06)
16-06-2014 09:02 | Jens Grabowski | Note Added: 0012073 |
16-06-2014 09:03 | Jens Grabowski | Assigned To | Jens Grabowski => Gyorgy Rethy
16-06-2014 09:03 | Jens Grabowski | Status | confirmed => assigned
16-06-2014 09:04 | Jens Grabowski | Status | assigned => resolved
16-06-2014 09:04 | Jens Grabowski | Resolution | open => fixed
17-06-2014 15:58 | Gyorgy Rethy | Product Version | => v4.5.1 (published 2013-04)
17-06-2014 15:58 | Gyorgy Rethy | Fixed in Version | => v4.6.2 (interim 2014)
17-06-2014 15:58 | Gyorgy Rethy | Target Version | v4.7.1 (published 2015-06) => v4.6.2 (interim 2014)
20-06-2014 11:54 | Gyorgy Rethy | Fixed in Version | v4.6.2 (interim 2014) =>
01-08-2014 14:40 | Gyorgy Rethy | Note Added: 0012210 |
01-08-2014 14:40 | Gyorgy Rethy | Status | resolved => confirmed
01-08-2014 14:41 | Gyorgy Rethy | File Added: CR6714_v3.docx |
01-08-2014 14:41 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Tomas Urban
01-08-2014 14:41 | Gyorgy Rethy | Status | confirmed => assigned
01-08-2014 14:42 | Gyorgy Rethy | Status | assigned => confirmed
11-08-2014 10:15 | Tomas Urban | File Added: CR6714_v4.docx |
11-08-2014 10:19 | Tomas Urban | Note Added: 0012214 |
11-08-2014 10:19 | Tomas Urban | Assigned To | Tomas Urban => Gyorgy Rethy
23-09-2014 15:25 | Gyorgy Rethy | Status | confirmed => closed
23-09-2014 15:25 | Gyorgy Rethy | Fixed in Version | => v4.6.2 (interim 2014)

Notes

(0011967)
Tomas Urban
09-04-2014 10:35

Proposal created. It formalizes the common convension for referencing fields of omitted and uninitialized values. Please check.

(0011994)
Jens Grabowski
10-04-2014 11:47

What means: - implicitly or explicitly set to "implicit omit" - implicitly or explicitly set to "explicit omit" The values "implicit omit" and "explicit omit" are unknown to me. In addition, an explicitly set to "implicit omit" should become an "explicit omit" and vice versa.

(0012001)
Tomas Urban
10-04-2014 13:12

Changed the wording: implicitly or explicitly set to -> equal to Please check.

(0012073)
Jens Grabowski
16-06-2014 09:02

Ok, from my point of view.

(0012210)
Gyorgy Rethy
01-08-2014 14:40

Text related to expansion of dot/index notations has been amended to unambiguously descibe the cases, when records/sets/recordofs/setofs/unions are mixing along the expansion. Pls. review CR6714_v3.docx. Changed text is identified by yellow background to allow quick review.

(0012214)
Tomas Urban
11-08-2014 10:19

I like the last changes in the proposal and I have no objection against them. I only made a small correction in the rules on union values, adding set of and array to the list of types that can be expanded.