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

ID | Project | Category | View Status | Date Submitted | Last Update
0005936 | Part 01: TTCN-3 Core Language | Clarification | public | 23-09-2011 16:18 | 29-09-2011 09:44

Reporter | Gyorgy Rethy |
Assigned To | Ina Schieferdecker |
Priority | normal | Severity | major | Reproducibility | always
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v4.3.1 (published 2011-06) |
Target Version | v4.4.1 (published 2012-04) | Fixed in Version | v4.4.1 (published 2012-04) |
Clause Reference(s) | C.31
Source (company - Author) | L.M.Ericsson

Summary | 0005936: Wrong example in C.31

Description

Product version is in fact v4.3.2
In clause C.31 The IsPresent function the first example is:
var MyRecord vl_MyRecord := { field1 := {}, field2 := 5 }
ispresent(vl_MyRecord.field1) // returns true
in clause 3.1:
partially initialized: values are partially initialized if a concrete value has been assigned to it or to at least one of its fields or elements
completely initialized: values and templates of simple types are completely initialized if they are partially initialized
The field vl_MyRecord.field1 does not fulfil any of the above definition, thus it shall be handled as uninitialized. But in this case ispresent(vl_MyRecord.field1) shall return false in the example.

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR5936_resolution_v2.doc (81,920) 28-09-2011 09:16 http://oldforge.etsi.org/mantis/file_download.php?file_id=2566&type=bug

Issue History
Date Modified | Username | Field | Change
23-09-2011 16:18 | Gyorgy Rethy | New Issue |
23-09-2011 16:18 | Gyorgy Rethy | Clause Reference(s) | => C.31
23-09-2011 16:18 | Gyorgy Rethy | Source (company - Author) | => L.M.Ericsson
27-09-2011 10:54 | Gyorgy Rethy | Note Added: 0010235 |
27-09-2011 10:54 | Gyorgy Rethy | Assigned To | => Gyorgy Rethy
27-09-2011 10:54 | Gyorgy Rethy | Status | new => assigned
27-09-2011 10:54 | Gyorgy Rethy | Target Version | => Edition 4.4.1
27-09-2011 15:58 | Gyorgy Rethy | File Added: CR5936_resolution_v1.doc |
27-09-2011 15:58 | Gyorgy Rethy | Note Added: 0010250 |
27-09-2011 15:59 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Jens Grabowski
28-09-2011 09:16 | Gyorgy Rethy | File Deleted: CR5936_resolution_v1.doc |
28-09-2011 09:16 | Gyorgy Rethy | File Added: CR5936_resolution_v2.doc |
28-09-2011 09:16 | Gyorgy Rethy | Note Edited: 0010250 |
28-09-2011 18:52 | Jens Grabowski | Note Added: 0010286 |
28-09-2011 18:52 | Jens Grabowski | Assigned To | Jens Grabowski => Ina Schieferdecker
29-09-2011 09:32 | Ina Schieferdecker | Relationship added | related to 0005934
29-09-2011 09:44 | Ina Schieferdecker | Status | assigned => closed
29-09-2011 09:44 | Ina Schieferdecker | Resolution | open => fixed
29-09-2011 09:44 | Ina Schieferdecker | Fixed in Version | => Edition 4.4.1
29-09-2011 14:40 | Gyorgy Rethy | Relationship deleted | related to 0005934

Notes

(0010235)
Gyorgy Rethy
27-09-2011 10:54

Change true to false in the example with appropriate explanation. Correct note2 of the definition partially initialized.

(0010250)
Gyorgy Rethy
27-09-2011 15:58 (edited on: 28-09-2011 09:16)

Pls. review resolution text in CR5936_resolution_v2.doc.

(0010286)
Jens Grabowski
28-09-2011 18:52

Resolution is fine with me. Assigned to Ina for inclusion into the standard.