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

ID | Project | Category | View Status | Date Submitted | Last Update
0005361 | Part 01: TTCN-3 Core Language | Technical | public | 23-09-2009 17:28 | 08-12-2009 16:28

Reporter | Anthony Baire |
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.2.1 (published 2010-07) | Fixed in Version | v4.2.1 (published 2010-07) |
Clause Reference(s) | 19.10 A.1.6.7
Source (company - Author) |

Summary | 0005361: BNF does not allow templates in return statements

Description

It is possible to define TTCN-3 functions that return a template. However the current definition for return statements in the BNF does not allow returning a template:
ReturnStatement ::= ReturnKeyword [Expression]
It should be replaced with the following:
ReturnStatement ::= ReturnKeyword [Expression | TemplateBody]
/* STATIC SEMANTICS - The Expression shall evaluate to an explicit value of a type compatible with the return type for functions returning a value and shall evaluate to an explicit value, template (literal or a template instance) or a matching mechanism compatible with the return type for functions returning a template. */
Note that section 19.10 should be updated as well.

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

Issue History
Date Modified | Username | Field | Change
23-09-2009 17:28 | Anthony Baire | New Issue |
23-09-2009 17:28 | Anthony Baire | Status | new => assigned
23-09-2009 17:28 | Anthony Baire | Assigned To | => Ina Schieferdecker
23-09-2009 17:28 | Anthony Baire | Clause Reference(s) | => 19.10 A.1.6.7
23-09-2009 17:28 | Anthony Baire | Source (company - Author) | =>
07-12-2009 14:34 | Ina Schieferdecker | Target Version | => Edition 4.2.1 (not yet published)
07-12-2009 14:34 | Ina Schieferdecker | Description Updated |
08-12-2009 16:15 | Ina Schieferdecker | Note Added: 0009100 |
08-12-2009 16:27 | Ina Schieferdecker | Note Edited: 0009100 |
08-12-2009 16:28 | Ina Schieferdecker | Status | assigned => resolved
08-12-2009 16:28 | Ina Schieferdecker | Resolution | open => fixed
08-12-2009 16:28 | Ina Schieferdecker | Fixed in Version | => Edition 4.2.1 (not yet published)
08-12-2009 16:28 | Ina Schieferdecker | Status | resolved => closed

Notes

(0009100)
Ina Schieferdecker
08-12-2009 16:15 (edited on: 08-12-2009 16:27)

As proposed - just rewording the comment: 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.