Logo etsi

ETSI's Bug Tracker

Notice: information submitted on the ETSI issue Tracker may be incorporated in ETSI publication(s) and therefore subject to the ETSI IPR policy.

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007829Ext Pack: Advanced Matching (ES 203 022)Clarificationpublic21-03-2019 07:2317-12-2019 10:11
ReporterMartin Hauch 
Assigned ToJens Grabowski 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Versionv1.2.1 (published 2018-05) 
Target VersionFixed in Versionv1.3.1 (ongoing) 
Summary0007829: Syntax of repetion for arrays and of types
DescriptionThe 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?
TagsNo tags attached.
Clause Reference(s)5.4.2
Source (company - Author)DVT - Martin Hauch
TS version?
Attached Filesdocx file icon CR7829.docx [^] (127,583 bytes) 07-08-2019 08:06

- Relationships

-  Notes
(0015339)
Jacob Wieland - Spirent (reporter)
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 (reporter)
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 (reporter)
07-08-2019 08:07

Please check the new example.
(0015412)
Jacob Wieland - Spirent (reporter)
07-08-2019 14:08

new example looks good

- 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


MantisBT 1.2.14 [^]
Copyright © 2000 - 2024 MantisBT Team
Powered by Mantis Bugtracker