ETSI's Bug Tracker - Part 01: TTCN-3 Core Language
View Issue Details
0005919Part 01: TTCN-3 Core LanguageTechnicalpublic25-07-2011 17:0328-09-2011 09:46
Uwe Truetsch 
Ina Schieferdecker 
normalmajoralways
closedfixed 
v4.3.1 (published 2011-06) 
v4.4.1 (published 2012-04)v4.4.1 (published 2012-04) 
A.1.6.8.1
NSN - Uwe Truetsch
0005919: wrong BNF in section: A.1.6.8.1 With statement
production 454 has to be corrected as it does not allow refs like [-].field or [-][0]

Current definition:

454.DefOrFieldRef ::= DefinitionRef |
                       (FieldReference [ExtendedFieldReference]) |
                       ("[" Minus | SingleExpression "]") |
                       AllRef

Proposed definition (as suggested by Mr. Jacob Wieland):

454. DefOrFieldRef ::= DefinitionRef |
                          ( ( FieldReference | "[" NotUsedSymbol "]" ) [ ExtendedFieldReference ] ) |
                          AllRef


Example:

type record of record of record {
  integer f1,
  boolean f2
 } RoRoR

type component C1 {
  var RoRoR cv1;
} with {
  extension (cv1[-][-], // not possible with current production
             cv1[-][0], // not possible with current production
             cv1[0][-]) // ok with current production
               "some text"
}
No tags attached.
Issue History
25-07-2011 17:03Uwe TruetschNew Issue
25-07-2011 17:03Uwe TruetschClause Reference(s) => A.1.6.8.1
25-07-2011 17:03Uwe TruetschSource (company - Author) => NSN - Uwe Truetsch
27-09-2011 11:33Gyorgy RethyNote Added: 0010240
27-09-2011 11:33Gyorgy RethyAssigned To => Ina Schieferdecker
27-09-2011 11:33Gyorgy RethyStatusnew => assigned
27-09-2011 11:33Gyorgy RethyTarget Version => Edition 4.4.1
27-09-2011 18:50Ina SchieferdeckerNote Added: 0010259
28-09-2011 09:46Ina SchieferdeckerStatusassigned => closed
28-09-2011 09:46Ina SchieferdeckerResolutionopen => fixed
28-09-2011 09:46Ina SchieferdeckerFixed in Version => Edition 4.4.1

Notes
(0010240)
Gyorgy Rethy   
27-09-2011 11:33   
To be checked in the v4.3.2 BNF
(0010259)
Ina Schieferdecker   
27-09-2011 18:50   
In principle ok, except that NotUsedSymbol is not used any more, but Minus:

454. DefOrFieldRef ::= DefinitionRef |
                          ( ( FieldReference | "[" Minus "]" ) [ ExtendedFieldReference ] ) |
                          AllRef