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

ID | Project | Category | View Status | Date Submitted | Last Update
0008198 | Part 01: TTCN-3 Core Language | Clarification | public | 01-02-2023 11:09 | 15-01-2024 12:51

Reporter | Levente Eros |
Assigned To | Jens Grabowski |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version |  | Fixed in Version |  |
Clause Reference(s) | 11.1
Source (company - Author) |

Summary | 0008198: Type requirement of value variable assignment is too restrictive.
Description | Section 11.1, Restriction a) of the TTCN-3 standard does not take into account subtypes when saying that the type of the variable being assigned a value shall be the same as the type of the assigned expression. The value of the assigned expression shall be though compatible with the type of the assignee.
Steps To Reproduce | Use this: type integer positive (0..infinity); testcase exp_type() runs on ct_empty{ var integer i1 := 1; var integer i2 := 2; var positive p := i1+i2; } p has type positive, while i1+i2 is an integer. The two types are not the same, but the value of i1+i2 is compatible with the custom type positive too.
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR_0008198.docx (179,770) 08-11-2023 12:36 http://oldforge.etsi.org/mantis/file_download.php?file_id=4123&type=bug

Issue History
Date Modified | Username | Field | Change
01-02-2023 11:09 | Levente Eros | New Issue |
04-09-2023 22:13 | Gusztáv Adamis | Note Added: 0016506 |
05-09-2023 08:27 | Jens Grabowski | Note Added: 0016508 |
08-09-2023 22:34 | Jens Grabowski | Project | TTCN-3 Change Requests => Part 01: TTCN-3 Core Language
08-09-2023 22:42 | Jens Grabowski | Assigned To | => Gusztáv Adamis
08-09-2023 22:42 | Jens Grabowski | Status | new => assigned
07-11-2023 13:25 | Jens Grabowski | Note Added: 0016531 |
08-11-2023 12:36 | Gusztáv Adamis | File Added: CR_0008198.docx |
08-11-2023 12:38 | Gusztáv Adamis | Note Added: 0016550 |
08-11-2023 12:43 | Gusztáv Adamis | Note Edited: 0016550 | bug_revision_view_page.php?bugnote_id=16550#r621
08-11-2023 23:42 | Gusztáv Adamis | Status | assigned => confirmed
08-11-2023 23:42 | Gusztáv Adamis | Resolution | open => fixed
10-11-2023 10:15 | Jens Grabowski | Assigned To | Gusztáv Adamis => Jens Grabowski
10-11-2023 10:15 | Jens Grabowski | Status | confirmed => assigned
10-11-2023 10:15 | Jens Grabowski | Note Added: 0016574 |
10-11-2023 10:15 | Jens Grabowski | Status | assigned => confirmed
15-01-2024 12:44 | Jens Grabowski | Status | confirmed => resolved
15-01-2024 12:51 | Jens Grabowski | Note Added: 0016593 |
15-01-2024 12:51 | Jens Grabowski | Status | resolved => closed

Notes

(0016506)
Gusztáv Adamis
04-09-2023 22:13

I guess the restriction a.) "Expression shall be of type TypeOrNestedTypeDef." shall be similar to the restriction e.) of 10. Decleraring constants "e) ConstantExpression shall evaluate to a value which is type compatible TypeOrNestedTypeDef" Expression shall evaluate to a value which is type compatible TypeOrNestedTypeDef

(0016508)
Jens Grabowski
05-09-2023 08:27

TTF discussion: Valid issue, to be corrected. BNF has to be checked.

(0016531)
Jens Grabowski
07-11-2023 13:25

TTF discussion: To be resolved in the 2024 series of standards.

(0016550)
Gusztáv Adamis
08-11-2023 12:38 (edited on: 08-11-2023 12:43)

Expression shall evaluate to a value which is type compatible with TypeOrNestedTypeDef has been added. A typo is also corrected in Clause 10. Modification does not require modification in BNF.

(0016574)
Jens Grabowski
10-11-2023 10:15

ok

(0016593)
Jens Grabowski
15-01-2024 12:51

implemented as suggested