Dear list members,
I stumbled over an unclear rule in the BNF (ETSI ES 201 873-1 V4.2.1
(2010-07)).
TTCN-3 code which conforms to production 543. DefOrFieldRef can not
handle references to multi-dimensional recordof/setof types

543. DefOrFieldRef ::= DefinitionRef |
( FieldReference [
ExtendedFieldReference ] ) |
( "[" NotUsedSymbol |
SingleExpression "]" ) |
AllRef

//i.e.
type record of record of integer RoRoI with { display ([0][1]) "colour
green"}
// is not possible
However referencing multi-dimensional recordof/setof types or arrays
nested within a record/set type is possible (covered by alternative )(
FieldReference [ ExtendedFieldReference ] ) .
For myself this exception does not make sense.
What is your opinion about it?

Regards,
Uwe

You're not completely right.

FieldReference can also be an ArrayOrBitRef which also is an expression
in square brackets.

The only thing that does not work with this rule would be something like
[-][0]... or [-].field...

Therefore, it would probably be right to change the rule to:

DefOrFieldRef ::= DefinitionRef |
( ( FieldReference | "["
NotUsedSymbol "]" ) [ ExtendedFieldReference ] )
AllRef

This would also solve the grammatical ambiguity for expressions like [0]
(which could be either a FieldReference or a "[" SingleExpression "]").

So, I think a CR is in order, even though your actual problem ([0][1])
does not exist.

BR, Jacob Wieland

--

---

Dr. Jacob Wieland
Software Engineer

Testing Technologies IST GmbH
Michaelkirchstraße 17/18
10179 Berlin, Germany

Phone +49 30 726 19 19 34 Email This email address is being protected from spambots. You need JavaScript enabled to view it.
Fax +49 30 726 19 19 20 Internet www.testingtech.com

---

Geschäftsführung: Theofanis Vassiliou-Gioles, Stephan Pietsch
Handelsregister HRB 77805, Amtsgericht Charlottenburg
Ust ID Nr.: DE 813 143 070

This e-mail may contain confidential and privileged material for the
sole use of the intended recipient. Any review, use, distribution or
disclosure by others is strictly prohibited. If you are not the intended
recipient (or authorized to receive for the recipient), please contact
the sender by reply e-mail and delete all copies of this message.

Hello Jakob,
I have to apologize for that one. Nevertheless if it helps tidying up
the spec my request was not completely useless ;-)

BR,

Uwe Truetsch