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 |
|
|
STF discussion: check in detail. |
|
|
|
Do you see further approaches to address forbidden operations? |
|
|
|
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. |
|
|
|
proposal ok for me, please review and resolve |
|
|
|
CR7147_resolution_v3.docx: editorial changes to make text more readable and avoid too many use of apply-applied. |
|
|
|
|