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

ID | Project | Category | View Status | Date Submitted | Last Update
0007213 | Part 01: TTCN-3 Core Language | Clarification | public | 03-11-2015 13:51 | 14-12-2015 11:26

Reporter | Jens Grabowski |
Assigned To | Gyorgy Rethy |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v4.7.1 (published 2015-06) |
Target Version | v4.8.1 (published 2016-07) | Fixed in Version | v4.8.1 (published 2016-07) |
Clause Reference(s) | 11.1
Source (company - Author) | STF 491

Summary | 0007213: Example is wrong

Description

Example in Clause 11.1 is wrong:
var integer MyVar0;
var integer MyVar1 := 1;
var boolean MyVar2 := true, MyVar3 := false;
var @lazy integer MyLazyVar1 := MyVar1+1;
MyVar1 := 2;
MyVar2 := MyLazyVar1; // MyLazyVar1 evaluates to 2 + 1
MyLazyVar1 := MyLazyVar1 + 1;
MyVar2 := MyLazyVar1; // causes an error as MyLazyVar1 references itself
MyVar2 and MyLazyVar1 are of different types, thus the assignment causes an error, but not (only) due to the self reference of MyLazyVar1

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR7213_resolution_v1.docx (77,080) 03-11-2015 14:13 http://oldforge.etsi.org/mantis/file_download.php?file_id=3354&type=bug

Issue History
Date Modified | Username | Field | Change
03-11-2015 13:51 | Jens Grabowski | New Issue |
03-11-2015 14:09 | Axel Rennoch | Assigned To | => Axel Rennoch
03-11-2015 14:09 | Axel Rennoch | Status | new => assigned
03-11-2015 14:13 | Axel Rennoch | File Added: CR7213_resolution_v1.docx |
03-11-2015 14:14 | Axel Rennoch | Note Added: 0013471 |
03-11-2015 14:14 | Axel Rennoch | Assigned To | Axel Rennoch => Jacob Wieland - Spirent
03-11-2015 14:14 | Axel Rennoch | Status | assigned => acknowledged
03-11-2015 14:36 | Jacob Wieland - Spirent | Note Added: 0013473 |
03-11-2015 14:36 | Jacob Wieland - Spirent | Status | acknowledged => resolved
03-11-2015 14:36 | Jacob Wieland - Spirent | Fixed in Version | => v4.8.1 (published 2016-07)
03-11-2015 14:36 | Jacob Wieland - Spirent | Resolution | open => fixed
03-11-2015 14:36 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Gyorgy Rethy
14-12-2015 11:26 | Gyorgy Rethy | Note Added: 0013611 |
14-12-2015 11:26 | Gyorgy Rethy | Status | resolved => closed

Notes

(0013471)
Axel Rennoch
03-11-2015 14:14

Please check the correction in uploaded file.

(0013473)
Jacob Wieland - Spirent
03-11-2015 14:36

correct

(0013611)
Gyorgy Rethy
14-12-2015 11:26

Added to draft V4.7.4