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

ID | Project | Category | View Status | Date Submitted | Last Update
0007216 | Part 01: TTCN-3 Core Language | Technical | public | 05-11-2015 12:16 | 13-12-2016 15:27

Reporter | Jacob Wieland - Spirent |
Assigned To | Gyorgy Rethy |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v4.8.1 (published 2016-07) |
Target Version | v4.9.1 (published 2017-05) | Fixed in Version | v4.9.1 (published 2017-05) |
Clause Reference(s) | 15.9.
Source (company - Author) | Testing Technologies - Jacob Wieland

Summary | 0007216: match operation should require type compatibility of the operands

Description

At the moment, the match operation allows two operands of incompatible types, yielding false.
This feature should be made deprecated so that tools may opt for warning users about these cases or even mark this as erroneous.
It is the only place in the language that allows the combination of two things of incompatible types even though the semantics of the operation (true if the templates matches the value) are otherwise defined only for objects of compatible types. Thus is not really consistent with the rest of a type-safe language.
Disallowing this (probably pathological) case could lead to backward-incompatibilities, but it is hard to imagine someone using something like match(a,b) intentionally to write down 'false' except in non-real world scenarios which want to test this feature thoroughly.

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR7216-1.docx (20,468) 18-07-2016 14:40 http://oldforge.etsi.org/mantis/file_download.php?file_id=3413&type=bug

Issue History
Date Modified | Username | Field | Change
05-11-2015 12:16 | Jacob Wieland - Spirent | New Issue |
06-11-2015 08:43 | Gyorgy Rethy | Project | TTCN-3 Change Requests => Part 01: TTCN-3 Core Language
06-11-2015 08:43 | Gyorgy Rethy | Product Version | => v4.8.1 (published 2016-07)
06-11-2015 08:43 | Gyorgy Rethy | Target Version | => v4.9.1 (published 2017-05)
18-07-2016 11:22 | Jens Grabowski | Assigned To | => Tomas Urban
18-07-2016 11:22 | Jens Grabowski | Status | new => assigned
18-07-2016 11:23 | Jens Grabowski | Note Added: 0013977 |
18-07-2016 14:40 | Tomas Urban | File Added: CR7216-1.docx |
18-07-2016 14:42 | Tomas Urban | Assigned To | Tomas Urban => Axel Rennoch
18-07-2016 14:42 | Tomas Urban | Note Added: 0013981 |
15-08-2016 15:08 | Axel Rennoch | Note Added: 0014080 |
15-08-2016 15:08 | Axel Rennoch | Assigned To | Axel Rennoch => Gyorgy Rethy
15-08-2016 15:08 | Axel Rennoch | Status | assigned => confirmed
13-12-2016 15:27 | Gyorgy Rethy | Note Added: 0014423 |
13-12-2016 15:27 | Gyorgy Rethy | Status | confirmed => closed
13-12-2016 15:27 | Gyorgy Rethy | Resolution | open => fixed
13-12-2016 15:27 | Gyorgy Rethy | Fixed in Version | => v4.9.1 (published 2017-05)

Notes

(0013977)
Jens Grabowski
18-07-2016 11:23

STF decision: Deprecate the feature.

(0013981)
Tomas Urban
18-07-2016 14:42

Resolution uploaded. Please check.

(0014080)
Axel Rennoch
15-08-2016 15:08

The proposed resolution is ok. Please close the CR.

(0014423)
Gyorgy Rethy
13-12-2016 15:27

Added to draft V4.8.2