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

ID | Project | Category | View Status | Date Submitted | Last Update
0005935 | Part 01: TTCN-3 Core Language | Editorial | public | 21-09-2011 09:06 | 30-11-2011 09:13

Reporter | Uwe Truetsch |
Assigned To | Ina Schieferdecker |
Priority | normal | Severity | major | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v4.3.1 (published 2011-06) |
Target Version | v4.4.1 (published 2012-04) | Fixed in Version | v4.4.1 (published 2012-04) |
Clause Reference(s) | A.1.6.8.1 With statement
Source (company - Author) | NSN - Uwe Truetsch

Summary | 0005935: wrong BNF production
Description | there is a missing '|' in between 'Identifier' and 'FullGroupIdentifier' of production 455 is: 455.DefinitionRef ::= Identifier FullGroupIdentifier should be: 455.DefinitionRef ::= Identifier | FullGroupIdentifier
Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR5935.docx (19,454) 29-11-2011 14:43 http://oldforge.etsi.org/mantis/file_download.php?file_id=2605&type=bug CR5935_v2.docx (28,347) 30-11-2011 09:12 http://oldforge.etsi.org/mantis/file_download.php?file_id=2614&type=bug

Issue History
Date Modified | Username | Field | Change
21-09-2011 09:06 | Uwe Truetsch | New Issue |
21-09-2011 09:06 | Uwe Truetsch | Clause Reference(s) | => A.1.6.8.1 With statement
21-09-2011 09:06 | Uwe Truetsch | Source (company - Author) | => NSN - Uwe Truetsch
27-09-2011 10:55 | Gyorgy Rethy | Assigned To | => Ina Schieferdecker
27-09-2011 10:55 | Gyorgy Rethy | Status | new => assigned
27-09-2011 13:30 | Gyorgy Rethy | Target Version | => Edition 4.4.1
28-09-2011 11:22 | Ina Schieferdecker | Note Added: 0010261 |
28-09-2011 11:23 | Ina Schieferdecker | Note Added: 0010262 |
28-09-2011 11:23 | Ina Schieferdecker | Assigned To | Ina Schieferdecker => Jacob Wieland - Spirent
28-09-2011 11:46 | Jacob Wieland - Spirent | Note Added: 0010263 |
28-09-2011 12:14 | Ina Schieferdecker | Note Added: 0010264 |
28-09-2011 13:08 | Jacob Wieland - Spirent | Note Added: 0010275 |
28-09-2011 13:09 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Ina Schieferdecker
28-09-2011 16:27 | Ina Schieferdecker | Note Added: 0010284 |
29-09-2011 11:12 | Ina Schieferdecker | Note Added: 0010293 |
29-11-2011 14:42 | Ina Schieferdecker | Note Added: 0010401 |
29-11-2011 14:43 | Ina Schieferdecker | File Added: CR5935.docx |
29-11-2011 14:43 | Ina Schieferdecker | Assigned To | Ina Schieferdecker => Jacob Wieland - Spirent
29-11-2011 18:21 | Jacob Wieland - Spirent | Note Added: 0010407 |
29-11-2011 18:23 | Jacob Wieland - Spirent | Note Edited: 0010407 |
29-11-2011 18:26 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Ina Schieferdecker
30-11-2011 07:22 | Ina Schieferdecker | Note Added: 0010410 |
30-11-2011 09:12 | Ina Schieferdecker | File Added: CR5935_v2.docx |
30-11-2011 09:13 | Ina Schieferdecker | Status | assigned => resolved
30-11-2011 09:13 | Ina Schieferdecker | Resolution | open => fixed
30-11-2011 09:13 | Ina Schieferdecker | Fixed in Version | => Edition 4.4.1
30-11-2011 09:13 | Ina Schieferdecker | Status | resolved => closed

Notes

(0010261)
Ina Schieferdecker
28-09-2011 11:22

FullGroupIdentifier is defined as follows 216. FullGroupIdentifier ::= Identifier {Dot Identifier} Hence, it is enough to define 462. DefinitionRef ::= FullGroupIdentifier Since, DefinitionRef is used only in DefOrFieldRef this brings us to 461. DefOrFieldRef ::= FullGroupIdentifier | ( ( FieldReference | "[" Minus "]" ) [ ExtendedFieldReference ] ) | AllRef

(0010262)
Ina Schieferdecker
28-09-2011 11:23

Please check

(0010263)
Jacob Wieland - Spirent
28-09-2011 11:46

grammatically, you are correct, but I think the intended semantics of FullGroupIdentifier should not be left unconsidered. It normally stands for a reference of a (possibly nested) group with its fully qualified path-name. As the grammar is written with semantics in mind (to make it more understandable) and not with a parsing algorithm, I would change it as follows:
FullGroupIdentifier ::= DottedIdentifier
DottedIdentifier ::= Identifier {Dot Identifier}
DefinitionRef ::= DottedIdentifier
Of course, if DefinitionRef is used only in DefOrFieldRef, then this could be rewritten as:
DefOrFieldRef ::= DottedIdentifier |
( ( FieldReference | "[" Minus "]" ) [ ExtendedFieldReference ] ) |
AllRef

(0010264)
Ina Schieferdecker
28-09-2011 12:14

Let us discuss ... we wanted also to simplify the syntax ...

(0010275)
Jacob Wieland - Spirent
28-09-2011 13:08

Another solution would be to rename FullGroupIdentifier to DottedIdentifier to get rid of the semantic reference.

(0010284)
Ina Schieferdecker
28-09-2011 16:27

Or even OptionallyDottedIdentifier

(0010293)
Ina Schieferdecker
29-09-2011 11:12

Agreed to call it QualifiedIdentifier QualifiedIdentifier ::= {Identifier Dot} Identifier Check if that would be a duplicated rule in the BNF

(0010401)
Ina Schieferdecker
29-11-2011 14:42

Make FullGroupIdentifier to QualifiedIdentifier - see CR5935.docx - please check

(0010407)
Jacob Wieland - Spirent
29-11-2011 18:21 (edited on: 29-11-2011 18:23)

It's missing the definition of QualifiedIdentifierList. I assume it is: QualifiedIdentifierList ::= QualifiedIdentifier {"," QualifiedIdentifier}

(0010410)
Ina Schieferdecker
30-11-2011 07:22

Right. Implemented as proposed.