<div class="gmail_quote">On Wed, Oct 19, 2011 at 9:38 PM, Robert Jacques <span dir="ltr"><<a href="mailto:sandford@jhu.edu">sandford@jhu.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

<div class="im">On Wed, 19 Oct 2011 20:51:25 -0400, Michel Fortin <<a href="mailto:michel.fortin@michelf.com" target="_blank">michel.fortin@michelf.com</a>> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
On 2011-10-19 21:53:12 +0000, Andrew Wiley <<a href="mailto:wiley.andrew.j@gmail.com" target="_blank">wiley.andrew.j@gmail.com</a>> said:<br>
</blockquote>
<br></div>
[snip]<br>
<br>
Also, I how shared works is being misunderstood. Making a class synchronized should limit all member functions and field to being shared or immutable, but it doesn't place any limits on the argument to the member functions. So in the below:<div class="im">

<br>
<br>
synchronized class Thing2 {<br>
        void doSomeWork(int i) {}<br>
        void doSomeOtherWork(Thing2 t) {}<br>
        void work() {}<br>
}<br>
<br></div>
i is of type int, not shared(int).<br></blockquote><div><br></div><div><br></div><div>Ah, I see, so I can pass unshared data or references to unshared data into member functions, and the type system keeps me from saving them to member fields because member fields will be flagged as shared, but the arguments need not be. That makes a lot more sense.</div>

<div>Sorry for the noise. </div></div><br>