ETSI's Bug Tracker |
Anonymous | Login | Signup for local Mantis account | 02-05-2024 20:25 IST |
Main | My View | View Issues | Change Log | Roadmap | Monitor project |
View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
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) | ||||||
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. | ||||||||
Tags | No tags attached. | ||||||||
Clause Reference(s) | C.31 | ||||||||
Source (company - Author) | L.M.Ericsson | ||||||||
Attached Files | CR5934-Resolution-JG-110929.doc [^] (93,696 bytes) 29-09-2011 14:31 CR5934.doc [^] (39,936 bytes) 30-11-2011 16:33 CR5934_v2.doc [^] (54,272 bytes) 11-07-2012 10:36 | ||||||||
Notes | |
(0010236) Gyorgy Rethy (reporter) 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 (reporter) 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 (reporter) 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 (reporter) 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 (reporter) 30-11-2011 16:34 |
please review |
(0010502) Gyorgy Rethy (reporter) 02-12-2011 09:42 |
Fine with me. |
(0010813) Ina Schieferdecker (reporter) 11-07-2012 10:40 |
Implemented as in v2 |
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 |
MantisBT 1.2.14 [^] Copyright © 2000 - 2024 MantisBT Team |