[Soot-list] meaning of this line code

[Zeinab Lashkaripour]

Thanks Pat,
Its wrong it should be some thing like 

    defBox.getValue() instanceof Local

Thanks anyway,

 



----- Original Message -----
From: Patrick Lam <plam at sable.mcgill.ca>
To: Zeinab Lashkaripour <lashkaripour at yahoo.com>
Cc: "soot-list at sable.mcgill.ca" <soot-list at sable.mcgill.ca>
Sent: Monday, January 28, 2013 8:19 PM
Subject: Re: [Soot-list] meaning of this line code

Where does the code come from?

pat

On 01/28/13 11:44, Zeinab Lashkaripour wrote:
> Iterator<ValueBox> defIt = u.getDefBoxes().iterator();
> while (defIt.hasNext()) {
> ValueBox defBox = defIt.next();
>
> if (defBox.getValue() instanceof DefinitionStmt) {
> Iterator<ValueBox> inIt = inSet.iterator();
> while ...
> Its part of the kill method of a reachingDefs analysis.
> Hope this is enough?
>
>
> ----- Original Message -----
> From: Patrick Lam <plam at sable.mcgill.ca>
> To: soot-list at sable.mcgill.ca
> Cc:
> Sent: Monday, January 28, 2013 8:10 PM
> Subject: Re: [Soot-list] meaning of this line code
>
> On 01/28/13 11:25, Zeinab Lashkaripour wrote:
>  > Hi dear Reader,
>  > I have seen this line of code in a tutorial:
>  > defBox.getValue() instanceof DefinitionStmt
>  > the question that I have is: isn't a defbox always an instanceof
>  > DefinitionStmt?
>  > If so what does this code mean?
>
> More context, please?
>
> pat
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca <mailto:Soot-list at sable.mcgill.ca>
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130128/ffcfe08a/attachment.html