Logo etsi

ETSI's Bug Tracker
Main | My View | View Issues | Change Log | Roadmap | Monitor project
  
Notice: information submitted on the ETSI issue Tracker may be incorporated in ETSI publication(s) and therefore subject to the ETSI IPR policy.

View Issue Details [ Jump to Notes ] [ Issue History ] [ Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007610Part 01: TTCN-3 Core LanguageTechnicalpublic10-02-2017 14:4230-12-2017 18:05
ReporterTomas Urban 
Assigned ToGyorgy Rethy 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Versionv4.9.1 (published 2017-05) 
Target Versionv4.10.1 (published 2018-05)Fixed in Versionv4.10.1 (published 2018-05) 
Summary0007610: Missing rules for return value of the reply operation
DescriptionThe 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.

TagsNo tags attached.
Clause Reference(s)22.3.3
Source (company - Author)STF 521
Attached Filesdocx file icon CR-7610-170728.docx [^] (64,452 bytes) 28-07-2017 10:19
docx file icon CR-7610-170728-v2.docx [^] (84,492 bytes) 28-07-2017 11:29

- Relationships

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

 True, we already have checks for these issues.
(0014609)
Jacob Wieland - Spirent (reporter)
02-05-2017 09:25

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

 Please check resolution proposal (restrictions c and f). If ok, assign to György for implementation.
(0014794)
Tomas Urban (developer)
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 (manager)
04-09-2017 12:35

 Ready for Implementation
(0014961)
Gyorgy Rethy (reporter)
30-12-2017 18:05

 Added to draft V4.9.2

- 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)

MantisBT 1.2.14 [^]
Copyright © 2000 - 2024 MantisBT Team
Powered by Mantis Bugtracker