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

ID | Project | Category | View Status | Date Submitted | Last Update
0005343 | Part 01: TTCN-3 Core Language | Clarification | public | 11-09-2009 10:02 | 24-03-2010 17:31

Reporter | Ina Schieferdecker |
Assigned To | Ina Schieferdecker |
Priority | high | Severity | trivial | Reproducibility | N/A
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version | v4.2.1 (published 2010-07) | Fixed in Version | v4.2.1 (published 2010-07) |
Clause Reference(s) | Annex A
Source (company - Author) | Ina Schieferdecker, FOKUS

Summary | 0005343: small BNF issues

Description

"" in PatternElement is because of the Pattern definition superfluous:
Pattern ::= """ { PatternElement } """
PatternElement ::=
("\" ("?" | "*" | "\" | "[" | "]" | "{" | "}" | """ | "|" | "(" | ")" | "#" | "+" |
"d" | "w" | "t" | "n" | "r" | "s" | "b")) |
("?" | "*" | "\" | "|" | "+") |
("[" ["^"] [ {PatternChar ["-" PatternChar] } ] "]") |
("{" ReferencedValue "}") |
("\" "N" "{" (ReferencedValue | Type) "}") |
(""" """) |
("(" PatternElement ")") |
("#" (Num | ("(" Num "," [Num] ")") | ("(" "," Num ")"))) |
PatternChar
TO
Pattern ::= """ { PatternElement } """
PatternElement ::=
("\" ("?" | "*" | "\" | "[" | "]" | "{" | "}" | """ | "|" | "(" | ")" | "#" | "+" |
"d" | "w" | "t" | "n" | "r" | "s" | "b")) |
("?" | "*" | "\" | "|" | "+") |
("[" ["^"] [ {PatternChar ["-" PatternChar] } ] "]") |
("{" ReferencedValue "}") |
("\" "N" "{" (ReferencedValue | Type) "}") |
("(" PatternElement ")") |
("#" (Num | ("(" Num "," [Num] ")") | ("(" "," Num ")"))) |
PatternChar
() in ValueSpec missing:
ValueSpec ::= ValueKeyword ( VariableRef |
"(" { [ VariableRef [ AssignmentChar
(FieldReference | TypeDefIdentifier) ExtendedFieldReference ]
] [","] }
")" )
TO
ValueSpec ::= ValueKeyword ( VariableRef |
( "(" { [ VariableRef [ AssignmentChar
(FieldReference | TypeDefIdentifier) ExtendedFieldReference ]
] [","] }
")" ) )

Steps To Reproduce |
Additional Information |
Tags | No tags attached.

Relationships

related to | 0005346 | closed | Ina Schieferdecker | Some more small BNF issues

Attached Files | CR5343_v1.doc (33,792) 04-01-2010 13:01 http://oldforge.etsi.org/mantis/file_download.php?file_id=2322&type=bug

Issue History
Date Modified | Username | Field | Change
11-09-2009 10:02 | Ina Schieferdecker | New Issue |
11-09-2009 10:02 | Ina Schieferdecker | Status | new => assigned
11-09-2009 10:02 | Ina Schieferdecker | Assigned To | => Gyorgy Rethy
11-09-2009 10:02 | Ina Schieferdecker | Clause Reference(s) | => Annex A
11-09-2009 10:02 | Ina Schieferdecker | Source (company - Author) | => Ina Schieferdecker, FOKUS
13-09-2009 13:26 | Ina Schieferdecker | Project | TTCN-3 Change Requests => Part 01: TTCN-3 Core Language
13-09-2009 13:26 | Ina Schieferdecker | Category | TTCN-3 Core Language => Clarification
13-09-2009 13:26 | Ina Schieferdecker | Target Version | => Edition 4.2.1 (not yet published)
10-12-2009 10:34 | Gyorgy Rethy | Note Added: 0009137 |
10-12-2009 10:34 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Ina Schieferdecker
04-01-2010 13:01 | Ina Schieferdecker | File Added: CR5343_v1.doc |
04-01-2010 13:05 | Ina Schieferdecker | Note Added: 0009153 |
04-01-2010 13:05 | Ina Schieferdecker | Assigned To | Ina Schieferdecker => Gyorgy Rethy
04-01-2010 13:06 | Ina Schieferdecker | Resolution | open => fixed
04-01-2010 13:06 | Ina Schieferdecker | Relationship added | related to 0005346
16-02-2010 07:35 | Ina Schieferdecker | Target Version | Edition 4.2.1 (not yet published) => Edition 5.1.1 (not yet published)
22-03-2010 16:30 | Gyorgy Rethy | Priority | low => high
22-03-2010 16:30 | Gyorgy Rethy | Target Version | Edition 4.3.1 (not yet published) => Edition 4.2.1 (not yet published)
24-03-2010 13:18 | Gyorgy Rethy | Note Added: 0009282 |
24-03-2010 13:19 | Gyorgy Rethy | Status | assigned => resolved
24-03-2010 13:19 | Gyorgy Rethy | Status | resolved => assigned
24-03-2010 13:20 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Ina Schieferdecker
24-03-2010 13:20 | Gyorgy Rethy | Status | assigned => resolved
24-03-2010 17:31 | Ina Schieferdecker | Status | resolved => closed
24-03-2010 17:31 | Ina Schieferdecker | Fixed in Version | => Edition 4.2.1 (not yet published)

Notes

(0009137)
Gyorgy Rethy
10-12-2009 10:34

Regarding "Pattern definition superfluous": I agree; Pattern and PatternElement productions are superflouos; the string in pattern matching syntactically is a normal charstring value that is semantically processed in a special way due to the pattern keyword. "Pattern" should be replaced in "CharStringMatch" by "Cstring" plus a static semantics rule that only ISO646 characters are allowed; PetternElement, PatternChar, PatternQuadruple are to be deleted (I have checked, not used elsewhere).
Regarding missing () in ValueSpec: the {...} groups all the stuff between the "(" and the ")", therefore I think no another grouping is needed (seems to be a compliated rule already, additional brackets would complicate it even more).

(0009153)
Ina Schieferdecker
04-01-2010 13:05

There is a misunderstanding on Pattern and PatternElement. The CR just says, that the alternative on (""" """) is superfluous - not the syntax definition for patterns.
As for the missing parentheses. Indeed, concatenation binds stronger than alternatives. However, grouping eases the reading, see e.g. also http://greenbytes.de/tech/webdav/rfc5234.html [^] in 3.10 Operator Precedence
I propose to add the binding power to the TTCN-3 BNF metanotation as proposed in the uploaded file.
Note however that "(" and ")" have no special binding power in the BNF definition - in the metanotation they are just terminals.

(0009282)
Gyorgy Rethy
24-03-2010 13:18

CR5343_v1.doc: OK with me.