ETSI's Bug Tracker - Part 04: TTCN-3 Operational Semantics
View Issue Details

ID | Project | Category | View Status | Date Submitted | Last Update
0004281 | Part 04: TTCN-3 Operational Semantics | Technical | public | 14-10-2008 11:12 | 20-04-2009 11:43

Reporter | Thomas DeiÃŸ |
Assigned To | Gyorgy Rethy |
Priority | normal | Severity | minor | Reproducibility | N/A
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v3.3.1 (published 2008-04) |
Target Version | v4.1.1 (published 2009-06) | Fixed in Version | v4.1.1 (published 2009-06) |
Clause Reference(s) | part 4, clause 7.7
Source (company - Author) | Nokia siemens Networks, Thomas Deiss

Summary | 0004281: Multiple evaluation of expression in select case

Description

The semantics of the select-case construct is defined by a textual replacement with nested if-then-else statements. As defined, the expression in the select part, is evaluated several times in the if-then-else statements. If the expression calls a function with side effects, this might not be what the user expects.
It is suggested to to define the semantics as a statement block, where first a variable is declared and the value of the expression is assigned to the variable. In the if-then-else statements the variable would be used then.
Note that this is a backward incompatible change.

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR4281-Part-1-Multiple-Evaluation-Select-Case-Resolution-JG-V1.doc (148,992) 29-12-2008 14:41 http://oldforge.etsi.org/mantis/file_download.php?file_id=1926&type=bug CR4281-Part-4-Multiple-Evaluation-Select-Case-Resolution-JG-V1.doc (68,608) 29-12-2008 14:41 http://oldforge.etsi.org/mantis/file_download.php?file_id=1927&type=bug

Issue History
Date Modified | Username | Field | Change
14-10-2008 11:12 | Thomas DeiÃŸ | New Issue |
14-10-2008 11:12 | Thomas DeiÃŸ | Status | new => assigned
14-10-2008 11:12 | Thomas DeiÃŸ | Assigned To | => Jens Grabowski
14-10-2008 11:12 | Thomas DeiÃŸ | Clause Reference(s) | => part 4, clause 7.7
14-10-2008 11:12 | Thomas DeiÃŸ | Source (company - Author) | => Nokia siemens Networks, Thomas Deiss
12-12-2008 11:41 | Ina Schieferdecker | Target Version | => Edition 4.1.1 (not yet published)
29-12-2008 14:40 | Jens Grabowski | Note Added: 0007763 |
29-12-2008 14:41 | Jens Grabowski | File Added: CR4281-Part-1-Multiple-Evaluation-Select-Case-Resolution-JG-V1.doc |
29-12-2008 14:41 | Jens Grabowski | File Added: CR4281-Part-4-Multiple-Evaluation-Select-Case-Resolution-JG-V1.doc |
29-12-2008 14:42 | Jens Grabowski | Assigned To | Jens Grabowski => Gyorgy Rethy
12-01-2009 17:28 | Ina Schieferdecker | Note Added: 0007823 |
12-01-2009 17:29 | Ina Schieferdecker | Status | assigned => resolved
12-01-2009 17:29 | Ina Schieferdecker | Resolution | open => fixed
12-01-2009 17:29 | Ina Schieferdecker | Fixed in Version | => Edition 4.1.1 (not yet published)
20-04-2009 11:43 | Ina Schieferdecker | Status | resolved => closed

Notes

(0007763)
Jens Grabowski
29-12-2008 14:40

The resolution of this CR requires an update of an example in Part 1. This update can be found in file "CR4281-Part-1-Multiple-Evaluation-Select-Case-Resolution-JG-V1.doc". The resolution for Part 4 can be found in "CR4281-Part-4-Multiple-Evaluation-Select-Case-Resolution-JG-V1.doc"

(0007823)
Ina Schieferdecker
12-01-2009 17:28

The solution is ok (just a typo in 'multiple'). Changes added to part 1.