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

ID | Project | Category | View Status | Date Submitted | Last Update
0007857 | Part 01: TTCN-3 Core Language | Technical | public | 14-08-2019 14:04 | 26-08-2019 11:15

Reporter | Tomas Urban |
Assigned To | Jacob Wieland - Spirent |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | no change required |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version |  | Fixed in Version | 4.12.1 (published 2020-05) |
Clause Reference(s) | 16.1.4
Source (company - Author) | STF 472

Summary | 0007857: Superfluos restriction 16.1.4.k
Description | The restriction 16.1.4.j should be removed, because the restriction 16.1.4.m already covers all relevant cases and the restriction j also doesn't count with deterministic parameters which don't affect snapshots.
Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files |

Issue History
Date Modified | Username | Field | Change
14-08-2019 14:04 | Tomas Urban | New Issue |
14-08-2019 15:20 | Tomas Urban | Description Updated | bug_revision_view_page.php?rev_id=497#r497
15-08-2019 12:37 | KristÃ³f Szabados | Note Added: 0015443 |
15-08-2019 12:57 | Tomas Urban | Note Added: 0015444 |
15-08-2019 12:57 | Tomas Urban | Summary | Superfluos restriction 16.1.4.j => Superfluos restriction 16.1.4.k
26-08-2019 11:14 | Jacob Wieland - Spirent | Note Added: 0015453 |
26-08-2019 11:15 | Jacob Wieland - Spirent | Status | new => resolved
26-08-2019 11:15 | Jacob Wieland - Spirent | Fixed in Version | => 4.12.1 (published 2020-05)
26-08-2019 11:15 | Jacob Wieland - Spirent | Resolution | open => no change required
26-08-2019 11:15 | Jacob Wieland - Spirent | Assigned To | => Jacob Wieland - Spirent
26-08-2019 11:15 | Jacob Wieland - Spirent | Note Added: 0015454 |
26-08-2019 11:15 | Jacob Wieland - Spirent | Status | resolved => closed

Notes

(0015443)
KristÃ³f Szabados
15-08-2019 12:37

If I unsertand it correctly they don't overlap perfectly. 16.1.4.m is about referencing variables, parameters or templates that are lazy or fuzzy. While 16.1.4.j is about functions and external functions that have out or inout parameters (which parameters are not required to be lazy or fuzzy).

(0015444)
Tomas Urban
15-08-2019 12:57

I am sorry, you are absolutely correct, the restriction I meant is 16.1.4.k: k) Calling functions and external functions with @fuzzy formal parameters and variables I changed the summary to reflect this.

(0015453)
Jacob Wieland - Spirent
26-08-2019 11:14

STF discussion: Even though other rules already imply restriction k) we leave this rule in the standard as it doesn't do any harm.

(0015454)
Jacob Wieland - Spirent
26-08-2019 11:15

nothing to do