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

ID | Project | Category | View Status | Date Submitted | Last Update
0004866 | Part 01: TTCN-3 Core Language | Technical | public | 16-02-2009 10:51 | 16-02-2009 15:50

Reporter | Philip Makedonski |
Assigned To | Ina Schieferdecker |
Priority | normal | Severity | major | Reproducibility | always
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v3.4.1 (published 2008-09) |
Target Version | v4.1.1 (published 2009-06) | Fixed in Version | v4.1.1 (published 2009-06) |
Clause Reference(s) | Part1, A.1.6.1.3, Rule 139
Source (company - Author) | P.M. Uni Goettingen

Summary | 0004866: BNF ValueOrAttribList rule does not allow single-element lists

Description

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.

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files |

Issue History
Date Modified | Username | Field | Change
16-02-2009 10:51 | Philip Makedonski | New Issue |
16-02-2009 10:51 | Philip Makedonski | Status | new => assigned
16-02-2009 10:51 | Philip Makedonski | Assigned To | => Ina Schieferdecker
16-02-2009 10:51 | Philip Makedonski | Clause Reference(s) | => Part1, A.1.6.1.3, Rule 139
16-02-2009 10:51 | Philip Makedonski | Source (company - Author) | => P.M. Uni Goettingen
16-02-2009 15:46 | Ina Schieferdecker | Note Added: 0008117 |
16-02-2009 15:47 | Ina Schieferdecker | Resolution | open => fixed
16-02-2009 15:47 | Ina Schieferdecker | Target Version | => Edition 4.1.1 (not yet published)
16-02-2009 15:47 | Ina Schieferdecker | Status | assigned => resolved
16-02-2009 15:47 | Ina Schieferdecker | Fixed in Version | => Edition 4.1.1 (not yet published)
16-02-2009 15:50 | Ina Schieferdecker | Status | resolved => 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)