[Soot-list] Precise Definition of UnitBot and ValueBox

[Steven Arzt]

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/3d6ed974/attachment-0001.html