ETSI's Bug Tracker |
Anonymous | Login | Signup for local Mantis account | 02-05-2024 20:31 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 | ||||
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) | ||||||
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. | ||||||||
Tags | No tags attached. | ||||||||
Clause Reference(s) | 22.2.2 | ||||||||
Source (company - Author) | STF 478 | ||||||||
Attached Files | CR6781_v1.docx [^] (52,570 bytes) 20-06-2014 09:34 | ||||||||
Relationships | ||||||
|
Notes | |
(0012175) Tomas Urban (developer) 20-06-2014 09:35 |
Resolution proposal uploaded. Please check. |
(0012280) Axel Rennoch (developer) 08-10-2014 12:09 |
proposal is fine |
(0012623) Gyorgy Rethy (reporter) 05-01-2015 17:25 |
Added to draft V4.6.3 |
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 |
MantisBT 1.2.14 [^] Copyright © 2000 - 2024 MantisBT Team |