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

ID | Project | Category | View Status | Date Submitted | Last Update
0006781 | Part 01: TTCN-3 Core Language | Technical | public | 18-06-2014 15:51 | 05-01-2015 17:25

Reporter | Tomas Urban |
Assigned To | Gyorgy Rethy |
Priority | normal | Severity | minor | Reproducibility | N/A
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v4.6.1 (published 2014-06) |
Target Version | v4.7.1 (published 2015-06) | Fixed in Version | v4.7.1 (published 2015-06) |
Clause Reference(s) | 22.2.2
Source (company - Author) | STF 478

Summary | 0006781: Type compatibility of the from and sender clause

Description

There'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 |
Tags | No tags attached.

Relationships

related to | 0006780 | closed |  | Sender clause should implicitly define the content of the missing from clause

Attached Files | 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 Modified | Username | Field | Change
18-06-2014 15:51 | Tomas Urban | New Issue |
18-06-2014 15:52 | Tomas Urban | Relationship added | related to 0006780
20-06-2014 09:06 | Tomas Urban | Assigned To | => Tomas Urban
20-06-2014 09:06 | Tomas Urban | Status | new => assigned
20-06-2014 09:34 | Tomas Urban | File Added: CR6781_v1.docx |
20-06-2014 09:35 | Tomas Urban | Note Added: 0012175 |
20-06-2014 09:35 | Tomas Urban | Assigned To | Tomas Urban => Gyorgy Rethy
20-06-2014 09:35 | Tomas Urban | Status | assigned => confirmed
20-06-2014 11:38 | Gyorgy Rethy | Product Version | => v4.6.1 (published 2014-06)
20-06-2014 11:38 | Gyorgy Rethy | Target Version | => v4.7.1 (published 2015-06)
08-10-2014 09:28 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Axel Rennoch
08-10-2014 09:28 | Gyorgy Rethy | Status | confirmed => assigned
08-10-2014 09:29 | Gyorgy Rethy | Status | assigned => confirmed
08-10-2014 12:08 | Axel Rennoch | Assigned To | Axel Rennoch => Gyorgy Rethy
08-10-2014 12:08 | Axel Rennoch | Status | confirmed => assigned
08-10-2014 12:09 | Axel Rennoch | Note Added: 0012280 |
08-10-2014 12:09 | Axel Rennoch | Status | assigned => confirmed
08-10-2014 16:19 | Gyorgy Rethy | Status | confirmed => resolved
08-10-2014 16:19 | Gyorgy Rethy | Resolution | open => fixed
08-10-2014 16:19 | Gyorgy Rethy | Fixed in Version | => v4.7.1 (published 2015-06)
05-01-2015 17:25 | Gyorgy Rethy | Note Added: 0012623 |
05-01-2015 17:25 | Gyorgy Rethy | Status | resolved => 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