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

ID | Project | Category | View Status | Date Submitted | Last Update
0005934 | Part 01: TTCN-3 Core Language | Technical | public | 15-09-2011 16:37 | 11-07-2012 10:40

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

Summary | 0005934: Unhandled case in the v4.3.2 version of the ispresent function

Description

See the following example:
type record r { boolean b }
type union u { boolen b }
var template r vr := ?;
var template u vu := ?;
var template boolean vb;
vb := vr.b ; //vr.b equals to AnyValue due to the record expansion
//rules in $15.6.2
vb := vu.b; // causes an error, as vu.b doesn't exist
ispresent(vr.b) //returns true
ispresent(vu.b) //what shall be the result of this function call?
As the existence of vu.b can be checked by either isbound or ischosen, it is proposed that in the above case ispresent(vu.b); should cause an error.
The text of $C.31 should be amended accordingly.

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR5934-Resolution-JG-110929.doc (93,696) 29-09-2011 14:31 http://oldforge.etsi.org/mantis/file_download.php?file_id=2575&type=bug CR5934.doc (39,936) 30-11-2011 16:33 http://oldforge.etsi.org/mantis/file_download.php?file_id=2624&type=bug CR5934_v2.doc (54,272) 11-07-2012 10:36 http://oldforge.etsi.org/mantis/file_download.php?file_id=2664&type=bug

Issue History
Date Modified | Username | Field | Change
15-09-2011 16:37 | Gyorgy Rethy | New Issue |
15-09-2011 16:37 | Gyorgy Rethy | Clause Reference(s) | => C.31
15-09-2011 16:37 | Gyorgy Rethy | Source (company - Author) | => L.M.Ericsson
27-09-2011 11:06 | Gyorgy Rethy | Note Added: 0010236 |
27-09-2011 11:07 | Gyorgy Rethy | Note Edited: 0010236 |
27-09-2011 11:08 | Gyorgy Rethy | Assigned To | => Jacob Wieland - Spirent
27-09-2011 11:08 | Gyorgy Rethy | Status | new => assigned
27-09-2011 11:08 | Gyorgy Rethy | Target Version | => Edition 4.4.1
27-09-2011 11:15 | Gyorgy Rethy | Note Edited: 0010236 |
27-09-2011 11:47 | Gyorgy Rethy | Assigned To | Jacob Wieland - Spirent => Jens Grabowski
29-09-2011 09:32 | Ina Schieferdecker | Relationship added | related to 0005936
29-09-2011 09:42 | Ina Schieferdecker | Status | assigned => closed
29-09-2011 09:43 | Ina Schieferdecker | Resolution | open => fixed
29-09-2011 09:43 | Ina Schieferdecker | Fixed in Version | => Edition 4.4.1
29-09-2011 14:31 | Jens Grabowski | File Added: CR5934-Resolution-JG-110929.doc |
29-09-2011 14:40 | Gyorgy Rethy | Assigned To | Jens Grabowski => Gyorgy Rethy
29-09-2011 14:40 | Gyorgy Rethy | Status | closed => feedback
29-09-2011 14:40 | Gyorgy Rethy | Resolution | fixed => reopened
29-09-2011 14:40 | Gyorgy Rethy | Relationship deleted | related to 0005936
29-09-2011 14:41 | Gyorgy Rethy | Status | feedback => assigned
30-09-2011 10:51 | Gyorgy Rethy | Note Added: 0010307 |
30-11-2011 13:18 | Gyorgy Rethy | Note Added: 0010445 |
30-11-2011 13:18 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Ina Schieferdecker
30-11-2011 14:56 | Gyorgy Rethy | Assigned To | Ina Schieferdecker => Jacob Wieland - Spirent
30-11-2011 14:57 | Gyorgy Rethy | Note Added: 0010447 |
30-11-2011 16:23 | Jacob Wieland - Spirent | File Added: CR5934.doc |
30-11-2011 16:25 | Jacob Wieland - Spirent | File Deleted: CR5934.doc |
30-11-2011 16:33 | Jacob Wieland - Spirent | File Added: CR5934.doc |
30-11-2011 16:34 | Jacob Wieland - Spirent | Note Added: 0010451 |
30-11-2011 16:34 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Gyorgy Rethy
02-12-2011 09:42 | Gyorgy Rethy | Note Added: 0010502 |
02-12-2011 09:42 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Ina Schieferdecker
02-12-2011 09:42 | Gyorgy Rethy | Status | assigned => resolved
02-12-2011 09:42 | Gyorgy Rethy | Resolution | reopened => fixed
09-07-2012 17:16 | Ina Schieferdecker | Fixed in Version | Edition 4.4.1 =>
09-07-2012 17:16 | Ina Schieferdecker | Target Version | Edition 4.4.1 => Edition 4.5.1
11-07-2012 10:36 | Ina Schieferdecker | File Added: CR5934_v2.doc |
11-07-2012 10:40 | Ina Schieferdecker | Note Added: 0010813 |
11-07-2012 10:40 | Ina Schieferdecker | Status | resolved => closed
11-07-2012 10:40 | Ina Schieferdecker | Fixed in Version | => Edition 4.5.1

Notes

(0010236)
Gyorgy Rethy
27-09-2011 11:06 (edited on: 27-09-2011 11:15)

This case shall return false, because of the extended definition of ispresent. Current text is OK, but need to be merged with ischosen. ischosen should be deprecated as become superflouos.

(0010307)
Gyorgy Rethy
30-09-2011 10:51

For the first quick review it is OK. However, I would like to consider all possible variations...

(0010445)
Gyorgy Rethy
30-11-2011 13:18

To be discussed in the STF for final agreement. If the principle of replacing ischosen by ispresent accepted, the text in CR5934-Resolution-JG-110929.doc is OK.

(0010447)
Gyorgy Rethy
30-11-2011 14:57

STF discussion 30-11-2011: ispresent shall not be used for union fields. State this in the text.

(0010451)
Jacob Wieland - Spirent
30-11-2011 16:34

please review

(0010502)
Gyorgy Rethy
02-12-2011 09:42

Fine with me.

(0010813)
Ina Schieferdecker
11-07-2012 10:40

Implemented as in v2