Logo etsi

ETSI's Bug Tracker
Main | My View | View Issues | Change Log | Roadmap | Monitor project
  
Notice: information submitted on the ETSI issue Tracker may be incorporated in ETSI publication(s) and therefore subject to the ETSI IPR policy.

View Issue Details [ Jump to Notes ] [ Issue History ] [ Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007147Part 01: TTCN-3 Core LanguageTechnicalpublic18-08-2015 12:1114-12-2015 11:41
ReporterTomas Urban 
Assigned ToGyorgy Rethy 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Versionv4.7.1 (published 2015-06) 
Target Versionv4.8.1 (published 2016-07)Fixed in Versionv4.8.1 (published 2016-07) 
Summary0007147: Operation with side effects in alt statemets
DescriptionThe 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.
Tagstechnically agreed
Clause Reference(s)20.2
Source (company - Author)STF 487
Attached Filesdocx file icon CR7147_resolution_v1.docx [^] (84,450 bytes) 24-09-2015 12:38
docx file icon CR7147_resolution_v2.docx [^] (84,752 bytes) 24-09-2015 16:04
docx file icon CR7147_resolution_v3.docx [^] (85,080 bytes) 03-11-2015 11:15

- Relationships
related to 0007146closedGyorgy Rethy Operations missing in the list of forbidden port operations 

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

 STF discussion: check in detail.
(0013288)
Axel Rennoch (developer)
24-09-2015 12:41

 Do you see further approaches to address forbidden operations?
(0013291)
Jacob Wieland - Spirent (reporter)
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 (reporter)
24-09-2015 16:04

 proposal ok for me, please review and resolve
(0013462)
Gyorgy Rethy (reporter)
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 (reporter)
14-12-2015 11:41

 Added to draft V4.7.4

- 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

MantisBT 1.2.14 [^]
Copyright © 2000 - 2024 MantisBT Team
Powered by Mantis Bugtracker