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

ID | Project | Category | View Status | Date Submitted | Last Update
0007610 | Part 01: TTCN-3 Core Language | Technical | public | 10-02-2017 14:42 | 30-12-2017 18:05

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.9.1 (published 2017-05) |
Target Version | v4.10.1 (published 2018-05) | Fixed in Version | v4.10.1 (published 2018-05) |
Clause Reference(s) | 22.3.3
Source (company - Author) | STF 521

Summary | 0007610: Missing rules for return value of the reply operation

Description

The rules on the return value are insufficient. Only the following rules are present at the moment in the chapter 22.3.3:
The value part of the reply operation consists of a signature reference with an associated actual parameter list and (optional) return value.
A return value or template shall be explicitly stated with the value keyword and is first evaluated before returning.
If a value is to be returned to the calling party, this shall be explicitly stated using the value keyword. The TemplateBody in the value clause shall conform to the template(value) restriction.
So what is missing or not sufficiently explained:
1. The rules shall more precisely describe the relation between the signature template (which defines the signature reference and signature parameters) and the optional return value template (which is a separate entity). The first cited rule doesn't connect these two entities very well, even though this relation is esential for type checks of the return value.
2. It should be clearly said that optionality of the return value is related to the signature definition. If the signature defines a return value, the value clause shall be present in the reply operation. If the signature doesn't define a return value, the value clause shall be missing.

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR-7610-170728.docx (64,452) 28-07-2017 10:19 http://oldforge.etsi.org/mantis/file_download.php?file_id=3668&type=bug CR-7610-170728-v2.docx (84,492) 28-07-2017 11:29 http://oldforge.etsi.org/mantis/file_download.php?file_id=3670&type=bug

Issue History
Date Modified | Username | Field | Change
10-02-2017 14:42 | Tomas Urban | New Issue |
24-04-2017 15:36 | szabados | Note Added: 0014602 |
02-05-2017 09:25 | Jacob Wieland - Spirent | Note Added: 0014609 |
06-06-2017 11:53 | Jens Grabowski | Assigned To | => Jens Grabowski
06-06-2017 11:53 | Jens Grabowski | Status | new => assigned
28-07-2017 10:18 | Jens Grabowski | Note Added: 0014792 |
28-07-2017 10:19 | Jens Grabowski | File Added: CR-7610-170728.docx |
28-07-2017 10:19 | Jens Grabowski | Assigned To | Jens Grabowski => Tomas Urban
28-07-2017 10:19 | Jens Grabowski | Status | assigned => confirmed
28-07-2017 11:29 | Tomas Urban | File Added: CR-7610-170728-v2.docx |
28-07-2017 11:31 | Tomas Urban | Note Added: 0014794 |
28-07-2017 11:31 | Tomas Urban | Assigned To | Tomas Urban => Jens Grabowski
04-09-2017 12:35 | Jens Grabowski | Note Added: 0014807 |
04-09-2017 12:35 | Jens Grabowski | Status | confirmed => resolved
04-09-2017 12:35 | Jens Grabowski | Resolution | open => fixed
04-09-2017 12:35 | Jens Grabowski | Assigned To | Jens Grabowski => Gyorgy Rethy
30-12-2017 18:05 | Gyorgy Rethy | Note Added: 0014961 |
30-12-2017 18:05 | Gyorgy Rethy | Status | resolved => closed
30-12-2017 18:05 | Gyorgy Rethy | Product Version | => v4.9.1 (published 2017-05)
30-12-2017 18:05 | Gyorgy Rethy | Fixed in Version | => v4.10.1 (published 2018-05)
30-12-2017 18:05 | Gyorgy Rethy | Target Version | => v4.10.1 (published 2018-05)

Notes

(0014602)
szabados
24-04-2017 15:36

True, we already have checks for these issues.

(0014609)
Jacob Wieland - Spirent
02-05-2017 09:25

agreed

(0014792)
Jens Grabowski
28-07-2017 10:18

Please check resolution proposal (restrictions c and f). If ok, assign to György for implementation.

(0014794)
Tomas Urban
28-07-2017 11:31

I am fine with the changes, but I made two more modifications in the following restriction g: 1. I removed the first sentences as it is covered now by the new restriction f 2. I added a rule about type compatibility of the return value Please check and if fine, it can be assigned to György for implementation.

(0014807)
Jens Grabowski
04-09-2017 12:35

Ready for Implementation

(0014961)
Gyorgy Rethy
30-12-2017 18:05

Added to draft V4.9.2