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

ID | Project | Category | View Status | Date Submitted | Last Update
0006580 | Part 01: TTCN-3 Core Language | Technical | public | 08-07-2013 11:55 | 29-08-2013 17:12

Reporter | Andras Kovacs |
Assigned To | Ina Schieferdecker |
Priority | normal | Severity | minor | Reproducibility | N/A
Status | closed | Resolution | won't fix |
Platform |  | OS |  | OS Version |
Product Version | v4.4.1 (published 2012-04) |
Target Version | v4.6.1 (published 2014-06) | Fixed in Version |  |
Clause Reference(s) | 15.6.2
Source (company - Author) | STF451 - Andras Kovacs

Summary | 0006580: It must be clarified in the standard whether the first parameter in match() can be a template

Description

It is presently unclear whether the first parameter in match() function can be a template.
Reasons to consider that a template is allowed as first parameter:
- The BNF says, that first argument shall be an expression, which expression can be also a reference (identifier), and since template values are compatible with values, template value should be accepted.
Reasons to consider that a template is not allowed here:
- The BNF says, that first argument shall be an expression
- The BNF uses different statements for value reference (ReferencedValue) and template reference (TemplateRefWithParList). That efficiently excludes parameterized template instances in expression.
The proper interpretation should be clarified in the next revision.

Steps To Reproduce |
Additional Information |
Tags | No tags attached.

Relationships

related to | 0006562 | closed | Ina Schieferdecker | Use of template references in expression

Attached Files |

Issue History
Date Modified | Username | Field | Change
08-07-2013 11:55 | Andras Kovacs | New Issue |
08-07-2013 11:55 | Andras Kovacs | Clause Reference(s) | => 15.6.2
08-07-2013 11:55 | Andras Kovacs | Source (company - Author) | => STF451 - Andras Kovacs
08-07-2013 14:23 | Jens Grabowski | Status | new => assigned
08-07-2013 14:23 | Jens Grabowski | Assigned To | => Gyorgy Rethy
08-07-2013 16:01 | Gyorgy Rethy | Target Version | => v4.6.1 (published 2014-06)
11-07-2013 08:46 | Gyorgy Rethy | Relationship added | related to 0006562
11-07-2013 09:13 | Gyorgy Rethy | Note Added: 0011530 |
11-07-2013 09:18 | Gyorgy Rethy | Note Edited: 0011530 |
11-07-2013 14:26 | Gyorgy Rethy | Note Edited: 0011530 |
11-07-2013 14:26 | Gyorgy Rethy | Note Edited: 0011530 |
11-07-2013 14:26 | Gyorgy Rethy | Status | assigned => confirmed
29-08-2013 10:01 | Gyorgy Rethy | Status | confirmed => assigned
29-08-2013 10:01 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Jacob Wieland - Spirent
29-08-2013 14:05 | Jacob Wieland - Spirent | Note Added: 0011638 |
29-08-2013 14:05 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Ina Schieferdecker
29-08-2013 14:05 | Jacob Wieland - Spirent | Status | assigned => confirmed
29-08-2013 17:12 | Ina Schieferdecker | Note Added: 0011645 |
29-08-2013 17:12 | Ina Schieferdecker | Status | confirmed => closed
29-08-2013 17:12 | Ina Schieferdecker | Resolution | open => won't fix

Notes

(0011530)
Gyorgy Rethy
11-07-2013 09:13 (edited on: 11-07-2013 14:26)

I think no change is needed. Clause 15.9 Restriction a) declares:
"a) 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."
It should be sufficient, together with the clarification of what are values and templates, included in CR6562 (i.e. an object defined as template containing a specific value is a template).
Resolution to be ACKed by STF460.

(0011638)
Jacob Wieland - Spirent
29-08-2013 14:05

I concur.

(0011645)
Ina Schieferdecker
29-08-2013 17:12

As agreed