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

ID | Project | Category | View Status | Date Submitted | Last Update
0006711 | Part 01: TTCN-3 Core Language | Technical | public | 07-04-2014 07:46 | 04-01-2015 20:17

Reporter | Andras Kovacs |
Assigned To | Gyorgy Rethy |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v4.5.1 (published 2013-04) |
Target Version | v4.7.1 (published 2015-06) | Fixed in Version | v4.7.1 (published 2015-06) |
Clause Reference(s) | 15.9
Source (company - Author) | STF470 - Andras Kovacs

Summary | 0006711: Section 15.9: the phrasing of restriction a) must be made more precise

Description

Restriction a) states: "The expression-parameter of the match operation shall not evaluate to a template, i.e. the match operation cannot be used to compare two templates."
The above restriction can be interpreted in two different ways:
A: a template as an input parameter of a match operation
B: "shall not evaluate to a template" is interpreted to meant that, if evaluated, it will not contain any constraints, i.e. is a value. This is true for initialized template(value) variables. Othrwise,the text should have stated "shall not be a template".
The meaning of the restriction must be made more clear in light of the above ambiguity.

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | draft-res-6711.docx (19,955) 10-10-2014 12:48 http://oldforge.etsi.org/mantis/file_download.php?file_id=3145&type=bug draft-res-6711-v2.docx (22,213) 03-11-2014 12:40 http://oldforge.etsi.org/mantis/file_download.php?file_id=3148&type=bug draft-res-6711-v3.docx (22,247) 03-11-2014 13:08 http://oldforge.etsi.org/mantis/file_download.php?file_id=3150&type=bug

Issue History
Date Modified | Username | Field | Change
07-04-2014 07:46 | Andras Kovacs | New Issue |
08-04-2014 10:59 | Gyorgy Rethy | Note Added: 0011956 |
08-04-2014 10:59 | Gyorgy Rethy | Assigned To | => Gyorgy Rethy
08-04-2014 10:59 | Gyorgy Rethy | Status | new => assigned
08-04-2014 10:59 | Gyorgy Rethy | Target Version | => v4.7.1 (published 2015-06)
10-10-2014 10:41 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Axel Rennoch
10-10-2014 12:48 | Axel Rennoch | File Added: draft-res-6711.docx |
10-10-2014 12:48 | Axel Rennoch | Assigned To | Axel Rennoch => Gyorgy Rethy
10-10-2014 12:50 | Axel Rennoch | Note Added: 0012365 |
10-10-2014 12:50 | Axel Rennoch | Status | assigned => confirmed
13-10-2014 09:24 | Gyorgy Rethy | Note Added: 0012367 |
13-10-2014 09:24 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Axel Rennoch
13-10-2014 09:29 | Gyorgy Rethy | Note Edited: 0012367 | bug_revision_view_page.php?bugnote_id=12367#r89
03-11-2014 12:40 | Axel Rennoch | File Added: draft-res-6711-v2.docx |
03-11-2014 12:42 | Axel Rennoch | Assigned To | Axel Rennoch => Tomas Urban
03-11-2014 12:42 | Axel Rennoch | Status | confirmed => assigned
03-11-2014 12:43 | Axel Rennoch | Note Added: 0012374 |
03-11-2014 12:43 | Axel Rennoch | Status | assigned => confirmed
03-11-2014 13:08 | Tomas Urban | File Added: draft-res-6711-v3.docx |
03-11-2014 13:17 | Tomas Urban | Note Added: 0012376 |
03-11-2014 13:17 | Tomas Urban | Assigned To | Tomas Urban => Gyorgy Rethy
05-11-2014 16:27 | Gyorgy Rethy | Note Added: 0012439 |
05-11-2014 16:27 | Gyorgy Rethy | Status | confirmed => resolved
05-11-2014 16:27 | Gyorgy Rethy | Fixed in Version | => v4.7.1 (published 2015-06)
05-11-2014 16:27 | Gyorgy Rethy | Resolution | open => fixed
04-01-2015 20:17 | Gyorgy Rethy | Note Added: 0012611 |
04-01-2015 20:17 | Gyorgy Rethy | Status | resolved => closed

Notes

(0011956)
Gyorgy Rethy
08-04-2014 10:59

Cross-check template definition, expressions clause and all places where expression is used. Add note to clause 7 saying that templates can be used at the RHS of assignment, parameter passing and (predefined) functions where template passing is explicitly allowed.

(0012365)
Axel Rennoch
10-10-2014 12:50

Re-wording following the CR, note to clause 7 added, cross-check done. Please have a look to changes.

(0012367)
Gyorgy Rethy
13-10-2014 09:24 (edited on: 13-10-2014 09:29)

The text proposed in the CR is unclear to me, we should not follow it directly (i.e. the term "constrain" is not defined, while "constraint" and "constrained" are intensively used in relation to subtyping).
I propose to solve the CR in the opposite way: state explicitly that the argument of the match shall evaluate to a value. We have a definition for value:
value: TTCN-3 data objects are values or templates by definition. A TTCN 3 value is an instance of its type
NOTE: Values are defined by module parameters, constants, value variables, or formal value parameters. Any of those are value objects from the point of view of their usage.
To remove Andras's ambiguity note could be extended by:" A template containing only specific value matching - though refering to a single instance of its type - is not a value object, but is a template object."

(0012374)
Axel Rennoch
03-11-2014 12:43

A revised resolution taking into account latest comments.

(0012376)
Tomas Urban
03-11-2014 13:17

I made one small changes in the proposal, but otherwise it is fine by me. Gyorgy, could please take a look at it before marking it as resolved?

(0012439)
Gyorgy Rethy
05-11-2014 16:27

Fine with me.

(0012611)
Gyorgy Rethy
04-01-2015 20:17

Added to draft V4.6.3