Welcome, Guest
Username: Password:
  • Page:
  • 1

TOPIC:

Which is correct production? 01 Nov 2002 07:27 #6253

Hello,
In TTCN-3 Grammar there is a production as following:

AllRef
:( GroupKeyword AllKeyword [ExceptKeyword BeginChar GroupRefList EndChar])
|( TypeDefKeyword AllKeyword [ExceptKeyword BeginChar TypeRefList] EndChar)
|................
|................
|..............

;

My doubt is ending square bractet is after 'EndChar' and before the 'EndChar' in remaining productions.
Is it printing mistake or grammar it self is like that.

regards,
Anil Krishna

Please Log in to join the conversation.

Which is correct production? 01 Nov 2002 08:24 #6254

Hello Anil,

As I remember there is a mistake :-)
Just about 2 months ago I generated CR to correct it but I have no knowledge about the results.

Full production is:

AllRef ::= ( GroupKeyword AllKeyword [ExceptKeyword BeginChar GroupRefList EndChar]) |

( TypeDefKeyword AllKeyword [ExceptKeyword BeginChar TypeRefList] EndChar) |

( TemplateKeyword AllKeyword [ExceptKeyword BeginChar TemplateRefList] EndChar) |

( ConstKeyword AllKeyword [ExceptKeyword BeginChar ConstRefList] EndChar) |

( AltstepKeyword AllKeyword [ExceptKeyword BeginChar AltstepRefList] EndChar) |

( TestcaseKeyword AllKeyword [ExceptKeyword BeginChar TestcaseRefList] EndChar) |

( FunctionKeyword AllKeyword [ExceptKeyword BeginChar FunctionRefList] EndChar) |

( SignatureKeyword AllKeyword [ExceptKeyword BeginChar SignatureRefList] EndChar) |

( ModuleParKeyword AllKeyword [ExceptKeyword BeginChar ModuleParRefList] EndChar)


and I think the only first line is ok and the rest should be corrected.
Please correct me in case I am wrong.

TIP:
Since BeginChar and EndChar are used for expressions grouping at the language level and square brackets group the whole language parts at the BNF notation level then production of type:
([... BeginChar ...] EndChar)
should violate in every case the language description.
In case of '[...]' omission we have mandatory EndChar without starting BeginChar.

Regards,
Mariusz Kupiec


Original Message
From: AnilKrishna
To: This email address is being protected from spambots. You need JavaScript enabled to view it.
Sent: Friday, November 01, 2002 8:27 AM
Subject: Which is correct production?


Hello,
In TTCN-3 Grammar there is a production as following:

AllRef
:( GroupKeyword AllKeyword [ExceptKeyword BeginChar GroupRefList EndChar])
|( TypeDefKeyword AllKeyword [ExceptKeyword BeginChar TypeRefList] EndChar)
|................
|................
|..............

;

My doubt is ending square bractet is after 'EndChar' and before the 'EndChar' in remaining productions.
Is it printing mistake or grammar it self is like that.

regards,
Anil Krishna
Portal INTERIA.PL zaprasza... >>> link.interia.pl/f167c

Please Log in to join the conversation.

  • Page:
  • 1

FacebookTwitterGoogle BookmarksRedditNewsvineTechnoratiLinkedin