ETSI's Bug Tracker - Part 01: TTCN-3 Core Language
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0005934Part 01: TTCN-3 Core LanguageTechnicalpublic15-09-2011 16:3711-07-2012 10:40
ReporterGyorgy Rethy 
Assigned ToIna Schieferdecker 
PrioritynormalSeveritymajorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target Versionv4.5.1 (published 2013-04)Fixed in Versionv4.5.1 (published 2013-04) 
Clause Reference(s)C.31
Source (company - Author)L.M.Ericsson
Summary0005934: Unhandled case in the v4.3.2 version of the ispresent function
DescriptionSee 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
TagsNo tags attached.
Relationships
Attached Filesdoc 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
doc CR5934.doc (39,936) 30-11-2011 16:33
http://oldforge.etsi.org/mantis/file_download.php?file_id=2624&type=bug
doc 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 ModifiedUsernameFieldChange
15-09-2011 16:37Gyorgy RethyNew Issue
15-09-2011 16:37Gyorgy RethyClause Reference(s) => C.31
15-09-2011 16:37Gyorgy RethySource (company - Author) => L.M.Ericsson
27-09-2011 11:06Gyorgy RethyNote Added: 0010236
27-09-2011 11:07Gyorgy RethyNote Edited: 0010236
27-09-2011 11:08Gyorgy RethyAssigned To => Jacob Wieland - Spirent
27-09-2011 11:08Gyorgy RethyStatusnew => assigned
27-09-2011 11:08Gyorgy RethyTarget Version => Edition 4.4.1
27-09-2011 11:15Gyorgy RethyNote Edited: 0010236
27-09-2011 11:47Gyorgy RethyAssigned ToJacob Wieland - Spirent => Jens Grabowski
29-09-2011 09:32Ina SchieferdeckerRelationship addedrelated to 0005936
29-09-2011 09:42Ina SchieferdeckerStatusassigned => closed
29-09-2011 09:43Ina SchieferdeckerResolutionopen => fixed
29-09-2011 09:43Ina SchieferdeckerFixed in Version => Edition 4.4.1
29-09-2011 14:31Jens GrabowskiFile Added: CR5934-Resolution-JG-110929.doc
29-09-2011 14:40Gyorgy RethyAssigned ToJens Grabowski => Gyorgy Rethy
29-09-2011 14:40Gyorgy RethyStatusclosed => feedback
29-09-2011 14:40Gyorgy RethyResolutionfixed => reopened
29-09-2011 14:40Gyorgy RethyRelationship deletedrelated to 0005936
29-09-2011 14:41Gyorgy RethyStatusfeedback => assigned
30-09-2011 10:51Gyorgy RethyNote Added: 0010307
30-11-2011 13:18Gyorgy RethyNote Added: 0010445
30-11-2011 13:18Gyorgy RethyAssigned ToGyorgy Rethy => Ina Schieferdecker
30-11-2011 14:56Gyorgy RethyAssigned ToIna Schieferdecker => Jacob Wieland - Spirent
30-11-2011 14:57Gyorgy RethyNote Added: 0010447
30-11-2011 16:23Jacob Wieland - SpirentFile Added: CR5934.doc
30-11-2011 16:25Jacob Wieland - SpirentFile Deleted: CR5934.doc
30-11-2011 16:33Jacob Wieland - SpirentFile Added: CR5934.doc
30-11-2011 16:34Jacob Wieland - SpirentNote Added: 0010451
30-11-2011 16:34Jacob Wieland - SpirentAssigned ToJacob Wieland - Spirent => Gyorgy Rethy
02-12-2011 09:42Gyorgy RethyNote Added: 0010502
02-12-2011 09:42Gyorgy RethyAssigned ToGyorgy Rethy => Ina Schieferdecker
02-12-2011 09:42Gyorgy RethyStatusassigned => resolved
02-12-2011 09:42Gyorgy RethyResolutionreopened => fixed
09-07-2012 17:16Ina SchieferdeckerFixed in VersionEdition 4.4.1 =>
09-07-2012 17:16Ina SchieferdeckerTarget VersionEdition 4.4.1 => Edition 4.5.1
11-07-2012 10:36Ina SchieferdeckerFile Added: CR5934_v2.doc
11-07-2012 10:40Ina SchieferdeckerNote Added: 0010813
11-07-2012 10:40Ina SchieferdeckerStatusresolved => closed
11-07-2012 10:40Ina SchieferdeckerFixed 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