Hi Jon,
I have already provided a CR on this:
t-ort.etsi.org/view.php?id=5562
BR, Gyorgy
>
Original Message
> From: active_ttcn3 : mts stf133 ttcn version 3 - active
> members only [
This email address is being protected from spambots. You need JavaScript enabled to view it.] On Behalf Of Jon
> RamÃrez de Olano Medrano
> Sent: 2010-június-18 13:18
> To:
This email address is being protected from spambots. You need JavaScript enabled to view it.
> Subject: Re: Use of symbol AnyValueOrNone in receive operation
>
> Hello,
> Thank you for your quick answers.
>
> I understand now the benefits of allowing the use of * in
> this case and the lack of risks, and therefore I agree with
> the fact of not making explicit statements about it in the core.
>
> However I would propose using ? in the example to avoid any
> possible confusion.
>
> Could you give me your point of view on this proposal?
>
> BR,
> Jon
>
>
>
>
Mensaje original
> De: "Jacob Wieland" <
This email address is being protected from spambots. You need JavaScript enabled to view it.>
> Para: "active ttcn3" <active_ttcn3@intern.testingtech.de:mts
> stf133 ttcn version 3 - active members only <
This email address is being protected from spambots. You need JavaScript enabled to view it.>
> CC: "Jon RamÃrez de Olano Medrano" <
This email address is being protected from spambots. You need JavaScript enabled to view it.>
> Enviados: Viernes, 18 de Junio 2010 12:50:18
> Asunto: Re: Use of symbol AnyValueOrNone in receive operation
>
> Hello,
>
> in my understanding of the standard, the semantics of receive(T:*) is
> the same as receive(T:?) because a message cannot be omit
> (only fields
> of a message can be) and thus, for all messages that can be received,
> T:* matches the message if and only if T:? matches the message.
>
> Thus, it doesn't really make much sense to explicitly use T:*
> as that is
> simply confusing (and maybe this should be forbidden or at
> least these
> examples changed in the standard).
>
> On the other hand, it doesn't hurt to be able to use this expression
> either, because then it is also possible to use any template
> expression
> for receiving (which is especially handy if you don't know
> the template
> because it is a parameter or variable), so no additional
> checks have to
> be done at compile-time or runtime for the template
> expressions given to
> the receive operator.
>
> Best regards,
>
> Jacob Wieland
>
> On 06/18/2010 11:54 AM, Jon RamÃrez de Olano Medrano wrote:
> > Hello,
> > I apologize for the incorrect format of my previous email,
> I tried to paste my message in TTCN-3 archives but looks like
> something went wrong. I paste here the message again:
> >
> >
> > I wonder about the correct use of symbol * (anyvalue or
> none) in receive operation, when used instead of value.
> >
> > In TTCN-3 Core Language document ETSI ES 201 873-1 V4.1.1,
> in 6.2.12 I found the following example:
> > PCO.receive(address:*) -> value MySUTentity;
> >
> > Also, in SIP ATS I found a similar expression inside an ALT
> statement:
> > [] SIPP.receive (Request: *) { repeat; }
> >
> > In the second example let's say I receive NO message ,
> should TTCN-3 enter in the branch? Or let's say I receive
> several Request messages, should the receive operation get them all?
> >
> > From the logical point of view, the answer would be NO to
> both questions. However * symbol means 'AnyValueOrNone', so
> using this symbol could lead to a YES in both cases from a
> strict semantic point of view. I cannot then find an
> explanation of the use of * symbol instead of ? in this case.
> I would write:
> > [] SIPP.receive (Request: ?) { repeat; }
> >
> > I would like to have your opinion on this issue.
> >
> > Thank you in advance.
> >
> > Best Regards,
> > Jon
> >
>
>
> --
>
>
> 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
>
>
>
>
> UPCOMING EVENTS
>
> September 10, Testing Technologies
> Celebrates 10th Anniversary
>
> September 22-24, Accredited TTCN-3 Training Course
> "Theory and Practice of TTCN-3"
>
www.testingtech.com/services/ttcn3_training.php
>
> November 22-24, Accredited TTCN-3 Training Course
> "Theory and Practice of TTCN-3"
>
www.testingtech.com/services/ttcn3_training.php
>
>
>
> 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.
>