ETSI's Bug Tracker - Part 01: TTCN-3 Core Language
View Issue Details
0004866Part 01: TTCN-3 Core LanguageTechnicalpublic16-02-2009 10:5116-02-2009 15:50
Philip Makedonski 
Ina Schieferdecker 
normalmajoralways
closedfixed 
v3.4.1 (published 2008-09) 
v4.1.1 (published 2009-06)v4.1.1 (published 2009-06) 
Part1, A.1.6.1.3, Rule 139
P.M. Uni Goettingen
0004866: BNF ValueOrAttribList rule does not allow single-element lists
ValueOrAttribList rule does not allow single-element lists, which results in broken compatibility with the ETSI IPv6 test suites, because of a change in the Complement rule:

("+" denotes added rules, "-" denotes removed / substituted rules):

(+)Complement ::= ComplementKeyword ValueOrAttribList
(-)Complement ::= ComplementKeyword ValueList
...
ValueList ::= "(" ConstantExpression { "," ConstantExpression } ")"
ValueOrAttribList ::= "(" TemplateBody { "," TemplateBody }+ ")"

The problem is the "+" modifier in the ValueOrAttribList. The change to the Complement rule was introduced in v3.3.2 (with a misspelling of ValueOrAttribList as ValueOrAttribListValueList) and then corrected in v3.4.1. However the ValueOrAttribList rule itself has not been changed.
No tags attached.
Issue History
16-02-2009 10:51Philip MakedonskiNew Issue
16-02-2009 10:51Philip MakedonskiStatusnew => assigned
16-02-2009 10:51Philip MakedonskiAssigned To => Ina Schieferdecker
16-02-2009 10:51Philip MakedonskiClause Reference(s) => Part1, A.1.6.1.3, Rule 139
16-02-2009 10:51Philip MakedonskiSource (company - Author) => P.M. Uni Goettingen
16-02-2009 15:46Ina SchieferdeckerNote Added: 0008117
16-02-2009 15:47Ina SchieferdeckerResolutionopen => fixed
16-02-2009 15:47Ina SchieferdeckerTarget Version => Edition 4.1.1 (not yet published)
16-02-2009 15:47Ina SchieferdeckerStatusassigned => resolved
16-02-2009 15:47Ina SchieferdeckerFixed in Version => Edition 4.1.1 (not yet published)
16-02-2009 15:50Ina SchieferdeckerStatusresolved => closed

Notes
(0008117)
Ina Schieferdecker   
16-02-2009 15:46   
This can be resolved by defining

Complement ::= ComplementKeyword "(" TemplateBody {"," TemplateBody} ")"

(ValueOrAttribList is needed as is for value list matching)