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

ID | Project | Category | View Status | Date Submitted | Last Update
0007858 | Part 01: TTCN-3 Core Language | Technical | public | 21-08-2019 10:54 | 28-12-2019 16:41

Reporter | Tomas Urban |
Assigned To | Gyorgy Rethy |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version |  | Fixed in Version | 4.12.1 (published 2020-05) |
Clause Reference(s) | 5.4.2
Source (company - Author) | STF 572

Summary | 0007858: Invalid restriction for non-deterministic lazy and fuzzy parameters
Description | Restriction 5.4.2.p says that rules for functions called from special places shall apply to actual parameters passed to lazy and fuzzy formal parameters. However, this rule should apply only to actual parameters passed to @deterministic lazy and fuzzy formal paramateres. Non-deterministic parameters can contain non-deterministic content, that's what they are meant for.
Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR7858-1.docx (195,041) 26-08-2019 14:48 http://oldforge.etsi.org/mantis/file_download.php?file_id=3854&type=bug

Issue History
Date Modified | Username | Field | Change
21-08-2019 10:54 | Tomas Urban | New Issue |
26-08-2019 11:03 | Jacob Wieland - Spirent | Note Added: 0015452 |
26-08-2019 11:03 | Jacob Wieland - Spirent | Assigned To | => Tomas Urban
26-08-2019 11:03 | Jacob Wieland - Spirent | Status | new => assigned
26-08-2019 14:48 | Tomas Urban | File Added: CR7858-1.docx |
26-08-2019 14:51 | Tomas Urban | Note Added: 0015458 |
26-08-2019 14:51 | Tomas Urban | Status | assigned => resolved
26-08-2019 14:51 | Tomas Urban | Fixed in Version | => 4.12.1 (published 2020-05)
26-08-2019 14:51 | Tomas Urban | Resolution | open => fixed
26-08-2019 14:51 | Tomas Urban | Assigned To | Tomas Urban => Gyorgy Rethy
28-12-2019 16:41 | Gyorgy Rethy | Note Added: 0015594 |
28-12-2019 16:41 | Gyorgy Rethy | Status | resolved => closed

Notes

(0015452)
Jacob Wieland - Spirent
26-08-2019 11:03

STF discussion: add @deterministic before fuzzy or lazy in restriction p.

(0015458)
Tomas Urban
26-08-2019 14:51

This trivial correction is ready to be added to the next version of the core language standard.

(0015594)
Gyorgy Rethy
28-12-2019 16:41

Included to final draft V4.11.2