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

ID | Project | Category | View Status | Date Submitted | Last Update
0007173 | Part 01: TTCN-3 Core Language | Clarification | public | 10-09-2015 10:40 | 11-12-2015 14:50

Reporter | Jacob Wieland - Spirent |
Assigned To | Gyorgy Rethy |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version | v4.8.1 (published 2016-07) | Fixed in Version | v4.8.1 (published 2016-07) |
Clause Reference(s) | 19.1
Source (company - Author) | Testing Technologies - Jacob Wieland

Summary | 0007173: Semantic description of Assignments is contradictory

Description

In section 19.1 Assignments, it is stated in the Semantic Description part:
"The expression shall contain no unbound variables."
in the next paragraph it is stated (contradictorily):
"If a partially initialized value is assigned to a completely initialized variable, fields uninitialized at the right-hand side of the assignment shall also become uninitialized at the left-hand side."
Also, the first restriction can not be found in the Restrictions part of the section.

Steps To Reproduce |
Additional Information |
Tags | technically agreed
Relationships |
Attached Files | CR7173_resolution.docx (170,366) 15-10-2015 12:57 http://oldforge.etsi.org/mantis/file_download.php?file_id=3316&type=bug

Issue History
Date Modified | Username | Field | Change
10-09-2015 10:40 | Jacob Wieland - Spirent | New Issue |
21-09-2015 09:46 | Gyorgy Rethy | Project | TTCN-3 Change Requests => Part 01: TTCN-3 Core Language
21-09-2015 10:26 | Gyorgy Rethy | Target Version | => v4.8.1 (published 2016-07)
22-09-2015 10:21 | Gyorgy Rethy | Note Added: 0013236 |
22-09-2015 10:21 | Gyorgy Rethy | Tag Attached: technically agreed |
22-09-2015 10:21 | Gyorgy Rethy | Assigned To | => Gyorgy Rethy
22-09-2015 10:21 | Gyorgy Rethy | Status | new => assigned
15-10-2015 12:57 | Jacob Wieland - Spirent | File Added: CR7173_resolution.docx |
15-10-2015 12:57 | Jacob Wieland - Spirent | Note Added: 0013405 |
15-10-2015 12:57 | Jacob Wieland - Spirent | Status | assigned => resolved
15-10-2015 12:57 | Jacob Wieland - Spirent | Resolution | open => fixed
04-11-2015 14:03 | Gyorgy Rethy | Fixed in Version | => v4.8.1 (published 2016-07)
11-12-2015 14:50 | Gyorgy Rethy | Note Added: 0013594 |
11-12-2015 14:50 | Gyorgy Rethy | Status | resolved => closed

Notes

(0013236)
Gyorgy Rethy
22-09-2015 10:21

STF discussion: delete the sentence, restrictions available in other parts.

(0013405)
Jacob Wieland - Spirent
15-10-2015 12:57

added proposal with deleted sentence

(0013594)
Gyorgy Rethy
11-12-2015 14:50

Added to draft V4.7.4