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

ID | Project | Category | View Status | Date Submitted | Last Update
0005486 | Part 01: TTCN-3 Core Language | Technical | public | 17-03-2010 16:28 | 23-03-2010 09:23

Reporter | Gyorgy Rethy |
Assigned To | Ina Schieferdecker |
Priority | normal | Severity | minor | Reproducibility | always
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version | v4.2.1 (published 2010-07) | Fixed in Version | v4.2.1 (published 2010-07) |
Clause Reference(s) | A.1.6.1.3
Source (company - Author) | L.M. Ericsson

Summary | 0005486: BNF errors in return statement

Description

There are two errros in the current BNF (see below):
- return statement with no return value/template is allowed
- in-line template is not allowed
Current BNF:
556. ReturnStatement ::= ReturnKeyword [Expression | TemplateBody]
/* STATIC SEMANTICS - Expression shall evaluate to a value of a type compatible with the return type for functions returning a value. It shall evaluate to a value, template (literal or template instance), or a matching mechanism compatible with the return type for functions returning a template. */
Proposed:
556. ReturnStatement ::= ReturnKeyword ( Expression | InLineTemplate )
// change 1 ^------------^
// change 2 ^ ^
/* STATIC SEMANTICS - Expression shall evaluate to a value of a type compatible with the return type for functions returning a value. It shall evaluate to a value, template (literal or template instance), or a matching mechanism compatible with the return type for functions returning a template. */

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files |

Issue History
Date Modified | Username | Field | Change
17-03-2010 16:28 | Gyorgy Rethy | New Issue |
17-03-2010 16:28 | Gyorgy Rethy | Clause Reference(s) | => A.1.6.1.3
17-03-2010 16:28 | Gyorgy Rethy | Source (company - Author) | => L.M. Ericsson
22-03-2010 15:32 | Gyorgy Rethy | Project | TTCN-3 Change Requests => Part 01: TTCN-3 Core Language
22-03-2010 15:32 | Gyorgy Rethy | Assigned To | => Ina Schieferdecker
22-03-2010 15:32 | Gyorgy Rethy | Status | new => assigned
22-03-2010 15:32 | Gyorgy Rethy | Target Version | => Edition 4.2.1 (not yet published)
23-03-2010 09:17 | Ina Schieferdecker | Note Added: 0009251 |
23-03-2010 09:20 | Ina Schieferdecker | Note Edited: 0009251 |
23-03-2010 09:22 | Ina Schieferdecker | Status | assigned => resolved
23-03-2010 09:22 | Ina Schieferdecker | Resolution | open => fixed
23-03-2010 09:22 | Ina Schieferdecker | Fixed in Version | => Edition 4.2.1 (not yet published)
23-03-2010 09:23 | Ina Schieferdecker | Status | resolved => closed

Notes

(0009251)
Ina Schieferdecker
23-03-2010 09:17 (edited on: 23-03-2010 09:20)

Return without return value is needed to escape from a function having no return type defined. Hence, grammar rule only to be changed to 556. ReturnStatement ::= ReturnKeyword [ Expression | InLineTemplate ]