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

ID | Project | Category | View Status | Date Submitted | Last Update
0007147 | Part 01: TTCN-3 Core Language | Technical | public | 18-08-2015 12:11 | 14-12-2015 11: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 | 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) | 20.2
Source (company - Author) | STF 487

Summary | 0007147: Operation with side effects in alt statemets

Description

The restrictions b, c and d of the section 20.2 disallow the use of certain operations in alt guards, alt branch events and parameters of altstep instances in alt branches. The forbidden operations are a subset of calls listed in 16.1.4. In particular, only the operations that can be used in expressions are listed.
However, the list (composed of create, running, alive and activate) is not complete. There are several other operations with side effect that might syntactically appear in expressions: read, checkstate, rnd, non-deterministic external function invocation (the last two are not covered by 16.1.4, because that section states only that they shall not appear INSIDE of functions called from the special places, but nothing about direct invocation).
Proposal: add the missing operations to the restrictions b, c and d.

Steps To Reproduce |
Additional Information |
Tags | technically agreed

Relationships

related to | 0007146 | closed | Gyorgy Rethy | Operations missing in the list of forbidden port operations

Attached Files | CR7147_resolution_v1.docx (84,450) 24-09-2015 12:38 http://oldforge.etsi.org/mantis/file_download.php?file_id=3280&type=bug CR7147_resolution_v2.docx (84,752) 24-09-2015 16:04 http://oldforge.etsi.org/mantis/file_download.php?file_id=3284&type=bug CR7147_resolution_v3.docx (85,080) 03-11-2015 11:15 http://oldforge.etsi.org/mantis/file_download.php?file_id=3348&type=bug

Issue History
Date Modified | Username | Field | Change
18-08-2015 12:11 | Tomas Urban | New Issue |
21-09-2015 10:27 | Gyorgy Rethy | Target Version | => v4.8.1 (published 2016-07)
21-09-2015 16:16 | Gyorgy Rethy | Tag Attached: technically agreed |
21-09-2015 16:17 | Gyorgy Rethy | Relationship added | related to 0007146
21-09-2015 16:17 | Gyorgy Rethy | Note Added: 0013225 |
23-09-2015 15:48 | Axel Rennoch | Assigned To | => Axel Rennoch
23-09-2015 15:48 | Axel Rennoch | Status | new => assigned
24-09-2015 12:38 | Axel Rennoch | File Added: CR7147_resolution_v1.docx |
24-09-2015 12:41 | Axel Rennoch | Note Added: 0013288 |
24-09-2015 12:41 | Axel Rennoch | Assigned To | Axel Rennoch => Jacob Wieland - Spirent
24-09-2015 12:41 | Axel Rennoch | Status | assigned => acknowledged
24-09-2015 14:11 | Jacob Wieland - Spirent | Note Added: 0013291 |
24-09-2015 14:11 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Axel Rennoch
24-09-2015 14:11 | Jacob Wieland - Spirent | Status | acknowledged => assigned
24-09-2015 16:04 | Jacob Wieland - Spirent | File Added: CR7147_resolution_v2.docx |
24-09-2015 16:04 | Jacob Wieland - Spirent | Note Added: 0013296 |
24-09-2015 16:04 | Jacob Wieland - Spirent | Assigned To | Axel Rennoch => Gyorgy Rethy
24-09-2015 16:04 | Jacob Wieland - Spirent | Status | assigned => confirmed
03-11-2015 11:15 | Gyorgy Rethy | File Added: CR7147_resolution_v3.docx |
03-11-2015 11:16 | Gyorgy Rethy | Note Added: 0013462 |
03-11-2015 11:16 | Gyorgy Rethy | Status | confirmed => resolved
03-11-2015 11:16 | Gyorgy Rethy | Fixed in Version | => v4.8.1 (published 2016-07)
03-11-2015 11:16 | Gyorgy Rethy | Resolution | open => fixed
14-12-2015 11:41 | Gyorgy Rethy | Note Added: 0013613 |
14-12-2015 11:41 | Gyorgy Rethy | Status | resolved => closed

Notes

(0013225)
Gyorgy Rethy
21-09-2015 16:17

STF discussion: check in detail.

(0013288)
Axel Rennoch
24-09-2015 12:41

Do you see further approaches to address forbidden operations?

(0013291)
Jacob Wieland - Spirent
24-09-2015 14:11

I would formulate that the restriction applied to the contents of functions called from special places shall also be applied both to the boolean guard and all other expressions occurring in the match part of an alternative.

(0013296)
Jacob Wieland - Spirent
24-09-2015 16:04

proposal ok for me, please review and resolve

(0013462)
Gyorgy Rethy
03-11-2015 11:16

CR7147_resolution_v3.docx: editorial changes to make text more readable and avoid too many use of apply-applied.

(0013613)
Gyorgy Rethy
14-12-2015 11:41

Added to draft V4.7.4