Logo etsi

ETSI's Bug Tracker

Notice: information submitted on the ETSI issue Tracker may be incorporated in ETSI publication(s) and therefore subject to the ETSI IPR policy.

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006714Part 01: TTCN-3 Core LanguageTechnicalpublic08-04-2014 14:4923-09-2014 15:25
ReporterTomas Urban 
Assigned ToGyorgy Rethy 
PriorityurgentSeverityminorReproducibilityN/A
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Versionv4.5.1 (published 2013-04) 
Target Versionv4.6.2 (interim 2014)Fixed in Versionv4.6.2 (interim 2014) 
Summary0006714: Expansion of LHS in case of uninitialized constructive variables
DescriptionIt 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.
TagsNo tags attached.
Clause Reference(s)6.2
Source (company - Author)STF 478
Attached Filesdocx file icon CR6714_v1.docx [^] (31,945 bytes) 09-04-2014 10:32
docx file icon CR6714_v2.docx [^] (33,814 bytes) 10-04-2014 13:10
docx file icon CR6714_v3.docx [^] (37,004 bytes) 01-08-2014 14:41
docx file icon CR6714_v4.docx [^] (39,396 bytes) 11-08-2014 10:15

- Relationships
related to 0006700closedGyorgy Rethy Clarification for clause 15.6.3 
related to 0006715closedGyorgy Rethy Referencing alternatives of union templates 
related to 0006717closedGyorgy Rethy Values of address type in expressions and references 

-  Notes
(0011967)
Tomas Urban (developer)
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 (manager)
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 (developer)
10-04-2014 13:12

Changed the wording: implicitly or explicitly set to -> equal to
Please check.
(0012073)
Jens Grabowski (manager)
16-06-2014 09:02

Ok, from my point of view.
(0012210)
Gyorgy Rethy (reporter)
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 (developer)
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.

- 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)


MantisBT 1.2.14 [^]
Copyright © 2000 - 2024 MantisBT Team
Powered by Mantis Bugtracker