[Soot-list] Precise Definition of UnitBot and ValueBox

[R.F.]

Thanks Steven.

So we see that for assignment, define boxes are generally boxes around a
left-hand side value. By "define", does it mean the value must be first
declared in this statement?

For example, suppose we have the following code:

> int i = someMethod();

int j = anotherMethod();

j = thirdMethod();


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 "i" is firstly
declared in Line 1 while "j" is not first declared in Line 3.

Thanks.


Best Regards,
R. F.


On Thu, Jul 9, 2015 at 10:10 PM, Steven Arzt <Steven.Arzt at cased.de> wrote:

> For assignments, yes.
>
>
>
> *Von:* lazarusxrf at gmail.com [mailto:lazarusxrf at gmail.com] *Im Auftrag von
> *R.F.
> *Gesendet:* Donnerstag, 9. Juli 2015 16:08
> *An:* Steven Arzt
> *Cc:* soot-list at cs.mcgill.ca
> *Betreff:* Re: [Soot-list] Precise Definition of UnitBot and ValueBox
>
>
>
> Thanks Steven. I think now I've got the point.
>
>
>
> 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?
>
>
>
> Thanks.
>
>
>
>
>
> Best Regards,
>
> R. F.
>
>
>
> On Thu, Jul 9, 2015 at 9:47 PM, Steven Arzt <Steven.Arzt at cased.de> wrote:
>
> Hi,
>
>
>
> 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.
>
>
>
> Best regards,
>
>   Steven
>
>
>
> *Von:* soot-list-bounces at CS.McGill.CA [mailto:
> soot-list-bounces at CS.McGill.CA] *Im Auftrag von *R.F.
> *Gesendet:* Donnerstag, 9. Juli 2015 15:38
> *An:* soot-list at CS.McGill.CA
> *Betreff:* [Soot-list] Precise Definition of UnitBot and ValueBox
>
>
>
> Hi all,
>
>
>
> I encountered the UnitBox (
> https://www.sable.mcgill.ca/soot/doc/soot/UnitBox.html) and ValueBox (
> https://www.sable.mcgill.ca/soot/doc/soot/ValueBox.html) 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's the purpose of wrapping Unit and Value?
>
>
>
> Thanks.
>
>
>
>
>
> Best Regards,
>
> R. F.
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20150709/e3cf323b/attachment.html