Hi Robert,<br><br><div><span class="gmail_quote"></span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div style=""><span class="q"><div style="margin: 0px;">
<font style="font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; font-size: 12px; line-height: normal; font-size-adjust: none; font-stretch: normal;" face="Helvetica" size="3">thank you very much for your detailed explanations!
</font></div></span></div></blockquote><div><br> Thank you for your interest! :)</div><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div style="">
<span class="q"><div style="margin: 0px;"><font style="font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; font-size: 12px; line-height: normal; font-size-adjust: none; font-stretch: normal;" face="Helvetica" size="3">
Concerning this I would like to know if the following expression should pass or raise a WrongMessageSelector failure:</font></div><div style="margin: 0px; min-height: 14px;"><br></div><div style="margin: 0px;"><font style="font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; font-size: 12px; line-height: normal; font-size-adjust: none; font-stretch: normal;" face="Helvetica" size="3">
[:mock | mock message1; message2] should strictly satisfy: </font></div><div style="margin: 0px;"><font style="font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; font-size: 12px; line-height: normal; font-size-adjust: none; font-stretch: normal;" face="Helvetica" size="3">
<span style="white-space: pre;"> </span>[:mock | mock message2 useArbitrarily. mock message1.].</font></div></span></div></blockquote><div><br>This should pass. <span class="q"><font style="font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; font-size: 12px; line-height: normal; font-size-adjust: none; font-stretch: normal;" face="Helvetica" size="3">
#useArbitrarily here </font></span><span class="q"><font style="font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; font-size: 12px; line-height: normal; font-size-adjust: none; font-stretch: normal;" face="Helvetica" size="3">
specifies
that #message2 can be recieved "anywhere" (zero or several times). And it
also means that the message invocation does not depend on the kind of
specification</font></span> (strict or lenient etc.). <br>
<br></div>The idea of #useArbitrarily here is to stress the fact, that though invokation of #message2 is expected, it's not the <span style="color: rgb(128, 128, 128);">essence of the spec. But </span>#message1 actually is. And we give some freedom for the sequense of sends in implementation.
<br></div>
<br>Best regards,<br>Denis<br><span class="q"></span><div style="margin-left: 40px;"><span class="q"></span></div><br><br>