Clause 22.2.2 in the V3.3.8 draft has this wording about receive:

d) A message received by receive any message shall not be assigned to a
variable, i.e. the value clause shall not be present.

I took this to understand that, if receive isn't followed by
"(" TemplateInstance ")", no value clause may be present.

However, in Clause 19.8, there's this line in the example code:

PCO1.receive -> value MyVar2;

Could someone clarify the rules? Help would be much appreciated!

--
Regards,
Mike

Hi Mike,

It is an another incorrect example. Of course, the restriction text takes precedence.

If you think about it, PCO1.receive will match to any incoming message, provided the type of the message is listed on the "in" list of the port type. But it will cause a runtime error when trying to save it to MyVar2 if the type of MyVar2 and the type of the actually received message differ. This kind of runtime error is prevented by the restriction in clause 22.2.2.

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 Michael Sperber
> Sent: Wednesday, 25 June, 2008 3:03 PM
> To: This email address is being protected from spambots. You need JavaScript enabled to view it.
> Subject: receive question
>
> Clause 22.2.2 in the V3.3.8 draft has this wording about receive:
>
> d) A message received by receive any message shall not be
> assigned to a
> variable, i.e. the value clause shall not be present.
>
> I took this to understand that, if receive isn't followed by
> "(" TemplateInstance ")", no value clause may be present.
>
> However, in Clause 19.8, there's this line in the example code:
>
> PCO1.receive -> value MyVar2;
>
> Could someone clarify the rules? Help would be much appreciated!
>
> --
> Regards,
> Mike
>

Hello Michael,

Correctly observed, this is an error. As the value direction is not
relevant for this example on goto/label, it would be easiest to simply
remove it. I'll take this forward to STF349. Thanks for reporting this
issue.

Btw., are you aware of the CR mechanisms at
t-ort.etsi.org/main_page.php? You could directly raise a CR for
those issues about which you are sure and that cannot be resolved within
the currently ongoing approval period.

Best regards

Thomas

>

---

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 ext
>Michael Sperber
>Sent: Wednesday, 25. June 2008 15:03
>To: This email address is being protected from spambots. You need JavaScript enabled to view it.
>Subject: receive question
>
>Clause 22.2.2 in the V3.3.8 draft has this wording about receive:
>
> d) A message received by receive any message shall not be
>assigned to a
> variable, i.e. the value clause shall not be present.
>
>I took this to understand that, if receive isn't followed by
>"(" TemplateInstance ")", no value clause may be present.
>
>However, in Clause 19.8, there's this line in the example code:
>
>PCO1.receive -> value MyVar2;
>
>Could someone clarify the rules? Help would be much appreciated!
>
>--
>Regards,
>Mike
>