[Soot-list] Precise Definition of UnitBot and ValueBox

[Steven Arzt]

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/f09da905/attachment.html