<div dir="ltr">Thanks Steven.<div><br></div><div>So we see that for assignment, <span style="font-size:12.8000001907349px">define boxes are generally boxes around a left-hand side value. By &quot;define&quot;, does it mean the value must be first declared in this statement?</span></div><div><span style="font-size:12.8000001907349px"><br></span></div><div><span style="font-size:12.8000001907349px">For example, suppose we have the following code:</span></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><span style="font-size:12.8000001907349px">int i = someMethod();</span></blockquote><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">int j = anotherMethod();</blockquote><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">j = thirdMethod();</blockquote><div><br></div><div>Can we say also the value box on the left side of the statement in Line 3 is a define box, or we can only say that the value box on the left side of the statement in Line 1 is a define box. Since the variable &quot;i&quot; is firstly declared in Line 1 while &quot;j&quot; is not first declared in Line 3.</div><div><br></div><div>Thanks.</div><div><br></div><div><br></div><div>Best Regards,</div><div>R. F.</div><div> </div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Jul 9, 2015 at 10:10 PM, Steven Arzt <span dir="ltr">&lt;<a href="mailto:Steven.Arzt@cased.de" target="_blank">Steven.Arzt@cased.de</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div lang="DE" link="blue" vlink="purple"><div><p class="MsoNormal"><span style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1f497d">For assignments, yes.<u></u><u></u></span></p><p class="MsoNormal"><span style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1f497d"><u></u> <u></u></span></p><p class="MsoNormal"><b><span style="font-size:10.0pt;font-family:&quot;Tahoma&quot;,&quot;sans-serif&quot;">Von:</span></b><span style="font-size:10.0pt;font-family:&quot;Tahoma&quot;,&quot;sans-serif&quot;"> <a href="mailto:lazarusxrf@gmail.com" target="_blank">lazarusxrf@gmail.com</a> [mailto:<a href="mailto:lazarusxrf@gmail.com" target="_blank">lazarusxrf@gmail.com</a>] <b>Im Auftrag von </b>R.F.<br><b>Gesendet:</b> Donnerstag, 9. Juli 2015 16:08<br><b>An:</b> Steven Arzt<br><b>Cc:</b> <a href="mailto:soot-list@cs.mcgill.ca" target="_blank">soot-list@cs.mcgill.ca</a><br><b>Betreff:</b> Re: [Soot-list] Precise Definition of UnitBot and ValueBox<u></u><u></u></span></p><div><div class="h5"><p class="MsoNormal"><u></u> <u></u></p><div><p class="MsoNormal">Thanks Steven. I think now I&#39;ve got the point. <u></u><u></u></p><div><p class="MsoNormal"><u></u> <u></u></p></div><div><p class="MsoNormal">And by the way, are use boxes generally boxes around a right-hand side value/unit, and define boxes generally boxes around a left-hand side value?<u></u><u></u></p></div><div><p class="MsoNormal"><u></u> <u></u></p></div><div><p class="MsoNormal">Thanks.<u></u><u></u></p></div><div><p class="MsoNormal"><u></u> <u></u></p></div><div><p class="MsoNormal"><u></u> <u></u></p></div><div><p class="MsoNormal">Best Regards,<u></u><u></u></p></div><div><p class="MsoNormal">R. F.<u></u><u></u></p></div></div><div><p class="MsoNormal"><u></u> <u></u></p><div><p class="MsoNormal">On Thu, Jul 9, 2015 at 9:47 PM, Steven Arzt &lt;<a href="mailto:Steven.Arzt@cased.de" target="_blank">Steven.Arzt@cased.de</a>&gt; wrote:<u></u><u></u></p><div><div><p class="MsoNormal"><span style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1f497d">Hi,</span><u></u><u></u></p><p class="MsoNormal"><span style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1f497d"> </span><u></u><u></u></p><p class="MsoNormal"><span lang="EN-US" style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1f497d">The boxes are indeed wrappers around values and units. The purpose is that you can ask any statement about the boxes it defines and the boxes it uses without knowing what kind of statement you are exactly dealing with. Even more, you can replace the contents of these boxes – just take a box and call thre setter on it. This decouples the values and units from the precise statements or expressions that use them.</span><u></u><u></u></p><p class="MsoNormal"><span lang="EN-US" style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1f497d"> </span><u></u><u></u></p><p class="MsoNormal"><span lang="EN-US" style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1f497d">Best regards,</span><u></u><u></u></p><p class="MsoNormal"><span lang="EN-US" style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1f497d">  Steven</span><u></u><u></u></p><p class="MsoNormal"><span lang="EN-US" style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1f497d"> </span><u></u><u></u></p><p class="MsoNormal"><b><span style="font-size:10.0pt;font-family:&quot;Tahoma&quot;,&quot;sans-serif&quot;">Von:</span></b><span style="font-size:10.0pt;font-family:&quot;Tahoma&quot;,&quot;sans-serif&quot;"> <a href="mailto:soot-list-bounces@CS.McGill.CA" target="_blank">soot-list-bounces@CS.McGill.CA</a> [mailto:<a href="mailto:soot-list-bounces@CS.McGill.CA" target="_blank">soot-list-bounces@CS.McGill.CA</a>] <b>Im Auftrag von </b>R.F.<br><b>Gesendet:</b> Donnerstag, 9. Juli 2015 15:38<br><b>An:</b> <a href="mailto:soot-list@CS.McGill.CA" target="_blank">soot-list@CS.McGill.CA</a><br><b>Betreff:</b> [Soot-list] Precise Definition of UnitBot and ValueBox</span><u></u><u></u></p><div><div><p class="MsoNormal"> <u></u><u></u></p><div><p class="MsoNormal">Hi all,<u></u><u></u></p><div><p class="MsoNormal"> <u></u><u></u></p></div><div><p class="MsoNormal">I encountered the UnitBox (<a href="https://www.sable.mcgill.ca/soot/doc/soot/UnitBox.html" target="_blank">https://www.sable.mcgill.ca/soot/doc/soot/UnitBox.html</a>) and ValueBox (<a href="https://www.sable.mcgill.ca/soot/doc/soot/ValueBox.html" target="_blank">https://www.sable.mcgill.ca/soot/doc/soot/ValueBox.html</a>) objects in Soot recently, but I cannot find precise and clear definition of the two objects. Are they simply wrappers of Unit and Value respectively? If so, what&#39;s the purpose of wrapping Unit and Value?<u></u><u></u></p></div><div><p class="MsoNormal"> <u></u><u></u></p></div><div><p class="MsoNormal">Thanks.<u></u><u></u></p></div><div><p class="MsoNormal"> <u></u><u></u></p></div><div><p class="MsoNormal"> <u></u><u></u></p></div><div><p class="MsoNormal">Best Regards,<u></u><u></u></p></div><div><p class="MsoNormal">R. F.<u></u><u></u></p></div></div></div></div></div></div></div><p class="MsoNormal"><u></u> <u></u></p></div></div></div></div></div></blockquote></div><br></div>