Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
 /* Soot - a J*va Optimization Framework
  * Copyright (C) 2005 Antoine Mine
  * This library is free software; you can redistribute it and/or
  * modify it under the terms of the GNU Lesser General Public
  * License as published by the Free Software Foundation; either
  * version 2.1 of the License, or (at your option) any later version.
  * This library is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * Lesser General Public License for more details.
 * You should have received a copy of the GNU Lesser General Public
 * License along with this library; if not, write to the
 * Free Software Foundation, Inc., 59 Temple Place - Suite 330,
 * Boston, MA 02111-1307, USA.

Implementation of the paper "A Combined Pointer and Purity Analysis for Java Programs" by Alexandru Salcianu and Martin Rinard, within the Soot Optimization Framework. by Antoine Mine, 2005/01/24
package soot.jimple.toolkits.annotation.purity;

Interface shared by all kinds of nodes in a PurityGraph. Such nodes are immuables. They are hashable and two nodes are equal only if they have the same kind and were constructed using the same arguments (structural equality).
public interface PurityNode { 

Is it an inside node ?
    public boolean isInside();

Is it a load node ?
    public boolean isLoad();

Is it a parameter or this node ?
    public boolean isParam();

New to GrepCode? Check out our FAQ X