ETSI's Bug Tracker - Part 01: TTCN-3 Core Language
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0005343Part 01: TTCN-3 Core LanguageClarificationpublic11-09-2009 10:0224-03-2010 17:31
ReporterIna Schieferdecker 
Assigned ToIna Schieferdecker 
PriorityhighSeveritytrivialReproducibilityN/A
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target Versionv4.2.1 (published 2010-07)Fixed in Versionv4.2.1 (published 2010-07) 
Clause Reference(s)Annex A
Source (company - Author)Ina Schieferdecker, FOKUS
Summary0005343: 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
TagsNo tags attached.
Relationships
related to 0005346closed Ina Schieferdecker Some more small BNF issues 
Attached Filesdoc 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 ModifiedUsernameFieldChange
11-09-2009 10:02Ina SchieferdeckerNew Issue
11-09-2009 10:02Ina SchieferdeckerStatusnew => assigned
11-09-2009 10:02Ina SchieferdeckerAssigned To => Gyorgy Rethy
11-09-2009 10:02Ina SchieferdeckerClause Reference(s) => Annex A
11-09-2009 10:02Ina SchieferdeckerSource (company - Author) => Ina Schieferdecker, FOKUS
13-09-2009 13:26Ina SchieferdeckerProjectTTCN-3 Change Requests => Part 01: TTCN-3 Core Language
13-09-2009 13:26Ina SchieferdeckerCategoryTTCN-3 Core Language => Clarification
13-09-2009 13:26Ina SchieferdeckerTarget Version => Edition 4.2.1 (not yet published)
10-12-2009 10:34Gyorgy RethyNote Added: 0009137
10-12-2009 10:34Gyorgy RethyAssigned ToGyorgy Rethy => Ina Schieferdecker
04-01-2010 13:01Ina SchieferdeckerFile Added: CR5343_v1.doc
04-01-2010 13:05Ina SchieferdeckerNote Added: 0009153
04-01-2010 13:05Ina SchieferdeckerAssigned ToIna Schieferdecker => Gyorgy Rethy
04-01-2010 13:06Ina SchieferdeckerResolutionopen => fixed
04-01-2010 13:06Ina SchieferdeckerRelationship addedrelated to 0005346
16-02-2010 07:35Ina SchieferdeckerTarget VersionEdition 4.2.1 (not yet published) => Edition 5.1.1 (not yet published)
22-03-2010 16:30Gyorgy RethyPrioritylow => high
22-03-2010 16:30Gyorgy RethyTarget VersionEdition 4.3.1 (not yet published) => Edition 4.2.1 (not yet published)
24-03-2010 13:18Gyorgy RethyNote Added: 0009282
24-03-2010 13:19Gyorgy RethyStatusassigned => resolved
24-03-2010 13:19Gyorgy RethyStatusresolved => assigned
24-03-2010 13:20Gyorgy RethyAssigned ToGyorgy Rethy => Ina Schieferdecker
24-03-2010 13:20Gyorgy RethyStatusassigned => resolved
24-03-2010 17:31Ina SchieferdeckerStatusresolved => closed
24-03-2010 17:31Ina SchieferdeckerFixed 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.