[Soot-list] meaning of this line code

Marc-Andre Laverdiere-Papineau marc-andre.laverdiere-papineau at polymtl.ca
Mon Jan 28 11:53:39 EST 2013


Hello,

Note the class hierarchy - Units are often Stmt - and Stmt has Values, 
which are often various XYZExpr.

http://www.sable.mcgill.ca/soot/doc/soot/Value.html

Marc-André Laverdière-Papineau
Doctorant - PhD Candidate

On 13-01-28 11:42 AM, Eric Bodden wrote:
>> 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?
>
> Actually this makes no sense. getValue() returns a Value, not a Stmt.
>
> Eric
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>


More information about the Soot-list mailing list