Logo etsi

ETSI's Bug Tracker
Main | My View | View Issues | Change Log | Roadmap | Monitor project
  
Notice: information submitted on the ETSI issue Tracker may be incorporated in ETSI publication(s) and therefore subject to the ETSI IPR policy.

View Issue Details [ Jump to Notes ] [ Issue History ] [ Print ]
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) 
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 ]
                                       ] [","] }
                                  ")" ) )


TagsNo tags attached.
Clause Reference(s)Annex A
Source (company - Author)Ina Schieferdecker, FOKUS
Attached Filesdoc file icon CR5343_v1.doc [^] (33,792 bytes) 04-01-2010 13:01

- Relationships
related to 0005346closedIna Schieferdecker Some more small BNF issues 

-  Notes
(0009137)
Gyorgy Rethy (reporter)
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 (reporter)
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 (reporter)
24-03-2010 13:18

 CR5343_v1.doc: OK with me.

- 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)

MantisBT 1.2.14 [^]
Copyright © 2000 - 2024 MantisBT Team
Powered by Mantis Bugtracker