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

ID | Project | Category | View Status | Date Submitted | Last Update
0006564 | Part 01: TTCN-3 Core Language | Clarification | public | 28-05-2013 15:38 | 06-01-2015 18:57

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.4.1 (published 2012-04) |
Target Version | v4.7.1 (published 2015-06) | Fixed in Version | v4.7.1 (published 2015-06) |
Clause Reference(s) | 15.11
Source (company - Author) | Elvior

Summary | 0006564: Concatenation example using undefined rules

Description

The chapter 15.11 contains the following example:
template octetstring t_Myoct1 := 'ABC'O & 'D'O & ? & ? length(1) & 'EF'O;
// results in the template 'ABCD*?EF'O
In this example, AnyValue is converted into AnyElementsOrNone. However, neither the chapter 15.11 nor any other chapter contains a rule that would describe this kind of template conversion.
Proposal:
The rule shall be formally declared or the example shall be removed from the specification

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

Relationships

related to | 0006563 | closed | Ina Schieferdecker | Ambiguous rule in rules on template concatenation

Attached Files | CR6564_v1.docx (20,589) 29-08-2013 17:40 http://oldforge.etsi.org/mantis/file_download.php?file_id=2876&type=bug CR6564_v2.docx (22,034) 07-10-2014 09:12 http://oldforge.etsi.org/mantis/file_download.php?file_id=3089&type=bug

Issue History
Date Modified | Username | Field | Change
28-05-2013 15:38 | Tomas Urban | New Issue |
28-05-2013 15:38 | Tomas Urban | Clause Reference(s) | => 15.11
28-05-2013 15:38 | Tomas Urban | Source (company - Author) | => Elvior
28-05-2013 15:41 | Tomas Urban | Relationship added | related to 0006563
08-07-2013 11:51 | Jacob Wieland - Spirent | Note Added: 0011447 |
08-07-2013 12:04 | Gyorgy Rethy | Target Version | => v4.7.1 (published 2015-06)
08-07-2013 14:26 | Jens Grabowski | Status | new => assigned
08-07-2013 14:26 | Jens Grabowski | Assigned To | => Ina Schieferdecker
09-07-2013 14:33 | Ina Schieferdecker | Note Added: 0011477 |
29-08-2013 17:40 | Ina Schieferdecker | File Added: CR6564_v1.docx |
29-08-2013 17:41 | Ina Schieferdecker | Note Added: 0011647 |
29-08-2013 17:41 | Ina Schieferdecker | Status | assigned => confirmed
29-08-2013 17:42 | Ina Schieferdecker | Status | confirmed => assigned
29-08-2013 17:42 | Ina Schieferdecker | Assigned To | Ina Schieferdecker => Jacob Wieland - Spirent
30-08-2013 16:23 | Jacob Wieland - Spirent | Status | assigned => resolved
30-08-2013 16:23 | Jacob Wieland - Spirent | Fixed in Version | => v4.6.1 (published 2014-06)
30-08-2013 16:23 | Jacob Wieland - Spirent | Resolution | open => fixed
30-08-2013 16:23 | Jacob Wieland - Spirent | Note Added: 0011666 |
09-10-2013 13:33 | Ina Schieferdecker | Status | resolved => assigned
09-10-2013 13:33 | Ina Schieferdecker | Assigned To | Jacob Wieland - Spirent => Ina Schieferdecker
29-11-2013 12:43 | Ina Schieferdecker | Note Added: 0011867 |
29-11-2013 12:43 | Ina Schieferdecker | Status | assigned => resolved
29-11-2013 12:43 | Ina Schieferdecker | Status | resolved => closed
18-03-2014 12:37 | Tomas Urban | Note Added: 0011927 |
18-03-2014 12:37 | Tomas Urban | Status | closed => feedback
18-03-2014 12:37 | Tomas Urban | Resolution | fixed => reopened
07-04-2014 13:53 | Jens Grabowski | Note Added: 0011937 |
07-04-2014 13:54 | Jens Grabowski | Assigned To | Ina Schieferdecker => Gyorgy Rethy
07-04-2014 13:54 | Jens Grabowski | Status | feedback => assigned
08-04-2014 16:50 | Gyorgy Rethy | Target Version | v4.6.1 (published 2014-06) => v4.7.1 (published 2015-06)
09-04-2014 14:06 | Gyorgy Rethy | Fixed in Version | v4.6.1 (published 2014-06) =>
06-10-2014 14:48 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Tomas Urban
07-10-2014 09:12 | Tomas Urban | File Added: CR6564_v2.docx |
07-10-2014 09:13 | Tomas Urban | Note Added: 0012245 |
07-10-2014 09:13 | Tomas Urban | Assigned To | Tomas Urban => Gyorgy Rethy
07-10-2014 09:13 | Tomas Urban | Status | assigned => confirmed
08-10-2014 07:53 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Jens Grabowski
08-10-2014 08:41 | Jens Grabowski | Assigned To | Jens Grabowski => Gyorgy Rethy
08-10-2014 08:41 | Jens Grabowski | Status | confirmed => assigned
08-10-2014 08:41 | Jens Grabowski | Status | assigned => resolved
08-10-2014 08:41 | Jens Grabowski | Resolution | reopened => fixed
06-01-2015 18:57 | Gyorgy Rethy | Note Added: 0012656 |
06-01-2015 18:57 | Gyorgy Rethy | Status | resolved => closed
06-01-2015 18:57 | Gyorgy Rethy | Fixed in Version | => v4.7.1 (published 2015-06)

Notes

(0011447)
Jacob Wieland - Spirent
08-07-2013 11:51

Since it is clear what the semantics of ? length(X) (it matches all strings of the specified length) for a string type is, no conversion rule is necessary as the only equivalent string-notation that matches the same set of strings is the string containing exactly X AnyElements. Even though this is implicit, it is still unambiguous.

(0011477)
Ina Schieferdecker
09-07-2013 14:33

A sentence to be added in order to explain the conversion of & ? & into * Also, Octetstring examples to be checked that they contain even number of octets

(0011647)
Ina Schieferdecker
29-08-2013 17:41

Please check

(0011666)
Jacob Wieland - Spirent
30-08-2013 16:23

okay with me

(0011867)
Ina Schieferdecker
29-11-2013 12:43

as proposed

(0011927)
Tomas Urban
18-03-2014 12:37

I am not entirely happy with the resolution of this CR. The new standard indeed includes explanation of what happens during conversion, but the explanation is in a form of a comment in the sample code. There's still no formal rule supporting this kind on concatenation. On contrary, the rules actually don't allow to use plain AnyValue in template concatenation as it is required to be constrained to a single length:
"The single templates of binary string and list types shall contain only the matching mechanisms specific values, AnyValue or AnyValueOrNone, both constrained to a fixed length, AnyElement, or AnyElementsOrNone possibly constrained with a length attribute for list types."

(0011937)
Jens Grabowski
07-04-2014 13:53

Sentence will be added according to Note from Ina (09-07-2013 14:33).

(0012245)
Tomas Urban
07-10-2014 09:13

The requested rule was added to the proposal. Please check.

(0012656)
Gyorgy Rethy
06-01-2015 18:57

Added to draft V4.6.3