ETSI's Bug Tracker - Part 01: TTCN-3 Core Language
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0006781Part 01: TTCN-3 Core LanguageTechnicalpublic18-06-2014 15:5105-01-2015 17:25
ReporterTomas Urban 
Assigned ToGyorgy Rethy 
PrioritynormalSeverityminorReproducibilityN/A
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Versionv4.6.1 (published 2014-06) 
Target Versionv4.7.1 (published 2015-06)Fixed in Versionv4.7.1 (published 2015-06) 
Clause Reference(s)22.2.2
Source (company - Author)STF 478
Summary0006781: Type compatibility of the from and sender clause
DescriptionThere's currently no formal requirement for type compatibility between the template in the from clause and the variable in the sender clause. However, if these entities are of incompatible types, the operation will always result in an error according to the restriction 22.2.2.e (and similar restrictions for the remaining blocking operations).

Adding the formal requirement doesn't actually prevent the error from happening, but the added rule might inspire tool vendors to detect this situation in the compilation stage, where correction of test suite errors is the cheapest. Please notice that similar requirement exists for e.g. for the value clause, probably for the same reason.
Steps To Reproduce
Additional Information
TagsNo tags attached.
Relationships
related to 0006780closed  Sender clause should implicitly define the content of the missing from clause 
Attached Filesdocx CR6781_v1.docx (52,570) 20-06-2014 09:34
http://oldforge.etsi.org/mantis/file_download.php?file_id=3068&type=bug
Issue History
Date ModifiedUsernameFieldChange
18-06-2014 15:51Tomas UrbanNew Issue
18-06-2014 15:52Tomas UrbanRelationship addedrelated to 0006780
20-06-2014 09:06Tomas UrbanAssigned To => Tomas Urban
20-06-2014 09:06Tomas UrbanStatusnew => assigned
20-06-2014 09:34Tomas UrbanFile Added: CR6781_v1.docx
20-06-2014 09:35Tomas UrbanNote Added: 0012175
20-06-2014 09:35Tomas UrbanAssigned ToTomas Urban => Gyorgy Rethy
20-06-2014 09:35Tomas UrbanStatusassigned => confirmed
20-06-2014 11:38Gyorgy RethyProduct Version => v4.6.1 (published 2014-06)
20-06-2014 11:38Gyorgy RethyTarget Version => v4.7.1 (published 2015-06)
08-10-2014 09:28Gyorgy RethyAssigned ToGyorgy Rethy => Axel Rennoch
08-10-2014 09:28Gyorgy RethyStatusconfirmed => assigned
08-10-2014 09:29Gyorgy RethyStatusassigned => confirmed
08-10-2014 12:08Axel RennochAssigned ToAxel Rennoch => Gyorgy Rethy
08-10-2014 12:08Axel RennochStatusconfirmed => assigned
08-10-2014 12:09Axel RennochNote Added: 0012280
08-10-2014 12:09Axel RennochStatusassigned => confirmed
08-10-2014 16:19Gyorgy RethyStatusconfirmed => resolved
08-10-2014 16:19Gyorgy RethyResolutionopen => fixed
08-10-2014 16:19Gyorgy RethyFixed in Version => v4.7.1 (published 2015-06)
05-01-2015 17:25Gyorgy RethyNote Added: 0012623
05-01-2015 17:25Gyorgy RethyStatusresolved => closed

Notes
(0012175)
Tomas Urban   
20-06-2014 09:35   
Resolution proposal uploaded. Please check.
(0012280)
Axel Rennoch   
08-10-2014 12:09   
proposal is fine
(0012623)
Gyorgy Rethy   
05-01-2015 17:25   
Added to draft V4.6.3