ETSI's Bug Tracker - Ext Pack: Advanced Matching (ES 203 022)
View Issue Details

ID | Project | Category | View Status | Date Submitted | Last Update
0007829 | Ext Pack: Advanced Matching (ES 203 022) | Clarification | public | 21-03-2019 07:23 | 17-12-2019 10:11

Reporter | Martin Hauch |
Assigned To | Jens Grabowski |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v1.2.1 (published 2018-05) |
Target Version |  | Fixed in Version | v1.3.1 (ongoing) |
Clause Reference(s) | 5.4.2
Source (company - Author) | DVT - Martin Hauch
TS version | ?

Summary | 0007829: Syntax of repetion for arrays and of types

Description

The examples in chapter 5.4.2 uses additional '{' '}':
template RoN mw_a := { { { givenName := "John", surname := ?} } #(2, 5) }
As I interpret the Bnf I would expect
template RoN mw_a := { { givenName := "John", surname := ?} } #(2, 5);
because rules
022003. RepetitionMatch ::= TemplateBody RepetitionCountSpec
022004. RepetitionCountSpec ::= "#" "(" [SingleExpression] ["," [SingleExpression]] ")"
do not add '{' '}' around TemplateBody RepetitonCountSpec. I think the BNF is ok, but the example above (original from document) represents a value of type
record of RoN.
Could this be clarified?

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR7829.docx (127,583) 07-08-2019 08:06 http://oldforge.etsi.org/mantis/file_download.php?file_id=3824&type=bug

Issue History
Date Modified | Username | Field | Change
21-03-2019 07:23 | Martin Hauch | New Issue |
21-03-2019 12:20 | Jacob Wieland - Spirent | Note Added: 0015339 |
06-08-2019 10:15 | KristÃ³f Szabados | Assigned To | => KristÃ³f Szabados
06-08-2019 10:15 | KristÃ³f Szabados | Status | new => assigned
07-08-2019 07:53 | KristÃ³f Szabados | Note Added: 0015380 |
07-08-2019 08:06 | KristÃ³f Szabados | File Added: CR7829.docx |
07-08-2019 08:07 | KristÃ³f Szabados | Note Added: 0015382 |
07-08-2019 08:07 | KristÃ³f Szabados | Assigned To | KristÃ³f Szabados => Jacob Wieland - Spirent
07-08-2019 08:07 | KristÃ³f Szabados | Status | assigned => acknowledged
07-08-2019 14:08 | Jacob Wieland - Spirent | Note Added: 0015412 |
07-08-2019 14:08 | Jacob Wieland - Spirent | Status | acknowledged => resolved
07-08-2019 14:08 | Jacob Wieland - Spirent | Fixed in Version | => v1.3.1 (ongoing)
07-08-2019 14:08 | Jacob Wieland - Spirent | Resolution | open => fixed
07-08-2019 14:08 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Jens Grabowski
17-12-2019 10:11 | Jens Grabowski | Status | resolved => closed

Notes

(0015339)
Jacob Wieland - Spirent
21-03-2019 12:20

The example is correct and it's as clear as it needs to be in the standard.
The relevant rule is:
ArrayElementSpec ::= Minus |
PermutationMatch |
TemplateBody |
DisjunctionMatch |
RepetitionMatch
This is where RepetitionMatch is derived which, as it is an inside-value matching mechanism like permutation, can only occur inside a compound expression, i.e. inside curly brackets (to be looked up in the core standard of the usage of ArrayElementSpec).
Therefore, the example is correct, it describes a list where there is a repetition of 2 to 5 iterations of sublists list containing only one element which matches the given record template.

(0015380)
KristÃ³f Szabados
07-08-2019 07:53

The example looks to be correct (regarding the BNF). As it demonstrated how a list of a single element repeated 2 to 5 times should be the part of the list. Maybe we should add a bit more complex example, to demonstrate this better.

(0015382)
KristÃ³f Szabados
07-08-2019 08:07

Please check the new example.

(0015412)
Jacob Wieland - Spirent
07-08-2019 14:08

new example looks good