View Issue Details

IDProjectCategoryView StatusLast Update
000776710000-004: ServicesSpecpublic2023-03-28 15:25
ReporterOndrej Flek Assigned ToMatthias Damm  
PrioritynormalSeverityminorReproducibilityalways
Status closedResolutionreopened 
Product Version1.05.00 
Fixed in Version1.05.03 RC1 
Summary0007767: BNF of NumericRange problems
Description

Part 4 Annex A.3 formally describes the syntax of NumericRange as follows:

<numeric-range> ::= <dimension> [',' <dimension>]
<dimension> ::= <index> [':' <index>]
<index> ::= <digit> [<digit>]
<digit> ::= '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9'

This would allow for a maximum of two-dimensional arrays. Also, any index could have only two digits, and leading zeroes in an index would be allowed (I am not sure whether the latter is intentional or not).

As I believe these limitations are not intentional, I am proposing the following set of rules as a possible solution addressing the problems:

<numeric-range> ::= <dimension> [’,’ <numeric-range>]
<dimension> ::= <index> [’:’<index>]
<index> ::== ‘0’ | <digit> [‘0’] [<index>]
<digit> ::== ‘1’ | ‘2’ | ‘3’ | ‘4’ | ‘5’ | ‘6’ | ‘7’ | ‘8’ | ‘9’

Note: the notation used is not BNF, so we should probably either use BNF, or call it something else.

TagsNo tags attached.
Commit Version
Fix Due Date

Activities

Matthias Damm

2023-03-20 06:14

developer   ~0018909

Made the following update to the BNF

<numeric-range> ::= <dimension> | <dimension> ',' < numeric-range >

<dimension> ::= <index> | <index> ':' <dimension>

<index> ::= <digit> | <digit-no-0> <index>

<digit> ::= 0 | <digit-no-0>

<digit-no-0> ::= '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9'

Jim Luth

2023-03-28 15:25

administrator   ~0019042

Agreed to changes in web meeting. We decided to continue to allow leading zeros to provide backward compatibility.

Issue History

Date Modified Username Field Change
2022-02-23 14:10 Ondrej Flek New Issue
2022-03-01 17:58 Jim Luth Assigned To => Matthias Damm
2022-03-01 17:58 Jim Luth Status new => assigned
2023-03-20 06:13 Matthias Damm Status assigned => resolved
2023-03-20 06:13 Matthias Damm Resolution open => fixed
2023-03-20 06:14 Matthias Damm Status resolved => feedback
2023-03-20 06:14 Matthias Damm Resolution fixed => reopened
2023-03-20 06:14 Matthias Damm Status feedback => resolved
2023-03-20 06:14 Matthias Damm Fixed in Version => 1.05.03 RC1
2023-03-20 06:14 Matthias Damm Note Added: 0018909
2023-03-28 15:25 Jim Luth Status resolved => closed
2023-03-28 15:25 Jim Luth Note Added: 0019042