[prev in list] [next in list] [prev in thread] [next in thread]
List: soot-list
Subject: Re: [Soot-list] Precise Definition of UnitBot and ValueBox
From: "Steven Arzt" <Steven.Arzt () cased ! de>
Date: 2015-07-09 14:43:10
Message-ID: 019d01d0ba55$9402c3a0$bc084ae0$ () cased ! de
[Download RAW message or body]
This is a multipart message in MIME format.
[Attachment #2 (multipart/alternative)]
This is a multipart message in MIME format.
The statament in line 1 has a define box around local "i". Both the statement in \
line 2 and the statement in line 3 have a define box around the local "j". It does \
not matter whether the local is defined or re-defined.
Von: lazarusxrf@gmail.com [mailto:lazarusxrf@gmail.com] Im Auftrag von R.F.
Gesendet: Donnerstag, 9. Juli 2015 16:41
An: Steven Arzt
Cc: soot-list@cs.mcgill.ca
Betreff: Re: [Soot-list] Precise Definition of UnitBot and ValueBox
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@cased.de> wrote:
For assignments, yes.
Von: lazarusxrf@gmail.com [mailto:lazarusxrf@gmail.com] Im Auftrag von R.F.
Gesendet: Donnerstag, 9. Juli 2015 16:08
An: Steven Arzt
Cc: soot-list@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@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@CS.McGill.CA [mailto:soot-list-bounces@CS.McGill.CA] Im \
Auftrag von R.F.
Gesendet: Donnerstag, 9. Juli 2015 15:38
An: soot-list@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.
[Attachment #5 (text/html)]
<html xmlns:v="urn:schemas-microsoft-com:vml" \
xmlns:o="urn:schemas-microsoft-com:office:office" \
xmlns:w="urn:schemas-microsoft-com:office:word" \
xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" \
xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type \
content="text/html; charset=utf-8"><meta name=Generator content="Microsoft Word 14 \
(filtered medium)"><style><!-- /* Font Definitions */
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Tahoma;
panose-1:2 11 6 4 3 5 4 4 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman","serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
p.MsoAcetate, li.MsoAcetate, div.MsoAcetate
{mso-style-priority:99;
mso-style-link:"Sprechblasentext Zchn";
margin:0cm;
margin-bottom:.0001pt;
font-size:8.0pt;
font-family:"Tahoma","sans-serif";}
span.E-MailFormatvorlage17
{mso-style-type:personal-reply;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.SprechblasentextZchn
{mso-style-name:"Sprechblasentext Zchn";
mso-style-priority:99;
mso-style-link:Sprechblasentext;
font-family:"Tahoma","sans-serif";
mso-fareast-language:DE;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri","sans-serif";
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 2.0cm 70.85pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=DE link=blue vlink=purple><div \
class=WordSection1><p class=MsoNormal><span lang=EN-US \
style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'>The \
statament in line 1 has a define box around local "i". Both the statement in line 2 \
and the statement in line 3 have a define box around the local "j". It does not \
matter whether the local is defined or re-defined.<o:p></o:p></span></p><p \
class=MsoNormal><span lang=EN-US \
style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'><o:p> </o:p></span></p><p \
class=MsoNormal><b><span \
style='font-size:10.0pt;font-family:"Tahoma","sans-serif"'>Von:</span></b><span \
style='font-size:10.0pt;font-family:"Tahoma","sans-serif"'> lazarusxrf@gmail.com \
[mailto:lazarusxrf@gmail.com] <b>Im Auftrag von </b>R.F.<br><b>Gesendet:</b> \
Donnerstag, 9. Juli 2015 16:41<br><b>An:</b> Steven Arzt<br><b>Cc:</b> \
soot-list@cs.mcgill.ca<br><b>Betreff:</b> Re: [Soot-list] Precise Definition of \
UnitBot and ValueBox<o:p></o:p></span></p><p \
class=MsoNormal><o:p> </o:p></p><div><p class=MsoNormal>Thanks \
Steven.<o:p></o:p></p><div><p class=MsoNormal><o:p> </o:p></p></div><div><p \
class=MsoNormal>So we see that for assignment, <span \
style='font-size:9.5pt'>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?</span><o:p></o:p></p></div><div><p \
class=MsoNormal><o:p> </o:p></p></div><div><p class=MsoNormal><span \
style='font-size:9.5pt'>For example, suppose we have the following \
code:</span><o:p></o:p></p></div><blockquote style='border:none;border-left:solid \
#CCCCCC 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm'><p \
class=MsoNormal><span style='font-size:9.5pt'>int i = \
someMethod();</span><o:p></o:p></p></blockquote><blockquote \
style='border:none;border-left:solid #CCCCCC 1.0pt;padding:0cm 0cm 0cm \
6.0pt;margin-left:4.8pt;margin-right:0cm'><p class=MsoNormal>int j = \
anotherMethod();<o:p></o:p></p></blockquote><blockquote \
style='border:none;border-left:solid #CCCCCC 1.0pt;padding:0cm 0cm 0cm \
6.0pt;margin-left:4.8pt;margin-right:0cm'><p class=MsoNormal>j = \
thirdMethod();<o:p></o:p></p></blockquote><div><p \
class=MsoNormal><o:p> </o:p></p></div><div><p class=MsoNormal>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.<o:p></o:p></p></div><div><p \
class=MsoNormal><o:p> </o:p></p></div><div><p \
class=MsoNormal>Thanks.<o:p></o:p></p></div><div><p \
class=MsoNormal><o:p> </o:p></p></div><div><p \
class=MsoNormal><o:p> </o:p></p></div><div><p class=MsoNormal>Best \
Regards,<o:p></o:p></p></div><div><p class=MsoNormal>R. \
F.<o:p></o:p></p></div><div><p \
class=MsoNormal> <o:p></o:p></p></div></div><div><p \
class=MsoNormal><o:p> </o:p></p><div><p class=MsoNormal>On Thu, Jul 9, 2015 at \
10:10 PM, Steven Arzt <<a href="mailto:Steven.Arzt@cased.de" \
target="_blank">Steven.Arzt@cased.de</a>> wrote:<o:p></o:p></p><div><div><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span \
style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'>For \
assignments, yes.</span><o:p></o:p></p><p class=MsoNormal \
style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span \
style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'> </span><o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><b><span \
style='font-size:10.0pt;font-family:"Tahoma","sans-serif"'>Von:</span></b><span \
style='font-size:10.0pt;font-family:"Tahoma","sans-serif"'> <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</span><o:p></o:p></p><div><div><p class=MsoNormal \
style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> <o:p></o:p></p><div><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'>Thanks \
Steven. I think now I've got the point. <o:p></o:p></p><div><p class=MsoNormal \
style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> <o:p></o:p></p></div><div><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'>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?<o:p></o:p></p></div><div><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> <o:p></o:p></p></div><div><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'>Thanks.<o:p></o:p></p></div><div><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> <o:p></o:p></p></div><div><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> <o:p></o:p></p></div><div><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'>Best \
Regards,<o:p></o:p></p></div><div><p class=MsoNormal \
style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'>R. \
F.<o:p></o:p></p></div></div><div><p class=MsoNormal \
style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> <o:p></o:p></p><div><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'>On Thu, \
Jul 9, 2015 at 9:47 PM, Steven Arzt <<a href="mailto:Steven.Arzt@cased.de" \
target="_blank">Steven.Arzt@cased.de</a>> wrote:<o:p></o:p></p><div><div><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span \
style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'>Hi,</span><o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span \
style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'> </span><o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span \
lang=EN-US style='font-size:11.0pt;font-family:"Calibri","sans-serif";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><o:p></o:p></p><p class=MsoNormal \
style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span lang=EN-US \
style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'> </span><o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span \
lang=EN-US style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'>Best \
regards,</span><o:p></o:p></p><p class=MsoNormal \
style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span lang=EN-US \
style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'> \
Steven</span><o:p></o:p></p><p class=MsoNormal \
style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span lang=EN-US \
style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'> </span><o:p></o:p></p><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><b><span \
style='font-size:10.0pt;font-family:"Tahoma","sans-serif"'>Von:</span></b><span \
style='font-size:10.0pt;font-family:"Tahoma","sans-serif"'> <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><o:p></o:p></p><div><div><p class=MsoNormal \
style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> <o:p></o:p></p><div><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'>Hi \
all,<o:p></o:p></p><div><p class=MsoNormal \
style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> <o:p></o:p></p></div><div><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'>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's the purpose of \
wrapping Unit and Value?<o:p></o:p></p></div><div><p class=MsoNormal \
style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> <o:p></o:p></p></div><div><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'>Thanks.<o:p></o:p></p></div><div><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> <o:p></o:p></p></div><div><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> <o:p></o:p></p></div><div><p \
class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'>Best \
Regards,<o:p></o:p></p></div><div><p class=MsoNormal \
style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'>R. \
F.<o:p></o:p></p></div></div></div></div></div></div></div><p class=MsoNormal \
style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'> <o:p></o:p></p></div></div></div></div></div></div><p \
class=MsoNormal><o:p> </o:p></p></div></div></body></html>
_______________________________________________
Soot-list mailing list
Soot-list@CS.McGill.CA
https://mailman.CS.McGill.CA/mailman/listinfo/soot-list
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic