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

ID | Project | Category | View Status | Date Submitted | Last Update
0007998 | Part 01: TTCN-3 Core Language | Clarification | public | 17-12-2020 10:24 | 23-11-2021 09:46

Reporter | Gyorgy Rethy |
Assigned To | Jens Grabowski |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | 4.13.1 (ongoing) |
Target Version | Next version (to be decided) | Fixed in Version |  |
Clause Reference(s) | C.2.1
Source (company - Author) | TTF T003

Summary | 0007998: lengthof for maps

Description

This is a follow-up CR of 7990, which has been implemented in v4.13.1.
I have noticed during its implementation that there was a comment from Kristóf, which was not covered by the solution:
"There is no example for what happens, when a key is mapped to the not used symbol. If this is to be handled as a special case, and could be assigned to 2 different keys ... than the above definition would not be usable with the to selector, that also returns a set of values."
So, let discuss and decide if any further action/clarification is needed or not.

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

Relationships

child of | 0007990 | closed | Gyorgy Rethy | lengthof for maps

Attached Files | CR7998.docx (171,127) 07-09-2021 16:53 http://oldforge.etsi.org/mantis/file_download.php?file_id=4005&type=bug

Issue History
Date Modified | Username | Field | Change
17-12-2020 10:24 | Gyorgy Rethy | New Issue |
17-12-2020 10:24 | Gyorgy Rethy | Status | new => assigned
17-12-2020 10:24 | Gyorgy Rethy | Assigned To | => Gyorgy Rethy
17-12-2020 10:24 | Gyorgy Rethy | Issue generated from: 0007990 |
17-12-2020 10:24 | Gyorgy Rethy | Relationship added | child of 0007990
17-12-2020 10:25 | Gyorgy Rethy | Assigned To | Gyorgy Rethy =>
17-12-2020 10:25 | Gyorgy Rethy | Status | assigned => new
06-09-2021 10:55 | Jens Grabowski | Assigned To | => Jacob Wieland - Spirent
06-09-2021 10:55 | Jens Grabowski | Status | new => assigned
06-09-2021 14:53 | Jacob Wieland - Spirent | Note Added: 0015938 |
06-09-2021 14:54 | Jacob Wieland - Spirent | Note Edited: 0015938 | bug_revision_view_page.php?bugnote_id=15938#r555
07-09-2021 16:53 | Jacob Wieland - Spirent | File Added: CR7998.docx |
07-09-2021 16:54 | Jacob Wieland - Spirent | Note Added: 0015954 |
07-09-2021 16:54 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Tomas Urban
07-09-2021 16:54 | Jacob Wieland - Spirent | Status | assigned => confirmed
09-09-2021 06:55 | Tomas Urban | Note Added: 0015958 |
09-09-2021 06:55 | Tomas Urban | Status | confirmed => resolved
09-09-2021 06:55 | Tomas Urban | Resolution | open => fixed
09-09-2021 06:56 | Tomas Urban | Status | resolved => feedback
09-09-2021 06:56 | Tomas Urban | Resolution | fixed => reopened
09-09-2021 06:59 | Tomas Urban | Note Added: 0015959 |
09-09-2021 06:59 | Tomas Urban | Status | feedback => resolved
09-09-2021 06:59 | Tomas Urban | Resolution | reopened => fixed
09-09-2021 06:59 | Tomas Urban | Assigned To | Tomas Urban => Jens Grabowski
23-11-2021 09:46 | Jens Grabowski | Note Added: 0016091 |
23-11-2021 09:46 | Jens Grabowski | Status | resolved => closed

Notes

(0015938)
Jacob Wieland - Spirent
06-09-2021 14:53 (edited on: 06-09-2021 14:54)

Assigning the 'not used' symbol (I guess you mean the '-') to any key is just a notation for not changing that key's association, i.e. if the key was not mapped to a value it is not mapped to a value afterwards and if it was mapped to the value, that mapping does not change. If the symbol is assigned to two or more keys in parallel, the same applies for all the mappings of all those keys.
The to operator on a map returns a 'set of ToType', which is a (mathematical) multi-set. Thus, if multiple keys are mapped to the same value by the map, the to operator will yield a set of (i.e. the values in no particular order) containing the same value multiple times.
Thus, the following property holds: lengthof(m) == lengthof(m.from) == lengthof(m.to)

(0015954)
Jacob Wieland - Spirent
07-09-2021 16:54

please review

(0015958)
Tomas Urban
09-09-2021 06:55

I have found no issues in the proposed resolution. It can be added to the next version of the core language specification.

(0015959)
Tomas Urban
09-09-2021 06:59

Reassigning to Jens (until it becomes clear who will prepare the final draft of the core language)

(0016091)
Jens Grabowski
23-11-2021 09:46

implemented