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

ID | Project | Category | View Status | Date Submitted | Last Update
0007119 | Part 01: TTCN-3 Core Language | Technical | public | 31-07-2015 11:34 | 03-11-2015 09:44

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) | 3.1, 5.4.2
Source (company - Author) | STF 487

Summary | 0007119: Out parameter rule inside a note

Description

The section 3.1 contains a definition of out parameterization. This definition contains NOTE 4 describing the TE behaviour in cases when the out formal parameter hasn't been initialized during invocation of a parameterized object.
The problem is that this note is not supported by any formal rule further in the text. It is important to specify the rule, because otherwise the rules for handling uninitialized values should apply to this case, producing an error.
Proposal: The note shall be changed into a formal rule in the chapter 5.4.2

Steps To Reproduce |
Additional Information |
Tags | No tags attached.

Relationships

related to | 0007114 | closed | Gyorgy Rethy | Actual parameters of out formal value parameters not defined

Attached Files |

Issue History
Date Modified | Username | Field | Change
31-07-2015 11:34 | Tomas Urban | New Issue |
03-08-2015 10:18 | Gyorgy Rethy | Assigned To | => Jacob Wieland - Spirent
03-08-2015 10:18 | Gyorgy Rethy | Status | new => assigned
03-08-2015 10:20 | Gyorgy Rethy | Note Added: 0013015 |
04-08-2015 14:37 | Jacob Wieland - Spirent | Note Added: 0013066 |
04-08-2015 14:37 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Gyorgy Rethy
04-08-2015 14:37 | Jacob Wieland - Spirent | Status | assigned => confirmed
04-08-2015 14:37 | Jacob Wieland - Spirent | Relationship added | related to 0007114
25-09-2015 10:58 | Gyorgy Rethy | Target Version | => v4.8.1 (published 2016-07)
03-11-2015 09:44 | Gyorgy Rethy | Note Added: 0013453 |
03-11-2015 09:44 | Gyorgy Rethy | Status | confirmed => closed
03-11-2015 09:44 | Gyorgy Rethy | Resolution | open => fixed
03-11-2015 09:44 | Gyorgy Rethy | Fixed in Version | => v4.8.1 (published 2016-07)

Notes

(0013015)
Gyorgy Rethy
03-08-2015 10:20

STF discussion 03-08-2015: comment agreed, check main text and move the note if no relevant rule exits; text has to be both in clauses in value and template formal parameers.

(0013066)
Jacob Wieland - Spirent
04-08-2015 14:37

see resolution proposal CR 7114

(0013453)
Gyorgy Rethy
03-11-2015 09:44

Resolution can be found in CR7114