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

ID | Project | Category | View Status | Date Submitted | Last Update
0005670 | Part 01: TTCN-3 Core Language | Technical | public | 27-08-2010 15:27 | 03-09-2010 09:49

Reporter | Gyorgy Rethy |
Assigned To | Ina Schieferdecker |
Priority | normal | Severity | minor | Reproducibility | always
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v4.1.1 (published 2009-06) |
Target Version | v4.3.1 (published 2011-06) | Fixed in Version | v4.3.1 (published 2011-06) |
Clause Reference(s) | 16.1
Source (company - Author) | L.M. Ericsson

Summary | 0005670: Value returning functions shall always return a value
Description | Currently an explicit statement is missing that requires that functions with a return clause in their header always shalle reach a return statement followe by an expression.
Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR5670-Jens-100830.doc (74,752) 31-08-2010 11:18 http://oldforge.etsi.org/mantis/file_download.php?file_id=2418&type=bug CR5670-Jacob-100831.doc (45,568) 31-08-2010 17:10 http://oldforge.etsi.org/mantis/file_download.php?file_id=2419&type=bug

Issue History
Date Modified | Username | Field | Change
27-08-2010 15:27 | Gyorgy Rethy | New Issue |
27-08-2010 15:27 | Gyorgy Rethy | Clause Reference(s) | => 16.1
27-08-2010 15:27 | Gyorgy Rethy | Source (company - Author) | => L.M. Ericsson
30-08-2010 11:16 | Gyorgy Rethy | Status | new => assigned
30-08-2010 11:16 | Gyorgy Rethy | Assigned To | => Jens Grabowski
31-08-2010 11:18 | Jens Grabowski | File Added: CR5670-Jens-100830.doc |
31-08-2010 11:18 | Jens Grabowski | Note Added: 0009661 |
31-08-2010 11:19 | Jens Grabowski | Assigned To | Jens Grabowski => Gyorgy Rethy
31-08-2010 13:30 | Jacob Wieland - Spirent | Note Added: 0009666 |
31-08-2010 13:31 | Jacob Wieland - Spirent | Note Edited: 0009666 |
31-08-2010 16:24 | Jens Grabowski | Assigned To | Gyorgy Rethy => Jacob Wieland - Spirent
31-08-2010 17:10 | Jacob Wieland - Spirent | File Added: CR5670-Jacob-100831.doc |
31-08-2010 17:29 | Jens Grabowski | Note Added: 0009667 |
01-09-2010 17:14 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Ina Schieferdecker
01-09-2010 17:15 | Jacob Wieland - Spirent | Status | assigned => resolved
01-09-2010 17:15 | Jacob Wieland - Spirent | Resolution | open => fixed
03-09-2010 09:26 | Gyorgy Rethy | Status | resolved => feedback
03-09-2010 09:26 | Gyorgy Rethy | Resolution | fixed => reopened
03-09-2010 09:27 | Gyorgy Rethy | Status | feedback => resolved
03-09-2010 09:27 | Gyorgy Rethy | Resolution | reopened => fixed
03-09-2010 09:27 | Gyorgy Rethy | Target Version | => Edition 4.3.1 (not yet published)
03-09-2010 09:49 | Ina Schieferdecker | Note Added: 0009704 |
03-09-2010 09:49 | Ina Schieferdecker | Status | resolved => closed
03-09-2010 09:49 | Ina Schieferdecker | Fixed in Version | => Edition 4.3.1 (not yet published)

Notes

(0009661)
Jens Grabowski
31-08-2010 11:18

Proposal for resolution in the attached file. Assigned to GyÃ¶rgy for proofreading.

(0009666)
Jacob Wieland - Spirent
31-08-2010 13:30 (edited on: 31-08-2010 13:31)

I think the text should rather be as follows:
"If the function header includes a return clause the function, when terminating, shall do so by executing a return statement. The function will cause a test case error if it terminates (i.e. reaches the end of the function body) without executing a return statement."
In Jens's proposal, I had problems with the term signature (which in the TTCN-3 context means something else than you mean), also with type identifier since it can also be a more type expression than an identifier. Also, the function could be non-terminating and this should not cause a test case error, but the proposal required this, as I understood it. The part of the returning of the proper value/template is unnecessary as it is covered adequately by the text before this paragraph.
A shorter description would be:
If the function header includes a return clause every finite sequence of control statements executed by the function must terminate with a return statement.

(0009667)
Jens Grabowski
31-08-2010 17:29

Ok, for me!

(0009704)
Ina Schieferdecker
03-09-2010 09:49

Implemented.