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

ID | Project | Category | View Status | Date Submitted | Last Update
0007593 | Part 01: TTCN-3 Core Language | Clarification | public | 09-01-2017 13:43 | 30-12-2017 18:00

Reporter | Thilo Lauer |
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) | TTCN-3 Part-1, Section 15.11 (MTS-201873-1 T3ed481v475)
Source (company - Author) | Devoteam - Thilo Lauer

Summary | 0007593: Part-1, Sec.15.11: Template concatenation drops omit and type restrictions

Description

When templates are concatenated according to section 15.11
the resulting template does not and cannot(!) contain type restrictions assigned to types of the concatenated templates.
There is a similar situation if
template bitstring myBitStr_AnyValueOrNone := * length(5);
// that stands for either '?????'B or omit
is mapped to
'?????'B
Here the "value" omit gets lost by template concatenation acc. to. sec. 15.11.
The reported issues apply to all types mentioned in section 15.11.
Our Suggestion:
As there is an TTCN-3 Extension "Advanced Matching" planned,
we suggest to add e.g. the examples shown above to section 15.11 to make users aware of these pitfalls and to handle all issues of more complex pattern matching in the planned TTCN-3 extension.
For more details, please see the enclosed document.

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | 2017-01-09_Devoteam_Clarification to TTCN-3 Part-1 Section 15.11.docx (1,392,446) 09-01-2017 13:43 http://oldforge.etsi.org/mantis/file_download.php?file_id=3578&type=bug CR7593-v1.docx (178,621) 28-07-2017 11:15 http://oldforge.etsi.org/mantis/file_download.php?file_id=3669&type=bug

Issue History
Date Modified | Username | Field | Change
09-01-2017 13:43 | Thilo Lauer | New Issue |
09-01-2017 13:43 | Thilo Lauer | File Added: 2017-01-09_Devoteam_Clarification to TTCN-3 Part-1 Section 15.11.docx |
09-01-2017 13:46 | Thilo Lauer | Note Added: 0014477 |
06-06-2017 15:03 | Jens Grabowski | Assigned To | => Jens Grabowski
06-06-2017 15:03 | Jens Grabowski | Status | new => assigned
24-07-2017 13:36 | Jens Grabowski | Project | Part 04: TTCN-3 Operational Semantics => Part 01: TTCN-3 Core Language
27-07-2017 15:40 | Jens Grabowski | Note Added: 0014789 |
27-07-2017 15:40 | Jens Grabowski | Assigned To | Jens Grabowski => Tomas Urban
28-07-2017 10:11 | Tomas Urban | Note Added: 0014791 |
28-07-2017 11:15 | Tomas Urban | File Added: CR7593-v1.docx |
28-07-2017 11:16 | Tomas Urban | Note Added: 0014793 |
28-07-2017 11:16 | Tomas Urban | Assigned To | Tomas Urban => Jens Grabowski
28-07-2017 11:16 | Tomas Urban | Status | assigned => confirmed
04-09-2017 12:40 | Jens Grabowski | Note Added: 0014810 |
04-09-2017 12:40 | Jens Grabowski | Status | confirmed => resolved
04-09-2017 12:40 | Jens Grabowski | Resolution | open => fixed
04-09-2017 12:40 | Jens Grabowski | Assigned To | Jens Grabowski => Gyorgy Rethy
30-12-2017 18:00 | Gyorgy Rethy | Note Added: 0014960 |
30-12-2017 18:00 | Gyorgy Rethy | Status | resolved => closed
30-12-2017 18:00 | Gyorgy Rethy | Product Version | => v4.9.1 (published 2017-05)
30-12-2017 18:00 | Gyorgy Rethy | Fixed in Version | => v4.10.1 (published 2018-05)
30-12-2017 18:00 | Gyorgy Rethy | Target Version | => v4.10.1 (published 2018-05)

Notes

(0014477)
Thilo Lauer
09-01-2017 13:46

... sorry, this issue should be moved to TTCN-3 Part-1

(0014789)
Jens Grabowski
27-07-2017 15:40

Tomas, can you have a look. I have no problems to add the examples.

(0014791)
Tomas Urban
28-07-2017 10:11

It is correct that the omit property and type constraints are ignored during concatenation of the string and list templates. There are several reasons for this behaviour, but the main idea is to keep the rules as simple as possible. I will add examples demonstrating both describe pitfalls to the core language standard so that users are aware of possible consequences.

(0014793)
Tomas Urban
28-07-2017 11:16

Resolution uploaded. Please check.

(0014810)
Jens Grabowski
04-09-2017 12:40

Ready for implementation

(0014960)
Gyorgy Rethy
30-12-2017 18:00

Added to draft V4.9.2