ETSI's Bug Tracker - Part 01: TTCN-3 Core Language
View Issue Details
0006718Part 01: TTCN-3 Core LanguageTechnicalpublic09-04-2014 13:4405-01-2015 18:31
Tomas Urban 
Gyorgy Rethy 
normalminorN/A
closedfixed 
v4.6.1 (published 2014-06) 
v4.7.1 (published 2015-06)v4.7.1 (published 2015-06) 
22
STF 478
0006718: Null value in the to and from clause
Address values can contain a special value null (see 6.2.12 for more details). However, it is not obvious what would happen if this value is used in the communication operations. In my opinion there are two options:

1. It will produce an error.
2. It will work: in case of outgoing operation, no address will be passed to the SA (the corresponding field of the TRI operation will be null). It would be just a more verbous variant of outgoing operations without a to clause. In case of an incoming operation, using null in the from clause would mean that the event can be accepted only if the SA didn't supply any address. (This is different than omitting the from clause as the sender address is not matched in this case).
No tags attached.
docx CR6718_resolution_v1.docx (94,500) 06-10-2014 16:38
http://oldforge.etsi.org/mantis/file_download.php?file_id=3085&type=bug
zip Operational-Semantics-CR6718.zip (1,618,357) 07-10-2014 14:07
http://oldforge.etsi.org/mantis/file_download.php?file_id=3096&type=bug
Issue History
09-04-2014 13:44Tomas UrbanNew Issue
18-06-2014 08:38Gyorgy RethyProjectTTCN-3 Change Requests => Part 01: TTCN-3 Core Language
18-06-2014 08:38Gyorgy RethyProduct Version => v4.6.1 (published 2014-06)
18-06-2014 08:38Gyorgy RethyTarget Version => v4.7.1 (published 2015-06)
06-10-2014 16:06Gyorgy RethyNote Added: 0012236
06-10-2014 16:06Gyorgy RethyAssigned To => Gyorgy Rethy
06-10-2014 16:06Gyorgy RethyStatusnew => confirmed
06-10-2014 16:08Gyorgy RethyNote Edited: 0012236bug_revision_view_page.php?bugnote_id=12236#r70
06-10-2014 16:38Gyorgy RethyFile Added: CR6718_resolution_v1.docx
06-10-2014 16:38Gyorgy RethyNote Added: 0012238
06-10-2014 16:39Gyorgy RethyAssigned ToGyorgy Rethy => Jens Grabowski
07-10-2014 08:24Jens GrabowskiNote Added: 0012241
07-10-2014 08:24Jens GrabowskiStatusconfirmed => resolved
07-10-2014 08:24Jens GrabowskiResolutionopen => fixed
07-10-2014 08:24Jens GrabowskiAssigned ToJens Grabowski => Gyorgy Rethy
07-10-2014 08:24Jens GrabowskiStatusresolved => assigned
07-10-2014 08:25Jens GrabowskiStatusassigned => resolved
07-10-2014 14:07Jens GrabowskiFile Added: Operational-Semantics-CR6718.zip
07-10-2014 14:07Jens GrabowskiNote Added: 0012253
05-01-2015 18:31Gyorgy RethyNote Added: 0012629
05-01-2015 18:31Gyorgy RethyStatusresolved => closed
05-01-2015 18:31Gyorgy RethyFixed in Version => v4.7.1 (published 2015-06)

Notes
(0012236)
Gyorgy Rethy   
06-10-2014 16:06   
(edited on: 06-10-2014 16:08)
Shall cause an error. Jens to check if this is already included in Part-4 (if the receiver cannot be determined, it should cause an error).

(0012238)
Gyorgy Rethy   
06-10-2014 16:38   
Please check CR6718_resolution_v1.docx.
(0012241)
Jens Grabowski   
07-10-2014 08:24   
Resolution is fine with me. Will also be implemented in OS.
(0012253)
Jens Grabowski   
07-10-2014 14:07   
CR also implemented in operational semantics.
(0012629)
Gyorgy Rethy   
05-01-2015 18:31   
Added to draft V4.6.3